Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory

Informations Fondamentales

• ID de l'article: 2510.09929
• Titre: Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
• Auteurs: Dylan Hirsch, Jaime Fernández Fisac, Sylvia Herbert
• Classification: eess.SY (Systèmes et Contrôle), cs.SY (Systèmes et Contrôle)
• Date de publication: 11 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.09929

Résumé

Les fonctions de barrière de contrôle (CBFs) et l'accessibilité Hamilton-Jacobi (HJR) constituent deux cadres fondamentaux de la théorie du contrôle sûr. Traditionnellement, ces deux cadres sont considérés comme des approches distinctes, le premier se concentrant sur la conception de contrôleurs sûrs optimaux, le second fournissant des conditions suffisantes pour la sécurité. Des travaux antérieurs ont introduit le concept de fonctions de valeur de barrière de contrôle (CB-VF), définies de manière similaire aux autres fonctions de valeur étudiées dans le contexte HJR, mais possédant certaines propriétés des CBFs. Cet article procède dans une direction différente, en généralisant les CBFs en tant que CBFs « visqueux » non différentiables. Les auteurs démontrent les connexions profondes entre les CBFs visqueux et les CB-VFs, établissant un pont entre les cadres CBF et HJR. Par ce pont, les auteurs caractérisent précisément les CBFs visqueux comme fournissant des garanties de sécurité de type CBF (invariance de contrôle et approximation lisse des frontières). De plus, les propriétés théoriques favorables des CBFs visqueux sont mises en évidence, notamment leur fermeture idéale sous les opérations de maximum et de limite.

Contexte de Recherche et Motivation

Contexte du Problème

1. Séparation des deux grands cadres de contrôle sûr: Les CBFs et HJR sont deux cadres majeurs de la théorie du contrôle sûr, mais sont traditionnellement considérés comme des méthodes indépendantes
2. Limitations des CBFs: Les CBFs traditionnels exigent une différentiabilité continue, ce qui est trop restrictif dans certaines applications et limite leur applicabilité
3. Absence de connexions théoriques: Manque d'un cadre théorique unifié pour comprendre les connexions intrinsèques entre ces deux approches

Motivation de la Recherche

1. Unification théorique: Établir des connexions théoriques profondes entre les CBFs et HJR, fournissant une base théorique plus complète pour le contrôle sûr
2. Extension de la méthode: Généraliser les CBFs aux fonctions non différentiables, élargissant leur champ d'application
3. Caractérisation des propriétés: Caractériser précisément quelles fonctions peuvent fournir des garanties de sécurité de type CBF

Contributions Principales

1. Introduction du concept de CBFs visqueux: Généralisation des CBFs traditionnels aux fonctions non différentiables, satisfaisant l'inégalité CBF uniquement au sens visqueux
2. Établissement d'un pont théorique: Preuve de l'équivalence complète entre les CBFs visqueux et les CB-VFs invariantes dans le temps, établissant un pont entre les cadres CBF et HJR
3. Caractérisation complète des garanties de sécurité: Preuve que les CBFs visqueux sont exactement les fonctions continues fournissant la « garantie de barrière »
4. Extension de la théorie CB-VF: Extension des CB-VF de l'escompte exponentiel à l'escompte non linéaire déterminé par des fonctions de classe K
5. Analyse des propriétés théoriques: Preuve de la fermeture des CBFs visqueux sous les opérations de maximum et de limite

Détails de la Méthode

Définitions et Cadre Fondamentaux

Considérons le système dynamique : $\dot{x} = f(x,u)$

où $f : \mathbb{R}^n \times U \to \mathbb{R}^n$ est une fonction Lipschitz, et $U \subset \mathbb{R}^m$ est un ensemble compact d'entrées de contrôle admissibles.

Définition Traditionnelle de CBF

Une fonction $h : \mathbb{R}^n \to \mathbb{R}$ est une fonction de barrière de contrôle relative à une fonction de classe K $\alpha$ si elle est continûment différentiable et satisfait : $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ pour tous les $x \in \mathbb{R}^n$ satisfaisant $h(x) > 0$.

Innovation Centrale : CBFs Visqueux

Définition de CBF Visqueux

Une fonction continue $h : \mathbb{R}^n \to \mathbb{R}$ est une fonction de barrière de contrôle visqueuse relative à une fonction de classe K $\alpha$ si, pour chaque $x \in \mathbb{R}^n$ satisfaisant $h(x) > 0$, l'inégalité $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ est satisfaite au sens visqueux.

Sens visqueux: Pour toute fonction continûment différentiable $\phi : \mathbb{R}^n \to \mathbb{R}$, si $h - \phi$ possède un maximum local en $x$, alors $\max_{u \in U} \nabla \phi(x) \cdot f(x,u) \geq -\alpha(h(x))$

Garantie de Barrière

Une fonction continue $B : \mathbb{R}^n \to \mathbb{R}$ fournit une garantie de barrière relative à une fonction de classe K localement Lipschitz $\alpha$ si, pour chaque $\theta \in [0,1)$ et chaque $x \in \mathbb{R}^n$ satisfaisant $B(x) > 0$, il existe $u \in U$ tel que pour tous les $t \geq 0$ : $B(x_x^u(t)) \geq \beta_\alpha(\theta B(x), t)$

où $\beta_\alpha$ est une fonction de classe KL associée à $\alpha$.

Extension des Fonctions de Valeur de Barrière de Contrôle (CB-VF)

Étant donnée une fonction continue $g : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ et une fonction de classe K localement Lipschitz $\alpha$, la CB-VF $v : \mathbb{R}^n \times \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ est définie implicitement par : $\beta_\alpha(v(x,T), T) = \sup_{u \in U} \min_{t \in [0,T]} \beta_\alpha(g(x_x^u(t)), T-t)$

Résultats Théoriques Principaux

Théorème 1 : Caractérisation HJ-PDE de la CB-VF

La CB-VF $v$ est l'unique solution visqueuse de l'HJ-PDE : $\max\left\{\frac{\partial}{\partial T}v - H_\alpha(x,v,\nabla v), v - g(x)\right\} = 0$

où le Hamiltonien $H_\alpha(x,r,\lambda) = \max_{u \in U} \lambda \cdot f(x,u) + \alpha(r)$.

Théorème 2 : Résultat d'Équivalence Centrale

Pour une fonction de classe K localement Lipschitz $\alpha$ et une fonction continue $h : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$, les propositions suivantes sont équivalentes :

1. $h$ est une fonction de barrière de contrôle visqueuse relative à $\alpha$
2. $h$ est une solution visqueuse de l'HJ-PDE $-\min\{H_\alpha(x,h,\nabla h), 0\} = 0$
3. La CB-VF correspondante est invariante dans le temps, c'est-à-dire $v(\cdot, T) \equiv h(\cdot)$ pour tous les $T \geq 0$
4. $h$ fournit une garantie de barrière relative à $\alpha$

Propriétés de Composition des CBFs Visqueux

Théorème 3 : Fermeture sous Maximum

Si $h_1, h_2$ sont tous deux des fonctions de barrière de contrôle visqueuses relatives à une fonction de classe K $\alpha$, alors $\max\{h_1, h_2\}$ est également une fonction de barrière de contrôle visqueuse relative à $\alpha$.

Théorème 4 : Fermeture sous Limite

Si $h_1, h_2, \ldots$ est une séquence de fonctions de barrière de contrôle visqueuses relatives à une fonction de classe K $\alpha$, et $h_i \to h$ converge localement uniformément, alors $h$ est également une fonction de barrière de contrôle visqueuse relative à $\alpha$.

Points d'Innovation Technique

1. Application de la Théorie des Solutions Visqueuses

• Introduction du concept de solution visqueuse de la théorie des équations aux dérivées partielles dans la théorie des CBFs
• Élimination de l'exigence stricte de différentiabilité continue des CBFs traditionnels
• Préservation des propriétés essentielles des garanties de sécurité

2. Établissement d'un Pont entre Cadres

• Connexion bidirectionnelle établie entre CBF et HJR
• Unification théorique réalisée via CB-VF comme intermédiaire
• Fourniture de perspectives complémentaires pour comprendre le contrôle sûr

3. Extension de l'Escompte Non-Linéaire

• Généralisation de l'escompte exponentiel à l'escompte non linéaire déterminé par des fonctions de classe K arbitraires
• Amélioration de la capacité d'expression et de l'applicabilité des CB-VF

Exemples d'Application

Exemple 1 : CBF Non-Différentiable

Considérons le système scalaire $\dot{x} = x + x + x^3/(1+|x|) \cdot u$, avec ensemble de contrôle $U = [-1,1]$.

Définissons $h(x) = 1 - |x|$ (fonction de distance signée vers l'ensemble non-sûr $(-\infty,-1] \cup [1,+\infty)$).

Bien que $h$ ne soit pas différentiable en $x = 0$, on peut vérifier que c'est une fonction de barrière de contrôle visqueuse relative à $\alpha(r) = r$.

Signification Théorique et Valeur Pratique

Signification Théorique

1. Complétude: Caractérisation complète de la classe de fonctions fournissant des garanties de sécurité de type CBF
2. Unification: Unification de deux cadres importants de contrôle sûr sur une base théorique commune
3. Extensibilité: Ouverture d'un espace de développement plus large pour la théorie des CBFs

Valeur Pratique

1. Extension d'Applicabilité: Permet l'utilisation de fonctions non différentiables comme CBFs, applicable à davantage de problèmes pratiques
2. Méthodes de Composition: Fournit une approche systématique pour construire de nouveaux CBFs à partir de CBFs connus
3. Avantages Computationnels: Permet l'utilisation de méthodes computationnelles de HJR pour la construction de CBFs

Limitations et Directions Futures

Limitations

1. Complexité Computationnelle: La vérification et la construction de CBFs visqueux peuvent être plus complexes sur le plan computationnel
2. Détails d'Implémentation: L'article se concentre principalement sur les résultats théoriques, les méthodes de calcul pratiques nécessitent des recherches supplémentaires
3. Validation d'Application: Absence de validation d'application sur des systèmes réels à grande échelle

Directions Futures

1. Méthodes Computationnelles: Développement d'algorithmes efficaces pour le calcul et la vérification des CBFs visqueux
2. Extension d'Application: Applications concrètes dans les domaines de la robotique, des véhicules autonomes, etc.
3. Systèmes Multi-Agents: Extension au contrôle sûr des systèmes multi-agents
4. Systèmes Stochastiques: Considération des systèmes dynamiques stochastiques

Évaluation Approfondie

Points Forts

1. Profondeur Théorique: Établissement de connexions théoriques profondes entre deux cadres importants
2. Rigueur Mathématique: Preuves complètes et résultats théoriques d'importance majeure
3. Innovation Conceptuelle: Le concept de CBF visqueux possède une originalité et une valeur pratique
4. Systématicité: Fourniture d'un système théorique complet et d'une analyse des propriétés

Insuffisances

1. Manque de Validation Expérimentale: L'article est principalement un travail théorique, manquant d'expériences numériques et de validation d'application pratique
2. Méthodes Computationnelles: Absence d'algorithmes computationnels spécifiques ou de méthodes d'implémentation
3. Analyse de Complexité: Manque d'analyse de la complexité computationnelle des méthodes

Évaluation de l'Impact

1. Valeur Académique: Contribution théorique importante à la théorie du contrôle sûr
2. Potentiel Pratique: Extension du champ d'application des CBFs, possédant une valeur pratique importante
3. Recherche Ultérieure: Établissement d'une base théorique pour les recherches ultérieures dans les domaines connexes

Scénarios d'Application

1. Contraintes Géométriques Complexes: Problèmes de contrôle avec contraintes de sécurité non différentiables
2. Systèmes Multi-Modaux: Systèmes hybrides avec dynamiques commutées
3. Contrôle Robuste: Systèmes critiques pour la sécurité nécessitant la gestion de l'incertitude
4. Planification de Trajectoires: Navigation robotique et problèmes d'évitement d'obstacles

Références

L'article cite les travaux importants de la théorie du contrôle sûr, notamment :

• Travaux fondateurs de la théorie des CBFs (Ames et al.)
• Théorie de l'accessibilité Hamilton-Jacobi (Mitchell, Bayen, Tomlin)
• Théorie des solutions visqueuses (Bardi, Capuzzo-Dolcetta)
• Travaux originaux sur les fonctions de valeur de barrière de contrôle (Choi et al.)

Résumé: Cet article est un travail théorique de haute qualité qui apporte des contributions importantes au domaine de la théorie du contrôle sûr. En introduisant le concept de CBF visqueux et en établissant des connexions avec le cadre HJR, il fournit une base théorique plus complète et unifiée pour le contrôle sûr. Bien qu'il manque de validation expérimentale, sa valeur théorique et ses perspectives d'application potentielles en font un travail important dans ce domaine.