Aller au contenu principal
RecherchearXiv cs.RO 

Planification dans l'espace de croyance avec erreur d'estimation dépendant du planificateur sous observations intermittentes

1 source couvre ce sujet·Source originale ↗·
Résumé IASource uniqueImpact UE

Des chercheurs proposent, dans un preprint arXiv (2610.09207v1), une méthode de planification dans l'espace de croyance qui prédit, propage et pénalise l'erreur de l'estimateur conditionnée à l'information du planificateur, le long des trajectoires évaluées. Le modèle combine une dynamique d'erreur affine et une récursion sur les moments, conçue pour conserver l'incertitude induite par des corrections intermittentes et stochastiques. Les moments d'erreur prédits entrent dans un objectif de risque quadratique pondéré par la tâche. L'évaluation, uniquement en simulation, porte sur l'atterrissage d'un VTOL à rotors basculants sur le pont d'un navire, en horizon glissant. Conditionner sur l'information du planificateur réduit de 13,4 % la perte de prédiction d'erreur d'un EKF « aveugle aux commandes » par rapport à un modèle qui ignore le planificateur, avec des capacités de prévision très dépendantes du régime et de l'horizon. Sur 16 essais appariés en boucle fermée, la médiane de l'indicateur terminal de tâche passe de 1,60 à 0,99. Au-delà de 2 s, l'erreur d'estimation est prédite à un facteur 1,3 près, contre une sous-estimation d'un facteur 5,7 pour une planification fondée sur la seule covariance.

Le point de départ est une hypothèse implicite des architectures modulaires : l'estimateur est supposé sans biais, à erreur de moyenne nulle. Or le planificateur peut connaître des variables que l'estimateur n'observe pas, par exemple ses propres commandes ou des informations sur la tâche. Même un estimateur optimal au sens des moindres carrés sous sa propre information a alors une erreur de moyenne non nulle conditionnellement à celle du planificateur. Quand les corrections arrivent par intermittence (mesures rejetées, occultations, liaisons perdues), l'écart entre erreurs moyennes acceptées et rejetées ajoute une incertitude que les modèles à moyenne nulle ignorent. Pour les intégrateurs qui combinent un estimateur du commerce et un planificateur maison, c'est un risque concret : la covariance rapportée peut paraître rassurante alors que l'erreur réelle, plus grande, n'est pas anticipée. La sous-estimation d'un facteur 5,7 en est l'illustration chiffrée. Il faut toutefois relativiser. Seuls 16 essais appariés ont été menés, le gain de 13,4 % reste modeste, et rien n'est validé sur matériel ni sous perturbations réelles de pont de navire (houle, sillage, turbulence).

Ce travail s'inscrit dans la lignée de la planification dans l'espace de croyance, de la commande à horizon glissant avec contraintes probabilistes et de la planification sensible à l'incertitude. Ces approches prennent en général la covariance de l'estimateur comme donnée et supposent un biais nul. Il se rapproche aussi des recherches sur l'atterrissage autonome sur plateforme mobile, un cas d'usage courant en aviation navale et pour les drones de surveillance maritime, où l'estimation et la commande sont souvent conçues séparément. L'extension logique serait de dépasser la simulation, de tester d'autres estimateurs que l'EKF et de valider les régimes de fonctionnement sur des données réelles. Les auteurs ne mentionnent aucun pilote ni calendrier.

Impact France/UE

Pas d\'impact direct sur la France/UE

Dans nos dossiers

À lire aussi

Occulter l'espace des solutions : attaques adverses indépendantes du planificateur contre la manipulation tolérante
1arXiv cs.RO 

Occulter l'espace des solutions : attaques adverses indépendantes du planificateur contre la manipulation tolérante

Une équipe de recherche en robotique publie sur arXiv (référence 2607.03758v1, soumission du 3 juillet 2026) un nouveau cadre d'attaque adversariale visant les systèmes de planification de mouvement en manipulation robotique. Baptisé approche "planner-agnostic" et "tolerance-aware", le système ne cible plus une pose exacte à atteindre, comme le faisaient les méthodes précédentes, mais évalue la faisabilité d'une tâche sur une région d'objectif entière, ce qui reflète mieux la réalité des tâches industrielles où une marge de tolérance existe toujours. La méthode fonctionne en deux temps : hors ligne, elle cartographie les capacités cinématiques intrinsèques du bras robotique sous forme de carte de densité d'occupation, révélant où les trajectoires faisables sont les plus denses ou les plus fragiles ; en ligne, elle formule le placement d'obstacles adversariaux comme un problème d'optimisation de couverture maximale sous contrainte de budget, plaçant stratégiquement des obstacles géométriques pour obstruer l'espace des solutions. Des expériences en simulation et en conditions réelles montrent que la méthode provoque de façon fiable des échecs de planification, tout en étant plus efficace en calcul que les approches concurrentes qui nécessitent un accès direct au planificateur (dites "planner-in-the-loop"). Pour l'industrie de la manipulation robotique, ce travail change la donne sur l'évaluation de robustesse : il devient possible de tester la résilience d'un bras robotique face à des perturbations sans connaître ni interroger l'algorithme de planification utilisé, ce qui est précieux pour les intégrateurs qui déploient des systèmes tiers en boîte noire. Cela ouvre la voie à des audits de sécurité et de robustesse standardisés, indépendants du fournisseur de logiciel de planification, un enjeu clé à mesure que les cellules robotiques industrielles se complexifient. Ce travail s'inscrit dans la continuité des recherches sur les attaques adversariales appliquées à la robotique, un domaine jusqu'ici limité par la dépendance à des objectifs de pose exacte et à un accès "oracle" au système visé. En s'affranchissant de ces contraintes, les auteurs positionnent leur méthode comme une alternative généraliste aux baselines existantes, ouvrant la porte à des outils de certification de robustesse applicables plus largement, au-delà d'un planificateur ou d'un fournisseur spécifique.

RecherchePaper
1 source
Planification et contrôle de mouvement sensibles au risque sous dynamique inconnue avec observations hybrides
2arXiv cs.RO 

Planification et contrôle de mouvement sensibles au risque sous dynamique inconnue avec observations hybrides

Des chercheurs ont publié sur arXiv (arXiv:2609.23792v1, septembre 2026) un nouveau cadre de planification de mouvement et de commande robotique pour des systèmes à dynamique inconnue et observations d'état hybrides, c'est-à-dire des cas où le robot ne dispose de mesures d'état complètes que dans certaines zones de l'espace d'état, laissant des "régions aveugles" ailleurs. Le travail s'appuie sur un cadre hiérarchique existant qui combine identification de système, calcul d'atteignabilité prédite, recherche de graphe et synthèse de contrôleur, en modélisant la dynamique par des approximations affines locales sur un découpage polytopique de l'espace d'état. Pour traiter les zones aveugles, où l'identification et la rétroaction deviennent impossibles faute de mesures, les auteurs proposent de sélectionner une dynamique nominale et de précalculer une séquence de commande en boucle ouverte avant la perte d'observation. Comme la dynamique réelle peut s'écarter de ce modèle nominal, le robot risque de quitter un polytope aveugle par une facette non prévue ; ce risque de transition est quantifié puis intégré dans un système de transition stochastique, et le problème de planification de haut niveau est reformulé comme un plus court chemin stochastique dont la politique guide la synthèse finale du contrôleur. Une étude de cas illustre la méthode en montrant un robot rejoindre un état cible en arbitrant entre efficacité de trajet et risque de traversée des zones aveugles. L'apport concret vise les robots opérant dans des environnements où la perception est intermittente ou partielle, occlusions, angles morts de capteurs, zones hors portée de caméras ou de lidars, un scénario fréquent en robotique industrielle et de champ mais souvent ignoré par les méthodes de planification qui supposent une observabilité complète de l'état. En quantifiant explicitement le risque associé à la navigation sans retour capteur plutôt qu'en l'ignorant ou en l'interdisant, l'approche s'adresse aux intégrateurs devant certifier ou arbitrer des trajectoires en environnements partiellement instrumentés, un enjeu distinct de la course actuelle aux modèles vision-langage-action (VLA) appris de bout en bout, qui promettent la généralisation mais restent peu auditables sur le plan du risque. Ce travail prolonge une lignée de recherche en planification formelle sous incertitude qui allie identification de système et synthèse de contrôleurs garantis, plutôt que les approches par apprentissage bout en bout actuellement médiatisées en robotique humanoïde. Il reste à ce stade une contribution algorithmique validée par simulation via une étude de cas, sans précision sur une plateforme matérielle réelle ni déploiement en conditions industrielles ; les auteurs ne mentionnent pas d'étape suivante de validation sur robot physique, ce qui invite à considérer ces résultats comme une preuve de concept méthodologique plutôt qu'une solution prête à l'industrialisation.

RecherchePaper
1 source
Planification kinodynamique avec coût terminal et incertitude apprise dans l'espace état-croyance
3arXiv cs.RO 

Planification kinodynamique avec coût terminal et incertitude apprise dans l'espace état-croyance

Une équipe du laboratoire elpis-lab publie KiTe, un planificateur cinodynamique qui introduit une formulation par coût terminal pour la planification de mouvements robotiques sous incertitude, soumis sur arXiv en mai 2026. Le travail étend AO-RRT (Asymptotically Optimal Rapidly-exploring Random Trees), l'algorithme de référence en planification cinodynamique, en ajoutant un objectif de qualité de l'état terminal plutôt que de traiter l'atteinte du but comme une contrainte binaire de faisabilité. Les auteurs prouvent formellement que cette extension préserve l'optimalité asymptotique d'AO-RRT. KiTe est ensuite étendu à l'espace de croyance (belief space) : la distance de Wasserstein entre la distribution terminale estimée et l'objectif sert de métrique, dont les auteurs démontrent qu'elle améliore une borne inférieure sur la probabilité d'atteindre la région cible. Pour les systèmes sans modèle analytique d'incertitude, les dynamiques et le bruit de processus sont appris directement depuis les données. Les expériences couvrent Flappy Bird, Car Parking et Planar Pushing en simulation, puis une validation réelle sur poussée planaire, avec des taux de succès supérieurs aux planificateurs de référence dans l'ensemble des configurations testées. L'enjeu dépasse la démonstration académique : les planificateurs cinodynamiques existants optimisent le coût cumulatif de trajectoire sans modéliser explicitement la qualité de l'état d'arrivée, les rendant fragiles face au bruit capteur, aux erreurs de modèle ou aux dynamiques non linéaires. En formulant la qualité terminale comme objectif à part entière et en intégrant des modèles d'incertitude appris, KiTe adresse directement le gap démonstration-réalité qui freine le déploiement de planificateurs en manipulation non structurée ou en environnement industriel. Pour un ingénieur ou un intégrateur, cela se traduit par des trajectoires plus robustes sans exiger un modèle dynamique parfait du système. La planification cinodynamique en espace de croyance est un domaine concurrentiel face à des approches comme MPPI (Model Predictive Path Integral), iLQR sous incertitude, ou les planificateurs basés sur des processus gaussiens. AO-RRT, sur lequel KiTe s'appuie, est une référence établie pour la planification à optimalité garantie avec contraintes dynamiques. La contribution de KiTe est à la fois théorique (preuve d'optimalité préservée sous l'objectif augmenté) et pratique (apprentissage des dynamiques depuis les données), avec le code disponible publiquement sur GitHub (elpis-lab/KiTe), ce qui facilite la reproductibilité et l'adoption par la communauté.

RecherchePaper
1 source
Planification de mouvement vérifiée dans l'espace des tâches sous contraintes articulaires
4arXiv cs.RO 

Planification de mouvement vérifiée dans l'espace des tâches sous contraintes articulaires

Une équipe de chercheurs présente dans un preprint arXiv (2605.22991, mai 2026) une méthode pour certifier formellement la planification de mouvement des bras manipulateurs face aux limites articulaires. Les planificateurs réactifs dans l'espace cartésien comme Bug2 opèrent avec des pas fixes sans tenir compte des butées angulaires ; lorsque la jacobienne est mal conditionnée, même un petit déplacement cartésien peut forcer un mouvement articulaire hors limites, provoquant une dérive de suivi et l'échec d'atteinte de l'objectif. La solution calcule, à chaque pas, le plus grand hyperrectangle cartésien certifiablement atteignable via une approximation polynomiale du second ordre de la cinématique inverse et la procédure S, qui forment un programme semi-défini positif (SDP) résolu par bisection en moins d'une milliseconde ; ce certificat est intégré à Bug2 pour adapter dynamiquement le pas au conditionnement cinématique local. Sur 94 scénarios adversariaux couvrant six configurations de limites articulaires, le planificateur SOS-vérifié atteint zéro violation articulaire et 100 % de taux de succès, contre 6 à 11 % de violations et jusqu'à 18 % d'échecs pour le Bug2 standard. Ce résultat comble une lacune bien connue : la planification dans l'espace de travail et la gestion des contraintes articulaires sont traitées séparément dans la plupart des architectures, ce qui génère des comportements indésirables près des singularités cinématiques. La résolution sous-milliseconde rend le module intégrable dans des boucles de contrôle temps réel, le positionnant comme couche de sécurité potentielle au-dessus des planificateurs existants sur des bras industriels comme le KUKA iiwa, l'Universal Robots UR10 ou le Franka Emika Panda. Bug2 est un algorithme réactif classique des années 1980-90, robuste mais agnostique aux propriétés cinématiques du robot, dont l'adaptation aux manipulateurs modernes multi-DDL a toujours souffert de ce manque de cohérence entre espaces cartésien et articulaire. L'usage de la procédure S et des programmes semi-définis pour certifier des atteignabilités locales s'inscrit dans une tendance plus large d'intégration de la vérification formelle (barrières de contrôle, Lyapunov, SOS) dans la planification de mouvement. Ce travail reste un preprint de recherche sans implémentation open-source ni déploiement industriel annoncé ; la validation sur robots physiques multi-DDL en conditions dynamiques réelles demeure l'étape manquante avant toute adoption industrielle.

UEKUKA (Allemagne) et Universal Robots (Danemark) sont cités comme cibles d'intégration directe, ce qui positionne les constructeurs de bras industriels européens comme premiers bénéficiaires potentiels si une implémentation open-source est publiée.

RecherchePaper
1 source