論文サマリー：再帰的追跡関数を用いた高次非線形システムの安全クリティカル制御

1. 背景と課題 (Problem)

自律システムにおける安全クリティカル制御では、制約条件の満足を保証しつつ性能目標を達成する必要があります。そのための主要な手法として**制御バリア関数（Control Barrier Functions: CBFs）**が知られていますが、高次・高次元の非線形システム（ドローン、歩行ロボット、複雑な電力網など）に対して有効な CBF を構築することは計算量的に困難（計算非現実的）であるという課題があります。

既存の手法では、以下の問題点があります：

• 次元の呪い: 高次元システムに対する CBF 合成が困難。
• 層状制御の限界: 安全性を低次元の「低次モデル（RoM）」で保証し、高次元の「完全モデル（FoM）」で追従させる層状制御アプローチは有効ですが、RoM と FoM の間の追跡誤差が指数的に収束することを保証するリャプノフ追跡関数の体系的な構築法は、完全駆動システム以外では存在しません。
• 厳密な単調減少の要件: 従来の追跡関数は、誤差が時間とともに単調に減少することを要求しており、これは非完全駆動システムや制約のあるシステムでは満たしにくい条件です。

2. 提案手法 (Methodology)

著者らは、単調減少という厳しすぎる条件を緩和し、**「再帰的（Recurrent）」**な条件を導入することで上記の課題を解決しました。

2.1 再帰的追跡関数 (Recurrent Tracking Functions: RTFs)

従来のリャプノフ関数が「常に減少する」ことを要求するのに対し、RTF は**「有限時間 $\tau$ 以内に、指数関数的な減少条件が再帰的に満たされればよい」**という条件を提案しました。

• 特徴: 追跡誤差が一時的に増大しても、時間 $\tau$ 以内に収束すれば安全が保証されます。
• 利点: 任意のノルム（距離）が有効な RTF となり得るため、非線形システムに対して追跡関数を体系的に構築する必要がなくなります。

2.2 層状制御と再帰的 CBF (Recurrent CBFs)

• 構造: 低次元の RoM に対して CBF を設計し、FoM の追跡誤差を RTF で管理します。
• 再帰的 CBF ($h_V$) の構築:
  RoM の CBF $h(z)$ と RTF $V(z, \dot{e})$ を組み合わせた新しい関数 $h_V$ を定義します。
  $$h_V(z, \dot{e}) = -V(z, \dot{e}) + \alpha_e h(z)$$
  ここで、$\dot{e}$ は追跡誤差、$\alpha_e$ は定数です。
• 安全性の保証: この $h_V$ のゼロ超レベルセット $S_V$ が「制御 $\tau$-再帰的」であることを示し、初期状態が $S_V$ にあれば、システムは一時的に $S_V$ から外れても、安全領域（FoM の安全集合）には決して侵入しないことを証明しました。
• 収束条件: 追跡誤差の収束率 $\beta$ が、CBF の減衰率 $\alpha$ よりも大きい（$\beta > \alpha$）ことが重要です。これにより、システムが安全境界に近づく速度よりも、誤差が修正される速度の方が速くなります。

2.3 外乱に対する頑健性 (Input-to-State Safety)

モデルの不確実性や外乱が存在する場合、追跡誤差は完全にゼロになりませんが、有界な定常誤差に収束します（ISS: Input-to-State Stability）。

• 外乱を考慮した拡張された安全集合 $S_d$ と、外乱の大きさに比例する安全マージンを持つ再帰的 CBF を定義することで、外乱下でも安全性（ISSf）を保証します。

3. 主要な貢献 (Key Contributions)

1. RTF フレームワークの提案: 標準的なリャプノフ減少条件を緩和し、再帰的条件（Recurrent condition）を導入。指数安定な追跡誤差の任意のノルムが有効な RTF となることを示した。
2. 安全性の理論的保証: 初期状態が再帰的 CBF のゼロ超レベルセット $S_V$ にあれば、FoM の軌道が常に安全集合内に留まることを証明した。
3. 数値的検証: 2 次元のダブルインテグレータ（二重積分器）モデルを用いた数値実験により、提案手法の有効性と、$\alpha$ の値や初期状態によって安全性がどう変化するかを可視化し、理論結果を検証した。

4. 結果と検証 (Results)

• 数値シミュレーション: 2 次元空間における障害物回避タスクを実行。
  • $\alpha = 0.5$ (安全): 提案された条件（CBF と RTF の両方が満たされる）を満たす場合、システムは安全に目標地点へ到達し、安全距離 $h(t)$ は常に正を維持した。
  • $\alpha = 1.0$ (初期状態不適): 安全集合 $S_V$ の外から開始した場合、安全が保証されず、$h(t)$ が負（衝突）になった。
  • $\alpha = 5.0$ (CBF 無効): RoM の CBF 制約が緩すぎて無効な場合、安全性が保証されなかった。
• 追跡誤差の挙動: 安全フィルタが作動している間でも、追跡誤差は ISS 追跡 bound 内で有界であり、再帰的条件を満たすことが確認された。

5. 意義と将来展望 (Significance & Future Work)

• 意義:
  • 高次・非線形システムにおける安全クリティカル制御の実用的な障壁であった「追跡関数の構築難易度」を大幅に低下させた。
  • 単調減少という非現実的な要件を「再帰的収束」に緩和することで、より広範なシステム（特に不完全駆動システム）に安全制御を適用可能にした。
  • 層状制御において、RoM の安全性を FoM に厳密に転写するための新しい理論的基盤を提供した。
• 将来の展望:
  • 軌跡データから直接 RTF を学習するデータ駆動型アプローチの開発。
  • 物理的なロボットプラットフォームでの実証実験。
  • 再帰的集合の検証に関する最新のデータ駆動検証技術との統合。

結論:
この論文は、複雑な非線形システムにおける安全制御の課題に対し、リャプノフ関数の「単調減少」要件を「再帰的収束」に緩和する革新的なアプローチ（RTF）を提案しました。これにより、高次元システムでも実用的な安全クリティカル制御の設計が可能となり、理論的保証と数値的検証の両面でその有効性が示されました。