Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

Resumen Técnico: Certificación de la Atractividad de Conjuntos para Sistemas Conmutados No Lineales Inciertos en Tiempo Discreto

Enunciado del Problema
El artículo aborda el desafío de certificar la atractividad local robusta de conjuntos para sistemas conmutados no lineales inciertos en tiempo discreto, donde la ley de conmutación actúa como una variable de decisión. Si bien existe una amplia literatura sobre el análisis de estabilidad de sistemas conmutados lineales y libres de incertidumbre (tanto en tiempo continuo como discreto), y algunos trabajos cubren sistemas lineales inciertos, el problema sigue siendo una cuestión abierta significativa para sistemas conmutados no lineales inciertos. Los métodos existentes basados en Lyapunov a menudo son no triviales de aplicar a sistemas no lineales, y los enfoques basados en teoría de conjuntos, fundamentados en conjuntos invariantes, aún no han proporcionado resultados generales para la atractividad en presencia de incertidumbres para esta clase específica de sistemas.

Metodología
Los autores proponen un marco centrado en una nueva clase de funciones denominadas funciones de Garantía de Atractividad (AG). La metodología procede a través de los siguientes pasos lógicos:

1. Definición de funciones AG: Una función AG es una relajación del concepto de función de Lyapunov de control. Es una función no negativa $L: X \to \mathbb{R}_{\geq 0}$ que se anula en un conjunto objetivo $\Omega$ y satisface una condición específica de decrecimiento. Específicamente, para estados dentro de cierto conjunto de nivel, debe existir un modo de conmutación tal que el supremo del valor de la función sobre todas las realizaciones posibles de incertidumbre disminuya por un margen dependiente de la distancia al conjunto $\Omega$.
2. Vínculo Teórico con la Atractividad: El artículo demuestra (Proposición 2) que la existencia de una función AG asociada a un conjunto $\Omega$ garantiza la atractividad local robusta de dicho conjunto.
3. Enfoque Constructivo mediante Conjuntos Contractivos: Para abordar la dificultad de encontrar funciones AG directamente para sistemas no lineales, los autores proponen un método constructivo basado en Conjuntos Contractivos de Control Robusto (RCCS). Un RCCS es un conjunto donde, para cada estado, existe un modo de conmutación que lleva al sistema al interior del conjunto (teniendo en cuenta todas las incertidumbres).
4. Prueba de Existencia: Los autores demuestran (Proposición 5) que si existe un RCCS compacto, se puede construir explícitamente una función AG a trozos constante basada en la "distancia" de un estado desde el conjunto objetivo, medida por el número de pasos requeridos para alcanzar el conjunto mediante conjuntos controlables.
5. Implementación Algorítmica:
   • Para sistemas lineales con incertidumbre aditiva, los autores adaptan un algoritmo existente (Fiacchini y Jungers, 2014) para calcular recursivamente conjuntos controlables robustos utilizando diferencias de Minkowski. Esto permite el cálculo fuera de línea de una ley de conmutación estabilizadora.
   • Para sistemas no lineales, se propone un procedimiento numérico para aproximar los conjuntos controlables y verificar la condición de contractividad ($\Omega \subset \text{int}_X(C(\Omega))$) utilizando un enfoque basado en cuadrícula.

Contribuciones Clave

• Introducción de funciones AG: El artículo define las funciones AG como una herramienta para certificar la atractividad de conjuntos con requisitos más débiles que las funciones de Lyapunov tradicionales, acomodando específicamente las discontinuidades derivadas de la conmutación.
• Garantía Teórica: Establece una cadena lógica rigurosa: la existencia de un Conjunto Contractivo de Control Robusto (RCCS) $\implies$ existencia de una función AG $\implies$ atractividad local robusta del conjunto.
• Método Constructivo: El artículo proporciona un método concreto para generar funciones AG a partir de RCCS, definiendo la función basada en el índice de paso de los conjuntos controlables robustos ($C_k(\Omega)$).
• Síntesis de la Ley de Conmutación: Se deriva una ley de conmutación estabilizadora explícita (Ecuación 16) que selecciona el modo que minimiza el índice de paso hacia el conjunto objetivo, asegurando que la trayectoria del sistema permanezca dentro del dominio de atracción y converja al conjunto.
• Validación Lineal y No Lineal: El marco se valida en sistemas conmutados lineales con incertidumbre aditiva y se aplica a un estudio de caso no lineal.

Resultados

• Caso Lineal: El algoritmo propuesto identifica con éxito RCCS y leyes de conmutación estabilizadoras para sistemas lineales con incertidumbres acotadas. En un ejemplo, el método identificó una ley estabilizadora donde el análisis sin incertidumbre sugería estabilidad, pero la presencia de incertidumbre impidió la identificación de un conjunto contractivo, destacando la necesidad del enfoque robusto.
• Estudio de Caso No Lineal (Resistencia Antimicrobiana): El marco se aplicó a un modelo en tiempo discreto de la dinámica de poblaciones bacterianas (cepas susceptibles y resistentes) bajo respuesta inmune y tratamiento con antibióticos.
  • Los autores identificaron RCCS para cargas bacterianas iniciales específicas (por ejemplo, carga total $b_0 \leq 10,000$).
  • Las simulaciones numéricas demostraron que para estas cargas, el sistema posee un conjunto atractivo, lo que significa que la población bacteriana puede ser llevada a un estado de baja carga a pesar de las incertidumbres en la discretización y los parámetros del modelo.
  • Para cargas iniciales más altas ($b_0 = 120,000$), la condición de contractividad falló, indicando los límites del protocolo de terapia para cargas bacterianas elevadas.

Significado y Afirmaciones
El artículo afirma proporcionar el primer resultado general para certificar la atractividad de conjuntos en sistemas conmutados no lineales inciertos. Su importancia radica en:

• Cerrar una Brecha: Extiende los métodos de control basados en teoría de conjuntos desde sistemas lineales/libres de incertidumbre hacia el dominio más complejo de los sistemas no lineales inciertos.
• Relevancia Práctica: La aplicación a la resistencia antimicrobiana (RAM) demuestra la utilidad del enfoque en sistemas biológicos, específicamente en la evaluación de las limitaciones fundamentales de los protocolos de terapia con antibióticos basadas en la carga bacteriana inicial.
• Robustez: La metodología tiene en cuenta explícitamente las incertidumbres, proporcionando un certificado geométrico de estabilidad asintótica y satisfacción de restricciones que es robusto frente a variaciones del modelo y errores de discretización.

Los autores señalan que el enfoque está actualmente limitado a la atractividad local y que la construcción de la ley de conmutación puede ser computacionalmente intensiva para sistemas no lineales generales debido a la necesidad de calcular conjuntos controlables fuera de línea. Sugieren que el trabajo futuro debe centrarse en condiciones menos conservadoras para la existencia de funciones AG y estrategias de conmutación orientadas al rendimiento.