Log-linear Dynamic Inversion for Thrusting Spacecraft on SE2(3)

논문 요약: SE2(3) 상의 추력 가동 우주선의 근사 로그 - 선형 동역학

1. 문제 제기 (Problem Statement)

• 배경: 스타링크 (Starlink), 원웹 (OneWeb) 등 메가 컨스텔레이션의 급격한 성장으로 인해 우주선의 궤적 기동 (orbital maneuvers) 빈도가 크게 증가하고 있습니다. 이에 따라 안전하고 연료 효율적인 제어는 임무 수명 연장과 손실 방지를 위해 필수적입니다.
• 기존 모델의 한계: 상대 운동 분석의 기초가 되는 고전적인 선형화 모델 (Hill–Clohessy–Wiltshire, HCW 및 Tschauner–Hempel/Yamanaka–Ankersen, TH/YA 방정식 등) 은 기준 궤도 주변의 국소 선형화를 기반으로 합니다.
  • 이러한 모델들은 추력 (thrusting) 기동 중 발생하는 비선형 결합 (병진 운동과 회전 운동의 상호작용) 을 명시적으로 반영하지 못합니다.
  • 특히 장기간의 기동이나 자세가 결합된 추력 기동 시, 기존 선형 모델의 정확도와 유효성이 급격히 저하됩니다.
• 핵심 과제: 추력 가동 우주선의 동역학을 기하학적으로 일관되게 표현하고, 비선형성을 제어하거나 경계화하여 선형 제어 이론을 적용할 수 있는 프레임워크를 구축하는 것.

2. 방법론 (Methodology)

이 논문은 우주선 동역학을 이중 직접 공간 등거리 변환군 (Double Direct Spatial Isometries, $SE_2(3)$) 리 군 (Lie group) 에 매립하여 분석합니다.

• $SE_2(3)$ 리 군 표현:
  • $SE(3)$(위치, 자세) 에 **병진 속도**를 포함하여 확장된 리 군$SE_2(3)$을 사용합니다.
  • 상태 행렬 $X$는 자세 ($R$), 속도 ($v$), 위치 ($p$) 를 하나의 행렬로 통합하여 표현합니다.
• 혼합 불변 시스템 (Mixed-Invariant System) 식별:
  • 우주선의 동역학을 $SE_2(3)$ 상에서 혼합 불변 (mixed-invariant) 형태로 재구성합니다.
  • 중력 ($g(p)$) 만이 그룹 아핀 (group-affine) 성질을 깨뜨리는 유일한 요인임을 규명합니다. 중력이 없다면 시스템은 완전히 그룹 아핀이 되어 오차 동역학이 궤적과 무관하게 선형적으로 진화합니다.
• 로그 - 선형 오차 동역학 유도:
  • 좌측 불변 오차 (left-invariant error) $\eta = X^{-1}\bar{X}$를 정의하고, 이를 리 대수 좌표 $\xi = \text{Log}(\eta)^\vee$로 변환합니다.
  • 유도된 오차 동역학 방정식 (18) 은 중력 불일치 (gravity mismatch) 항을 제외한 경우 선형 형태를 띱니다.

3. 주요 기여 (Key Contributions)

이 논문은 세 가지 핵심 기여를 제공합니다.

1. 혼합 불변 시스템으로서의 동역학 규명:
   • 추력 가동 우주선의 병진 및 회전 동역학을 $SE_2(3)$ 리 군 상의 혼합 불변 시스템으로 표현했습니다.
   • 중력이 그룹 아핀 성질을 방해하는 유일한 요인임을 이론적으로 증명했습니다.
2. 중력 유도 비선형성의 경계화 (Bounding):
   • 유한한 추적 오차와 최소 고도 이상의 궤도 반경에서, 중력 불일치가 경계 가능한 섭동 (bounded perturbation) 으로 작용함을 보였습니다.
   • 이를 통해 중력 보상 없이도 표준 선형 안정성 및 도달 가능성 (reachability) 도구를 사용할 수 있음을 입증했습니다.
3. 동적 역진 제어 (Dynamic Inversion Control) 법칙 제시:
   • 중력 불일치를 완전히 제거하는 동적 역진 제어 법칙을 유도했습니다.
   • 이 제어 법칙을 적용하면 참조 궤도와 무관하게 정확한 로그 - 선형 (exactly log-linear) 폐루프 오차 동역학을 얻어낼 수 있습니다.

4. 결과 (Results)

• 수치적 검증:
  • 시뮬레이션 환경: 타원 궤도 (Molniya 유사 궤도, 이심률 0.74) 에서 주선박 (Chief) 과 종선박 (Deputy) 의 형성 비행 시나리오를 설정했습니다. 궤도 반경과 중력 구배가 크게 변하는 까다로운 조건입니다.
  • 정확도: 뉴턴 역학을 기반으로 한 고전적 적분 결과와 제안된 로그 - 선형 동역학 (18) 을 직접 적분한 결과 간의 오차를 비교했습니다.
    • 2 회 궤도 주기 동안 위치 오차는 219m 에서 2,407km 로 증가했으나, 두 방법 간의 상대 오차는 $1.6 \times 10^{-8}\%$ 수준으로 일치했습니다.
    • 이는 모델링 오차가 아닌 수치 적분 오차 범위임을 의미합니다.
• 중력 불일치 경계 검증:
  • Proposition 1 에서 유도된 중력 불일치 경계 식 (20) 을 검증했습니다.
  • 실제 중력 불일치 값은 계산된 경계 값보다 항상 작았으며, 전 궤도 구간에서 유효한 글로벌 상한선 (Global Bound) 을 제공했습니다.

5. 의의 및 결론 (Significance & Conclusion)

• 이론적 의의:
  • 추력 가동 우주선 동역학이 $SE_2(3)$ 리 군 프레임워크 내에서 어떻게 정의되는지 명확히 했습니다.
  • 기존의 국소 선형화 (HCW 등) 에 의존하지 않고, 기하학적 구조를 기반으로 한 전역적 (globally valid) 오차 표현을 가능하게 했습니다.
• 실용적 의의:
  • 선형 제어 도구 활용: 중력 불일치를 경계화하거나 제거함으로써, 복잡한 비선형 제어 대신 잘 정립된 선형 제어 이론 (선형 안정성, LMI 기반 도달 집합 분석 등) 을 우주선 근접 기동 (proximity operations) 및 랑데부 (rendezvous) 임무에 적용할 수 있는 길을 열었습니다.
  • 임무 계획: 중력 보상이나 복잡한 비선형 모델 없이도 안전 마진 (safety margin) 을 계산하고 궤적을 계획할 수 있어 계산 효율성이 크게 향상됩니다.
• 향후 연구:
  • LMI 기반의 도달 집합 경계 개발, 추가 외란 고려, 그리고 TH/YA 방정식과의 연결 고리를 통해 임펄스 $\Delta v$ 계획 등을 통합된 기하학적 프레임워크 하에서 연구할 예정입니다.

결론적으로, 이 논문은 우주선 추력 기동 문제를 리 군 이론을 통해 재해석하고, 중력이라는 비선형 요소를 체계적으로 처리하여 선형 제어 기법의 적용 가능성을 확장한 중요한 기술적 진전을 이루었습니다.