複数制約と入力境界下でのオンライン安全性を保証するgatekeeper：理論と応用
Online Safety under Multiple Constraints and Input Bounds using gatekeeper: Theory and Applications
複数の状態・入力制約下でサイバーフィジカルシステムのオンライン安全性を保証するフレームワーク「gatekeeper」を提案し、バックアップ制御器を用いて無限ホライズンの実行可能軌道を再帰的に構築する。理論的保証とマルチエージェント編隊飛行への応用を示す。
詳しい要約
1. どんなもの？
2. 先行研究と比べてどこがすごい？
3. 技術・手法の肝は？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Devansh R. Agrawal, Dimitra Panagou
分類: eess.SY, cs.MA, cs.RO, cs.SY
原文アブストラクト
This letter presents an approach to guarantee online safety of a cyber-physical system under multiple state and input constraints. Our proposed framework, called gatekeeper, recursively guarantees the existence of an infinite-horizon trajectory that satisfies all constraints and system dynamics. Such trajectory is constructed using a backup controller, which we define formally in this paper. gatekeeper relies on a small number of verifiable assumptions, and is computationally efficient since it requires optimization over a single scalar variable. We make two primary contributions in this letter. (A) First, we develop the theory of gatekeeper: we derive a sub-optimality bound relative to a full nonlinear trajectory optimization problem, and show how this can be used in runtime to validate performance. This also informs the design of the backup controllers and sets. (B) Second, we demonstrate in detail an application of gatekeeper for multi-agent formation flight, where each Dubins agent must avoid multiple obstacles and weapons engagement zones, both of which are nonlinear, nonconvex constraints.
