Satellite Anomaly Response

역 시뮬레이션 검증을 통한 위성 이상 대응 작업을 위한 인간 정렬형 Decision Transformers

심야 시뮬레이션에서 탄생한 발견

새벽 2시 47분, 나는 시뮬레이션된 위성 군집(constellation)의 텔레메트리(telemetry) 데이터로 가득 찬 터미널 창을 응시하고 있었다. 몇 주 동안 나는 강화학습 (RL)을 시퀀스 모델링 (sequence modeling) 문제로 프레임화하는 모델 클래스인 Decision Transformers를 실험하고 있었지만, 난관에 봉착해 있었다. 모델은 정상 운영 (nominal operations)을 위한 최적의 행동을 예측할 수 있었지만, 추진기 고장, 전력 급증 또는 통신 두절과 같은 이상 (anomalies)을 주입했을 때는 대응이 취약했으며, 종종 인간 운영자가 절대 승인하지 않을 행동을 제안하곤 했다.

그날 밤, Decision Transformer의 원본 논문 (Chen et al., 2021)을 다시 읽던 중 한 가지 생각이 스쳤다. 보상 신호 (reward signals)뿐만 아니라, 역 시뮬레이션 검증 (inverse simulation verification) 루프를 통해 이러한 모델을 인간 운영자의 선호도와 정렬 (align)할 수 있다면 어떨까?

아이디어는 단순하지만 심오했다. 모델을 단순히 과거 데이터로만 학습시키는 대신, 후보 대응책을 시뮬레이션하고, 이를 인간이 정의한 일련의 제약 조건에 따라 검증하며, 그 피드백을 사용하여 모델의 잠재 표현 (latent representations)을 정교화하는 것이다.

이 글은 운영 안전성과 인간의 신뢰를 보장하는 새로운 역 시뮬레이션 검증 메커니즘을 갖춘, 위성 이상 대응을 위한 인간 정렬형 Decision Transformers (HADT)를 탐구하는 나의 여정을 기록한다.

기술적 배경: 시퀀스 모델링과 인간 선호도의 수렴

Decision Transformers: 입문

위성 이상 대응을 위한 전통적인 강화학습 (RL)은 일반적으로 가치 기반 (value-based) 또는 정책 경사 (policy-gradient) 방법을 사용한다. 그러나 이러한 접근 방식은 장기 의존성 (long-horizon dependencies) 문제를 해결하는 데 어려움이 있으며 세심한 보상 설계 (reward engineering)가 필요하다. Decision Transformers (DT)는 문제를 재구성한다. 즉, 정책을 학습하는 대신 전체 궤적 (trajectory)을 (상태, 행동, 목표 잔여 보상 (return-to-go)) 토큰의 시퀀스로 모델링한다.

제 실험에서 저는 Decision Transformer (DT)의 자기회귀적 (autoregressive) 특성이 위성 텔레메트리 (telemetry)의 시간적 의존성 (temporal dependencies)을 자연스럽게 포착한다는 것을 발견했습니다. 즉, 추진기 점화 (thruster firings), 전력 소비 급증 (power consumption spikes), 궤도 섭동 (orbital perturbations) 등이 모두 순차적인 패턴으로 전개됩니다. 모델은 상태 (states)와 원하는 보상 (desired returns)의 전체 이력을 참조 (attending)함으로써 다음 행동을 예측합니다.

우주 운영에서의 정렬 문제 (The Alignment Problem in Space Operations)

우주 시스템을 위한 인간-AI 정렬 (human-AI alignment)을 탐구하던 중, 저는 결정적인 격차를 발견했습니다. 위성 운영자들은 보상 함수 (reward functions)에 거의 포착되지 않는 암묵적인 선호도를 가지고 있다는 점입니다. 예를 들어:

• 안전 마진 (Safety margins): 운영자들은 예상치 못한 돌발 상황에 대비할 수 있는 여유를 남겨두는 행동을 선호합니다.
• 해석 가능성 (Interpretability): 블랙박스 (black-box) 형태의 행동은 수학적으로는 최적일 수 있지만, 운영 측면에서는 수용 불가능할 수 있습니다.
• 복구 궤적 (Recovery trajectory): 정상 운영 상태로 돌아가는 경로는 즉각적인 해결책만큼이나 중요합니다.

표준적인 강화학습 (RL) 정렬 방법 (RLHF와 같은)은 광범위한 인간 주석 (human annotation)을 필요로 하며, 이는 실시간 이상 대응 (anomaly response) 상황에서는 비현실적입니다. 저의 통찰은 역 시뮬레이션 (inverse simulation)을 사용하는 것이었습니다. 즉, 후보 행동들을 고충실도 (high-fidelity) 물리 시뮬레이터로 실행하고, 그 결과를 인간이 정의한 검증 규칙과 비교하는 방식입니다.

구현 세부 사항: HADT 프레임워크 구축 (Implementation Details: Building the HADT Framework)

핵심 아키텍처 (Core Architecture)

HADT는 세 가지 구성 요소로 이루어집니다:

1. Decision Transformer 백본 (backbone) (인과적 마스킹 (causal masking)이 적용된 GPT 스타일)
2. 역 시뮬레이터 (Inverse simulator) (위성의 미분 가능한 물리 모델)
3. 검증 모듈 (Verification module) (규칙 기반 및 학습된 선호도 모델)

주요 구현 내용을 살펴보겠습니다. 먼저, Decision Transformer 인코더입니다:

import torch
import torch.nn as nn
import numpy as np
...

역 시뮬레이션 검증 (Inverse Simulation Verification)

핵심적인 혁신은 역 시뮬레이션 루프 (inverse simulation loop)에 있습니다. DT에 의해 예측된 각 후보 행동 시퀀스에 대해, 이를 미분 가능한 위성 시뮬레이터로 실행하고 결과 궤적을 인간이 정의한 제약 조건과 비교합니다.

class InverseSimulationVerifier:
    def __init__(self, satellite_model, constraints):
        self.sim = satellite_model  # 미분 가능한 물리 모델 (Differentiable physics model)
...

역 시뮬레이션을 통한 인간 피드백 기반 학습

학습 과정에서 저는 2단계 프로세스를 사용했습니다. 먼저, 과거의 위성 텔레메트리 (Telemetry) 데이터를 사용하여 DT (Decision Transformer)를 사전 학습 (Pre-train)합니다. 그 다음, 역 시뮬레이션 검증기 (Inverse simulation verifier)를 사용하여 미세 조정 (Fine-tune)을 수행합니다.

def train_hadt_with_inverse_simulation(dt_model, verifier, dataset,
                                        num_epochs=100, lr=1e-4):
    optimizer = torch.optim.AdamW(dt_model.parameters(), lr=lr)
...

실제 응용 분야: 시뮬레이션에서 운용까지

사례 연구: 추진기 이상 대응

실험 과정에서 저는 추진기가 고착된 (Stuck thruster) 가상 GEO 위성을 대상으로 HADT를 테스트했습니다. 표준 DT는 궤도를 유지하기 위해 공격적인 역추진 (Counter-thrusting)을 제안했는데, 이는 연료 예비량을 고갈시킬 위험이 있었습니다. 반면, 역 시뮬레이션 검증의 안내를 받은 HADT는 다음과 같이 더 보수적인 전략을 제안했습니다.

1. 1단계 (0-5분): 반응 휠 (Reaction wheels)을 보존하기 위해 자세 제어 대역폭 (Attitude control bandwidth)을 축소합니다.
2. 2단계 (5-30분): 거친 자세 유지를 위해 자기 토커 (Magnetic torquers)를 사용합니다.
3. 3단계 (30-60분): 남은 추진기를 사용하여 연료 최적화 표류 수정 (Fuel-optimal drift correction)을 실행합니다.

핵심적인 통찰은 역 시뮬레이션 검증기가 인간 운영자로부터 "공격적인 연료 사용"은 설령 일시적으로 이상 상황을 해결하더라도 부정적인 선호도 (Negative preference)라는 점을 학습했다는 것입니다.

다중 위성 협력

저는 이 프레임워크를 군집 위성 (Constellations)을 다룰 수 있도록 확장했습니다. HADT는 위성 간 링크 (Inter-satellite link) 상태와 이상 보고서 시퀀스를 통해 학습되었습니다. 단일 위성에서 전력 이상이 발생했을 때, HADT는 군집 전체에 걸쳐 행동을 조정했습니다.

class ConstellationHADT:
    def __init__(self, num_satellites=12, state_dim=128, act_dim=8):
        self.num_satellites = num_satellites
...

과제 및 해결책

과제 1: 미분 가능한 물리 시뮬레이션 (Differentiable Physics Simulation)

문제 (Problem): 역 시뮬레이션 검증기 (inverse simulation verifier)는 그래디언트 역전파 (gradient backpropagation)를 위해 미분 가능한 위성 모델을 필요로 합니다. 전통적인 물리 엔진 (GMAT 또는 STK와 같은)은 미분 가능하지 않습니다.

해결책 (Solution): 저는 다음과 같은 하이브리드 접근 방식을 구현했습니다:

• 훈련을 위해 단순화된 미분 가능한 모델 사용 (학습된 신경 ODE (learned neural ODE))
• 추론 (inference) 시점에 고충실도 (high-fidelity) 비미분 가능 시뮬레이터를 사용하여 최종 동작 검증

class DifferentiableSatelliteModel(nn.Module):
    """
    위성 역학의 신경 ODE (Neural ODE) 근사
...

과제 2: 희소한 인간 피드백 (Sparse Human Feedback)

문제 (Problem): 인간 운영자는 이상 대응 (anomaly response) 중에 실시간 피드백을 제공할 수 없습니다.

해결책 (Solution): 저는 역 시뮬레이션을 사용하여 합성 피드백 (synthetic feedback)을 생성했습니다. 검증기는 인간이 정의한 안전 영역 (safety envelopes)에 대해 후보 동작들을 확인하며, 이를 통해 효과적으로 조밀한 보상 신호 (dense reward signal)를 생성합니다:

def generate_synthetic_preference(states, actions, safety_envelope):
    """
    인간이 정의한 기준과 비교하여 선호도 레이블 생성
...

과제 3: 실시간 추론 지연 시간 (Real-Time Inference Latency)

문제 (Problem): 역 시뮬레이션 루프는 실시간 제약 조건을 초과할 수 있는 계산 오버헤드를 추가합니다.

해결책 (Solution): 저는 2단계 아키텍처 (two-tier architecture)를 구현했습니다:

• 빠른 경로 (Fast path): 정상 동작을 위한 직접적인 DT 추론 (1밀리초 미만)
• 검증 경로 (Verification path): 이상 징후 확신도 (anomaly confidence)가 임계값을 초과할 때만 역 시뮬레이션 트리거

class AdaptiveHADT:
    def __init__(self, dt_model, verifier, anomaly_detector):
        self.dt = dt_model
...

향후 연구 방향 (Future Directions)

양자 강화 역 시뮬레이션 (Quantum-Enhanced Inverse Simulation)

양자 컴퓨팅 응용 분야를 탐색하면서, 역 시뮬레이션 검증이 양자 알고리즘을 사용하여 가속화될 수 있음을 깨달았습니다. 제약 조건 만족 문제 (constraint satisfaction problem)는 본질적으로 조합 최적화 (combinatorial optimization) — 즉, 위반을 최소화하는 동작을 찾는 과정입니다. 양자 어닐링 (Quantum annealing, D-Wave를 통해) 또는 변분 양자 고유값 솔버 (Variational Quantum Eigensolvers, VQE)를 사용하면 잠재적으로 동작 공간을 더 효율적으로 탐색할 수 있습니다:

개념적 양자 강화 검증

def quantum_verify_actions(hamiltonian, candidate_actions):
"""
...

### 위성 군집 간 연합 학습 (Federated Learning)

또 다른 방향은 연합 학습 (Federated Learning)입니다. 각 위성이 로컬 이상 패턴을 학습하고, 글로벌 HADT를 개선하기 위해 (가공되지 않은 원시 텔레메트리가 아닌) 모델 업데이트만을 공유하는 방식입니다. 이는 데이터 프라이버시가 무엇보다 중요한 군사 또는 상업용 위성 군집 (Constellations)에서 특히 유효합니다.

## 결론: 현장에서 얻은 교훈

위성 이상 대응을 위한 인간 정렬형 Decision Transformers를 구축하는 여정을 통해, 저는 몇 가지 중요한 교훈을 얻었습니다:

1. **정렬 (Alignment)은 단순히 보상에 관한 것이 아니다**: 역 시뮬레이션 검증 루프를 통해 인간의 선호도는 종종 암묵적이며 다차원적이라는 것을 배웠습니다. 단일 보상 신호만으로는 불충분합니다.

2. **미분 가능한 시뮬레이터 (Differentiable simulators)는 게임 체인저다**: 물리 시뮬레이션을 통해 역전파 (Backpropagate)를 수행할 수 있는 능력은 제약 조건이 있는 학습에 있어 새로운 가능성을 열어줍니다.

3. **검증을 통한 신뢰**: 운영자는 블랙박스 AI를 절대 신뢰하지 않을 것입니다. 역 시뮬레이션 루프는 특정 행동이 왜 선택되었는지에 대한 감사 가능한 추적 경로 (Auditable trail)를 제공합니다.

4. **단순함이 승리한다**: HADT에서 가장 효과적이었던 부분은 복잡한 신경망 (Neural networks)이 아니라, 운영자에 의해 정의된 단순한 제약 함수 (Constraint functions)였습니다.

그날 아침 마침내 터미널을 종료하며, HADT가 제안한 행동을 사용하여 시뮬레이션된 위성이 전력 이상으로부터 우아하게 회복되는 모습을 지켜보며 저는 조용한 만족감을 느꼈습니다. 모델은 연료 효율성과 안전 마진을 우선시하는 법을 배웠으며, 이는 정확히 인간 운영자가 할 법한 행동이었습니다. 역 시뮬레이션 검증기는 인간의 직관을 기계 정책 (Machine policy)으로 효과적으로 전이시켰습니다.

코드와 실험 결과는 제 GitHub 저장소(프로필 링크 참조)에서 확인할 수 있습니다. 여러분이 이를 포크(Fork)하고, 망가뜨려 보고, 더 나은 것을 만들어 보기를 권장합니다. 자율 우주 운영의 미래는 단순히 최적화하는 시스템이 아니라, 정렬(Align)하는 시스템에 달려 있습니다.

_이 기사는 Decision Transformers 및 역 시뮬레이션 (inverse simulation)에 대한 저의 개인적인 연구와 실험을 바탕으로 작성되었습니다. 모든 코드 예제는 명확성을 위해 단순화되었으나 핵심적인 구현 패턴을 담고 있습니다._