フォーメーションフライングの制御理論と実証

はじめに

フォーメーションフライングとは、複数の衛星が相対位置・姿勢を精密に保ちながら協調飛行する技術だ。単一の大型衛星では実現できない長大な合成開口基線や同時多点観測を可能にし、分散宇宙システムの基盤技術として注目されている。NASAは2024年にStarlingミッションで4機のCubeSatによる自律編隊飛行を実証し、DLRのTanDEM-Xは200mの距離精度で地球全域の3D地形マップを完成させた。

---

相対軌道力学の基礎

Hill/Clohessy-Wiltshire方程式

フォーメーションフライングの制御理論の基礎は、Hill方程式（Clohessy-Wiltshire方程式, CW方程式）にある。これは円軌道を周回する「チーフ（主衛星）」に対する「デピュティ（従衛星）」の相対運動を記述する線形微分方程式だ。

チーフ衛星のLVLH（Local Vertical Local Horizontal）座標系で:

• x方向（ラジアル）: ẍ − 2nẏ − 3n²x = fx/m
• y方向（アロングトラック）: ÿ + 2nẋ = fy/m
• z方向（クロストラック）: z̈ + n²z = fz/m

ここで n は主衛星の軌道角速度、f は制御力だ。

この方程式の自由応答（制御力ゼロ）は楕円運動を描き、適切な初期条件を選ぶと周期的な相対軌道（例: 2:1楕円）が得られる。これがフォーメーションの自然な幾何学的形状の基礎となる。

自然フォーメーションの設計

CW方程式の周期解条件（ドリフトなし条件）は:

ẏ₀ = −2nẋ₀

この条件を満たす初期速度を与えれば、従衛星は主衛星の周りを燃料消費なしに楕円軌道で周回する。ただし、地球の扁平率（J2摂動）、大気抵抗の差異、太陽輻射圧の差異により、長期的にはドリフトが発生するため、定期的な軌道保持マヌーバが必要だ。

---

NASA Starlingミッション

4機CubeSatの自律編隊飛行

NASAのStarlingミッション（2023年打上げ、2024年運用）は、4機の6U CubeSatで以下の自律技術を実証した。

実証項目	内容
自律マヌーバ計画	地上局の介入なしに衛星が自律的に軌道修正を計画・実行
衛星間通信	S2S（Satellite-to-Satellite）リンクによる情報共有
協調科学観測	電離層の同時多点観測
オンボード相対航法	GPS差分による高精度相対位置決定

Starlingの意義は、自律性にある。従来のフォーメーションミッション（TanDEM-X等）は地上局が軌道計算と指令を行っていたが、Starlingでは衛星自身が深宇宙自律意思決定の技術を応用し、リアルタイムに判断する。

---

TanDEM-X: 精密フォーメーションの金字塔

200m精度の編隊飛行

DLR（ドイツ航空宇宙センター）のTanDEM-Xミッション（2010年〜）は、TerraSAR-XとTanDEM-Xの2機のSAR衛星をわずか200m〜数kmの距離で編隊飛行させ、インターフェロメトリックSAR（InSAR）により地球全域の高精度3D地形データを取得した。

“TanDEM-X achieves a relative positioning accuracy of better than 1 mm using dual-frequency GPS receivers.”

― Krieger, G. et al., “TanDEM-X: A Satellite Formation for High-Resolution SAR Interferometry”, IEEE TGRS, 2007

このミッションでは、デュアル周波数GPS受信機によるミリメートル級の相対位置決定精度が実現されている。

---

フォーメーション制御手法

古典的手法とAIの融合

フォーメーション制御には以下のアプローチがある。

• インパルシブ制御: 離散的なΔVパルスで相対軌道を修正。燃料効率重視
• 連続推力制御: 電気推進による低推力連続制御。低推力軌道遷移の最適化と技術基盤を共有
• 人工ポテンシャル法: 衛星間の引力/斥力を仮想的に設定し、自然に所望配置に収束させる
• モデル予測制御（MPC）: 有限ホライズンの最適化をリアルタイムで解く。制約条件への対応力が高い
• 強化学習: 衛星ADCSへの強化学習応用の延長として、マルチエージェント制御への適用研究が進行中

---

技術的なポイント

基礎知識

• CW方程式: 円軌道における相対運動の線形近似。フォーメーション制御の基本ツール
• J2摂動: 地球の赤道膨らみによる軌道面の歳差。フォーメーションのドリフト主因
• LVLH座標系: 主衛星に固定されたローカル座標系。ラジアル・アロングトラック・クロストラック
• 差分GPS: 2衛星のGPS搬送波位相差から相対位置をcm〜mm精度で決定

応用例

• NASA Starling（2024）: 4機CubeSatの自律編隊飛行を実証
• TanDEM-X（2010〜）: 200m精度の編隊SAR干渉計で全球3D地形マップを完成
• PRISMA（2010）: スウェーデンSSCの2機編隊。自律ランデブーと相対航法の実証
• ESA PROBA-3（2024）: 精密フォーメーションによる日食を人工的に再現。コロナ観測

---

まとめ

フォーメーションフライングは分散宇宙システムの基盤であり、CW方程式に基づく相対軌道設計と、GPS差分によるミリメートル級相対航法が技術の核心だ。Starlingの自律性実証とTanDEM-Xの精密制御実績は、将来の大規模フォーメーション（数十〜数百機）への道を拓く。視覚ベース相対航法やAI制御との融合が進めば、軌道上組立や分散型宇宙望遠鏡など、フォーメーション技術の応用範囲はさらに広がるだろう。

---

参考文献

• Krieger, G. et al., “TanDEM-X: A Satellite Formation for High-Resolution SAR Interferometry”, IEEE Transactions on Geoscience and Remote Sensing, vol.45, no.11, 2007. IEEE TGRS
• D’Amico, S., “Autonomous Formation Flying in Low Earth Orbit”, PhD Thesis, TU Delft, 2010. TU Delft
• NASA, “Starling Mission”, NASA Small Spacecraft Technology Program. NASA Starling
• Schaub, H. and Junkins, J.L., Analytical Mechanics of Space Systems, AIAA, 4th Ed., 2018. AIAA