Prédiction rapide des mouvements sous incertitude de modèle grâce à l'atteignabilité conditionnée par la direction
Un article publié sur arXiv le 24 septembre 2026 (référence 2609.27077) propose une méthode de calcul rapide des ensembles atteignables pour prédire le mouvement d'agents voisins dont le modèle dynamique est incertain. Pour une direction de requête donnée, par exemple "vers le robot", l'algorithme choisit un seul modèle admissible dont l'extension atteignable dans cette direction égale presque celle de toute la famille de modèles incertains, puis ne calcule que cet ensemble unique plutôt que celui de la famille complète. Sur un modèle de bicyclette linéaire incertain, ce pipeline tourne environ trois fois plus vite que le calcul complet dans la boîte à outils CORA, avec un écart d'extension inférieur à 5% dans les directions testées. La méthode a aussi été validée en simulation multi-véhicules en boucle fermée, le robot interrogeant à chaque étape de replanification jusqu'où chaque véhicule voisin peut se rapprocher de lui avant d'ajuster sa trajectoire.
La plupart des planificateurs n'ont besoin de connaître l'extension atteignable que dans une seule direction utile, alors que les méthodes existantes calculent systématiquement l'ensemble complet, ce qui coûte cher en temps de calcul lors d'une replanification fréquente et en temps réel. Un gain de vitesse d'un facteur trois pour une perte de précision inférieure à 5% intéresse donc directement les concepteurs de planificateurs pour robots mobiles, véhicules autonomes et flottes d'AMR, qui doivent éviter des agents dont la dynamique reste toujours partiellement inconnue. Ces chiffres reposent cependant sur un seul cas d'étude simulé, un modèle de bicyclette comparé à CORA, sans test sur robot physique, ce qui appelle à la prudence avant d'extrapoler ces gains à des systèmes non linéaires plus complexes.
Le travail s'inscrit dans le champ de l'analyse d'atteignabilité pour la vérification et la planification sous incertitude, un domaine où la boîte à outils open-source CORA fait référence. Les méthodes existantes propagent généralement tout l'intervalle des matrices incertaines, un coût qui croît avec la dimension du système et freine l'usage embarqué; les auteurs proposent à la place une sélection d'un seul modèle représentatif par direction interrogée, pensée comme une brique logicielle réutilisable dans des pipelines d'évitement de collision existants. L'article ne mentionne aucun partenaire industriel ni acteur français ou européen, et ses suites annoncées restent d'ordre académique, avec une extension envisagée vers des modèles dynamiques non linéaires et d'autres solveurs de reachability.
Dans nos dossiers




