Multiplayer Reach-Avoid Differential Games with Defender-Side Information Delay

Résumé Technique : Jeux Différentiels de Type Atteinte-Évitement Multi-Joueurs avec Délai d'Information du Côté des Défenseurs

Formulation du Problème
Cet article étudie une classe de jeux différentiels d'atteinte-évitement impliquant plusieurs défenseurs et plusieurs attaquants se déplaçant dans un plan bidimensionnel avec des vitesses bornées. Le défi central abordé est la présence d'un délai d'information du côté des défenseurs. Dans ce cadre, alors que les attaquants possèdent une information d'état en temps réel, chaque défenseur $D_i$ observe l'état des autres agents (autres défenseurs et attaquants) avec un délai temporel constant $\tau_i$. Par conséquent, les défenseurs basent leurs décisions de contrôle sur les positions passées des attaquants ($t-\tau_i$) plutôt que sur leurs positions actuelles.

Le jeu implique $N$ défenseurs et $M$ attaquants. Les attaquants visent à atteindre une région cible fermée convexe $T$, tandis que les défenseurs visent à capturer les attaquants (dans un rayon $r_i$) avant qu'ils n'atteignent $T$. Si un attaquant est capturé, les défenseurs cherchent à maximiser la distance du point de capture par rapport à $T$, tandis que l'attaquant cherche à minimiser cette distance. Le jeu se termine lorsque tous les attaquants sont soit capturés, soit entrés dans la région cible. Les auteurs supposent des conditions initiales spécifiques pour garantir que le jeu est bien posé : les défenseurs sont initialement stationnaires pendant l'intervalle de délai, les attaquants commencent à l'extérieur de la région cible, les défenseurs sont plus rapides que les attaquants ($\bar{v}_D > \bar{v}_A$), et les distances initiales sont suffisantes pour empêcher une capture immédiate avant la fin de la période de délai.

Méthodologie
Les auteurs emploient une approche géométrique combinée à l'analyse convexe et aux concepts d'équilibre de la théorie des jeux pour résoudre le problème.

1. Analyse Un Attaquant - Un Défenseur :

   • Caractérisation de la Région d'Attaque : Les auteurs dérivent d'abord une caractérisation analytique explicite de la « région d'attaque retardée » ($R_{total}^A$). Cette région représente l'ensemble des points qu'un attaquant peut garantir atteindre au plus tard au même moment que le défenseur, en tenant compte du retard de réaction du défenseur.
   • Preuve de Convexité : En utilisant une analyse de courbure spécifique de la frontière définie par les contraintes de distance et les paramètres de délai, l'article prouve que cette région d'attaque est un ensemble convexe sous des hypothèses modérées.
   • Stratégies Optimales : Sur la base de la région d'attaque convexe, les auteurs formulent un problème d'optimisation convexe pour trouver le point de capture (le point de la région d'attaque le plus proche de la région cible). Les stratégies optimales pour les deux joueurs sont dérivées comme consistant à se déplacer à la vitesse maximale en ligne droite vers ce point de capture.
   • Vérification de l'Équilibre : L'article établit que ces stratégies constituent un équilibre de Nash parfait en sous-jeux (SPNE). Cela est prouvé en divisant le jeu en deux étapes (avant et après l'entrée en jeu du défenseur) et en utilisant l'induction par l'arrière pour montrer l'optimalité à chaque étape.

2. Extension aux Scénarios Multi-Joueurs :

   • Un Attaquant - Plusieurs Défenseurs : La région d'attaque est définie comme l'intersection des régions d'attaque individuelles entre l'attaquant et chaque défenseur. Le point de capture est déterminé en résolvant un problème d'optimisation convexe soumis aux contraintes de tous les défenseurs. Les auteurs notent que, conformément aux travaux antérieurs, au plus deux défenseurs sont suffisants pour déterminer le point de capture sous un jeu optimal.
   • Plusieurs Attaquants - Plusieurs Défenseurs : Le problème est étendu à un cadre général $N$-contre-$M$. Les auteurs intègrent des « relations de victoire par paire conscientes du délai » (déterminant si un défenseur spécifique peut garantir la capture d'un attaquant spécifique) dans une formulation de couplage maximal (maximum matching). Cela permet l'assignation optimale des défenseurs aux attaquants pour maximiser le nombre de captures.

Principales Contributions
L'article apporte les contributions spécifiques suivantes :

1. Formulation Mathématique : Il propose une formulation rigoureuse de jeux d'atteinte-évitement où les défenseurs opèrent avec des informations retardées concernant les positions des attaquants.
2. Caractérisation Analytique : Pour le cas un contre un, il dérive une représentation analytique explicite de la région d'attaque retardée et prouve sa convexité, un résultat non trivial compte tenu de la dynamique de délai temporel.
3. Stratégies Optimales et Équilibre : Il dérive les stratégies optimales pour les deux joueurs et prouve qu'elles forment un équilibre de Nash parfait en sous-jeux, traitant la nature séquentielle du jeu induite par le délai.
4. Scalabilité : Le cadre est étendu à des scénarios un attaquant contre plusieurs défenseurs et multi-agents généraux, fournissant des stratégies pour le calcul du point de capture et l'assignation défenseur-attaquant via le couplage maximal.

Résultats
Des simulations numériques ont été réalisées avec MATLAB pour valider les résultats théoriques à travers trois scénarios :

• Un contre Un : Les simulations ont confirmé que les stratégies optimales proposées surpassent à la fois les politiques de référence d'attaque pure et de défense pure. Plus précisément, les déviations unilatérales par l'un ou l'autre des joueurs ont entraîné des résultats moins bons pour le joueur déviant, validant la nature d'équilibre des stratégies.
• Un contre Plusieurs : Les simulations avec un attaquant et deux défenseurs ont démontré que les stratégies coopératives entre les défenseurs pouvaient obtenir de meilleures performances (minimisant la distance de l'attaquant à la cible) par rapport à un seul défenseur agissant seul.
• Multi-Agents : Un scénario de trois attaquants et trois défenseurs a illustré l'efficacité de l'approche de couplage maximal. La simulation a montré que les défenseurs s'assignaient avec succès aux attaquants qu'ils pouvaient garantir de capturer, tandis que l'attaquant non assigné a atteint avec succès la région cible.

Signification et Revendications
L'article affirme être le premier à fournir des stratégies optimales pour les jeux d'atteinte-évitement spécifiquement sous la condition de délai d'information du côté des défenseurs. Bien que des travaux précédents aient traité des délais pour les attaquants ou des jeux d'atteinte-évitement standards, ce travail comble une lacune dans la littérature concernant la manière dont les défenseurs peuvent optimiser la réduction de la dégradation des performances lorsque leur information est intrinsèquement retardée.

Les auteurs soulignent que leur approche va au-delà de la difficulté de résoudre directement l'équation de Hamilton-Jacobi-Isaacs (HJI) de haute dimension. Au lieu de cela, en exploitant la structure géométrique de la région d'attaque retardée et sa convexité, ils fournissent un cadre analytique traçable basé sur la vérification. Cela permet le calcul efficace des conditions de victoire et des stratégies d'équilibre dans des scénarios qui seraient autrement analytiquement insolubles. Ce travail se positionne comme une étape vers une modélisation plus réaliste des systèmes adverses (tels que les applications militaires ou aérospatiales) où les latences de communication et de traitement sont inévitables.