Safe Control of Feedback-Interconnected Systems via Singular Perturbations

Aquí presento un resumen técnico detallado del artículo "Safe Control of Feedback-Interconnected Systems via Singular Perturbations" (Control Seguro de Sistemas Interconectados por Retroalimentación mediante Perturbaciones Singulares), escrito por Stefano Di Gregorio, Guido Carnevale y Giuseppe Notarstefano.

1. Planteamiento del Problema

El control de sistemas autónomos complejos en entornos reales requiere garantizar restricciones de seguridad estrictas. Las Funciones de Barrera de Control (CBF) se han establecido como una herramienta poderosa para diseñar controladores que aseguren la invariancia hacia adelante de conjuntos seguros. Sin embargo, surgen desafíos significativos en escenarios modernos donde los sistemas involucran la interconexión por retroalimentación de subsistemas que evolucionan a diferentes escalas de tiempo.

Estos casos incluyen:

• La interacción entre dominios físicos distintos (ej. partes eléctricas y mecánicas en robótica).
• La interconexión de una planta física con algoritmos de optimización o control en línea.

El problema central es que diseñar CBFs para el sistema completo (de alta dimensión y dinámicas acopladas) es computacionalmente costoso o incluso imposible. Además, las restricciones de seguridad a menudo solo dependen de una parte del sistema (el subsistema lento), mientras que la dinámica rápida (ej. actuadores o algoritmos de optimización) introduce incertidumbre y perturbaciones que pueden violar la seguridad si no se modelan adecuadamente.

2. Metodología Propuesta

Los autores proponen un marco formal basado en la teoría de perturbaciones singulares (separación de escalas de tiempo) para "elevar" (lift) un certificado de seguridad diseñado para un modelo de orden reducido al sistema interconectado completo.

Estructura del Sistema

El sistema se modela como una interconexión de dos subsistemas:

1. Subsistema Lento ($x$): $\dot{x} = f(x, z, u)$
2. Subsistema Rápido ($z$): $\epsilon \dot{z} = g(z, x, u)$
   Donde $\epsilon > 0$ es un parámetro pequeño que modula la velocidad relativa.

Supuestos Clave

1. Seguridad en el Modelo Reducido: Existe un controlador $\pi(x)$ y una función CBF $h(x)$ para el sistema reducido (donde $z$ se asume en equilibrio $z_{eq}(x, u)$) que garantiza una margen de seguridad $\eta > 0$.
2. Estabilidad de la Capa Límite: El subsistema rápido, cuando el estado lento y la entrada se fijan, converge exponencialmente a su equilibrio $z_{eq}(x, u)$. Esto se garantiza mediante una función de Lyapunov $U(\tilde{z})$ para el error $\tilde{z} = z - z_{eq}$.
3. Continuidad Lipschitz: Las funciones dinámicas y el controlador son Lipschitz continuos.

Construcción de la CBF Compuesta

La contribución metodológica principal es la definición de una CBF Compuesta $V(x, z)$ que combina la seguridad del subsistema lento y la estabilidad del rápido:
$$V(x, z) := h(x) - U(z - z_{eq}(x, \pi(x)))$$

El conjunto seguro del sistema completo se define como el supernivel cero de $V$: $C_V = \{(x, z) \mid V(x, z) \geq 0\}$.

3. Contribuciones Clave

1. Marco Teórico Formal: Se establece la primera condición suficiente para garantizar la seguridad de sistemas interconectados con retroalimentación utilizando teoría de perturbaciones singulares.
2. Reducción de Dimensionalidad: Demuestran que, bajo una separación de escalas de tiempo suficiente ($\epsilon$ suficientemente pequeño), el controlador de seguridad solo necesita diseñarse para el modelo de orden reducido (baja dimensión).
3. Certificado de Seguridad Global: Se prueba que si el modelo reducido es seguro y el subsistema rápido es estable, entonces el sistema completo es seguro, siempre que $\epsilon$ esté por debajo de un umbral crítico $\bar{\epsilon}$.
4. Invariancia del Conjunto Elevado: Se demuestra que el conjunto $C_V$ es invariante hacia adelante. Esto implica que el sistema puede tolerar desviaciones del subsistema rápido respecto a su equilibrio, siempre que la "energía" de la función $h(x)$ sea suficiente para compensar la desviación medida por $U$.

4. Resultados y Validación

Los autores validan su enfoque mediante simulaciones numéricas en dos escenarios distintos:

A. Brazo Robótico con Dinámica de Motores

• Escenario: Un brazo robótico de 2 grados de libertad donde la dinámica mecánica (lenta) está acoplada a la dinámica eléctrica de los motores (rápida).
• Implementación: Se diseñó un filtro de seguridad basado en CBFs de alto orden (HOCBF) para el modelo mecánico reducido.
• Resultado: Las simulaciones muestran que para valores pequeños de $\epsilon$ (separación de tiempos efectiva), el robot evita colisiones y respeta los límites de las articulaciones. Cuando $\epsilon$ supera un umbral crítico, las perturbaciones de la dinámica eléctrica causan violaciones de seguridad.

B. Control de Seguridad Subóptimo con Optimización

• Escenario: Una planta física controlada por un algoritmo de optimización en línea que intenta minimizar una función de costo sujeto a restricciones de seguridad.
• Implementación: El algoritmo de optimización actúa como el subsistema rápido. Se compara el enfoque propuesto (subóptimo, basado en el modelo reducido) contra una solución exacta de CBF-QP (cuadrático).
• Resultado: El método propuesto mantiene la seguridad para valores pequeños de $\epsilon$, acercándose al comportamiento del solucionador exacto a medida que $\epsilon \to 0$. Para $\epsilon$ grandes, se observan violaciones, confirmando la necesidad de la separación de escalas.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Eficiencia Computacional: Permite sintetizar controladores de seguridad complejos en espacios de baja dimensión, reduciendo drásticamente la carga computacional en tiempo de ejecución (online), lo cual es crucial para sistemas embebidos o de alta velocidad.
• Generalidad: A diferencia de enfoques previos que requieren estructuras en cascada estrictas o leyes de retroalimentación inversas restrictivas, este método aplica a una amplia clase de dinámicas no lineales interconectadas.
• Puente entre Teoría y Práctica: Proporciona una justificación teórica rigurosa para el uso común en la industria de diseñar controladores basados en modelos simplificados (reducidos) incluso cuando existen dinámicas rápidas no modeladas, siempre que exista una separación de tiempos clara.
• Nuevas Direcciones: Abre la puerta al diseño seguro de sistemas ciber-físicos complejos donde la interacción entre hardware, software de control y algoritmos de optimización es intrínseca.

En resumen, el artículo ofrece una solución elegante y formal para el problema de la seguridad en sistemas multi-escala, permitiendo que la seguridad se garantice mediante el análisis de un modelo simplificado, con garantías matemáticas de que la seguridad se preserva en el sistema completo bajo condiciones de separación de tiempos.