日本フィジカルAI新聞

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

安全制御arXiv:2610.05542

ニューラルバリア:オンラインで認証可能な学習強化適応高次安全臨界制御

Neural Barriers: An Online Certifiable Learning-enhanced Adaptive High Order Safety Critical Control

シェア:XThreadsFacebookLINEはてブBluesky

Neural ODEとConformal Predictionを用いて外乱に適応し、不確実性が高いときは保守的に、データが増えると制御の保守性を低減しながら、時変モデル外乱下でも確率的な安全性保証を提供する制御バリア関数手法を提案した。

詳しい要約

1. どんなもの?

- モデルベースのControl Barrier Functions (CBF) の安全性保証を、実世界のロボティクスに適用するための新しい手法。 - ペイロードや風外乱によるモデル摂動に対応するため、オンライン学習を強化したロバスト適応CBFを提案。 - Neural ODEで外乱を適応し、conformal predictionで適応不確実性を定量化。 - 未知の時変モデル外乱下でも全時間安全性を保証。 - 適応不確実性が高い時は保守的に、データが増えると保守性を低減。 - リプシッツ平滑性仮定の下で確率的な安全性保証を提供。

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

- 従来のCBFはモデル精度に依存し、外乱による摂動で安全性が損なわれる問題があった。 - 提案手法はオンライン学習と適応を組み合わせ、未知の時変外乱下でも安全性を保証。 - 適応不確実性をconformal predictionで定量化し、保守性を動的に調整する点が新しい。 - 理論的な安全性保証を確率境界付きで提供する点で先行研究と異なる。

3. 技術・手法の肝は?

- Neural ODEを用いて外乱をオンラインで学習し、適応する。 - Conformal predictionで適応の不確実性を定量化。 - 不確実性が高い場合は保守的な制御戦略をとり、データが増えるにつれて保守性を低減。 - リプシッツ平滑性仮定の下で、確率的な安全性保証を導出。 - 制御バリア関数とロバスト適応制御を統合。

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

- 要旨からは不明(具体的な実験やシミュレーションの記述がない)。 - ただし、理論的な安全性保証と確率境界が示されている。

5. 議論はある?

- リプシッツ平滑性仮定の下での安全性保証であり、仮定が満たされない場合の議論は要旨からは不明。 - 実世界のロボティクスシステムへの適用可能性が示唆されているが、具体的な限界や課題は要旨からは不明。

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

- 要旨で参照/比較されている研究は明示されていない。 - 関連手法として、Control Barrier Functions (CBF)、Neural ODE、Conformal Prediction、Robust Adaptive Control が挙げられる。 - 同分野の定番として、Safety-critical control、Learning-based control、Adaptive control の論文が考えられる。

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

著者: Lishuo Pan, Mattia Catellani, An Cao, Lorenzo Sabattini, Nora Ayanian

分類: cs.RO

原文アブストラクト

Control barrier functions are an effective model-based tool to formally certify the safety of a system. However, transferring their theoretical guarantees to real-world robotics systems requires high model fidelity. For example, payloads or wind disturbances can cause significant model perturbations to an aerial vehicle, leading to safety compromises. In this work, we propose a certifiable online learning-enhanced robust adaptive control barrier function, which adapts to disturbances using a Neural ODE and quantifies its adaptation uncertainty with conformal prediction. Our approach guarantees safety at all time under unknown time-varying model disturbances. It adopts a conservative strategy when the adaptation uncertainty is high; and efficiently adapts to reduce controller conservativeness as it receives more data. Our approach provides a provable safety guarantee with a probability bound under suitable Lipschitz smoothness assumptions on the underlying model and trajectory. These results demonstrate the potential of our method as a practical safety controller for robotics system operating under model perturbations.

関連論文

  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