Hybrid system
- 別名: hybrid dynamical system
- カテゴリ: Control › Feedback control
- タグ: dynamics, hybrid-dynamics, contact, locomotion, optimal-control
連続ダイナミクスとモード間の離散的な切り替えを組み合わせた力学系。立脚と空中相を交互に繰り返す脚ロボットや、接触したり離れたりする手などがその例である。
定義
ハイブリッドシステム（Hybrid system）は、複数の離散モードのそれぞれの中で状態が連続的に変化し、ある条件が満たされるとモード間をジャンプするシステムである。各モードは固有の連続ダイナミクスをもち、通常は微分方程式で表される。ガード（guard）は状態空間内の曲面または領域であり、状態がそこに達すると遷移を引き起こす。リセット写像は遷移直後の状態を与え、その状態は不連続であってもよい。標準的な例は跳ねるボールである。自由飛行がモードであり、ガードはボールが下向きに動きながら床に達することで、リセットは鉛直速度を反転させて縮小する。
ロボットはハイブリッドな振る舞いに満ちている。歩行ロボットは足が接地または離地するたびにダイナミクスが変わり、衝突はほぼ瞬間的な速度変化を引き起こす。物体を押すロボットアームは、固着接触と滑り接触の間で切り替わる。VTOL 機はホバリング、遷移、巡航飛行の間を移行し、それぞれ空気力学が異なる。行動を切り替える状態機械のような、コントローラ内の離散的なロジックも、閉ループ系をハイブリッドにする。
離散的なジャンプは、滑らかなダイナミクスを前提とするツールを破綻させる。初期条件や制御入力に対する軌道の感度はガードをまたぐと急変し、サルテーション行列（saltation matrix）がリセットを通過する正しい線形化を与える。最適化手法はハイブリッドシステムをいくつかの方法で扱う。モード列を固定し、各フェーズの持続時間を変数として各フェーズを最適化する方法、混合整数計画においてモードの選択を整数変数で符号化する方法、あるいは接触については、相補性制約によって切り替えを表現する接触陰的（contact-implicit）定式化である。歩容のような周期的な振る舞いの安定性解析にはポアンカレ写像（Poincaré map）が使われ、一部のモデルは有限時間内に無限回の切り替えが起こる Zeno 挙動を示すため、シミュレータはこれに備える必要がある。
重要な理由
移動、マニピュレーション、そして多くの飛行体はハイブリッドである。これらを滑らかなものとして扱うと、コントローラや最適化器が切り替えのイベントで失敗するため、ハイブリッドな構造を認識することが、どの計画、推定、安定性のツールが有効かを決める。
主な用途
- 脚移動の計画と制御
- 接触の多いマニピュレーションの計画
- VTOL 機と遷移型航空機の制御
- 周期的な歩容の安定性解析
- 監視用の状態機械で動くロボットの検証
実際の使われ方
1 本脚のホッピングロボットを開発するチームが、それをハイブリッドシステムとしてモデル化する。空中相モードでは胴体は弾道的なダイナミクスに従い、立脚モードではバネ脚のダイナミクスに従う。接地ガードは足が地面に達したときに、離地ガードは脚のバネが自然長に戻ったときに発火し、接地リセットは足の衝突で失われる速度を取り除く。チームはモード列を固定し、立脚期の軌道を各フェーズの持続時間と同時に最適化する。安定化コントローラのために運動を線形化する際には、イベントをまたいだ有限差分ではなく接地時のサルテーション行列を使い、シミュレーションではイベント検出によってガードを横切る時刻を正確に特定する。正確な接触時刻を逃す固定ステップの積分器は誤差を持ち込むからである。
よくある誤解
- ハイブリッドとは 2 つの制御手法を組み合わせることである — ダイナミクスにおいては、連続的な変化と離散的なモード切り替えが混在することを意味し、ハイブリッド位置・力制御やハイブリッド電動駆動とは関係がない
- 切り替えは影響なく平滑化して消せる — 平滑化は最適化器の助けになるが、モデルを変えてしまう。また最終的なコントローラでは、衝突やスティックスリップの遷移に依然として注意が必要である
- ハイブリッドシステムは脚ロボット以外ではまれである — 接触したり離れたりするロボットや、モード切り替え型のコントローラを動かすロボットはすべてハイブリッドである
知っておくべき人
- 脚ロボットの制御エンジニア
- マニピュレーション計画の研究者
- 遷移型航空機に取り組むエンジニア
- 接触とイベント処理を実装するシミュレーション開発者
関連技術
- ハイブリッドオートマトン（Hybrid Automata）
- サルテーション行列（Saltation Matrix）
- ポアンカレ写像（Poincaré Map）
- 相補性制約（Complementarity Constraints）
- ODE ソルバーにおけるイベント検出（Event Detection in ODE Solvers）
関連用語
- Contact mode
- Spring-Loaded Inverted Pendulum
- Mixed-Integer Programming
- Gait
- Differential dynamic programming
- Region of attraction
関連プロジェクト
- Open Duck Mini V2: An open-source mini duck robot you 3D-print and build, inspired by Disney's BDX droid
- Drake: MIT robotics toolbox for model-based dynamics, optimization, and control system design
- mjlab: Isaac Lab API on top of GPU-accelerated MuJoCo Warp for RL and robotics research
- ROBOTO ORIGIN: RoboParty's open-source 1.25 m bipedal humanoid with 23 DOF and a full assembly manual
- ASAP: Sim-to-real framework for agile humanoid whole-body skills using delta action models
- Berkeley Humanoid Lite: Open-source sub-$5K humanoid robot with 3D-printed gearboxes and full sim-to-real pipeline