外乱への耐性を必要な妨害量で測るロボット安全フィルター
LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials
この論文をやさしく読む
ひとことで言うと
外乱が危険を生むのに必要な労力を指標にして、ロボットの安全な制御を保つフィルターを構成した。
何に役立つ？
考えられる用途は、外乱やモデルの不確実性があるロボットの制御で、安全条件を満たす入力を選ぶこと。要旨ではシミュレーションと実機実験を報告する。
この研究の面白いところ
外乱の累積労力に上限がある場合のロバスト性を証明量として扱い、その証明量を強化学習で構成する。
どこまで分かった？
保証は累積労力が有界な外乱など、要旨で指定された条件に基づく。すべての未知の外乱への安全保証を述べるものではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
制御バリア関数（CBF）は、非線形動力学系の安全を確保するための安全フィルターとして広く使われる。しかし、系に不確実性や外乱がある場合はロバストなCBFが必要になり、その構成は難しく、入力制約のある高次元の系では特に過度に保守的になり得る。本研究は、この課題に対してLeast-Effort Adversarial Potentials（LEAP）を導入する。LEAPは、外乱が故障を引き起こすのに必要な労力という形で、ある状態の外乱への耐性を定量化する証明量である。LEAPが外乱のない系ではCBFとなり、さらに累積労力に上限のある外乱に対してロバストな安全フィルターの構成にも使えることを示す。方策に沿った深層強化学習でLEAPを構成する方法を提案し、外乱と不確実性を持つ各種の複数エージェント系のシミュレーションで示す。最後に、四足ロボットと複数のクアッドローターを使ったハードウェア実験により、LEAPが現実のロボット系にある外乱や不確実性への対応に適していることを検証する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Control barrier functions (CBF) are a popular safety filter to ensure safety for nonlinear dynamical systems. However, when the system is subject to uncertainties and disturbances, this requires the use of robust variants of CBFs, which can be difficult to construct and can be overly conservative, especially for high-dimensional systems under input constraints. In this work, we propose a new approach to solve these challenges by introducing Least-Effort Adversarial Potentials (LEAP), a certificate that quantifies the robustness of a given state against disturbances in terms of the effort required by the disturbance to cause failure. We show that LEAP is a CBF for the undisturbed system, but can also be used to construct a safety filter that is robust to disturbances whose cumulative effort is bounded. We propose a method for constructing LEAPs with on-policy deep reinforcement learning. Next, we demonstrate LEAPs in simulation on a variety of multi-agent systems with disturbances and uncertainties. Finally, hardware experiments on a quadruped and quadrotors validate that LEAPs are well suited to tackle the disturbances and uncertainties from real-world robotic systems.
arXiv ID: 2609.28364 ／ 要約の誤りについて