[論文レビュー] Run Time Assurance for Autonomous Spacecraft Inspection

Kyle Dunlap, David van Wijk+1 more|arXiv (Cornell University)|Feb 6, 2023

Risk and Safety AnalysisDecision Sciences被引用数 3

ひとこと要約

本稿では、自律的マルチセパレート機の点検を実行する際、安全な距離、速度制限、除外領域などの複数の安全制約を強制するために、制御バリア関数（CBF）とアクティブセット不変性フィルタ（ASIF）を用いた実行時保証（RTA）フレームワークを提案する。モンテカルロシミュレーションの結果、集中型RTAは100％のケースで安全を確保した一方、分散型RTAは90.95％のケースで成功を収めたが、これは複数エージェントの除外領域制約が競合するための失敗に起因し、制約の緩和または適応的強化関数を用いることで是正可能である。

ABSTRACT

As autonomous systems become more prevalent in the real world, it is critical to ensure they operate safely. One approach is the use of Run Time Assurance (RTA), which is a real-time safety assurance technique that monitors a primary controller and intervenes to assure safety when necessary. As these autonomous systems become more complex, RTA is useful because it can be designed completely independent of the primary controller. This paper develops several translational motion safety constraints for a multi-agent autonomous spacecraft inspection problem, where all of these constraints can be enforced with RTA. A comparison is made between centralized and decentralized control, where simulations of the inspection problem then demonstrate that RTA can assure safety of all constraints. Monte Carlo analysis is then used to show that no scenarios were found where the centralized RTA cannot assure safety. While some scenarios were found where decentralized RTA cannot assure safety, solutions are discussed to mitigate these failures.

研究の動機と目的

• 被動チーフと能動的デュープの存在を伴う自律的マルチセパレート機点検ミッションのための安全制約を開発すること。
• 実行時保証（RTA）が複数の並進運動安全制約をリアルタイムで強制する有効性を評価すること。
• マルチエージェントセパレート機点検における安全保証のための集中型対分散型RTAアーキテクチャを比較すること。
• 分散型RTAにおける失敗シナリオを同定し、制約の競合を是正するための戦略を提案すること。
• ASIFベースのRTAとスイッチングベースのRTAを組み合わせることで、燃料制約付きのマニューバーにおいても有効であることを示すこと。

提案手法

• 著者らは、常微分方程式に従う制御アフィン型動的システムとして、セパレート機点検問題をモデル化する。
• 安全な距離、速度制限、除外領域、動的スピード制約を含む、複数の安全制約を制御バリア関数（CBF）を用いて定義する。
• アクティブセット不変性フィルタ（ASIF）を用いて、主制御器からの逸脱を最小限に抑えつつ安全を保証するための二次計画法により制約を強制する。
• 集中型および分散型RTAアーキテクチャを実装し、集中型バージョンは全デュープの状態と制約をグローバルに把握している。
• 燃料制限の強制のため、攻撃的LQR制御器から、極端な非マニューバリング軌道（eNMT）に導くバックアップ制御器に切り替えるスイッチングベースのRTAアプローチを導入する。
• 2,000個の初期条件に対してモンテカルロシミュレーションを実施し、両RTAアーキテクチャの下での安全保証性能を評価する。

実験結果

リサーチクエスチョン

• RQ1 ASIFベースのRTAは、マルチセパレート機点検シナリオにおいて、複数の並進安全制約を同時に効果的に強制できるか？
• RQ2 同じ制約セットに対して、集中型RTAと分散型RTAの安全性保証の信頼性はどのように比較されるか？
• RQ3 分散型RTAにおける失敗の原因は何か？また、制約設計や適応的強化により、これらの失敗を是正できるか？
• RQ4 燃料制限を強制する場面において、スイッチングベースのRTAはASIFに比べてどのような状況でより効果的か？
• RQ5 ASIFとスイッチングベースのRTAを組み合わせることで、複雑なセパレート機点検タスクにおける堅牢な安全保証フレームワークを構築できるか？

主な発見

• 集中型RTAは、2,000件のモンテカルロテストケースすべてで安全を保証し、100％の成功率を達成した。
• 分散型RTAは、テストケースの90.95％で安全を保証したが、失敗は複数エージェントの除外領域制約の競合に起因した。
• 分散型RTAの失敗は、複数のデュープが同時に同じ除外領域を避ける試みをした場合に発生し、すべての制約を満たすのに十分な加速度が得られなかったことが原因であった。
• 複数エージェントの除外領域制約を削除または緩和することで、分散型RTAの安全保証率が再び100％に回復した。これは、この制約が協調性に非常に敏感であることを示している。
• スイッチングベースのRTAアプローチは、Δv予算に違反する前にeNMTに導くバックアップ制御器に切り替えることで、燃料制限を効果的に強制した。
• シミュレーション結果から、ASIFベースのRTAは大多数の制約に対して非常に効果的であることが確認されたが、複雑でリソース制約のあるシナリオでは、ASIFとスイッチングベースのRTAを組み合わせたハイブリッドアプローチが必要であることが示された。