クアッドロータUAVの高次安全臨界制御における実現可能性と特異性
Feasibility and Singularity in High-Order Safety-Critical Control for Quadrotor UAVs
入力制約と衝突回避制約下でのクアッドロータ群の高次安全臨界制御を研究し、ペア有効性と集合実現可能性の指標で特異性を特徴付け、トルクを考慮した動的拡張とガウス過程によるロバストな安全マージンを提案した。
詳しい要約
1. どんなもの？
2. 先行研究と比べてどこがすごい？
3. 技術・手法の肝は？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Omayra Yago Nieto, Leonardo Colombo
分類: eess.SY, cs.RO, math.OC
原文アブストラクト
We study high-order safety-critical control of quadrotor teams under bounded inputs and pairwise collision-avoidance constraints. Squared-distance barriers may lose thrust effectiveness when the relative displacement is orthogonal to the available thrust directions, while nonsingular constraints may still be jointly infeasible under shared bounds. We characterize both phenomena through pairwise effectiveness and aggregate feasibility measures. A torque-aware dynamic extension exposes attitude torques in a fourth-order barrier and prevents the extended-input row from vanishing under positive thrust. Gaussian processes directly learn the fourth-order HOCBF residual, providing robust margins without differentiating unknown perturbations. Under residual-bound and persistent-feasibility assumptions, the resulting QP guarantees collision avoidance and recovers the nominal input whenever it satisfies the robust safety and actuator constraints.