On the Stability of Undesirable Equilibria in the Quadratic Program Framework for Safety-Critical Control

Resumen Técnico: Estabilidad de Equilibrios Indeseables en el Marco CLF-CBF-QP

1. Planteamiento del Problema

El control de sistemas críticos para la seguridad (Safety-Critical Control) ha avanzado significativamente mediante el uso de Funciones de Lyapunov de Control (CLF) para la estabilidad y Funciones de Barrera de Control (CBF) para garantizar la seguridad. La unificación de ambos objetivos se logra típicamente mediante Programas Cuadráticos (QP), que generan una ley de control óptima en tiempo real.

Sin embargo, el artículo identifica una limitación práctica crítica en este marco:

• Equilibrios Indeseables: La combinación de CLF y múltiples CBFs en un QP puede introducir puntos de equilibrio no deseados en el sistema de lazo cerrado, distintos del mínimo global de la CLF.
• Riesgo de Bloqueo (Deadlock): Algunos de estos equilibrios pueden ser asintóticamente estables. Si una trayectoria converge a uno de estos puntos, el sistema entra en un estado de "bloqueo" (deadlock), impidiendo la llegada al objetivo deseado.
• Peligro de Fallo: Estos equilibrios estables pueden ubicarse arbitrariamente cerca de las regiones inseguras, exponiendo al sistema a situaciones de fallo inminente y obligando a los diseñadores a usar márgenes de seguridad excesivamente conservadores.

El problema central es determinar bajo qué condiciones geométricas y dinámicas surgen estos equilibrios estables y cómo modificar el controlador para eliminarlos sin comprometer la seguridad.

2. Metodología y Análisis Teórico

Los autores desarrollan un análisis riguroso para sistemas no lineales afines al control ($\dot{x} = f(x) + g(x)u$) con múltiples CBFs.

A. Caracterización de la Existencia de Equilibrios

• Se extienden resultados previos para demostrar que el conjunto de puntos de equilibrio del sistema en lazo cerrado se compone de:
  1. Equilibrios en el interior de la región segura (que, bajo ciertas condiciones, solo incluyen el mínimo de la CLF).
  2. Equilibrios en la frontera de las barreras de seguridad ($\partial C_i$).
• Se define una transformación vectorial $f_i(x, \lambda)$ que relaciona la dinámica del sistema, el gradiente de la barrera y el gradiente de la CLF. Los puntos de equilibrio en la frontera satisfacen $f_i(x, \lambda) = 0$.

B. Análisis de Estabilidad

• Se deriva una condición necesaria y suficiente para la estabilidad de los puntos de equilibrio en la frontera.
• La estabilidad depende de la geometría relativa entre la CLF y la CBF. Específicamente, se analiza la matriz Jacobiana del sistema en el punto de equilibrio proyectada sobre el subespacio ortogonal al gradiente de la barrera.
• Se demuestra que si la curvatura de la barrera y la CLF interactúan de cierta manera (relacionada con la deficiencia de la matriz de estabilidad), el equilibrio puede volverse estable.

C. Concepto de Compatibilidad CLF-CBF

• Se introduce la noción de Compatibilidad CLF-CBF: Un par CLF-CBF es compatible si el único punto de equilibrio estable en el sistema de lazo cerrado es el mínimo global de la CLF.
• Para sistemas lineales invariantes en el tiempo (LTI) y sistemas sin deriva (drift-less) de rango completo, con CLFs y CBFs cuadráticas, se derivan condiciones analíticas para esta compatibilidad.

D. Función Q y Polinomios Matriciales

• Se propone el uso de una Función Q ($q(\lambda)$), definida como una función racional que depende de un parámetro de Lagrange $\lambda$. Esta función codifica la existencia de puntos de equilibrio en la frontera.
• Se utiliza la teoría de Polinomios Matriciales (específicamente el problema de autovalores generalizado) para analizar la estabilidad. Se define una matriz polinómica de estabilidad $S(\lambda)$; un equilibrio es estable si y solo si $S(\lambda)$ es semidefinida negativa en la raíz correspondiente de la función Q.

3. Contribuciones Clave

1. Análisis Completo de Estabilidad: Se proporciona una caracterización detallada de las condiciones de existencia y estabilidad de los puntos de equilibrio en el marco CLF-CBF-QP con múltiples barreras.
2. Definición de Compatibilidad: Se formaliza el concepto de compatibilidad entre CLF y CBF, garantizando que no existan atractores estables no deseados.
3. Condiciones Analíticas: Para sistemas LTI y sin deriva con funciones cuadráticas, se derivan condiciones necesarias y suficientes basadas en la función Q y la matriz de estabilidad $S(\lambda)$.
4. Algoritmo de "Compatibilización": Se propone un método para calcular una CLF compatible a partir de una no compatible. Esto se formula como un problema de optimización que minimiza la distancia (norma de Frobenius) entre la Hessian de la CLF de referencia y una nueva Hessian que satisface las condiciones de compatibilidad.
5. Estrategia de Control Adaptativo: Se diseña un controlador que modifica dinámicamente la geometría de la CLF (sus elipses de nivel) en tiempo real.
   • Si la trayectoria entra en una región donde existe un equilibrio estable (región de atracción), el controlador adapta la CLF hacia la versión compatible, induciendo una bifurcación que elimina o desestabiliza el equilibrio indeseable.
   • Fuera de estas regiones, la CLF vuelve a su forma original (referencia).

4. Resultados y Simulaciones

Los autores validan su propuesta mediante simulaciones numéricas en sistemas LTI de dos dimensiones:

• Caso 1 (Sistema LTI estándar): Se muestra un escenario donde una CLF fija y una barrera CBF crean un punto de equilibrio estable en la frontera, causando que el sistema se detenga antes de llegar al objetivo. Al aplicar la estrategia adaptativa, la CLF modifica su geometría al acercarse a la barrera, eliminando el equilibrio estable y permitiendo que la trayectoria continúe hacia el origen.
• Caso 2 (Sistema LTI subactuado): Se demuestra la aplicabilidad del método en sistemas con matrices de entrada de rango incompleto. La estrategia adaptativa logra evitar el bloqueo y guiar al sistema alrededor del obstáculo hacia el objetivo, algo que el controlador QP nominal (con CLF fija) no podía lograr.

En ambos casos, las simulaciones confirman que la estrategia propuesta evita la convergencia a equilibrios indeseables manteniendo la invariancia del conjunto seguro.

5. Significado e Impacto

Este trabajo es fundamental para la implementación práctica de controladores de seguridad críticos:

• Seguridad Garantizada sin Conservadurismo Excesivo: Permite diseñar sistemas que sean seguros (invariantes) y estables, eliminando la necesidad de márgenes de seguridad artificiales para evitar bloqueos.
• Solución al Problema de Deadlock: Ofrece una solución teórica y práctica al problema de los "deadlocks" en controladores basados en QP, un obstáculo mayor en la robótica autónoma y sistemas de transporte.
• Generalidad: Aunque se centra en sistemas cuadráticos y LTI, el marco teórico (compatibilidad y análisis de estabilidad) sienta las bases para extender estas garantías a sistemas no lineales más generales.
• Viabilidad Computacional: La propuesta de modificar la geometría de la CLF en tiempo real mediante un controlador secundario demuestra que es posible lograr estabilidad global sin sacrificar la seguridad local, utilizando herramientas de optimización convexa y no convexa eficientes.

En conclusión, el artículo transforma el marco CLF-CBF-QP de una herramienta que a menudo requiere ajustes empíricos para evitar bloqueos, a un marco con garantías teóricas de estabilidad global mediante el diseño de CLFs compatibles.