Enforcing Mixed State-Input Constraints with Multiple Backup Control Barrier Functions: A Projection-based Approach

Título: Imposición de Restricciones Mixtas Estado-Entrada con Múltiples Funciones de Barrera de Control de Respaldo: Un Enfoque Basado en Proyección

1. Planteamiento del Problema

El control de sistemas autónomos modernos requiere garantizar la seguridad, lo que a menudo se define como mantener el estado del sistema dentro de un conjunto seguro. Sin embargo, los enfoques tradicionales de Funciones de Barrera de Control (CBF) suelen centrarse únicamente en restricciones de estado (como posición o velocidad), ignorando explícitamente las limitaciones de las entradas de control (como fuerza o torque).

En aplicaciones reales (robótica, vehículos autónomos), las restricciones de estado y entrada están frecuentemente acopladas. Por ejemplo:

• La potencia es una mezcla de velocidad (estado) y fuerza (entrada).
• Las restricciones de estabilidad o evitación de vuelco dependen simultáneamente de variables de estado y de entrada.

El desafío principal es sintetizar controladores que satisfagan simultáneamente:

1. Restricciones de estado ($x \in \mathcal{C}$).
2. Restricciones de entrada ($u \in \mathcal{U}$).
3. Restricciones mixtas ($H(x, u) \geq 0$), donde la seguridad depende de una combinación no lineal o afín de ambos.

Los métodos existentes, como las CBFs integrales o de orden cero, a menudo generan restricciones no convexas o no garantizan la factibilidad recursiva bajo limitaciones de entrada.

2. Metodología Propuesta

Los autores proponen un marco de control seguro basado en una generalización de las Funciones de Barrera de Control de Respaldo (Backup CBFs). La metodología se divide en dos innovaciones principales:

A. Manejo de Múltiples Restricciones Desacopladas:
Se extiende el método de Backup CBF para manejar múltiples restricciones de estado desacopladas utilizando un único par de "conjunto de respaldo" y "controlador de respaldo". Esto evita la necesidad de múltiples controladores de respaldo, simplificando la síntesis.

B. Enfoque de Proyección para Restricciones Mixtas:
Esta es la contribución central. Para tratar restricciones mixtas $H(x, u) \geq 0$, el método proyecta el espacio de estado-entrada al espacio de estado puro a lo largo de un controlador de respaldo ($k_b(x)$).

1. Definición del Conjunto Proyectado ($\mathcal{C}_p$): Se define un conjunto de estados donde el controlador de respaldo satisface la restricción mixta:
   $$h(x) \triangleq H(x, k_b(x)) \geq 0$$
2. Conjunto Invariante ($\mathcal{S}_I^p$): Se construye un conjunto de estados desde los cuales, siguiendo la dinámica del sistema bajo el controlador de respaldo, se puede alcanzar el conjunto de respaldo seguro ($\mathcal{S}_b$) sin violar las restricciones proyectadas $h(x)$ durante un horizonte de tiempo $T$.
3. Formulación del Problema de Optimización: Se formula un Programa Cuadrático (QP) que busca minimizar la desviación de un controlador deseado ($k_d$), sujeto a:
   • Restricciones de CBF predictivas sobre la trayectoria de respaldo (para garantizar factibilidad recursiva).
   • La restricción mixta original $H(x, u) \geq 0$ evaluada en el paso actual.

Si las restricciones mixtas son afines en la entrada, el problema de síntesis del controlador se convierte en un QP de fácil resolución.

3. Contribuciones Clave

• Generalización de Backup CBFs: Extensión del método para manejar múltiples restricciones de estado y entrada desacopladas con un solo par de respaldo.
• Proyección de Restricciones Mixtas: Transformación de restricciones acopladas estado-entrada en restricciones puras de estado mediante la proyección a lo largo de una política de respaldo conocida. Esto permite utilizar la teoría de invarianza de CBFs estándar.
• Simplificación del Diseño: El enfoque elimina la necesidad de saturar el controlador de respaldo en todo el espacio de estados. Las restricciones de entrada solo necesitan cumplirse dentro del pequeño conjunto de respaldo ($\mathcal{S}_b$), lo que facilita el diseño y permite el cálculo analítico del flujo de respaldo (evitando integración numérica en línea).
• Garantía de Factibilidad Recursiva: A diferencia de métodos que imponen restricciones mixtas directamente en el QP (que pueden volverse infactibles), este método garantiza que siempre exista una solución (el controlador de respaldo) que mantiene al sistema seguro.

4. Resultados Experimentales

Los autores validan el método en un ejemplo de péndulo invertido con las siguientes restricciones simultáneas:

• Estado: Ángulo del péndulo ($|x_1| \leq \phi_{max}$).
• Entrada: Torque aplicado ($u_{min} \leq u \leq u_{max}$).
• Mixta: Potencia ($P_{min} \leq x_2 u \leq P_{max}$).

Comparación:

• Se comparó el método propuesto (Backup CBF-QP) con una técnica clásica de CBF de Alto Orden (HOCBF).
• HOCBF: Al imponer las restricciones de entrada y potencia directamente en el QP sin la estructura de respaldo, el problema se volvió infactible en ciertos estados, provocando que las trayectorias violaran los límites de seguridad.
• Método Propuesto: El controlador basado en proyección mantuvo todas las restricciones (estado, entrada y potencia) satisfechas, incluso para un sistema inestable en lazo abierto. La predicción hacia el futuro permitió que el controlador interviniera antes que el HOCBF, evitando la violación de límites.

Además, se demostró que el uso de un controlador de respaldo que linealiza el sistema permitió calcular el flujo de respaldo analíticamente, reduciendo significativamente el costo computacional.

5. Significado e Impacto

Este trabajo es significativo porque cierra una brecha importante en la teoría de control seguro: la capacidad de manejar formalmente restricciones mixtas (como potencia, fricción dependiente de la velocidad, o límites de energía) dentro de un marco de CBFs que garantice la seguridad y la factibilidad.

• Aplicabilidad Práctica: Es crucial para sistemas robóticos y vehículos donde los límites de actuación (torque) y los límites físicos (velocidad, potencia) interactúan dinámicamente.
• Eficiencia Computacional: Al permitir el cálculo analítico del flujo de respaldo y eliminar la saturación global del controlador de respaldo, el método es más viable para implementación en tiempo real.
• Robustez: Ofrece garantías formales de seguridad (invarianza del conjunto) incluso en presencia de restricciones complejas de entrada, algo que los métodos de CBF estándar no logran sin comprometer la factibilidad.

En resumen, el artículo presenta un marco unificado y computacionalmente eficiente para garantizar la seguridad de sistemas dinámicos bajo restricciones complejas y acopladas, superando las limitaciones de las técnicas de CBF tradicionales.