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

1. Problématique

La garantie de sécurité pour les systèmes non linéaires avec des contraintes d'entrée bornées (limites physiques sur les commandes) reste un défi majeur en autonomie sûre. Les fonctions de barrière de contrôle (CBF) sont une méthode populaire pour assurer l'invariance d'un ensemble sûr, mais leur vérification est difficile lorsque les contraintes d'entrée sont strictes, conduisant souvent à des ensembles sûrs très conservateurs (petits).

Une approche récente, les Fonctions de Barrière de Contrôle de Sauvegarde (bCBF), permet d'élargir l'ensemble sûr en utilisant un contrôleur de sauvegarde pré-vérifié pour propager les trajectoires vers un ensemble de sauvegarde invariant. Cependant, la méthode standard impose une limitation critique : le même contrôleur de sauvegarde doit être utilisé à la fois pour certifier l'invariance de l'ensemble de base et pour étendre cet ensemble. Cette contrainte restreint considérablement les stratégies d'expansion possibles, limitant la taille de l'ensemble sûr et dégradant les performances du système.

2. Méthodologie

Les auteurs proposent une généralisation du cadre bCBF en découplant le contrôleur d'expansion du contrôleur de sauvegarde.

A. Séparation des contrôleurs

Au lieu d'utiliser un seul contrôleur pour l'expansion et la sauvegarde, la méthode proposée introduit :

1. Un contrôleur d'expansion ($k_e$) : Conçu spécifiquement pour maximiser l'expansion de l'ensemble sûr vers l'extérieur, sans nécessairement garantir l'invariance de l'ensemble de base.
2. Un contrôleur de sauvegarde ($k_b$) : Un contrôleur pré-vérifié qui garantit l'invariance d'un ensemble de sauvegarde compact ($C_B$).
3. Un contrôleur commuté ($k_s$) : Une combinaison continue des deux, définie par une fonction de commutation $\eta(x)$ :
   $$k_s(x) = (1 - \eta(x))k_e(x) + \eta(x)k_b(x)$$
   où $\eta(x) = 1$ à l'intérieur de l'ensemble de sauvegarde $C_B$ et $\eta(x) = 0$ à l'extérieur. Cela assure que le système reste dans $C_B$ une fois atteint, tout en permettant une dynamique d'expansion différente à l'extérieur.

B. Définition de l'ensemble sûr implicite généralisé

L'ensemble sûr étendu ($C_I^*$) est défini comme l'ensemble des états à partir desquels le système, sous l'action du contrôleur commuté $k_s$, reste dans l'ensemble sûr global $C_S$ pendant un horizon fini $T$ et atteint l'ensemble de sauvegarde $C_B$ à l'instant $T$.

Les auteurs dérivent des conditions suffisantes pour l'invariance de cet ensemble en utilisant des dérivées temporenelles le long des trajectoires du système commuté, impliquant des matrices de sensibilité (Jacobian du flot).

C. Adaptation en ligne (Extension Paramétrée)

Pour aller plus loin, le cadre est étendu à des familles de contrôleurs paramétrés ($k_e(x, \theta)$). Les paramètres $\theta$ sont traités comme des états auxiliaires.

• Une loi d'adaptation est proposée pour modifier $\theta$ en temps réel.
• L'objectif est d'optimiser la fonction de coût de l'expansion (maximiser la distance de l'état terminal par rapport à la frontière de $C_B$) en suivant la direction de la plus forte pente du gradient de la fonction de sauvegarde.
• Cela permet d'ajuster dynamiquement la stratégie d'expansion pour s'adapter aux contraintes du système et à la tâche, tout en maintenant les garanties de sécurité formelles.

3. Contributions Clés

1. Généralisation du cadre bCBF : Démonstration théorique que le découplage du contrôleur d'expansion et du contrôleur de sauvegarde préserve l'invariance contrôlée de l'ensemble étendu.
2. Conditions d'invariance et formulation QP : Établissement des conditions d'invariance pour l'ensemble implicite généralisé et formulation d'un programme quadratique (QP) pour générer un signal de commande sûr et minimisant l'intrusion sur le contrôleur principal.
3. Adaptation en ligne : Extension du cadre pour permettre l'adaptation des paramètres du contrôleur d'expansion en temps réel, augmentant ainsi la flexibilité et la performance sans compromettre la sécurité.
4. Récupération des méthodes existantes : Prouvé que la méthode standard bCBF est un cas particulier de cette approche généralisée (lorsque $k_e = k_b$).

4. Résultats Expérimentaux

Les auteurs valident leur approche sur deux études de cas :

• Double Intégrateur (Cas 1) :

  • Comparaison entre la méthode bCBF standard et la méthode généralisée (GB).
  • Résultat : L'utilisation d'un contrôleur d'expansion distinct (par exemple, un contrôleur à gain élevé ou une approximation de temps optimal) permet d'obtenir un ensemble sûr significativement plus grand que la méthode standard, réduisant ainsi le conservatisme.

• Quadrirotor (Cas 2 - Atterrissage Sûr) :

  • Scénario d'atterrissage d'un quadrirotor dans une zone étroite avec des contraintes de poussée et de couple strictes.
  • Comparaison de trois approches : bCBF standard, GB (généralisé statique), et aGB (généralisé adaptatif).
  • Résultats :
    • Le bCBF standard échoue à atteindre l'objectif car l'ensemble sûr est trop petit pour permettre l'approche finale.
    • La méthode GB améliore l'expansion mais reste limitée par des gains fixes.
    • La méthode aGB (adaptative) réussit à atteindre l'objectif en ajustant dynamiquement les gains du contrôleur de sauvegarde (via les paramètres $\theta$) pour optimiser l'expansion de l'ensemble sûr en fonction de la position du robot. Les simulations montrent que les gains verticaux augmentent pour permettre une descente plus agressive vers l'objectif tout en respectant les contraintes.

5. Signification et Impact

Ce travail représente une avancée significative dans le domaine du contrôle sûr pour les systèmes non linéaires contraints.

• Réduction du conservatisme : En libérant le contrôleur d'expansion des contraintes d'invariance stricte, la méthode permet d'exploiter une plus grande partie de l'espace d'état pour des tâches complexes.
• Flexibilité opérationnelle : L'introduction de l'adaptation en ligne permet aux systèmes autonomes de s'ajuster dynamiquement aux environnements changeants ou aux limitations de performance, tout en conservant des garanties mathématiques de sécurité.
• Applicabilité : La méthode est applicable à des systèmes de haute dimension et a été démontrée efficace sur des plateformes robotiques complexes, ouvrant la voie à des déploiements plus sûrs et performants de l'autonomie dans le monde réel.

En résumé, cette paper propose un cadre unifié qui transforme la méthode bCBF d'une approche statique et conservatrice en une stratégie dynamique, adaptable et beaucoup moins restrictive, tout en maintenant une rigueur théorique absolue.