複数候補シンプレックス構成における設計時同定に基づく安全領域の文脈依存ランタイム構築

- 安全クリティカルな cyber-physical systems 向けの Runtime Assurance (RTA) アーキテクチャに関する研究。 - Simplex アーキテクチャを対象に、High-Assurance (HA) コントローラの certified Region of Attraction (RoA) の保守性を緩和する。 - 二段階の RoA 認証手続きを提案し、context-dependent な安全 RoA の runtime 構築と、複数 HA candidate 間の安全な switching を可能にする。 - ロボットの path-tracking タスクで検証。

- 古典制御は安定性証明を持つが保守的、optimization/learning-based 制御は高性能だが formal verification を欠く。 - Safety filters は online optimization を用いるが chattering を導入する。 - Simplex の permissiveness は HA コントローラの certified RoA の tightness に制限される。 - 本研究はこの保守性を狙い、contraction-based stability と Taylor-model-based reachability analysis を組み合わせ、複数 HA candidate の switching で operating envelope を拡大する点が異なる。

- 二段階の RoA 認証手続きを提案。 - contraction-based stability を用いて target set を設定し、Taylor-model-based reachability analysis で検証する。 - HA 制御下の closed-loop system を switched system として扱う。 - これにより (a) context-dependent な安全 RoA の runtime 構築、(b) HA candidate 間の安全な switching を実現し、uncertified High-Performance (HP) controller の operating envelope を最大化する。

- ロボットの path-tracking タスクで三段階評価を実施。 - Ordinary Differential Equation (ODE) simulation による理論検証。 - 未モデル化動力学下での高忠実度 Gazebo simulation。 - 物理ハードウェアでの実験。 - 結果として、fault injection 下でも Simplex アーキテクチャが安全性を維持し、behavioral-cloning-trained HP controller を遮蔽できることを示す。 - decision module の overhead は平均 0.028 ms、最悪 4.13 ms で制御周期の 10% 未満。

- 提案手法は RoA の保守性を緩和し、複数 HA candidate の switching で operating envelope を拡大できる。 - decision module の overhead は小さく実用的。 - ただし要旨からは、switching の安定性保証の詳細や、より複雑なタスクへの一般化、HP controller の性能限界などについての議論は不明。

- Simplex architecture の原論文。 - Runtime Assurance (RTA) に関するサーベイ。 - Safety filters に関する研究。 - contraction-based stability および Taylor-model-based reachability analysis の関連論文。 - behavioral cloning による HP controller の研究。