Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance

기술 요약: 우주선 충돌 회피를 위한 해밀턴 - 야코비 도달성 분석

문제 제기
스페이스X 의 스타링크와 같은 저궤도 (LEO) 궤도 군집의 급속한 확장은 기존 우주 교통 관리 (STM) 아키텍처에 도전을 제기하고 있습니다. 전통적인 지상 기반 충돌 회피 및 전략적 기동 계획은 향후 수만 개 (최대 42,000 개) 의 우주선으로 구성될 수 있는 군집의 규모에는 부족합니다. 본 논문은 동일한 원형 궤도 내에서 제어된 위성과 비협조적 또는 2 차 위성 간의 충돌 회피를 처리하기 위해 자동화되고 수학적으로 근거를 둔 안전 계층의 필요성을 다룹니다. 핵심적인 과제는 비협조적 위성의 알려지지 않은 의도와 유계된 교란에도 불구하고 안전을 보장하기 위해 회피 기동을 언제 시작해야 하는지를 결정하는 것입니다.

방법론
저자들은 제로 - 합 미분 게임으로 공식화된 해밀턴 - 야코비 (HJ) 도달성 분석에 기반한 형식적 프레임워크를 제안합니다.

1. 동역학 및 모델링:

   • 상대 운동은 궤도 운동의 국소 선형 근사를 제공하는 평면 힐 - 클로헤시 - 윌트셔 (HCW) 동역학을 사용하여 방사 - 접선 - 수직 (RTN) 좌표계에서 모델링됩니다.
   • 시스템 상태 $X = [x, y, \dot{x}, \dot{y}]^\top$는 접선 및 방사 방향의 위치와 속도를 나타냅니다.
   • 플레이어 1 (제어된 위성): 충돌을 피하기 위해 유계된 제어 입력 (가속도 $u$) 을 적용합니다.
   • 플레이어 2 (비협조적 위성): 알려지지 않은 의도를 가진 유계된 적대적 교란 $d$로 모델링되며, 최악의 경우 상대 가속도를 나타냅니다.

2. 하이브리드 시스템 아키텍처:
   의사 결정 과정은 세 가지 이산 모드를 가진 하이브리드 오토마톤으로 모델링됩니다.

   • $q_{nom}$: 정상 위치 유지 또는 궤도 도킹.
   • $q_{eva}$: 능동적 충돌 회피 기동 실행.
   • $q_{ret}$: 궤적 복구 단계.
     이러한 모드 간의 전이는 후방 도달 집합 (BRS) 및 안전 복구 영역에 대한 시스템 상태에 기반한 "가드 조건"에 의해 제어됩니다.

3. 도달성 공식화:

   • 목표 집합 ($T$): 연방 통신 위원회 (FCC) 의 최소 분리 기준을 위반하는 위험한 상대 구성 (물리적 충돌 구역) 의 집합으로 정의됩니다.
   • 후방 도달 집합 (BRS): 해밀턴 - 야코비 - 이사아스 (HJI) 편미분 방정식을 통해 계산됩니다. BRS 는 플레이어 1 의 최적 제어와 무관하게 최악의 경우 교란 하에서 충돌이 불가피한 모든 초기 상태를 특징짓습니다.
   • 안전 보장: BRS 외부의 상태는 증명 가능한 충돌 없는 궤적을 허용합니다. BRS 의 경계는 중요한 전환 표면으로 작용하며, 시스템 상태가 이 경계에 접근하면 하이브리드 오토마톤이 회피 모드 ($q_{eva}$) 로 전이를 트리거합니다.

4. 제어 전략:

   • 정상/복구: 위성을 원하는 상대 위치와 속도로 유도하기 위해 비례 - 미분 (PD) 제어 법칙을 사용합니다.
   • 회피 기동: RTN 기하학에 기반하여 네 가지 특정 탈출 모드가 정의됩니다.
     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 도달성을 활용함으로써, 이 프레임워크는 명시적인 최악의 경우 안전 마진을 제공하며, 이는 미래 대규모 위성 군집의 지속 가능성에 매우 중요합니다. 저자들은 그들의 접근 방식이 "증명 가능한 안전한 행동"과 "수학적으로 근거를 둔 감시 결정"을 가능하게 한다고 강조합니다.

본 논문은 현재 범위에 대해 겸손하게 다음과 같은 점을 지적합니다.

• 분석은 궤도면 외 운동, 세차 섭동 (예: $J_2$), 비선형 궤도 효과를 생략한 평면 (2D) HCW 동역학으로 제한됩니다.
• 계산된 도달 집합은 채택된 선형화 모델에 특화된 형식적 보장입니다.
• 현재 공식화는 보수적입니다. 모든 허용 가능한 교란 실현이 가능하다고 가정하여 위험한 상태를 과대평가할 수 있습니다.

저자들이 식별한 향후 작업은 프레임워크를 완전한 3 차원 상대 운동으로 확장하고, 더 현실적인 궤도 섭동을 통합하며, 고차원 도달 집합 계산의 계산 복잡성을 해결하기 위해 분해 또는 학습된 가치 함수와 같은 확장 가능한 근사법을 개발하는 것을 포함합니다.