RecherchearXiv cs.RO 1 juin 2026

Exploitation de la parcimonie chordale pour une estimation globalement optimale avec des graphes de facteurs

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

Une équipe de chercheurs associée au Borg Lab (Georgia Tech) a publié fin mai 2026 un préprint arXiv (2605.30617) présentant une méthode pour rendre l'estimation d'état globalement optimale dans les graphes de facteurs, sans effort de formulation manuelle. Le travail s'intègre directement à GTSAM, la bibliothèque de référence pour le SLAM et la navigation, et repose sur deux contributions : une procédure automatisée de construction de relaxations SDP (semi-definite programming) convexes pour tout graphe de facteurs utilisant les types de variables et de facteurs courants, et l'exploitation de la structure creuse chorale native de l'arbre de Bayes (Bayes tree) de GTSAM pour décomposer le problème SDP. Les deux cas d'usage évalués sont un problème de SLAM 3D par pose-graph en anneau et un problème de localisation 2D en chaîne, sur lesquels le nouvel estimateur démontre une meilleure scalabilité que les solveurs locaux standards. Le code est disponible sur le dépôt borglab/gtsam.

L'enjeu est directement lié à la sécurité des systèmes robotiques : les solveurs locaux embarqués dans GTSAM ou g2o peuvent converger vers de mauvais minima locaux, ce qui dans un contexte de navigation autonome ou de perception industrielle représente un risque réel. Les approches par relaxations convexes garantissent l'optimalité globale ou permettent de certifier la solution, mais elles étaient jusqu'ici réservées à des cas formulés manuellement par des spécialistes, et pénalisées par le coût de résolution d'un SDP de grande taille. En automatisant la construction de la relaxation et en exploitant la sparsité du problème, les auteurs réduisent substantiellement ce surcoût computationnel, rendant l'approche crédible pour des applications embarquées ou temps-réel.

Les graphes de facteurs sont l'outil dominant en estimation robotique depuis les travaux séminaux de Dellaert et Kaess (iSAM, iSAM2) au début des années 2010, et GTSAM en est l'implémentation la plus utilisée en recherche. Les relaxations SDP pour le SLAM ont été explorées depuis une dizaine d'années, notamment par Rosen et al. avec SE-Sync (2019), qui ciblait spécifiquement la synchronisation de poses. Ce nouveau travail généralise l'approche à des graphes de facteurs arbitraires, ce qui constitue un pas vers une intégration praticable dans des pipelines SLAM existants. Il s'agit d'un préprint non encore soumis à révision par les pairs, et les gains de performance annoncés restent à confirmer sur des benchmarks plus complexes ou des architectures embarquées contraintes.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

Estimation de forme des robots continus par graphes de facteurs et développement de Magnus

Des chercheurs ont publié le 22 avril 2026 sur arXiv une méthode de reconstruction de forme pour manipulateurs continus (continuum robots), ces bras flexibles à courbure infinie utilisés notamment en chirurgie mini-invasive et en inspection de conduites. Le système combine une paramétrisation GVS (Geometric Variable Strain) en basse dimension avec un graphe de facteurs, les deux éléments étant liés par un facteur cinématique inédit dérivé de l'expansion de Magnus du champ de déformation. Évalué en simulation sur un robot continu à câbles de 0,4 m de longueur, le pipeline atteint des erreurs de position moyennes inférieures à 2 mm dans trois configurations de capteurs distinctes, et divise par six l'erreur d'orientation par rapport à une ligne de base par régression de processus gaussien (GP) lorsque seules des mesures de position sont disponibles. Aucun déploiement matériel réel n'est encore rapporté : il s'agit d'un résultat de simulation validé sur préprint, pas d'un produit commercialisé. L'intérêt pour les intégrateurs et les équipes de R&D est double. D'abord, la méthode produit un vecteur d'état compact directement exploitable par des boucles de contrôle model-based, ce que les approches purement probabilistes basées sur la discrétisation spatiale des tiges de Cosserat ne permettent pas sans un coût computationnel croissant avec la résolution. Ensuite, l'incertitude reste quantifiée, ce que les méthodes paramétriques classiques sacrifient au profit de la compacité. Pour le secteur chirurgical en particulier, où la redondance et la sécurité certifiable sont des prérequis réglementaires, la combinaison compacité-incertitude représente un progrès méthodologique tangible, à condition qu'il se confirme sur hardware réel. Les manipulateurs continus constituent un axe de recherche actif depuis les années 2000, porté notamment par les laboratoires travaillant sur la chirurgie robotique (Intuitive Surgical côté industriel, groupes académiques comme le King's College London ou la TU Delft côté recherche). Les approches concurrentes incluent les modèles de tige de Cosserat discrétisés, les réseaux de neurones pour la cinématique directe et les processus gaussiens, chacun présentant un compromis différent entre précision, temps de calcul et structure probabiliste. La prochaine étape attendue est une validation expérimentale sur banc physique avec bruit de capteur réel, condition sine qua non avant toute intégration dans un système de contrôle clinique ou industriel.

UELes laboratoires européens actifs en robotique chirurgicale (dont TU Delft) pourraient intégrer cette brique algorithmique dans leurs travaux sur les boucles de contrôle certifiables, à condition d'une validation hardware confirmée.

RecherchePaper

1 source

2arXiv cs.RO

Estimation d'état de maillage différentiable par inférence sur graphe de facteurs pour la reconstruction d'objets déformables

Une équipe de recherche propose, dans un article publié le 16 septembre 2026 sur arXiv (2609.16686v1), un nouveau cadre probabiliste pour estimer l'état de maillages déformables en robotique et en simulation. La méthode s'appuie sur des graphes de facteurs (factor graphs) pour mettre à jour directement un maillage tétraédrique, représentation dense et physiquement cohérente d'un objet ou d'un environnement, en combinant trois sources d'information dans une formulation probabiliste unifiée : des a priori physiques, des mesures de capteurs bruitées, et des contraintes de lissage temporel. Le problème d'estimation est posé comme une optimisation par moindres carrés non linéaires, résolue via l'algorithme de Levenberg-Marquardt. Les auteurs valident l'approche sur deux terrains distincts : des expériences ex vivo d'obstruction des voies aériennes centrales, et des simulations de cubes en déformation, démontrant une reconstruction fiable aussi bien en mouvement rigide qu'en déformation. Cette contribution s'adresse à un problème récurrent en robotique de manipulation et en robotique médicale : les objets déformables (tissus mous, câbles, textiles, organes) restent difficiles à modéliser en temps réel avec des méthodes purement géométriques ou purement basées capteurs. En ancrant l'estimation dans une représentation physique explicite plutôt que dans un modèle appris de bout en bout, l'approche vise une meilleure généralisation et une interprétabilité utile pour des applications critiques comme la chirurgie assistée ou la planification d'intervention, où la traçabilité des estimations compte autant que leur précision. Elle illustre aussi une tendance de fond en robotique de manipulation : hybrider physique et inférence probabiliste plutôt que de tout confier à des réseaux de neurones appris sur de larges corpus. Le travail s'inscrit dans la lignée des recherches sur le SLAM déformable et la reconstruction de scènes dynamiques, domaines où les représentations neuronales (NeRF, Gaussian splatting) ont récemment dominé. Les auteurs positionnent leur méthode comme une alternative structurée à ces approches, mieux adaptée aux contraintes physiques. Les tests restent limités à un cadre ex vivo et à des simulations, sans validation in vivo ni intégration robotique complète annoncée à ce stade, ce qui situe la publication du côté de la recherche méthodologique plutôt que d'un système prêt au déploiement.

RecherchePaper

1 source

3arXiv cs.RO

Estimation des forces multi-contacts pour robots continus via graphes de facteurs paramétrés par gaussiennes

Des chercheurs ont publié en préprint sur arXiv (arXiv:2606.29165) un nouveau cadre d'estimation unifiée de la forme et des forces de contact pour robots continus. Ces structures flexibles et déformables, contrairement aux robots articulés classiques, peuvent naviguer dans des environnements non structurés et des espaces confinés, à l'image d'un endoscope actif ou d'un bras chirurgical souple. Le verrou central : estimer en temps réel la position et l'intensité des forces de contact extérieures s'exerçant à des points inconnus le long du corps du robot est mathématiquement mal conditionné, particulièrement lorsque plusieurs contacts sont simultanés. La solution repose sur un graphe de facteurs intégrant une paramétrisation par mélange gaussien des forces externes, couplée à un modèle probabiliste de tige de Cosserat discrétisée, référence mécanique standard pour les structures élastiques filiformes. Le système fusionne trois flux capteurs : déformation (strain), tension des tendons et pose du robot. En simulation numérique, la méthode surpasse les approches existantes pour la localisation et l'amplitude des forces, aussi bien en contact unique qu'en contacts multiples. Une variante progressive, introduisant des fonctions de base à la demande, permet une estimation séquentielle des contacts lors d'une tâche de navigation en espace confiné. La capacité à estimer des forces de contact multiples en ligne est un verrou opérationnel majeur pour les robots continus. En chirurgie mini-invasive ou en inspection de conduites, le robot entre inévitablement en contact avec son environnement à des points non prédéfinis : une mauvaise estimation des forces peut provoquer des lésions tissulaires ou des blocages mécaniques. L'approche probabiliste par graphe de facteurs gère explicitement les incertitudes de modélisation et de capteurs, là où les méthodes déterministes échouent en multi-contact. La réduction de dimensionnalité via les mélanges gaussiens contourne le mal-conditionnement sans discrétisation spatiale excessive, rendant le calcul tractable en ligne. Les robots continus font l'objet d'une recherche académique soutenue depuis deux décennies, avec des cibles en endoscopie, inspection industrielle et intervention en milieu sinistré. La modélisation par tiges de Cosserat reste la référence théorique dominante, mais l'estimation multi-contact demeure un problème ouvert face auquel des approches concurrentes existent : réseaux de neurones pour la calibration haptique, capteurs FBG (Fiber Bragg Grating) distribués, ou méthodes d'apprentissage par contact. Ce travail n'est pas affilié à une entreprise commerciale identifiée et n'a été validé qu'en simulation numérique, limite importante à souligner avant tout transfert vers des applications cliniques ou industrielles réelles. Des expérimentations sur robot physique constitueraient la suite logique annoncée.

RecherchePaper

1 source

4arXiv cs.RO

LEMON-Mapping : fusion et optimisation multi-session de nuages de points à grande échelle pour une cartographie globalement cohérente

LEMON-Mapping (Loop-Enhanced Large-Scale Multi-Session Point Cloud Merging and Optimization) est un framework de cartographie collaborative multi-robots présenté dans un preprint arXiv (2505.10018, version 4). Le système vise à fusionner des nuages de points 3D issus de plusieurs robots opérant en sessions distinctes pour produire une carte globalement cohérente à grande échelle. Trois innovations structurent la contribution: un mécanisme de traitement des fermetures de boucles (loop closures) intégrant le rejet d'outliers et une stratégie de rappel pour récupérer des boucles valides erronément filtrées; un bundle adjustment spatial adapté aux cartes multi-robots, qui réduit divergence et flou dans les zones de recouvrement; et une optimisation de graphe de poses (PGO) propageant la précision locale à l'ensemble de la carte via des contraintes de bundle adjustment raffinées. L'intérêt tient à une limitation bien documentée des méthodes PGO classiques: celles-ci traitent les loop closures uniquement comme des contraintes entre noeuds de pose, ignorant la structure géométrique du nuage de points, ce qui produit des trajectoires divergentes et des zones floues dans les régions de chevauchement entre robots. En intégrant un bundle adjustment spatial dans la boucle d'optimisation, LEMON-Mapping montre qu'il est possible de corriger ces défauts de manière structurelle. Les auteurs valident leur approche sur plusieurs benchmarks publics et un dataset propriétaire, avec des résultats supérieurs aux méthodes de fusion traditionnelles en termes de précision et de cohérence globale. Des tests de scalabilité confirment que le framework supporte des flottes de robots nombreuses. La cartographie collaborative multi-robots est un verrou actif pour les AMR d'entrepôt, les drones d'inspection industrielle et la robotique de construction. Le domaine dispose déjà de frameworks comparables: DiSCo-SLAM, Swarm-SLAM ou CoLRIO explorent des approches distribuées avec différentes architectures de communication. LEMON-Mapping se positionne dans la lignée des travaux combinant PGO et bundle adjustment inspiré du structure-from-motion, appliqué aux nuages de points LiDAR multi-sessions. Le preprint en est à sa quatrième révision, signe d'un travail en cours de maturation; aucune disponibilité open-source ni déploiement pilote n'est mentionné à ce stade.

RecherchePaper

1 source