Revisiting Certainty Equivalence: The Structural Coupling Between Estimation and Control in Underactuated Nonlinear Systems

Resumen Técnico: Revisitando la Equivalencia de Certeza en Sistemas No Lineales Subactuados

Planteamiento del Problema
El principio de Equivalencia de Certeza (CE, por sus siglas en inglés), que permite el diseño independiente de estimadores de estado y controladores, es un pilar de la teoría de control lineal, pero carece de validez rigurosa en entornos no lineales. En sistemas no lineales subactuados, la separación entre la estimación y el control se rompe porque la dinámica del sistema y los mapeos de salida son explícitamente dependientes del estado. Los errores de estimación ($\tilde{x}$) no actúan meramente como perturbaciones exógenas; inducen un acoplamiento estructural intrínseco dentro del sistema de lazo cerrado (CL).

Durante transitorios agresivos o maniobras de alta velocidad, este acoplamiento se manifiesta como términos de interacción de orden superior y perturbaciones basadas en la innovación. Los enfoques tradicionales suelen asumir que los errores de estimación permanecen pequeños o evolucionan en una escala de tiempo más rápida, una suposición que falla cuando la observabilidad es limitada o dependiente del estado. En consecuencia, los controladores que dependen de estados estimados ($\hat{x}$) en lugar de estados reales ($x$) sufren una degradación en los márgenes de estabilidad, errores de seguimiento y una potencial divergencia, particularmente cuando la ley de control intenta cancelar algebraicamente las no linealidades basándose en información imperfecta.

Metodología
Los autores proponen un marco unificado que trata la interacción estimador-controlador como una propiedad intrínseca del sistema de lazo cerrado en lugar de una perturbación no modelada.

1. Análisis Estructural: El sistema se formula en "coordenadas de error de seguimiento estimado" ($\hat{\epsilon} = \hat{x} - x_{ref}$). Al analizar la dinámica del error, los autores demuestran que las no linealidades dependientes del estado inducen términos de acoplamiento que involucran el error de estimación $\tilde{x}$ y la ganancia del observador $L_{\hat{x}}$.
2. Caracterización de la Estabilidad: Utilizando la teoría de Lyapunov, el artículo deriva condiciones analíticas para la acotación de los errores de seguimiento. Un concepto clave introducido es el Índice de Separación ($\rho$), definido como la relación entre la tasa de disipación nominal ($\lambda$) y la fuerza de acoplamiento de la estimación ($\mu$).
   • Si $\rho \gg 1$, el sistema exhibe contracción (estabilidad).
   • Si $\rho \approx 1$, el sistema alcanza un equilibrio (oscilación acotada).
   • Si $\rho \ll 1$, el sistema experimenta expansión (inestabilidad).
     El análisis establece que el error de seguimiento se confina dentro de un "Tubo de Error Invariante" delimitado por el piso del error de estimación (límite inferior) y un techo disipativo (límite superior).
3. Control con Conciencia de la Estimación (EA): Para mitigar la ruptura de la CE, los autores proponen un paradigma de control de Conciencia de la Estimación (EA, por sus siglas en inglés). Este enfoque incorpora explícitamente un descriptor medible de la incertidumbre de la estimación, $\eta(t)$ (por ejemplo, la norma del error de estimación o el determinante de la matriz de covarianza), en la ley de retroalimentación.
   • La estrategia EA aumenta las leyes de control estándar (como la Inversión Dinámica No Lineal Incremental, INDI) con un término de compensación $\Delta(\eta)$.
   • Este término actúa como un amortiguador algorítmico: cuando la confianza en la estimación es alta, el sistema se comporta de manera nominal; cuando la incertidumbre aumenta (por ejemplo, durante maniobras de alta velocidad), el controlador atenúa dinámicamente las ganancias o realiza proyecciones cruzadas de los estados acoplados para evitar la amplificación del ruido de estimación.

Contribuciones Clave
El artículo realiza tres contribuciones primordiales:

1. Formulación Unificada: Formaliza el acoplamiento intrínseco de lazo cerrado entre la estimación y el control en arquitecturas no lineales, derivando límites de seguimiento analíticos que vinculan explícitamente la precisión de la estimación con la capacidad de seguimiento.
2. Caracterización Empírica: Los autores implementan un protocolo de validación riguroso utilizando simulaciones numéricas de alta fidelidad de un cuadricóptero. Esto proporciona un referente cuantificable para los márgenes de estabilidad de lazo cerrado y las extensiones de ancho de banda de seguimiento bajo diversas condiciones dinámicas.
3. Arquitectura Agnóstica: Se presenta un marco modular, agnóstico tanto al filtro como al controlador. La metodología es aplicable a sistemas no lineales suaves y subactuados, y está diseñada para ser totalmente reproducible.

Resultados
El marco EA propuesto fue evaluado en un cuadricóptero ejecutando trayectorias 3D complejas a velocidades de hasta 57.6 km/h (16 m/s).

• Desempeño de Seguimiento: Comparado con un controlador basado en CE convencional, la ley EA redujo significamente los errores de seguimiento. A la velocidad máxima probada (16 m/s), el controlador EA logró una mejora del 39.66% en el ancho de banda de seguimiento y redujo el error de seguimiento hasta en un 40.1%.
• Márgenes de Estabilidad: El análisis en el dominio de la frecuencia reveló que la ley EA mejoró los márgenes de estabilidad hasta en un 55.10% (específicamente en el margen de ganancia) e incrementó el margen de fase en un 32.99% a altas velocidades.
• Comportamiento Transitorio: El controlador EA demostró un amortiguamiento transitorio superior, desplazando los polos de lazo cerrado más profundamente hacia el semiplano izquierdo ($\sigma \approx -2.8$ frente a $-2.4$ para el modelo base), suprimiendo así los modos oscilatorios que típicamente surgen del acoplamiento cruzado a altas velocidades.
• Robustez: El marco EA mantuvo con éxito la estabilidad y la autoridad de control donde el controlador base se aproximaba a la saturación y la divergencia, desacoplando eficazmente los bucles de retroalimentación inducidos por la estimación durante maniobras agresivas.

Significancia y Reivindicaciones
El artículo sostiene que la ruptura de la Equivalencia de Certeza no es simplemente una consecuencia de la dinámica no modelada o del ruido, sino que es una propiedad inherente y fundamental del control no lineal basado en estimaciones. Al cambiar el objetivo de convergencia asintótica por la invarianza hacia adelante dentro de un tubo de error, el marco EA propuesto ofrece una alternativa matemáticamente rigurosa a los diseños clásicos.

Los autores afirman que este enfoque permite la continuidad del estado durante tareas ágiles en tiempo real, incluso ante interrupciones de sensores y telemetría en entornos desconocidos. El marco es particularmente significativo para la autonomía moderna, donde los sistemas deben operar bajo severas restricciones de sensores y altas presiones dinámicas. Los resultados sugieren que, si bien las ganancias de desempeño son mínimas a bajas velocidades, la arquitectura EA proporciona una resiliencia esencial contra los acoplamientos estructurales y la degradación de la observabilidad que ocurren a medida que las velocidades de vuelo aumentan, asegurando una operación robusta donde los diseños tradicionales basados en el principio de separación fallan.