State Observers for Linear Systems with Prescribed Residual Bounds

Resumen Técnico: Observadores de Estado para Sistemas Lineales con Límites de Residuo Prescritos

Formulación del Problema
El artículo aborda una limitación específica de los observadores de estado continuos clásicos para sistemas Lineales e Invariantes en el Tiempo (LTI) sujetos a perturbaciones desconocidas y acotadas. Si bien los observadores de Luenberger estándar garantizan la convergencia asintótica y la acotación uniforme del error de estimación bajo supuestos adecuados, no regulan explícitamente el comportamiento transitorio del residuo del observador, definido como $r(t) = y(t) - C\hat{x}(t)$. En aplicaciones como la detección de fallas y la supervisión de seguridad, las grandes desviaciones transitorias en el residuo pueden activar falsas alarmas o degradar el rendimiento. Los diseños robustos existentes proporcionan límites sobre el residuo como consecuencia de la dinámica del sistema y la selección de la ganancia, pero estos límites no son directamente asignables por el diseñador. El problema se formula como una tarea de imposición de restricciones: diseñar un observador tal que $\|r(t)\| \leq \delta$ para todo $t \geq t_0$, donde $\delta > 0$ es un límite prescrito elegido por el diseñador, independientemente de la magnitud de la perturbación (dentro de límites conocidos).

Metodología
La solución propuesta es una arquitectura de observador híbrido que aumenta un observador de Luenberger de tiempo continuo estándar mediante reinicios de estado discretos. La dinámica del sistema se modela como:
$$\dot{x} = Ax + Bu + d(t), \quad y = Cx$$
donde $d(t)$ es una perturbación desconocida y acotada. El estado del observador $\hat{x}$ evoluciona continuamente según la ecuación de Luenberger estándar, pero experimenta saltos instantáneos cuando la norma del residuo alcanza el umbral prescrito $\delta$.

La dinámica híbrida se define mediante conjuntos de flujo y de salto:

• Conjunto de Flujo ($C$): $\|r\| \leq \delta$. El observador evoluciona continuamente.
• Conjunto de Salto ($D$): $\|r\| \geq \delta$. Se activa un reinicio.

En el instante de salto $t_k$, el estado del observador se actualiza mediante un mapa de reinicio lineal:
$$\hat{x}^+ = \hat{x}^- + J r^-$$
donde $J$ es una matriz de ganancia de reinicio constante. El artículo deriva una expresión de forma cerrada para $J$ basada en la matriz de Lyapunov $P$ (asociada con la dinámica de error continua) y el factor de contracción $\rho \in [0, 1)$:
$$J = (1 - \rho) P^{-1} C^\top (C P^{-1} C^\top)^{-1}$$
Esta elección específica de $J$ asegura que el residuo se contraiga por un factor $\rho$ en cada salto ($\|r^+\| = \rho \|r^-\|$) al mismo tiempo que mantiene la no-expansividad del error de estimación en la métrica de Lyapunov $V = \tilde{x}^\top P \tilde{x}$.

Contribuciones Clave y Garantías Teóricas
El artículo establece cuatro resultados teóricos principales bajo los supuestos de detectabilidad, perturbaciones acotadas y rango completo de fila de $C$:

1. Contracción del Residuo: En cada instante de reinicio, la norma del residuo se reduce estrictamente por el factor $\rho$, asegurando que $\|r^+\| = \rho \|r^-\|$.
2. Invarianza hacia Adelante: Si el residuo inicial satisface $\|r(t_0)\| \leq \delta$, el envolvente del residuo $\{r : \|r\| \leq \delta\}$ es invariante hacia adelante. El residuo nunca excede el límite prescrito $\delta$.
3. No Expansividad del Error de Estimación: La función de Lyapunov $V(\tilde{x})$ no aumenta en los instantes de salto ($V^+ \leq V^-$). Esto asegura que el mecanismo de reinicio no desestabilice el error de estimación.
4. Acotación Uniforme: El observador híbrido preserva las propiedades de acotación uniforme del observador de Luenberger de tiempo continuo subyacente. El error de estimación permanece acotado por la misma expresión derivada para el observador estándar, asegurando la Estabilidad de Entrada a Estado (ISS) con respecto a la perturbación.
5. Ausencia de Comportamiento Zeno: El artículo demuestra un tiempo de permanencia mínimo estrictamente positivo entre reinicios consecutivos, evitando el cambio infinito en un tiempo finito.

Resultados de Simulación
Los autores validan el diseño mediante simulaciones en un sistema LTI de 4 estados con una perturbación sinusoidal variante en el tiempo activa en el intervalo $t \in [2, 5]$.

• Rendimiento del Residuo: Un observador de Luenberger estándar con ganancias idénticas viola el límite de residuo prescrito $\delta$ cuando la perturbación está activa. En contraste, el observador híbrido propuesto impone estrictamente $\|r(t)\| \leq \delta$. Cada vez que el residuo alcanza $\delta$, ocurre un reinicio, contrayendo instantáneamente el residuo a $\rho\delta$ (donde $\rho=0.1$ en la simulación).
• Error de Estimación: Los errores de estimación de estado para el observador híbrido exhiben saltos en los instantes de reinicio, pero permanecen acotados y comparables con los del observador de tiempo continuo. La función de Lyapunov $V(t)$ permanece acotada, confirmando su propiedad de no-expansividad teórica.
• Inicialización: Las simulaciones también demuestran que si el sistema comienza fuera del envolvente del residuo ($\|r(0)\| > \delta$), un único reinicio en $t=0$ (con $\rho=0$) puede traer inmediatamente el residuo dentro del conjunto invariante.

Significancia y Reivindicaciones
El artículo afirma ofrecer un mecanismo novedoso para regular el comportamiento transitorio del residuo sin depender de una retroalimentación continua de alta ganancia, la cual es propensa a fenómenos de pico (peaking) y sensibilidad al ruido. A diferencia de trabajos previos que utilizan reinicios para mejorar el rendimiento transitorio o reducir las ganancias $L_2$, este trabajo trata el límite del residuo como una especificación de rendimiento dura e invariante impuesta por diseño.

Los autores posicionan este trabajo como una solución a un "problema de imposición de restricciones" en lugar de un "problema de caracterización de robustez". Al garantizar que el residuo se mantenga dentro de un envolvente especificado por el diseñador, el enfoque proporciona una caracterización más estructurada del comportamiento nominal. Esto es particularmente relevante para sistemas de detección de fallas donde los umbrales suelen ajustarse de manera conservadora; el observador propuesto mitiga los picos inducidos por perturbaciones que de otro modo podrían activar falsas alarmas. El artículo concluye señalando que, aunque el marco de trabajo se establece para sistemas LTI, el enfoque híbrido no está restringido a la dinámica lineal, lo que sugiere posibles extensiones futuras a sistemas no lineales y de datos muestreados.