An Update to the Level Set Theorems in Hamilton-Jacobi Reachability Analysis

Résumé Technique : Une mise à jour des théorèmes de l'ensemble de niveau dans l'analyse de l'accessibilité de Hamilton-Jacobi

Énoncé du Problème
L'accessibilité de Hamilton-Jacobi (HJR) est un cadre établi pour la synthèse de contrôleurs pour les systèmes non linéaires critiques pour la sécurité sous incertitude, généralement formulé comme des jeux différentiels. Le processus implique la conversion d'une tâche de contrôle qualitative (par exemple, l'évitement d'obstacles ou l'atteinte d'un objectif) en un « jeu de degré », la résolution de l'équation aux dérivées partielles de Hamilton-Jacobi associée pour obtenir une fonction de valeur, et enfin l'interprétation de cette fonction de valeur pour définir l'ensemble des états initiaux sûrs ou dangereux. Cette dernière étape repose sur les « théorèmes de l'ensemble de niveau » (Level Set Theorems).

Les auteurs identifient que la littérature existante contient des erreurs techniques et des ambiguïtés concernant ces théorèmes, spécifiquement quant aux conditions sous lesquelles les ensembles de niveau de la fonction de valeur correspondent correctement aux ensembles gagnants du jeu. Ces problèmes ont causé de la confusion dans la communauté, particulièrement concernant l'interprétation des états situés exactement sur l'ensemble de niveau zéro de la fonction de valeur. L'article postule que les formulations précédentes négligent souvent des hypothèses topologiques et de convexité nécessaires, menant à des caractérisations incorrectes des ensembles de sécurité et d'accessibilité.

Méthodologie
L'article emploie une approche mathématique rigoureuse ancrée dans la théorie des jeux différentiels et la topologie. Les auteurs :

1. Formalisent la configuration du jeu : Ils définissent un jeu différentiel à horizon fini avec un joueur contrôleur et un joueur de perturbation adverse. La dynamique du système est régie par $\dot{x} = f(x, a, b)$, où $a$ et $b$ sont respectivement des signaux de commande et de perturbation. Le joueur de perturbation utilise des stratégies non anticipatives.
2. Établissent des hypothèses : L'analyse repose sur cinq hypothèses clés :
   • Continuité standard et compacité des dynamiques et des ensembles de commande (Hypothèses 1-3).
   • Convexité de la dynamique de perturbation : Pour chaque état et commande, l'ensemble des vecteurs de dynamique induits par l'ensemble de perturbation $B$ doit être convexe (Hypothèse 4).
   • Fermeture des modes de défaillance : L'ensemble des trajectoires de défaillance $F(t)$ doit être fermé dans l'espace des trajectoires continues (Hypothèse 5).
3. Dérivent un théorème général : Ils prouvent un théorème général de l'ensemble de niveau (Théorème 1) qui lie la fonction de valeur $v(x,t)$ aux ensembles sûrs ($L(t)$) et dangereux ($G(t)$). Le théorème établit que $L(t) = \{x \mid v(x,t) > 0\}$ et $G(t) = \{x \mid v(x,t) \leq 0\}$, à condition que le fonctionnel $J$ définissant les modes de défaillance soit continu et borné.
4. Construisent des contre-exemples : Pour démontrer la nécessité des nouvelles hypothèses, les auteurs construisent deux contre-exemples spécifiques :
   • Manque de convexité : Un jeu d'évitement d'obstacles où l'ensemble de perturbation $B$ est non convexe (points discrets). Ils montrent que sans l'Hypothèse 4, un état sur l'ensemble de niveau zéro ($v=0$) peut ne pas appartenir à l'ensemble dangereux, contredisant les interprétations standards.
   • Ensembles cibles fermés : Un jeu d'atteinte d'objectif où l'ensemble cible est fermé plutôt qu'ouvert. Ils démontrent que sans l'Hypothèse 5 (qui implique que les cibles doivent être ouvertes), un état sur l'ensemble de niveau zéro peut ne pas appartenir à l'ensemble sûr, contredisant également les interprétations standards.
5. Techniques de preuve : Les preuves utilisent le lemme de Filippov pour établir l'existence de signaux de perturbation mesurables, et des arguments topologiques impliquant la compacité des ensembles de trajectoires et des plans de perturbation non anticipatifs (utilisant le théorème de Tychonoff et l'ordre lexicographique) pour prouver le théorème principal.

Contributions Clés

1. Correction des erreurs techniques : L'article identifie et corrige les failles techniques des précédents théorèmes de l'ensemble de niveau trouvés dans la littérature, en pointant spécifiquement l'omission de la condition de convexité sur la dynamique (Hypothèse 4) et l'exigence de la fermeture des ensembles de défaillance (Hypothèse 5).
2. Théorème de l'ensemble de niveau général : Les auteurs fournissent un théorème unifié et concis applicable à tous les jeux de degré d'intérêt en HJR, clarifiant l'inégalité stricte pour l'ensemble sûr ($v > 0$) et l'inégalité non stricte pour l'ensemble dangereux ($v \leq 0$).
3. Clarification de l'ambiguïté de l'ensemble de niveau zéro : À travers des contre-exemples, l'article explique pourquoi les points sur l'ensemble de niveau zéro de la fonction de valeur sont ambigus lorsque les hypothèses standards sont violées. Dans de tels cas, l'issue du jeu (victoire/défaite) pour ces points spécifiques ne peut être déterminée uniquement par le fait que la valeur de la fonction est nulle ; le contrôleur peut gagner pour certains points sur la frontière tandis que la perturbation gagne pour d'autres.
4. Rigueur topologique : Le travail comble le fossé entre l'HJR et les arguments topologiques utilisés dans la théorie de la viabilité et les barrières semi-perméables, offrant une fondation théorique plus robuste pour l'interprétation des fonctions de valeur.

Résultats
Le résultat principal est le Théorème 1, qui définit rigoureusement les ensembles sûrs et dangereux basés sur la fonction de valeur sous les hypothèses spécifiées. L'article démontre que :

• Si la dynamique de la perturbation n'est pas convexe (par exemple, des ensembles de perturbation discrets), l'interprétation standard selon laquelle $v(x,t) \leq 0$ implique que l'état est dangereux échoue pour les points sur la frontière.
• Si l'ensemble cible est fermé (violant l'exigence d'ensembles ouverts dans les jeux d'accessibilité), l'interprétation standard selon laquelle $v(x,t) > 0$ implique que l'état est sûr échoue pour les points sur la frontière.
• Sous les hypothèses corrigées, la fonction de valeur fournit une caractérisation précise des ensembles gagnants, le joueur de perturbation détenant un « avantage instantané » qui nécessite la séparation par inégalités strictes/non strictes.

Signification
Les auteurs affirment que bien que ces problèmes techniques puissent ne pas impacter immédiatement les praticiens utilisant les outils logiciels existants, leur résolution théorique est « intéressante et nuancée ». L'article vise à dissiper la confusion de la communauté causée par les erreurs techniques précédentes. En fournissant un théorème général corrigé et en expliquant l'origine des divergences via des contre-exemples, ce travail garantit que les fondements théoriques de l'accessibilité de Hamilton-Jacobi sont sains. Cela est particulièrement pertinent pour les chercheurs développant des méthodes d'apprentissage basées sur l'HJR ou étendant le cadre à des tâches complexes et multicouches, car cela clarifie les conditions précises requises pour que la fonction de valeur certifie correctement la sécurité et la vivacité.