Predictor-Feedback Stabilization of Linear Switched Systems with State-Dependent Switching and Input Delay

A continuación presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados.

Título del Artículo

Estabilización por Retroalimentación Predictora de Sistemas Lineales Conmutados con Conmutación Dependiente del Estado y Retraso en la Entrada

1. Planteamiento del Problema

El trabajo aborda el problema de control de una clase de sistemas lineales conmutados que presentan dos características críticas simultáneas:

1. Conmutación dependiente del estado: La señal de conmutación $\sigma(X(t))$ no es arbitraria ni dependiente del tiempo, sino que depende directamente del estado del sistema $X(t)$. El espacio de estados se divide en regiones disjuntas $\Omega_i$, donde cada región corresponde a una dinámica lineal específica $(A_i, B_i)$.
2. Retraso en la entrada (Input Delay): Existe un retraso constante $D > 0$ (de longitud arbitraria) en la señal de control $U(t-D)$.

Motivación: Este tipo de sistemas es común en aplicaciones como el control de vehículos (cambio entre aceleración y frenado), dinámica de epidemias (medidas de cuarentena basadas en el número de infectados) y sistemas de control en red (protocolos de comunicación). La literatura existente suele tratar retrasos en sistemas con conmutación dependiente del tiempo, o retrasos en el estado con conmutación dependiente del estado, pero carecía de métodos para compensar retrasos largos en la entrada de sistemas con conmutación dependiente del estado mediante retroalimentación predictora.

2. Metodología

Los autores desarrollan una ley de control basada en retroalimentación predictora (Predictor-Feedback). La metodología se divide en tres pilares principales:

A. Construcción del Estado Predictor

El desafío central es que, al depender la conmutación del estado futuro (que es desconocido), la fórmula del predictor es implícita.

• Definición Implícita: El estado predictor $P(\theta)$ (que estima el estado futuro en el tiempo $\theta$) satisface una ecuación integral donde los parámetros del sistema $(A_{\sigma}, B_{\sigma})$ dependen de $\sigma(P(s))$.
• Fórmula Semi-Explícita: Aprovechando que la dinámica es lineal dentro de cada modo, los autores derivan una fórmula semi-explícita. El proceso implica calcular recursivamente los instantes de conmutación futuros ($s_i$) donde la trayectoria del predictor sale de la región actual $\Omega_i$. Esto permite resolver la ecuación diferencial por tramos lineales, resultando en una expresión que combina exponenciales de matrices y sumatorias de integrales sobre los intervalos de conmutación.
• Implementación: Se propone un algoritmo que simula la evolución del predictor paso a paso desde el estado actual hasta el tiempo futuro $t+D$, detectando cuándo la trayectoria cruza las superficies de conmutación.

B. Diseño del Controlador

Se propone la ley de control:
$$U(t) = K_{\sigma(P(t))} P(t)$$
Donde $K_i$ son ganancias de retroalimentación diseñadas para estabilizar el sistema sin retraso en cada modo. El controlador utiliza el estado predictor estimado para compensar el retraso $D$.

C. Análisis de Estabilidad

Para probar la estabilidad, los autores emplean una transformación de Backstepping:

1. Transformación: Se define una variable de transformación $W(\theta) = U(\theta) - K_{\sigma(P(\theta))}P(\theta)$ que mapea el sistema original con retraso a un sistema objetivo (target system) donde la dinámica del error es estable.
2. Funcionales de Lyapunov Múltiples: Se construyen funcionales de Lyapunov cuadráticos para el sistema objetivo. Dado que el sistema conmuta, se utiliza un enfoque de "múltiples funcionales de Lyapunov" que garantiza la continuidad en las superficies de conmutación (mediante la condición $X^T(P_j - P_i)X = 0$).
3. Estabilidad Exponencial Uniforme: Se demuestra que el sistema en lazo cerrado es uniformemente exponencialmente estable, independientemente de la longitud del retraso $D$.

3. Contribuciones Clave

• Primera solución de este tipo: Es, según los autores, el primer resultado que aborda la compensación de retrasos largos en la entrada para sistemas lineales conmutados con conmutación dependiente del estado mediante retroalimentación predictora.
• Construcción exacta del predictor: Logran derivar una fórmula exacta (aunque implícita/semi-explícita) para el estado predictor, tratando el sistema conmutado como un sistema no lineal debido a la dependencia del estado en la lógica de conmutación.
• Marco de estabilidad riguroso: Introducen una nueva construcción de funcionales de Lyapunov múltiples combinada con la transformación de backstepping, evitando la necesidad de un marco de sistemas híbridos complejo para el análisis de estabilidad.
• Algoritmo de implementación: Proporcionan un método computacional para calcular el predictor en tiempo real, detectando las transiciones de modo futuras basándose en la dinámica lineal actual.

4. Resultados

• Teorema Principal (3.1): Se establece que, bajo ciertas suposiciones de existencia de solución única y estabilidad del sistema sin retraso, el sistema en lazo cerrado es uniformemente exponencialmente estable. La norma del estado y la energía de la entrada decaen exponencialmente con el tiempo.
• Simulación: Se validó el diseño en un sistema de dos modos con matrices $A_1, A_2, B_1, B_2$ específicas.
  • Se utilizó una ley de conmutación inspirada en el protocolo "Try-Once-Discard" (TOD) de redes de comunicación, donde el modo activo es aquel que maximiza una función cuadrática del estado.
  • Se incluyó una banda de histéresis para evitar el "chattering" (conmutación rápida) en las fronteras.
  • Resultados visuales: Las simulaciones mostraron la convergencia de los estados a cero y la estabilidad de la señal de control a pesar de un retraso de entrada de $D=1$ segundo, confirmando la efectividad del predictor.

5. Significado e Impacto

Este trabajo es significativo porque cierra una brecha teórica importante en el control de sistemas con retrasos y conmutación.

• Aplicabilidad Práctica: Ofrece una herramienta teórica y práctica para sistemas donde las decisiones de control y las dinámicas del sistema dependen intrínsecamente del estado actual, y donde los retrasos de comunicación o de actuador son inevitables (ej. redes de sensores, control de tráfico, biología).
• Generalización: A diferencia de métodos anteriores que restringían la longitud del retraso o el tipo de conmutación, este método permite retrasos arbitrariamente largos.
• Futuro: Los autores planean extender este marco utilizando sistemas híbridos para relajar las restricciones actuales sobre la forma de la señal de conmutación y estudiar la complejidad computacional para optimizar la implementación en sistemas embebidos.

En resumen, el artículo presenta un avance fundamental en la teoría de control de sistemas con retrasos, proporcionando un diseño de controlador robusto y una demostración de estabilidad rigurosa para una clase de sistemas que es común en aplicaciones de ingeniería moderna pero difícil de tratar con métodos convencionales.