制御/安全計画2025/10/1arXiv:2510.06351

安全な双対制御のための形式的ゲートキーパー枠組みと能動的探索

A Formal gatekeeper Framework for Safe Dual Control with Active Exploration

不確実性下での安全な軌道計画において、安全性を保証しつつ検証可能な改善が得られる場合にのみ探索を行うゲートキーパー枠組みを提案し、四回転翼機のオンライン双対制御で評価した。

詳しい要約

1. どんなもの？

- 本論文は、モデル不確実性下での安全な軌道計画における dual control 問題を扱うフレームワークを提案する。 - robust planning は worst-case realization を考慮して安全を確保するが、不確実性低減を無視し過度に保守的になる問題がある。 - 提案手法は robust planning と active exploration を形式的保証の下で統合する。 - 鍵となる革新は、安全性を損なわず検証可能な改善が得られる場合にのみ exploration を行う点である。 - 既存の gatekeeper アーキテクチャを拡張し、安全かつ情報量の多い軌道を生成する。

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

- 多くの既存手法は cost に重み付き exploration term を加え、nominal objective と uncertainty reduction のトレードオフを調整するが、exploration が有益かどうかを形式的に考慮しない。 - また、安全性を強制する手法とそうでない手法が混在している。 - 提案手法は、exploration を「検証可能な改善が得られ、かつ安全性を損なわない場合」に限定する点で異なる。 - robust planning と active exploration を形式的保証の下で統合する点が先行研究に対する優位性として示されている。

3. 技術・手法の肝は？

- 著者らの先行研究である gatekeeper を safety verification のアーキテクチャとして利用する。 - これを拡張し、不確実性と mission の cost を低減する、または user-defined budget 内に保つ、安全かつ情報量の多い軌道を生成する。 - exploration は検証可能な改善が得られる場合にのみ追求される。 - 形式的保証の下で robust planning と active exploration を統合する枠組みが肝である。

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

- パラメトリック不確実性下での quadrotor の online dual control に関する simulation case studies で評価している。 - 具体的な評価指標や比較対象の詳細は要旨からは不明。

5. 議論はある？

- 要旨からは不明。 - ただし、exploration を検証可能な改善が得られる場合に限定する設計や、user-defined budget の設定が議論の対象になり得る。

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

- 著者らの先行研究である gatekeeper アーキテクチャに関する論文。 - dual control 問題に関する一般的な関連研究。 - robust planning に関する関連研究。 - active exploration を用いた不確実性低減に関する関連研究。

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

著者: Kaleb Ben Naveed, Devansh R. Agrawal, Dimitra Panagou

分類: cs.RO

原文アブストラクト

Planning safe trajectories under model uncertainty is a fundamental challenge. Robust planning ensures safety by considering worst-case realizations, yet ignores uncertainty reduction and leads to overly conservative behavior. Actively reducing uncertainty on-the-fly during a nominal mission defines the dual control problem. Most approaches address this by adding a weighted exploration term to the cost, tuned to trade off the nominal objective and uncertainty reduction, but without formal consideration of when exploration is beneficial. Moreover, safety is enforced in some methods but not in others. We propose a framework that integrates robust planning with active exploration under formal guarantees as follows: The key innovation and contribution is that exploration is pursued only when it provides a verifiable improvement without compromising safety. To achieve this, we utilize our earlier work on gatekeeper as an architecture for safety verification, and extend it so that it generates both safe and informative trajectories that reduce uncertainty and the cost of the mission, or keep it within a user-defined budget. The methodology is evaluated via simulation case studies on the online dual control of a quadrotor under parametric uncertainty.

arXivで原文を読む →arXiv概要ページ

← 論文一覧