安全制御2026/9/15arXiv:2609.17292

機体レート制限下のクアッドロータ安全のための脱出対応制御バリア関数

Escape-Aware Control Barrier Functions for Quadrotor Safety under Body-Rate Limits

機体レート制限により推力方向を変えるのに時間がかかるクアッドロータで、状態のみの制御バリア関数が安全と誤認する問題を定式化し、状態と直前入力のペア上で脱出可能性を測る新しいバリア関数を提案した。

詳しい要約

1. どんなもの？

- 入力制約付きシステムのための Control Barrier Functions (CBF) を扱う。 - 従来の CBF は状態のみの関数であり、quadrotor では body-rate 制限により脱出不能な状態を認証してしまう問題がある。 - 本研究は、状態と直前の入力のペア上で定義される escape barrier を提案し、閉形式と解析的逆関数を導出する。 - 予測制御器に追加の状態コストなしで組み込む。

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

- 従来の state-only barrier は、body-rate 制限下で脱出不能な状態を認証する認証ギャップを生じる。 - 本研究はそのギャップを閉形式で特徴づけ、閉じ速度に比例し body-rate 制限に反比例することを示す。 - 提案する escape barrier は、同じホライズンで stopping-distance barrier が失敗するシナリオでも全シナリオを完了する。 - オンライン backup-CBF ベースラインと比較して、方向マージンが 29-74 度大きく、クリアランスが 3-18 倍である。

3. 技術・手法の肝は？

- 状態と直前の入力の拡張ペア上で escape barrier を定義する。 - 脱出権限を one-step reachable thrust cap で測定する。 - 閉形式と最大認証可能閉じ速度の解析的逆関数を導出する。 - 予測制御器に追加の状態コストなしで埋め込む。

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

- 13状態の quadrotor で 550 のペア閉ループエピソードを実施。 - 提案制御器は全テストシナリオを完了。 - 同じホライズンで stopping-distance barrier は、予測ギャップに入る 2 つのシナリオでそれぞれ 15% と 25% のエピソードで失敗。 - オンライン backup-CBF ベースラインと比較して、方向マージンが 29-74 度大きく、クリアランスが 3-18 倍。 - 独立した保守的ロールアウトレフェリーが、脱出が失敗する認証状態を発見しなかった。

5. 議論はある？

- 要旨からは不明。

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

- 要旨で参照/比較されている研究: stopping-distance barrier, online backup-CBF baseline。 - 関連手法: Control Barrier Functions (CBF), backup-CBF。

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

著者: Lei Shi, Haosong Wen, Qichao Liu

分類: cs.RO

原文アブストラクト

Control barrier functions for input-constrained systems place the admissible input set inside the definition of the safe set, yet the resulting barrier is almost always a function of the state alone; On a quadrotor this is not cosmetic: because the thrust vector must be reoriented before it can decelerate an approach, and reorientation is limited by the attainable body rate, a state-only barrier certifies states from which no escape is reachable in time; We characterize the certification gap in closed form and show its width is proportional to closing speed and inversely proportional to the body-rate limit; We then define an escape barrier on the augmented pair of state and previously applied input, with escape authority measured over the one-step reachable thrust cap; It admits a closed form and an analytic inverse for the maximum certifiable closing speed, and embeds in a predictive controller at no additional state cost; Across 550 paired closed-loop episodes on a 13-state quadrotor, the proposed controller completes every tested scenario, whereas the stopping-distance barrier enforced over the same horizon fails 15% and 25% of episodes in exactly the two scenarios that enter the predicted gap; Against an online backup-CBF baseline enforcing the same escape condition at the reached state, it holds a 29-74 degree larger directional margin and 3-18 times the clearance, and an independent conservative rollout referee finds no certified state from which escape fails.

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