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

Título: Aterrizaje Seguro en Cuerpos Celestiales Pequeños con Incertidumbre Gravitacional Utilizando Estimación de Perturbaciones y Funciones de Barrera de Control

1. Planteamiento del Problema

El aterrizaje suave (soft-landing) en cuerpos celestes pequeños (SCB, por sus siglas en inglés), como asteroides, presenta desafíos únicos debido a la naturaleza de sus campos gravitatorios.

• Incertidumbre Gravitacional: Los modelos gravitacionales de estos cuerpos son imprecisos. La estimación de la masa suele tener errores del 10-15%, y los efectos de orden superior derivados de la distribución de densidad no uniforme y la forma irregular son difíciles de modelar sin mediciones in-situ de alta resolución.
• Limitaciones de los Métodos Existentes:
  • Los enfoques de control robusto (como $H_\infty$ o control adaptativo) y los observadores de alto ganancia lineales (EHGO) ofrecen robustez pero no garantizan el cumplimiento de restricciones de seguridad estrictas.
  • El Control Predictivo Basado en Modelos (MPC) puede manejar restricciones, pero depende de aproximaciones de dinámicas no lineales y requiere mecanismos de "apretamiento" de restricciones (constraint tightening) que lo hacen computacionalmente costoso y poco viable para misiones autónomas en tiempo real.
• Objetivo: Diseñar una arquitectura de control que permita maniobras agresivas y seguras, garantizando el cumplimiento de restricciones de estado (zona de aterrizaje, pendiente de aproximación) y de entrada (límites de empuje) a pesar de la incertidumbre gravitacional.

2. Metodología

Los autores proponen una arquitectura de control en tres etapas que combina estimación de perturbaciones, seguimiento de trayectoria y cumplimiento estricto de restricciones mediante Funciones de Barrera de Control (CBF).

• A. Modelado del Sistema:

  • Se modelan las ecuaciones de movimiento translacional de la nave en un sistema de referencia rotatorio del asteroide, incluyendo términos de Coriolis, centrífugos y el potencial gravitatorio.
  • La incertidumbre gravitacional ($\Delta$) se trata como una perturbación desconocida acotada respecto a un modelo nominal ($U_m$).
  • Se definen restricciones de seguridad: una zona de aterrizaje circular y una restricción de pendiente de aproximación (glideslope) para evitar colisiones prematuras.

• B. Arquitectura de Control:

  1. Estimación de Perturbaciones (EHGO No Lineal):
     • Se utiliza un Observador de Alto Ganancia Extendido (EHGO) no lineal para estimar en línea las perturbaciones gravitacionales ($\hat{w}$).
     • Se demuestra que el error de estimación está acotado por una función computable ($\bar{w}$), lo cual es crucial para el diseño posterior.
  2. Control de Seguimiento por Linealización por Retroalimentación:
     • Se diseña una ley de control deseada ($u_d$) que cancela la dinámica nominal y la perturbación estimada.
     • Este control sigue una trayectoria de referencia generada offline, asegurando que la nave se acerque al objetivo si no existieran restricciones.
  3. Capa de Seguridad Basada en CBF (Minimización de Intervención):
     • Para garantizar que la nave no viole las restricciones de estado y entrada, se introduce una capa de optimización cuadrática (QP).
     • Se transforman las restricciones de entrada (límites de empuje) en restricciones de estado mediante dinámicas de control ($\dot{u}$).
     • Se construye una Función de Barrera de Control Relajada (R-CBF) compuesta. Esta función utiliza un "soft-minimum" para combinar múltiples restricciones (pendiente, límites de empuje) en una sola condición de seguridad.
     • El control final ($\zeta^*$) se obtiene resolviendo un problema de optimización que minimiza la desviación respecto al control deseado ($u_d$) mientras garantiza que la derivada de la función de barrera sea positiva (invarianza del conjunto seguro).

3. Contribuciones Clave

• Arquitectura Híbrida: Integración exitosa de un observador de perturbaciones, un controlador de seguimiento y una capa de seguridad CBF en un marco unificado para aterrizajes en SCB.
• Garantías de Seguridad Rigurosas: A diferencia de métodos heurísticos, este enfoque ofrece garantías matemáticas de que las restricciones de estado y entrada se cumplirán en todo momento, incluso bajo incertidumbre gravitacional.
• Eficiencia Computacional: El uso de un programa cuadrático (QP) de "mínima intervención" permite que el algoritmo sea lo suficientemente rápido para ejecutarse en tiempo real en naves espaciales autónomas, evitando la complejidad del MPC.
• Maniobras Agresivas: Al eliminar la necesidad de planificación conservadora excesiva, el sistema permite ejecutar trayectorias más directas y eficientes en combustible, corrigiendo solo lo necesario para mantener la seguridad.

4. Resultados de Simulación

Los autores validaron el enfoque mediante simulaciones numéricas en dos escenarios complejos:

• Escenario A (Asteroide Elipsoidal con Densidad Uniforme):
  • Se utilizó un modelo de armónicos esféricos para la realidad y un modelo de masa puntual con un 25% de error de masa para el controlador.
  • Resultado: Aterrizaje exitoso en 840 segundos con errores de posición y velocidad dentro de las tolerancias. El observador estimó correctamente la perturbación, y la capa CBF modificó el control en momentos críticos para evitar violaciones de la restricción de pendiente.
• Escenario B (Asteroide Irregular con Densidad No Uniforme):
  • Modelo compuesto por dos elipsoides con diferentes densidades para simular una forma y masa complejas.
  • Resultado: Aterrizaje exitoso en 621 segundos. El controlador logró compensar las fuertes perturbaciones gravitacionales no modeladas y mantuvo todas las restricciones de seguridad (CBFs positivas) durante todo el vuelo.
• Comparativa: Se demostró que ejecutar la trayectoria de referencia sin el controlador o con saturación simple de empuje resultaba en violaciones de restricciones, validando la necesidad de la arquitectura propuesta.

5. Significado e Impacto

Este trabajo representa un avance significativo hacia la autonomía total en misiones de exploración de asteroides y cometas.

• Viabilidad Operativa: Proporciona un marco de control que puede operar en entornos donde los modelos de gravedad son pobres, reduciendo la dependencia de comunicaciones con la Tierra para correcciones de seguridad.
• Seguridad de Misión: Las garantías de cumplimiento de restricciones son vitales para misiones de retorno de muestras o instalación de instrumentos, donde una colisión o un aterrizaje fuera de zona implicaría la pérdida total de la misión.
• Aplicabilidad General: La metodología basada en CBFs y estimación de perturbaciones es generalizable a otros problemas de control de naves espaciales que operan en entornos dinámicos y mal conocidos.

En resumen, el artículo presenta una solución robusta y matemáticamente garantizada para uno de los problemas más difíciles en la exploración espacial: aterrizar con precisión y seguridad en un cuerpo celeste pequeño cuyo campo gravitatorio no se conoce con exactitud.