日本フィジカルAI新聞

世界のフィジカルAIを、日本語で。

安全制御/ナビゲーションarXiv:2610.20895

BubbleCBF:二次系のための構成的安全制約と未知環境における自律ロボットナビゲーションへの応用

BubbleCBF: Constructive Safety for Second-Order Systems and Application to Autonomous Robot Navigation in Unknown Environments

シェア:XThreadsFacebookLINEはてブBluesky

位置空間に衝突のない球(バブル)を構成し、その二次幾何と重なりから速度依存の安全制約を導出することで、二次系の実行可能な安全フィルタを設計し、未知環境でのロボットナビゲーションを実現した。

詳しい要約

1. どんなもの?

- 二次系制御アフィン系に対する安全制約設計手法 - SDFから衝突回避球(bubble)を構築 - 位置空間のbubbleの二次幾何と重なりから速度依存安全制約を生成 - 安全集合をintersectionのunionとして表現 - 二次計画(QP)安全フィルタで制約を強制 - 差動駆動ロボットの未知環境自律ナビゲーションに適用

2. 先行研究と比べてどこがすごい?

- 従来の高次CBFは実現可能性が系のダイナミクスと制御権限に依存 - 位置制約が実行不能な減速を要求する問題を回避 - 二次系制御アフィン系に対し構成的に実行可能な安全制約を設計 - bubbleの重なりと設計パラメータの緩い仮定下でQP制御器のwell-defined性・連続性・前向き不変性を証明 - 有界入力下の実行可能性の十分条件を導出

3. 技術・手法の肝は?

- SDFから位置空間に衝突回避球(bubble)を構築 - bubbleの二次幾何と重なりを利用し速度依存安全制約を構築 - 安全集合をintersectionのunionとして表現 - QP安全フィルタで制約を強制 - ダイナミクス・bubble重なり・設計パラメータの緩い仮定下でQP制御器のwell-defined性・状態連続性・前向き不変性を証明 - 有界入力下の実行可能性の十分条件を導出

4. どうやって有効だと検証した?

- 差動駆動ロボットにBubbleCBFを適用 - 未知環境での安全な自律ナビゲーションを実証 - 動画と結果は https://existentialrobotics.org/bubblecbf/ で公開 - 理論的にはQP制御器のwell-defined性・連続性・前向き不変性を証明 - 有界入力下の実行可能性の十分条件を導出

5. 議論はある?

- ダイナミクス・bubble重なり・設計パラメータに関する緩い仮定の下で理論保証 - 有界入力下の実行可能性の十分条件を導出 - 具体的な限界や失敗ケース、計算コスト、スケーラビリティに関する議論は要旨からは不明

6. 次に読むべき論文は?

- Higher-order control barrier functions (CBFs) - Signed distance function (SDF) を用いた安全制約設計 - Quadratic-program safety filter - Control-affine systems の安全制御 - Differential-drive robot の自律ナビゲーション

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Mani Amani, Mohammed Alyaseen, Zhirui Dai, Ki Myung Brian Lee, Nikolay Atanasov, Jorge Cortes

分類: cs.RO

原文アブストラクト

Satisfying safety constraints for systems with second-order dynamics is challenging because a position constraint may require infeasible deceleration. Higher-order control barrier functions (CBFs) provide an approach for expressing safety conditions for such systems but feasibility depends on the system dynamics and available control authority. We develop a constructive approach for designing feasible safety constraints for second-order control-affine systems. Starting from a signed distance function (SDF), we construct collision-free spheres, i.e., bubbles, in position space, and use their quadratic geometry and overlap to construct a velocity-dependent safety constraint. The associated safe set is represented as a union of intersections and enforced through a quadratic-program safety filter. Under mild assumptions on the dynamics, bubble overlap, and design parameters, we prove that the quadratic-program-based controller is well defined, continuous in the system state, and renders the set forward invariant. We also derive sufficient conditions for feasibility under bounded inputs. We demonstrate that our BubbleCBF, applied to a differential-drive robot, achieves safe autonomous navigation in unknown environments. Videos and results are available at: https://existentialrobotics.org/bubblecbf/.

関連論文

  1. 1Boston Dynamics、車輪付きAtlasの研究試作機を紹介研究・技術
  2. 2GXOとApptronik、Apolloの物流現場試験を拡大 最大1,000台の展開を構想量産・展開
  3. 3newmoとKDDIが資本業務提携 2028年に堺市で自動運転タクシー商用化目指す提携・買収
  4. 4NVIDIA、CoRLでGR00T 2とIsaac Lab 3.0を発表新製品・発表
  5. 5UC BerkeleyとNVIDIAの研究者、AIエージェントでロボット制御コードを仮想環境で改善研究・技術

PR・アフィリエイト広告

FRONTIER(GPU搭載BTOパソコン)

FRONTIER(GPU搭載BTOパソコン)の公式広告バナーFRONTIERでGPU搭載PCを見る ↗
PR本紙発行元 EmplifAI