Safe Landing on Small Celestial Bodies with Gravitational Uncertainty Using Disturbance Estimation and Control Barrier Functions

Resumo Técnico: Pouso Seguro em Corpos Celestes Pequenos com Incerteza Gravitacional

1. Problema e Contexto

O pouso suave (soft-landing) em corpos celestes pequenos (SCBs), como asteroides e cometas, apresenta desafios únicos devido à natureza irregular de sua gravidade.

• Desafio Principal: Os modelos gravitacionais para SCBs são frequentemente imprecisos. Erros na estimativa de massa (tipicamente 10–15%) e a falta de dados sobre distribuições de densidade não uniformes geram incertezas significativas nos efeitos gravitacionais de ordem superior.
• Limitações Atuais: Abordagens de controle existentes, como controle robusto ($H_\infty$) ou adaptativo, oferecem robustez, mas não garantem o cumprimento estrito de restrições de segurança (como evitar colisões com o terreno ou violar limites de empuxo). Por outro lado, o Controle Preditivo por Modelo (MPC) pode garantir restrições, mas é computacionalmente caro e depende de aproximações que podem falhar em garantir a segurança sob incertezas não modeladas.
• Objetivo: Desenvolver uma arquitetura de controle que permita manobras agressivas e precisas, garantindo simultaneamente a satisfação de restrições de estado (trajetória segura) e de entrada (limites do motor), mesmo na presença de perturbações gravitacionais desconhecidas.

2. Metodologia Proposta

O artigo propõe uma arquitetura de controle em três estágios que integra estimativa de perturbação, rastreamento de trajetória e imposição de segurança via Funções de Barreira de Controle (CBFs).

A. Modelagem e Formulação do Problema

• O sistema é modelado pelas equações de movimento translacional do spacecraft em um referencial giratório do asteroide, incluindo a massa variável devido ao consumo de combustível.
• A incerteza gravitacional é tratada como uma perturbação $\Delta(r)$ em relação a um modelo nominal $U_m(r)$.
• Restrições:
  • Estado: O spacecraft deve permanecer dentro de um cone de descida (glideslope) para garantir o pouso dentro de um raio alvo e evitar colisões prematuras.
  • Entrada: O empuxo deve estar dentro de limites mínimos e máximos ($T_{min}$ e $T_{max}$).

B. Estágio 1: Observador de Alta Ganho Estendido (EHGO)

• Um Observador de Alta Ganho Estendido (EHGO) não linear é utilizado para estimar as perturbações gravitacionais em tempo real.
• O observador gera uma estimativa $\hat{w}$ da perturbação e fornece um limite superior computável para o erro de estimativa ($\bar{w}$). Isso permite que o controlador compense ativamente a incerteza sem precisar conhecer o modelo exato do asteroide.

C. Estágio 2: Controle de Rastreamento com Linearização por Feedback

• Um controlador de linearização por feedback é projetado para rastrear uma trajetória de referência pré-calculada (gerada offline).
• Este controlador utiliza a estimativa de perturbação do EHGO para cancelar os efeitos da incerteza gravitacional, garantindo que o spacecraft siga a trajetória nominal com alta precisão, desde que as restrições não sejam violadas.

D. Estágio 3: Camada de Segurança Baseada em CBF (Minimum-Intervention)

• Para garantir a segurança, é introduzida uma camada de otimização quadrática (QP) de "mínima intervenção".
• Funções de Barreira de Controle (CBFs):
  • As restrições de entrada (empuxo) são transformadas em restrições de estado através de dinâmica de controle.
  • Uma CBF composta é construída usando a função soft-minimum, combinando a restrição de glideslope (estado) e as restrições de empuxo (entrada).
  • A CBF leva em conta a incerteza estimada pelo EHGO, garantindo que a condição de segurança seja satisfeita mesmo com erros de estimativa.
• Otimização: O controlador final $\zeta^*$ é obtido minimizando a distância entre o controle desejado (do estágio 2) e o controle aplicado, sujeito à restrição de que a derivada da CBF seja positiva (garantindo invariância do conjunto seguro). Isso resulta em um controle que altera a trajetória apenas o suficiente para manter a segurança.

3. Contribuições Principais

1. Arquitetura Integrada: Combinação inovadora de estimativa de perturbação (EHGO), rastreamento de trajetória e CBFs para lidar com incertezas dinâmicas e restrições simultaneamente.
2. Garantia de Segurança sob Incerteza: Diferente de métodos que assumem modelos perfeitos, esta abordagem utiliza limites de erro do observador para garantir que as restrições de segurança sejam satisfeitas mesmo com modelos gravitacionais imperfeitos.
3. Eficiência Computacional: A solução do QP é dada em forma fechada (closed-form), tornando-a viável para aplicações em tempo real em naves espaciais autônomas, ao contrário de métodos iterativos como o MPC.
4. Manobras Agressivas: A camada de CBF permite a execução de trajetórias agressivas (otimizadas) sem a necessidade de planejamento conservador excessivo, intervindo apenas quando estritamente necessário para evitar violações.

4. Resultados das Simulações

Os autores realizaram simulações numéricas em dois cenários distintos:

• Cenário A: Asteroide Elipsoidal com Densidade Uniforme.
  • O spacecraft pousou com sucesso em 840 segundos.
  • O erro de posição final foi de 1,27 m (dentro da tolerância de 1,5 m).
  • O EHGO estimou corretamente a perturbação, e o erro de estimativa permaneceu dentro do limite superior calculável.
  • As restrições de estado e entrada foram mantidas estritamente positivas. O controlador modificou o empuxo em momentos críticos para evitar violar o cone de descida.
• Cenário B: Asteroide Irregular com Densidade Não Uniforme.
  • Modelo mais complexo (união de dois elipsoides).
  • Pouso alcançado em 621 segundos com erros de posição e velocidade dentro das tolerâncias.
  • O sistema demonstrou robustez ao lidar com a complexidade gravitacional, mantendo as restrições de segurança ativas durante os últimos 150 segundos da manobra.

Em ambos os casos, comparativos mostraram que o uso do controle nominal sem a camada de CBF resultaria em violação de restrições, enquanto a saturação simples do controle levaria a falhas no pouso.

5. Significado e Impacto

Este trabalho avança significativamente a autonomia em missões espaciais para corpos pequenos. Ao fornecer um framework que garante matematicamente a segurança sob incertezas gravitacionais, ele permite missões de pouso em asteroides com geometrias e composições desconhecidas ou mal mapeadas. A eficiência computacional da abordagem a torna um candidato viável para implementação a bordo de futuras missões de retorno de amostras ou defesa planetária, onde a autonomia e a segurança são críticas.