Generalizations of Backup Control Barrier Functions: Expansion and Adaptation for Input-Bounded Safety-Critical Control

Título del Trabajo

Generalizaciones de las Funciones de Barrera de Control de Copia de Seguridad: Expansión y Adaptación para el Control Seguro con Entradas Acotadas

1. Planteamiento del Problema

Garantizar la seguridad de sistemas no lineales con entradas acotadas (limitaciones físicas en los actuadores) es un desafío fundamental en la autonomía segura. Las Funciones de Barrera de Control (CBF) son una herramienta popular para asegurar la invariancia hacia adelante de conjuntos seguros, pero su aplicación es difícil cuando existen restricciones de entrada estrictas, ya que verificar la existencia de un controlador seguro para todos los estados es complejo.

El enfoque actual más prometedor, las Funciones de Barrera de Control de Copia de Seguridad (bCBF), construyen conjuntos seguros invariantes mediante la expansión de un "conjunto de copia de seguridad" (backup set) pre-verificado. Sin embargo, el método estándar tiene una limitación crítica: utiliza el mismo controlador de copia de seguridad tanto para certificar la invariancia del conjunto base como para expandirlo. Esta restricción obliga a elegir un controlador de expansión conservador que garantice la estabilidad, lo que a menudo resulta en un conjunto seguro expandido demasiado pequeño y en un comportamiento dinámico restrictivo, limitando el rendimiento del sistema.

2. Metodología Propuesta

Los autores proponen una generalización del marco bCBF que desacopla el controlador de expansión del controlador de copia de seguridad. La metodología se divide en tres niveles de generalización:

A. Separación de Controladores (Método Generalizado)

En lugar de usar el mismo controlador $k_b$ para todo, se introduce:

• Un controlador de copia de seguridad ($k_b$): Pre-verificado, garantiza que el conjunto base $C_B$ sea invariante hacia adelante.
• Un controlador de expansión ($k_e$): Puede ser diferente a $k_b$ y está diseñado específicamente para maximizar la expansión del conjunto seguro, sin necesidad de garantizar la invariancia de $C_B$ por sí mismo.
• Controlador Conmutado ($k_s$): Se define una función de conmutación suave $\eta(x)$ que combina ambos controladores:
  $$k_s(x) = (1 - \eta(x))k_e(x) + \eta(x)k_b(x)$$
  Donde $\eta(x) = 1$ dentro del conjunto de copia de seguridad $C_B$ (activando $k_b$) y $\eta(x) \to 0$ fuera de él (activando $k_e$). Esto asegura que el sistema siempre termine en $C_B$ y permanezca seguro.

B. Condiciones de Invariancia

Se derivan condiciones suficientes para que el nuevo conjunto seguro implícito $C_I^*$ sea controladamente invariante. Estas condiciones se formulan como restricciones en un Programa Cuadrático (QP) que el controlador en tiempo real debe satisfacer. A diferencia del método estándar, este QP permite utilizar trayectorias generadas por el controlador de expansión $k_e$ para definir los límites de seguridad, ampliando significativamente el espacio de estados operables.

C. Adaptación en Línea (Método Adaptativo)

El marco se extiende a familias de controladores parametrizados $k_e(x, \theta)$.

• Se trata los parámetros $\theta$ como estados auxiliares en un sistema aumentado.
• Se introduce una ley de adaptación que ajusta $\theta$ en tiempo real basándose en el gradiente de una función de costo (relacionada con la optimización de tiempo o la profundidad de penetración en el conjunto de copia de seguridad).
• Esto permite que el controlador de expansión se adapte dinámicamente a las condiciones del entorno, maximizando la expansión del conjunto seguro sin violar las garantías de seguridad.

3. Contribuciones Clave

1. Desacoplamiento de Roles: Se demuestra teóricamente que separar el controlador de expansión del de copia de seguridad preserva la invariancia controlada del conjunto expandido, permitiendo estrategias de expansión mucho más agresivas y menos conservadoras.
2. Condiciones de Invariancia Generalizadas: Se establecen las condiciones formales (en forma de desigualdades diferenciales) y se formula el QP correspondiente (GB-QP) que garantiza la seguridad bajo entradas acotadas para este nuevo marco.
3. Adaptación Online: Se extiende el marco para permitir la adaptación de los parámetros del controlador de expansión en tiempo real (aGB-QP), mejorando el rendimiento dinámico mientras se mantienen las garantías de seguridad.
4. Recuperación de Casos Especiales: Se muestra que el método bCBF estándar es un caso particular de esta generalización (cuando $k_e = k_b$).

4. Resultados y Validación

Los autores validan su propuesta mediante dos estudios de caso:

• Caso 1: Doble Integrador:

  • Se compara el conjunto seguro estándar ($C_I$) con los conjuntos generados por el método generalizado ($C_{I,1}^*$ y $C_{I,2}^*$).
  • Resultado: El método generalizado logra conjuntos de seguridad significativamente más grandes. Al permitir que el controlador de expansión tenga ganancias más altas o estrategias de tiempo óptimo (sin preocuparse por la estabilidad del conjunto base), el sistema puede operar en regiones que el método estándar consideraría inseguras.

• Caso 2: Aterrizaje de Cuadricóptero (Simulación):

  • Escenario: Un cuadricóptero debe aterrizar en un objetivo dentro de una zona estrecha con paredes, sujeto a límites estrictos de empuje y momento.
  • bCBF Estándar: No logra alcanzar el objetivo debido a la restricción conservadora de los ganadores del controlador de copia de seguridad; el sistema se detiene antes de llegar.
  • bCBF Generalizado (GB-QP): Logra una expansión mucho mayor del conjunto seguro, acercándose más al objetivo, pero aún no lo alcanza completamente.
  • bCBF Adaptativo (aGB-QP): Al adaptar los ganadores del controlador de expansión en línea, el sistema logra alcanzar el objetivo de aterrizaje de manera segura. La adaptación permite modificar dinámicamente la estrategia de control para maximizar la expansión del conjunto seguro hacia el objetivo.

5. Significado e Impacto

Este trabajo representa un avance significativo en la teoría de control seguro:

• Reducción del Conservadurismo: Rompe la limitación fundamental de los métodos bCBF existentes, permitiendo conjuntos de operación segura mucho más grandes sin sacrificar las garantías formales.
• Flexibilidad de Diseño: Permite a los ingenieros utilizar controladores de expansión sofisticados (como controladores de tiempo óptimo o basados en aprendizaje) que anteriormente no podían usarse en marcos de seguridad basados en CBF debido a la dificultad de verificar su invariancia.
• Aplicabilidad en Sistemas Complejos: La capacidad de adaptación en línea demuestra que estos métodos pueden manejar sistemas no lineales complejos y dinámicos (como drones) en entornos restringidos, mejorando tanto la seguridad como el rendimiento de la tarea.

En resumen, la propuesta transforma el enfoque de "un controlador para todo" a una arquitectura modular donde la seguridad se certifica mediante un controlador robusto, mientras que el rendimiento se optimiza mediante un controlador de expansión flexible y adaptable.