Funciones de Barrera de Control Viscosas: Conectando los Marcos de Función de Barrera de Control y Alcanzabilidad Hamilton-Jacobi en Teoría de Control Seguro

Información Básica

• ID del Artículo: 2510.09929
• Título: Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
• Autores: Dylan Hirsch, Jaime Fernández Fisac, Sylvia Herbert
• Clasificación: eess.SY (Sistemas y Control), cs.SY (Sistemas y Control)
• Fecha de Publicación: 11 de octubre de 2025 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2510.09929

Resumen

Las funciones de barrera de control (CBFs) y la alcanzabilidad Hamilton-Jacobi (HJR) son dos marcos fundamentales en la teoría de control seguro. Tradicionalmente, estos dos marcos se han considerado como enfoques distintos, siendo el primero enfocado en el diseño de controladores seguros óptimos y el segundo proporcionando condiciones suficientes para la seguridad. Trabajos previos introdujeron el concepto de funciones de valor de barrera de control (CB-VF), definidas de manera similar a otras funciones de valor estudiadas en HJR, pero con ciertas propiedades de CBF. Este artículo procede en otra dirección, generalizando las CBFs a CBFs "viscosas" no diferenciables. Los autores demuestran las conexiones profundas entre CBFs viscosas y CB-VFs, conectando los marcos de CBF y HJR. A través de este puente, los autores caracterizan con precisión las CBFs viscosas como funciones que proporcionan garantías de seguridad de clase CBF (invariancia de control y aproximación suave de frontera). Además, se demuestran las buenas propiedades teóricas de las CBFs viscosas, incluyendo clausura ideal bajo operaciones de máximo y límite.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Separación de dos marcos principales de control seguro: CBF y HJR son dos marcos principales en la teoría de control seguro, pero tradicionalmente se consideran como métodos mutuamente independientes
2. Limitaciones de las CBFs tradicionales: Las CBFs convencionales requieren diferenciabilidad continua, lo cual es demasiado restrictivo en ciertas aplicaciones, limitando su aplicabilidad
3. Ausencia de conexiones teóricas: Falta un marco teórico unificado para comprender las conexiones intrínsecas entre estos dos enfoques

Motivación de la Investigación

1. Unificación teórica: Establecer conexiones teóricas profundas entre CBF y HJR, proporcionando una base teórica más completa para el control seguro
2. Extensión de métodos: Generalizar las CBFs a funciones no diferenciables, ampliando su rango de aplicabilidad
3. Caracterización de propiedades: Caracterizar con precisión qué funciones pueden proporcionar garantías de seguridad de tipo CBF

Contribuciones Principales

1. Introducción del concepto de CBFs viscosas: Generalización de las CBFs tradicionales a funciones no diferenciables, requiriendo únicamente que satisfagan la desigualdad de CBF en sentido viscoso
2. Establecimiento de puente teórico: Demostración de la equivalencia completa entre CBFs viscosas y CB-VFs invariantes en el tiempo, conectando los marcos de CBF y HJR
3. Caracterización completa de garantías de seguridad: Demostración de que las CBFs viscosas son exactamente las funciones continuas que proporcionan "garantías de barrera" (Barrier Guarantee)
4. Extensión de la teoría de CB-VF: Generalización de CB-VF desde descuento exponencial a descuento no lineal determinado por funciones de clase K
5. Análisis de propiedades teóricas: Demostración de buenas propiedades de las CBFs viscosas, como clausura bajo operaciones de máximo y límite

Explicación Detallada de Métodos

Definiciones Básicas y Configuración

Considérese el sistema dinámico: $\dot{x} = f(x,u)$

donde $f : \mathbb{R}^n \times U \to \mathbb{R}^n$ es una función Lipschitz, $U \subset \mathbb{R}^m$ es un conjunto compacto de entradas de control permitidas.

Definición Tradicional de CBF

Una función $h : \mathbb{R}^n \to \mathbb{R}$ es una función de barrera de control con respecto a una función de clase K $\alpha$, si es continuamente diferenciable y satisface: $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ para todo $x \in \mathbb{R}^n$ que satisface $h(x) > 0$.

Innovación Principal: CBFs Viscosas

Definición de CBF Viscosa

Una función continua $h : \mathbb{R}^n \to \mathbb{R}$ es una función de barrera de control viscosa con respecto a una función de clase K $\alpha$, si para cada $x \in \mathbb{R}^n$ que satisface $h(x) > 0$, la desigualdad $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ se cumple en sentido viscoso.

Sentido Viscoso: Para cualquier función continuamente diferenciable $\phi : \mathbb{R}^n \to \mathbb{R}$, si $h - \phi$ tiene un máximo local en $x$, entonces $\max_{u \in U} \nabla \phi(x) \cdot f(x,u) \geq -\alpha(h(x))$

Garantía de Barrera (Barrier Guarantee)

Una función continua $B : \mathbb{R}^n \to \mathbb{R}$ proporciona una garantía de barrera con respecto a una función de clase K localmente Lipschitz $\alpha$, si para cada $\theta \in [0,1)$ y cada $x \in \mathbb{R}^n$ que satisface $B(x) > 0$, existe $u \in U$ tal que para todo $t \geq 0$: $B(x_x^u(t)) \geq \beta_\alpha(\theta B(x), t)$

donde $\beta_\alpha$ es una función de clase KL asociada a $\alpha$.

Extensión de Funciones de Valor de Barrera de Control (CB-VF)

Dada una función continua $g : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ y una función de clase K localmente Lipschitz $\alpha$, la CB-VF $v : \mathbb{R}^n \times \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ se define implícitamente por: $\beta_\alpha(v(x,T), T) = \sup_{u \in U} \min_{t \in [0,T]} \beta_\alpha(g(x_x^u(t)), T-t)$

Resultados Teóricos Principales

Teorema 1: Caracterización HJ-PDE de CB-VF

La CB-VF $v$ es la solución viscosa única de la HJ-PDE: $\max\left\{\frac{\partial}{\partial T}v - H_\alpha(x,v,\nabla v), v - g(x)\right\} = 0$

donde el Hamiltoniano $H_\alpha(x,r,\lambda) = \max_{u \in U} \lambda \cdot f(x,u) + \alpha(r)$.

Teorema 2: Resultado de Equivalencia Principal

Para una función de clase K localmente Lipschitz $\alpha$ y una función continua $h : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$, las siguientes proposiciones son equivalentes:

1. $h$ es una función de barrera de control viscosa con respecto a $\alpha$
2. $h$ es una solución viscosa de la HJ-PDE $-\min\{H_\alpha(x,h,\nabla h), 0\} = 0$
3. La CB-VF correspondiente es invariante en el tiempo, es decir, $v(\cdot, T) \equiv h(\cdot)$ para todo $T \geq 0$
4. $h$ proporciona una garantía de barrera con respecto a $\alpha$

Propiedades de Composición de CBFs Viscosas

Teorema 3: Clausura bajo Máximo

Si $h_1, h_2$ son ambas funciones de barrera de control viscosas con respecto a una función de clase K $\alpha$, entonces $\max\{h_1, h_2\}$ también es una función de barrera de control viscosa con respecto a $\alpha$.

Teorema 4: Clausura bajo Límite

Si $h_1, h_2, \ldots$ es una secuencia de funciones de barrera de control viscosas con respecto a una función de clase K $\alpha$, y $h_i \to h$ converge uniformemente localmente, entonces $h$ también es una función de barrera de control viscosa con respecto a $\alpha$.

Puntos de Innovación Técnica

1. Aplicación de la Teoría de Soluciones Viscosas

• Introducción del concepto de soluciones viscosas de la teoría de ecuaciones diferenciales parciales en la teoría de CBF
• Eliminación del requisito estricto de diferenciabilidad continua de las CBFs tradicionales
• Preservación de las propiedades esenciales de las garantías de seguridad

2. Conexión de Marcos

• Establecimiento de conexiones bidireccionales entre CBF y HJR
• Realización de unificación teórica a través de CB-VF como intermediario
• Provisión de perspectivas desde dos ángulos diferentes para comprender el control seguro

3. Extensión de Descuento No Lineal

• Generalización desde descuento exponencial a descuento arbitrario determinado por funciones de clase K
• Mejora de la capacidad expresiva y aplicabilidad de CB-VF

Ejemplos de Aplicación

Ejemplo 1: CBF No Diferenciable

Considérese el sistema escalar $\dot{x} = x + x + x^3/(1+|x|) \cdot u$, con conjunto de control $U = [-1,1]$.

Defínase $h(x) = 1 - |x|$ (función de distancia con signo al conjunto inseguro $(-\infty,-1] \cup [1,+\infty)$).

Aunque $h$ no es diferenciable en $x = 0$, puede verificarse que es una función de barrera de control viscosa con respecto a $\alpha(r) = r$.

Significado Teórico y Valor Práctico

Significado Teórico

1. Completitud: Caracterización completa de la clase de funciones que pueden proporcionar garantías de seguridad de tipo CBF
2. Unificación: Unificación de dos marcos importantes de control seguro en la misma base teórica
3. Extensibilidad: Provisión de un espacio de desarrollo más amplio para la teoría de CBF

Valor Práctico

1. Expansión de Aplicabilidad: Permiso de uso de funciones no diferenciables como CBFs, aplicable a más problemas prácticos
2. Métodos de Composición: Provisión de métodos sistemáticos para construir nuevas CBFs a partir de CBFs conocidas
3. Ventajas Computacionales: Posibilidad de utilizar métodos computacionales de HJR para construir CBFs

Limitaciones y Direcciones Futuras

Limitaciones

1. Complejidad Computacional: La verificación y construcción de CBFs viscosas puede ser más compleja computacionalmente
2. Detalles de Implementación: El artículo se enfoca principalmente en resultados teóricos; se requiere investigación adicional en métodos de cálculo prácticos
3. Verificación de Aplicaciones: Falta de verificación de aplicaciones en sistemas reales a gran escala

Direcciones Futuras

1. Métodos Computacionales: Desarrollo de algoritmos eficientes para cálculo y verificación de CBFs viscosas
2. Extensión de Aplicaciones: Aplicaciones específicas en robótica, conducción autónoma y otros campos
3. Sistemas Multiagente: Extensión a control seguro de sistemas multiagente
4. Sistemas Estocásticos: Consideración de sistemas dinámicos estocásticos

Evaluación Profunda

Fortalezas

1. Profundidad Teórica: Establecimiento de conexiones teóricas profundas entre dos marcos importantes
2. Rigor Matemático: Demostraciones completas con resultados teóricos de importancia significativa
3. Innovación Conceptual: El concepto de CBF viscosa posee originalidad y valor práctico
4. Sistematicidad: Provisión de un sistema teórico completo y análisis de propiedades

Deficiencias

1. Falta de Verificación Experimental: El trabajo es principalmente teórico, careciendo de experimentos numéricos y verificación de aplicaciones prácticas
2. Métodos Computacionales: No se proporcionan algoritmos específicos de cálculo o métodos de implementación
3. Análisis de Complejidad: Falta de análisis de la complejidad computacional de los métodos

Evaluación de Impacto

1. Valor Académico: Contribución teórica importante a la teoría de control seguro
2. Potencial Práctico: Extensión del rango de aplicabilidad de CBF con valor práctico importante
3. Investigación Posterior: Establecimiento de base teórica para investigación posterior en campos relacionados

Escenarios de Aplicación

1. Restricciones Geométricas Complejas: Problemas de control con restricciones de seguridad no diferenciables
2. Sistemas Multimodales: Sistemas híbridos con dinámicas conmutadas
3. Control Robusto: Sistemas críticos para la seguridad que requieren manejo de incertidumbre
4. Planificación de Trayectorias: Navegación robótica y problemas de evitación de obstáculos

Referencias

El artículo cita literatura importante en teoría de control seguro, incluyendo:

• Trabajos fundamentales en teoría de CBF (Ames et al.)
• Teoría de alcanzabilidad Hamilton-Jacobi (Mitchell, Bayen, Tomlin)
• Teoría de soluciones viscosas (Bardi, Capuzzo-Dolcetta)
• Trabajos originales sobre funciones de valor de barrera de control (Choi et al.)

Resumen: Este es un artículo teórico de alta calidad que realiza contribuciones importantes al campo de la teoría de control seguro. Mediante la introducción del concepto de CBF viscosa y el establecimiento de conexiones con el marco HJR, proporciona una base teórica más completa y unificada para el control seguro. Aunque carece de verificación experimental, su valor teórico y perspectivas de aplicación potencial lo convierten en un trabajo importante en el campo.