Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance

Resumo Técnico: Alcance Hamilton–Jacobi para Evitação de Colisão de Naves Espaciais

Declaração do Problema
A rápida expansão de constelações em Órbita Terrestre Baixa (LEO), como a Starlink da SpaceX, desafia as arquiteturas existentes de gerenciamento de tráfego espacial (STM). O planejamento tradicional de desconflicção baseado em solo e de manobras estratégicas é insuficiente para a escala das constelações futuras (potencialmente 42.000 satélites). O artigo aborda a necessidade de camadas de segurança automatizadas e fundamentadas matematicamente para lidar com a evitação de colisão entre um satélite controlado e um satélite não cooperativo ou secundário na mesma órbita circular. O desafio central é determinar quando as manobras evasivas devem ser iniciadas para garantir a segurança, apesar da intenção desconhecida e das perturbações limitadas do satélite não cooperativo.

Metodologia
Os autores propõem um quadro formal baseado na análise de alcance Hamilton–Jacobi (HJ), formulada como um jogo diferencial de soma zero.

1. Dinâmica e Modelagem:

   • O movimento relativo é modelado no referencial Radial–Tangencial–Normal (RTN) usando dinâmicas planas de Hill–Clohessy–Wiltshire (HCW), fornecendo uma aproximação localmente linear do movimento orbital.
   • O estado do sistema $X = [x, y, \dot{x}, \dot{y}]^\top$ representa posições e velocidades tangenciais e radiais.
   • Jogador 1 (Satélite Controlado): Aplica entradas de controle limitadas (acelerações $u$) para evitar colisões.
   • Jogador 2 (Satélite Não Cooperativo): Modelado como uma perturbação adversária limitada $d$ com intenção desconhecida, representando a aceleração relativa no pior caso.

2. Arquitetura de Sistema Híbrido:
   O processo de tomada de decisão é modelado como um autômato híbrido com três modos discretos:

   • $q_{nom}$: Manutenção de posição nominal ou orbitação.
   • $q_{eva}$: Execução de manobras ativas de evitação de colisão.
   • $q_{ret}$: Fase de recuperação de trajetória.
     As transições entre esses modos são governadas por "condições de guarda" baseadas no estado do sistema em relação ao Conjunto de Alcance Reverso (BRS) e regiões de recuperação segura.

3. Formulação de Alcance:

   • Conjunto Alvo ($T$): Definido como o conjunto de configurações relativas inseguras que violam os padrões mínimos de separação da Comissão Federal de Comunicações (FCC) (uma zona de colisão física).
   • Conjunto de Alcance Reverso (BRS): Calculado via equação diferencial parcial de Hamilton–Jacobi–Isaacs (HJI). O BRS caracteriza todos os estados iniciais dos quais uma colisão é inevitável sob perturbações no pior caso, independentemente do controle ótimo do Jogador 1.
   • Garantia de Segurança: Estados fora do BRS admitem trajetórias comprovadamente livres de colisão. O limite do BRS serve como a superfície de comutação crítica; se o estado do sistema se aproximar desse limite, o autômato híbrido dispara uma transição para o modo evasivo ($q_{eva}$).

4. Estratégias de Controle:

   • Nominal/Recuperação: Usa leis de controle Proporcional-Derivativo (PD) para levar o satélite às posições e velocidades relativas desejadas.
   • Manobras Evasivas: Quatro modos de escape específicos são definidos com base na geometria RTN:
     1. Empuxo radial positivo (deriva para trás).
     2. Empuxo radial negativo (acelera para frente).
     3. Frenagem puramente tangencial.
     4. Aceleração puramente tangencial.

Principais Contribuições

• Quadro Formal de Segurança: O artigo integra o alcance HJ com lógica de controle supervisor híbrido para fornecer garantias rigorosas de segurança no pior caso para a evitação de colisão de naves espaciais.
• Modelagem Adversária: Ao contrário dos métodos probabilísticos de triagem, esta abordagem trata o satélite não cooperativo como uma perturbação limitada, garantindo segurança mesmo sob as manobras mais agressivas (dentro dos limites) da outra parte.
• Design de Autômato Híbrido: Os autores definem uma lógica de comutação específica que determina exatamente quando abandonar operações nominais para manobras evasivas e quando retornar à manutenção de posição, com base nos conjuntos de alcance calculados.
• Considerações de Escalabilidade: O quadro é projetado com arquiteturas descentralizadas em mente, adequado para desconflicção no nível de veículos individuais em grandes constelações.

Resultados
Os autores validaram o quadro usando simulações numéricas com uma caixa de ferramentas modificada de Métodos de Nível (Level Set Methods Toolbox).

• Parâmetros de Simulação: As simulações assumiram uma órbita LEO de 500 km, limites de empuxo simétricos de $\pm 0,1 \, \text{m/s}^2$ para o satélite controlado e perturbações limitadas de $\pm 0,05 \, \text{m/s}^2$ para o satélite não cooperativo.
• Verificação: O estudo calculou com sucesso conjuntos de captura 2D e 3D e tubos de alcance reverso. Os resultados demonstram que o autômato híbrido identifica corretamente os limites de comutação entre os modos nominal, evasivo e de recuperação.
• Validação de Segurança: Os conjuntos calculados confirmam que estados fora do BRS permitem trajetórias livres de colisão sob as leis de controle definidas e limites de perturbação.

Significado e Alegações
O artigo alega oferecer uma alternativa matematicamente rigorosa aos métodos puramente probabilísticos de evitação de colisão. Ao utilizar o alcance HJ, o quadro fornece margens de segurança explícitas no pior caso, o que é crítico para a sustentabilidade de futuras constelações de satélites em grande escala. Os autores enfatizam que sua abordagem permite "comportamentos comprovadamente seguros" e "decisões de supervisão fundamentadas matematicamente".

O artigo permanece modesto quanto ao seu escopo atual, observando que:

• A análise é restrita a dinâmicas HCW planas (2D), omitindo movimento fora do plano, perturbações seculares (como $J_2$) e efeitos orbitais não lineares.
• Os conjuntos de alcance calculados são garantias formais específicas para o modelo linearizado adotado.
• A formulação atual é conservadora; assume que todas as realizações admissíveis de perturbação são possíveis, o que pode superestimar estados inseguros.

O trabalho futuro identificado pelos autores inclui a extensão do quadro para movimento relativo completo em 3D, incorporação de perturbações orbitais mais realistas e desenvolvimento de aproximações escaláveis (como decomposição ou funções de valor aprendidas) para abordar a complexidade computacional dos cálculos de conjuntos de alcance de alta dimensão.