俊敏な四足歩行ロボットのための連続時間安全計画・制御

- 動的環境で俊敏に動く四足ロボット向けの、連続時間で安全を保証する実時間運動計画・制御フレームワーク。 - 四足の fully-actuated $SE(2)$ モデルを保持し、anisotropic で heading-coupled な速度制約を扱う。 - 軌道を composite Bernstein polynomials でパラメータ化し、計画ホライズン全体で衝突回避と入力制約を保証。 - オンライン再計画レートで最適化を閉ループ実行し、body velocities を locomotion controller へ指令。

- 多くの実時間プランナは convex reduction により簡略化した kinematic models を用い、ロボットが実行可能な運動を捨てている。 - 従来は離散化点でのみ安全性を保証し、移動障害物とのサンプル間衝突の可能性が残る。 - 本研究は非凸性を受け入れつつ fully-actuated $SE(2)$ モデルと heading-coupled 制約を保持し、ホライズン全体で連続時間の安全性を証明。 - 簡略モデルが排除する lateral および heading-coupled な運動を実機で回復。

- 軌道を composite Bernstein polynomials で表現。 - Bernstein 多項式の convex hull property を利用し、衝突回避と入力境界を各計画ホライズン全体にわたり証明。 - fully-actuated $SE(2)$ モデルの非凸最適化をオンライン再計画レートで解き、閉ループで body velocities を指令。 - 詳細な定式化・制約記述は要旨からは不明。

- シミュレーションで ablation および external baselines と比較。 - 未知の移動障害物間を航行する四足ロボットの hardware experiments を実施。 - 簡略モデルでは排除される lateral と heading-coupled の運動を実機で回復することを確認。 - 定量的指標や実験規模の詳細は要旨からは不明。

- 非凸最適化を実時間で解く計算負荷や再計画レートの限界については要旨からは不明。 - 移動障害物の予測不確実性や動的制約の扱いの詳細は要旨からは不明。 - 実機実験の障害物密度・速度範囲・失敗事例などの議論は要旨からは不明。

- 比較対象として言及される convex reduction を用いた実時間プランナ（例：convex MPC／凸軌道最適化）。 - Bernstein polynomials を用いた軌道計画・安全保証の関連研究。 - 四足の locomotion controller と統合する階層型 planning-control 研究。 - 動的障害物下の安全保証手法（例：control barrier functions）。