Uniform Feasibility For Smoothed Backup Control Barrier Functions

1. Problématique

Dans le domaine du contrôle critique pour la sécurité (safety-critical control), l'objectif est de garantir formellement que les trajectoires d'un système restent dans un ensemble sûr $S$. Les Fonctions de Barrière de Contrôle (CBF) sont couramment utilisées pour intégrer ces garanties dans des filtres de sécurité (safety filters) via des problèmes d'optimisation en ligne.

Cependant, une difficulté majeure survient avec la méthode des Fonctions de Barrière de Contrôle de Sauvegarde (BCBF). Dans cette approche, un ensemble sûr est défini comme l'ensemble des états qui peuvent atteindre un ensemble de sauvegarde terminal ($S_b$) sans quitter la région sûre, en utilisant un contrôleur de sauvegarde. Mathématiquement, cet ensemble est défini par le minimum ponctuel d'une série de contraintes temporelles :
$$\hat{h}(x) = \min_{i} h_i(x)$$
Cette fonction $\hat{h}$ est non lisse (nonsmooth) en raison de l'opérateur minimum. Or, la théorie de la sécurité converse (Converse Safety Theorems), qui certifie l'existence d'une CBF, nécessite que la fonction de contrainte soit continûment différentiable ($C^1$). De plus, la non-lissité rend la vérification de la faisabilité du problème d'optimisation (le filtre de sécurité) difficile, souvent nécessitant des hypothèses ad hoc ou une certification en ligne coûteuse.

Le problème central est donc de fournir des garanties de faisabilité a priori pour les filtres de sécurité basés sur des CBFs, même lorsque l'ensemble sûr est construit via un minimum de fonctions lisses (comme dans les BCBFs), sans avoir besoin de certification supplémentaire en ligne.

2. Méthodologie

Les auteurs proposent une approche basée sur le lissage (smoothing) de l'opérateur minimum non lisse pour obtenir une approximation intérieure lisse, tout en conservant les garanties de sécurité.

• Approximation Soft-Min (Log-Sum-Exp) :
  Au lieu d'utiliser $\hat{h}(x) = \min_i h_i(x)$, ils remplacent le minimum par une fonction "soft-min" paramétrée par $\theta > 0$ :
  $$\tilde{h}_\theta(x) = -\frac{1}{\theta} \log \left( \sum_{i=1}^N e^{-\theta h_i(x)} \right)$$
  Cette fonction $\tilde{h}_\theta$ est continûment différentiable ($C^1$) et constitue une approximation intérieure de l'ensemble sûr original ($\tilde{S}_\theta \subseteq \hat{S}$).

• Utilisation des Théorèmes de Sécurité Converse :
  L'objectif est de montrer qu'il existe un paramètre de lissage $\theta^*$ tel que, pour tout $\theta > \theta^*$, la fonction lissée $\tilde{h}_\theta$ satisfait les conditions d'une CBF (ou d'une CBF étendue, eCBF). Cela repose sur le fait que si un contrôleur de sauvegarde maintient strictement le système à l'intérieur de l'ensemble, la dérivée de Lie de la fonction de barrière doit être strictement positive sur la frontière.

• Analyse par Cas :
  Les auteurs dérivent des bornes inférieures explicites pour $\theta$ dans deux scénarios :

  1. Ensembles Compacts : En utilisant la continuité uniforme sur un ensemble compact, ils démontrent l'existence d'un $\theta^*$ garantissant que la dérivée de Lie reste positive.
  2. Ensembles Non Compacts (Non-bornés) : Ils introduisent des conditions de queue (tail conditions) sur les écarts entre les contraintes et sur la croissance des dérivées de Lie. Ces conditions permettent de garantir que la partie "inactive" du lissage (les contraintes non actives) s'efface exponentiellement par rapport à la partie active, même à l'infini.

• Application aux BCBFs :
  Ils appliquent ces résultats généraux au cadre BCBF. Ils montrent que la sécurité d'un ensemble de sauvegarde compact ($S_b$) sous un contrôleur de sauvegarde, combinée à une condition de sécurité stricte sur la frontière de l'ensemble sûr original (là où les trajectoires de sauvegarde touchent la frontière), est suffisante pour certifier que la fonction lissée est une CBF valide.

3. Contributions Clés

1. Garanties de Faisabilité Uniformes : L'article fournit des conditions suffisantes explicites pour qu'une approximation lisse d'un ensemble sûr défini par un minimum soit une CBF (ou eCBF). Cela élimine le besoin de vérifier la faisabilité du problème d'optimisation en ligne.
2. Bornes Explicites pour le Paramètre de Lissage ($\theta^*$) :
   • Pour les ensembles compacts, une formule fermée pour $\theta^*$ est dérivée en fonction des bornes de la dérivée de Lie et des écarts entre les contraintes.
   • Pour les ensembles non compacts, des conditions de queue sont établies pour garantir la validité d'une eCBF.
3. Relaxation des Hypothèses de Compacité : Contrairement aux travaux précédents (comme [17]) qui exigeaient une compacité globale de l'ensemble sûr, cette méthode permet de traiter des ensembles sûrs non bornés (unbounded) tant que les conditions de queue sont satisfaites.
4. Procédure de Conception A Priori : La méthode permet de calculer les paramètres du filtre de sécurité (notamment la fonction de classe-K $\alpha$) avant l'implémentation, sans recourir à des optimisations auxiliaires en ligne pour trouver un sous-ensemble faisable.

4. Résultats Principaux

• Théorème 3 (Cas Compact) : Si l'ensemble sûr est compact et que le système est strictement sûr, alors pour tout $\theta > \theta^*$ (où $\theta^*$ dépend de constantes géométriques et dynamiques), $\tilde{h}_\theta$ est une CBF valide. Cela garantit que le problème d'optimisation du filtre de sécurité est toujours faisable.
• Théorème 4 (Cas Général/Non Compact) : Sous des hypothèses de croissance contrôlée (conditions de queue), $\tilde{h}_\theta$ est une eCBF pour $\theta > \theta^*$, assurant la sécurité même pour des ensembles non bornés.
• Corollaire 1 (Application BCBF) : Dans le contexte BCBF, la sécurité d'un ensemble de sauvegarde compact et la sécurité stricte sur la frontière pertinente de l'ensemble original suffisent à certifier la faisabilité du filtre de sécurité lissé.
• Exemple Numérique (Double Intégrateur) :
  • Les auteurs appliquent la méthode à un double intégrateur avec un ensemble sûr non borné.
  • Ils montrent que la formulation BCBF non lisse classique échoue à garantir la faisabilité pour de nombreux choix de paramètres (fonctions de classe-K), nécessitant un réglage empirique.
  • En revanche, avec la fonction lissée et le paramètre $\theta$ calculé a priori, la faisabilité est garantie pour tous les paramètres testés, confirmant la validité de la certification théorique.

5. Signification et Impact

Ce travail comble un fossé théorique important entre la construction pratique d'ensembles sûrs complexes (via BCBF) et les exigences théoriques de régularité des fonctions de barrière.

• Fiabilité Opérationnelle : En fournissant des garanties de faisabilité a priori, la méthode permet un déploiement plus systématique et fiable des filtres de sécurité dans des applications critiques, réduisant le risque d'échec du contrôleur dû à des problèmes d'optimisation non résolus.
• Généralité : La capacité à traiter des ensembles non bornés et à relaxer les hypothèses de compacité globale élargit considérablement le champ d'application des méthodes BCBF à des systèmes réels où l'espace d'état n'est pas borné.
• Efficacité de Calcul : Bien que le lissage introduise une légère conservatisme (l'ensemble sûr certifié est légèrement plus petit que l'original), cela évite le coût computationnel et l'incertitude des vérifications en ligne, rendant l'approche plus adaptée aux systèmes temps réel.

En résumé, l'article propose une "recette" mathématique rigoureuse pour transformer des ensembles sûrs non lisses, générés par des méthodes de sauvegarde, en contraintes de contrôle lisses et garanties, facilitant ainsi l'adoption des CBFs dans des scénarios complexes.