Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance

技術概要：宇宙機衝突回避のためのハミルトン・ヤコビ到達可能性

問題定義
SpaceX のスターリンク（Starlink）などの低軌道（LEO）コンステレーションの急速な拡大は、既存の宇宙交通管理（STM）アーキテクチャに課題を投げかけている。従来の地上ベースの衝突回避調整や戦略的機動計画は、将来のコンステレーション（潜在的に 42,000 機の宇宙機）の規模には不十分である。本論文は、同一円軌道内の制御された衛星と非協調的または二次的な衛星との間の衝突回避を処理するための、数学的根拠に基づく自動化された安全層の必要性に取り組む。核心的な課題は、非協調的衛星の意図が不明であり、かつ有界な擾乱が存在する状況下でも安全性を保証するために、回避機動をいつ開始すべきかを決定することである。

手法
著者は、ゼロ和微分ゲームとして定式化されたハミルトン・ヤコビ（HJ）到達可能性分析に基づく形式的枠組みを提案する。

1. 動力学とモデリング:

   • 相対運動は、軌道運動の局所的な線形近似を提供する平面ヒル・クロヘシ・ウィルシャー（HCW）動力学を用いて、半径方向・接線方向・法線方向（RTN）座標系でモデル化される。
   • システム状態 $X = [x, y, \dot{x}, \dot{y}]^\top$ は、接線方向および半径方向の位置と速度を表す。
   • プレイヤー 1（制御された衛星）: 衝突を回避するために有界な制御入力（加速度 $u$）を適用する。
   • プレイヤー 2（非協調的衛星）: 意図が不明な有界な敵対的擾乱 $d$ としてモデル化され、最悪ケースの相対加速度を表す。

2. ハイブリッドシステムアーキテクチャ:
   意思決定プロセスは、3 つの離散モードを持つハイブリッドオートマトンとしてモデル化される。

   • $q_{nom}$: 名目上のステーションキープまたは軌道運行。
   • $q_{eva}$: 能動的衝突回避機動の実行。
   • $q_{ret}$: 軌道回復フェーズ。
     これらのモード間の遷移は、後方到達集合（BRS）および安全回復領域に対するシステム状態に基づいた「ガード条件」によって制御される。

3. 到達可能性の定式化:

   • ターゲット集合（$T$）: 連邦通信委員会（FCC）の最小分離基準（物理的衝突領域）に違反する安全でない相対構成の集合として定義される。
   • 後方到達集合（BRS）: ハミルトン・ヤコビ・イサックス（HJI）偏微分方程式を介して計算される。BRS は、プレイヤー 1 の最適制御に関わらず、最悪ケースの擾乱下で衝突が避けられないすべての初期状態を特徴付ける。
   • 安全性保証: BRS 外部の状態は、証明可能な衝突フリー軌道を許容する。BRS の境界は、臨界的なスイッチング面として機能する。システム状態がこの境界に接近する場合、ハイブリッドオートマトンは回避モード（$q_{eva}$）への遷移をトリガーする。

4. 制御戦略:

   • 名目/回復: 衛星を所望の相対位置および速度へ駆動するために比例・微分（PD）制御則を使用する。
   • 回避機動: RTN 幾何学に基づいて 4 つの特定の脱出モードが定義される。
     1. 正の半径方向推力（後方に漂流）。
     2. 負の半径方向推力（前方に加速）。
     3. 純粋な接線方向ブレーキ。
     4. 純粋な接線方向加速。

主要な貢献

• 形式的安全性枠組み: 本論文は、HJ 到達可能性をハイブリッド監督制御論理と統合し、宇宙機衝突回避のための厳密な最悪ケース安全性保証を提供する。
• 敵対的モデリング: 確率的スクリーニング手法とは異なり、このアプローチは非協調的衛星を有界な擾乱として扱い、他方が許容範囲内で最も攻撃的な機動を行った場合でも安全性を確保する。
• ハイブリッドオートマトンの設計: 著者は、計算された到達可能性集合に基づき、名目操作を回避機動に放棄する正確なタイミングと、ステーションキープに戻るタイミングを決定する特定のスイッチング論理を定義する。
• スケーラビリティへの配慮: この枠組みは分散型アーキテクチャを念頭に設計されており、大規模コンステレーションにおける個々の車両レベルの衝突回避に適している。

結果
著者は、修正されたレベルセットメソッドツールボックスを用いた数値シミュレーションにより、この枠組みを検証した。

• シミュレーションパラメータ: シミュレーションは 500km の LEO 軌道を仮定し、制御された衛星については $\pm 0.1 \, \text{m/s}^2$ の対称的な推力制限、非協調的衛星については $\pm 0.05 \, \text{m/s}^2$ の有界な擾乱を仮定した。
• 検証: 本研究は、2 次元および 3 次元の捕捉集合と後方到達チューブの計算に成功した。結果は、ハイブリッドオートマトンが名目、回避、回復モード間のスイッチング境界を正しく識別することを示している。
• 安全性の検証: 計算された集合は、定義された制御則と擾乱の限界下において、BRS 外部の状態が衝突フリー軌道を可能にすることを確認する。

意義と主張
本論文は、純粋に確率的な衝突回避手法に対する数学的に厳密な代替案を提供すると主張する。HJ 到達可能性を活用することで、この枠組みは明示的な最悪ケースの安全性マージンを提供し、将来の大規模衛星コンステレーションの持続可能性にとって重要である。著者は、自らのアプローチが「証明可能な安全な挙動」と「数学的根拠に基づく監督的決定」を可能にすると強調している。

本論文は、現在の範囲については控えめに記述しており、以下の点を指摘している。

• 分析は平面（2 次元）HCW 動力学に限定されており、面外運動、歳差摂動（$J_2$ など）、および非線形軌道効果は含まれていない。
• 計算された到達可能性集合は、採用された線形化モデルに固有の形式的保証である。
• 現在の定式化は保守的である。許容されるすべての擾乱実現が可能であると仮定しており、これは安全でない状態を過大評価する可能性がある。

著者が特定した将来の作業には、完全な 3 次元相対運動への枠組みの拡張、より現実的な軌道摂動の組み込み、および高次元の到達可能性集合計算の計算複雑性に対処するためのスケーラブルな近似（分解や学習された値関数など）の開発が含まれる。