Provably Safe Decentralized Contingency MPC under State-Only Information and Limited Sensing for Nonlinear Multi-agent Systems

Imaginez une intersection mouvementée où des dizaines de voitures arrivent de toutes les directions, chaque conducteur ne connaissant que sa propre destination et la position des véhicules immédiatement autour de lui. Ils ne peuvent pas communiquer entre eux, ne peuvent pas voir les intentions des conducteurs plus éloignés et doivent se fier uniquement à ce que leurs propres capteurs détectent sur le moment. Dans cet environnement à enjeux élevés, l'objectif est simple : permettre à chacun d'atteindre sa sortie sans accident. Pourtant, y parvenir sans communication est l'un des problèmes les plus difficiles en robotique et en conduite autonome. Si une voiture ne peut pas prédire ce que feront les autres, elle doit être préparée au pire scénario à chaque instant. C'est le domaine du contrôle décentralisé, où chaque agent agit de manière indépendante, et le défi consiste à équilibrer le désir de se déplacer efficacement avec la nécessité absolue de rester en sécurité.

Pendant des années, des chercheurs ont tenté de résoudre ce problème en faisant en sorte que les véhicules partagent leurs trajectoires futures ou en utilisant des règles simples basées sur la réaction qui évitent les collisions immédiates mais mènent souvent à des embouteillages ou à des comportements erratiques. Le problème est que, sans un plan partagé, une voiture peut effectuer un mouvement sûr qui bloque accidentellement un voisin, créant ainsi une réaction en chaîne d'arrêts. Pour avancer avec confiance, un véhicule a besoin de plus qu'une simple réaction ; il a besoin d'un plan de secours garanti qui fonctionne quel que soit le comportement des voisins. Cette nouvelle recherche introduit une méthode qui permet à un groupe de véhicules non linéaires et complexes de naviguer dans une telle intersection chaotique en toute sécurité, en utilisant uniquement une détection locale et sans jamais avoir besoin d'échanger des données sur leurs mouvements futurs.

Le cœur de ce travail est une stratégie appelée commande prédictive de modèle à contingence. En termes simples, cela signifie qu'à chaque instant, chaque véhicule calcule deux choses simultanément. Premièrement, il planifie sa meilleure route possible pour atteindre sa destination, en optimisant la vitesse et la fluidité. Deuxièmement, et tout aussi important, il calcule une manœuvre de « filet de sécurité » garantie. Ce filet de sécurité est une trajectoire précalculée qui mène le véhicule à un arrêt complet ou à un emplacement d'attente sûr, garantissant que même si tout le reste tourne mal, le véhicule pourra toujours se retirer en toute sécurité sans heurter personne. La brillance de cette approche réside dans le fait qu'elle sépare l'objectif de bien se déplacer de l'objectif de rester en sécurité, permettant au véhicule de poursuivre sa mission tout en gardant une voie de repli vérifiée prête à tout moment.

Les chercheurs, travaillant avec une équipe de l'Université de Lübeck en Allemagne, ont développé un système où ces filets de sécurité ne sont pas statiques mais s'adaptent dynamiquement en fonction de ce que le véhicule voit. Ils ont créé un concept appelé « ensemble sûr » (safe set), qui est essentiellement une bulle protectrice autour du véhicule. À l'intérieur de cette bulole, le véhicule sait qu'il peut toujours exécuter son arrêt d'urgence. L'innovation ici réside dans la façon dont ces bulles interagissent. Au lieu d'avoir besoin de connaître tout l'historique des mouvements d'un voisin ou de reconstruire sa trajectoire exacte, chaque véhicule a seulement besoin de connaître la position actuelle de ses voisins. À partir de ce seul instantané, le système génère une nouvelle bulle protectrice, légèrement plus grande, qui représente la portée maximale du pire scénario de ce voisin.

Lorsque deux véhicules se rapprochent, leurs bulles protectrices peuvent se chevaucher. Par le passé, ce chevauchement nécessitait des négociations complexes ou la mémoire des interactions passées pour être résolu. Cette nouvelle méthode résout cela en créant un mur invisible et simple entre les deux bulles qui se chevauchent. Ce mur est calculé instantanément sur la base des positions actuelles, divisant efficacement l'espace disponible de sorte que chaque véhicule dispose de sa propre zone de fonctionnement garantie. Si un véhicule entre dans une nouvelle zone et aperçoit un voisin pour la première fois, il établit immédiatement cette limite. Si le voisin sitte, la limite disparaît. Cela permet aux véhicules de rejoindre et de quitter le flux de circulation à tout moment sans perturber la sécurité des autres, une caractéristique connue sous le nom d'opération « plug-and-play ».

Pour tester si cette théorie tient la route dans le monde réel, l'équipe a mené des simulations informatiques approfondies impliquant une intersection à quatre voies. Ils ont modélisé cinquante véhicules différents, chacun possédant la physique complexe d'une vraie voiture, incluant les angles de braquage et les limites d'accélération. Ces véhicules entraient dans l'intersection de tous les côtés, choisissant d'aller tout droit, de tourner à gauche ou de tourner à droite, sans accord préalable sur qui passerait en premier. La simulation introduisait de nouvelles voitures toutes les deux secondes et retirait celles qui avaient terminé leur trajet, créant un schéma de trafic en constante mutation et imprévisible. Les véhicules étaient équipés de capteurs qui ne pouvaient voir qu'à une certaine distance, imitant les limitations du matériel réel.

Les résultats ont été frappants. Malgré l'absence de communication et l'afflux constant de nouveaux conducteurs imprévisibles, chaque véhicule a navigué avec succès dans l'intersection et en est sorti sans collision. La distance la plus proche entre deux véhicules était de 1,026 mètre, ce qui restait bien au-dessus de la limite physique de 0,8 mètre requise pour éviter un accident. Tout au long de l'expérience, les véhicules ont maintenu leurs voies et suivi leurs itinéraires prévus, ne ralentissant ou n'ajustant leurs trajectoires que lorsque le système de sécurité l'exigeait. Les données ont montré que le « coût de sécurité » pour chaque véhicule diminuait avec le temps, prouvant que le système ne se contentait pas d'éviter les accidents, mais convergeait également vers un état stable et efficace.

Ce travail démontre qu'il est possible d'obtenir des garanties de sécurité rigoureuses dans des systèmes non linéaires complexes sans dépendre de réseaux de communication qui peuvent tomber en panne ou être brouillés. En s'appuyant sur une interaction sans mémoire où les véhicules réagissent uniquement à l'état actuel de leurs voisins, les chercheurs ont créé un cadre robuste aux changements « plug-and-play » de l'environnement. Bien que l'étude actuelle repose sur des modèles mathématiques parfaits et des données simulées, les résultats fournissent une base solide pour de futures applications réelles. Ils suggèrent un avenir où les véhicules autonomes pourront partager la route en toute sécurité, en ne se fiant pas à un contrôleur central ou à un réseau radio, mais à une compréhension partagée et mathématiquement prouvée de l'espace et de la sécurité.