[論文レビュー] Contact Models in Robotics: a Comparative Analysis

Quentin Le Lidec, Wilson Jallet+4 more|arXiv (Cornell University)|Apr 13, 2023

Dynamics and Control of Mechanical Systems被引用数 4

ひとこと要約

本稿は、ロボットシミュレータにおける接触モデルと数値ソルバーの包括的比較分析を提示し、物理的整合性と計算効率の両面から評価している。シミュレータ（MuJoCo、RaiSimなど）における一般的な近似処理が、特に動的・滑らかな接触や複雑な接触条件下で、摩擦および衝撃を支配する非線形補完問題（NCP）制約を破るため、現実とのギャップが著しく拡大することを特定した。

ABSTRACT

Physics simulation is ubiquitous in robotics. Whether in model-based approaches (e.g., trajectory optimization), or model-free algorithms (e.g., reinforcement learning), physics simulators are a central component of modern control pipelines in robotics. Over the past decades, several robotic simulators have been developed, each with dedicated contact modeling assumptions and algorithmic solutions. In this article, we survey the main contact models and the associated numerical methods commonly used in robotics for simulating advanced robot motions involving contact interactions. In particular, we recall the physical laws underlying contacts and friction (i.e., Signorini condition, Coulomb's law, and the maximum dissipation principle), and how they are transcribed in current simulators. For each physics engine, we expose their inherent physical relaxations along with their limitations due to the numerical techniques employed. Based on our study, we propose theoretically grounded quantitative criteria on which we build benchmarks assessing both the physical and computational aspects of simulation. We support our work with an open-source and efficient C++ implementation of the existing algorithmic variations. Our results demonstrate that some approximations or algorithms commonly used in robotics can severely widen the reality gap and impact target applications. We hope this work will help motivate the development of new contact models, contact solvers, and robotic simulators in general, at the root of recent progress in motion generation in robotics.

研究の動機と目的

• 現代のロボットシミュレータで用いられる接触モデルの物理的・計算的トレードオフを体系的に分析すること。
• 接触ソルバーにおける数値的緩和処理が、シミュレーションベース制御における物理的に不適切な挙動を引き起こし、現実とのギャップを拡大することを特定すること。
• 接触シミュレーションの整合性と効率を、理論的根拠に基づいた定量的基準でベンチマーク化するための基準を確立すること。
• 再現可能性およびコミュニティの再利用を目的として、主要なアルゴリズム変種のオープンソースC++実装を提供すること。
• ベンチマークを通じて、シミュレータの選択が、特に動的または複雑な接触状況下で、高レベル制御性能に顕著に影響することを示すこと。

提案手法

• 接触力学の物理的基礎を調査・形式化：シニョリーニの条件、クーロンの摩擦則、最大散逸則。
• これらの物理的原則を、剛体接触力学の正確な数式表現を定義する非線形補完問題（NCP）にマッピングすること。
• イベント駆動型と時間刻み型の2種類の接触ソルバーに分類し、それらの数値的近似および安定性のトレードオフを分析すること。
• 統一されたC++フレームワーク内に、複数の接触モデル（例：MuJoCoのコンプライアンスモデル、RaiSimのプロジェクション・ガウス＝ザイデル法、CCP、ADMM）を実装し、ベンチマーク化すること。
• 平坦および不整地の地形におけるMPCベースの歩行タスクを用いて、シミュレータを評価し、物理的一致性（NCP違反）とタスクレベルのパフォーマンスの両方を測定すること。
• NCP違反、ベース速度追従誤差、ソルバー実行時間といった定量的指標を用いて、物理的一致性と計算効率を比較すること。

実験結果

リサーチクエスチョン

• RQ1 ロボットシミュレータにおける異なる接触モデルは、シミュレートされた接触相互作用の物理的一致性にどのように影響を与えるか？
• RQ2 接触ソルバーにおける数値的近似（例：人工的コンプライアンスや緩和技術）は、シミュレーションベース制御における現実とのギャップをどの程度拡大させるか？
• RQ3 シミュレータの選択は、複雑または滑らかな地形におけるロボットの高レベル行動（例：歩行）にどのように影響を与えるか？
• RQ4 最先端の接触ソルバーにおいて、物理的正確性、耐障害性、計算効率の間にはどのようなトレードオフがあるか？
• RQ5 接触シミュレーションの整合性とパフォーマンスを客観的に比較できる統一されたベンチマークフレームワークを構築できるか？

主な発見

• 接触モデルおよびソルバーの選択は、シミュレーションの物理的一致性に顕著な影響を与える。特に動的・滑らかな条件下では、一部のモデルが非線形補完問題（NCP）制約を最大20％違反する。
• 低摩擦（μ = 0.3）の不整地では、RaiSim や CCP ベースのモデルが、物理的一致性のある NCP 解と比較して、ベース速度の軌道が30％以上ずれることを示した。
• 接触ごとに処理するソルバー（例：ADMM）は、滑りや衝撃を伴う複雑な接触状況において、集約型ソルバーを上回ってNCP準拠性を維持していた。
• わずかな物理的近似（例：MuJoCoにおける人工的コンプライアンス）ですら、微分可能なシミュレータにおいて顕著な勾配誤差を引き起こし、その後続の最適化や学習に悪影響を及える。
• 急激な「接着→滑り→分離」の遷移を伴う動的タスクでは、標準的なソルバーが物理的一致性を保持できず、現実とのギャップが顕著に拡大する。
• 現在の接触ソルバーは、正確性、耐障害性、効率性のバランスを完全に達成できていないため、接触シミュレーションアルゴリズムの改善の余地が依然として著しくある。