RecherchearXiv cs.RO20h

Synchronisation SE(3) par double quaternion avec garanties de récupération

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

Une équipe de chercheurs propose sur arXiv (2602.00324v2) un algorithme de synchronisation SE(3) formulé directement sur les quaternions duaux. Le problème central - récupérer des poses absolues (position et orientation 3D) à partir de transformations relatives bruitées entre scans ou capteurs - est au coeur du SLAM, de la calibration multi-caméra et de la reconstruction 3D. Les méthodes classiques reposent sur des heuristiques multi-étapes sans garanties théoriques. Les auteurs encodent rotation et translation dans un unique objet mathématique (le quaternion dual unitaire) et construisent un algorithme en deux étapes : d'abord un initialisateur spectral par méthode des puissances sur une matrice hermitienne à coefficients quaternioniques duaux, suivi d'une méthode de puissance généralisée sur quaternions duaux (DQGPM) avec projection géométrique à chaque itération pour garantir la faisabilité. Les tests sur benchmarks synthétiques et sur des enregistrements réels de nuages de points multi-scans montrent une précision et une efficacité supérieures aux méthodes matricielles de référence.

L'apport principal est théorique : les auteurs établissent des bornes d'erreur formelles pour l'estimateur spectral et prouvent que DQGPM converge en nombre fini d'itérations avec une contraction linéaire jusqu'à un seuil dépendant explicitement du niveau de bruit. C'est une rareté dans ce domaine, où la convergence est généralement seulement empirique. Pour les ingénieurs déployant des systèmes SLAM ou LiDAR multi-scans en contexte industriel, cela signifie un pipeline dont le comportement est borné et potentiellement certifiable - condition préalable à l'homologation de robots mobiles en environnement critique. La représentation unifiée rotation-translation élimine par ailleurs les erreurs d'accumulation liées à la séparation des deux composantes dans les formulations matricielles classiques.

La synchronisation sur SE(3) est un problème formalisé depuis plusieurs décennies, adjacent aux travaux en rotation averaging (Hartley, Govindu) et en synchronisation SO(3) (Carlone, Singer). Les méthodes concurrentes dominantes - relaxations SDP, descente de gradient riemannienne, initialisation chordale - restent toutes à base matricielle. Les quaternions duaux sont établis en cinématique des manipulateurs depuis les années 1990, mais rarement exploités en estimation robuste à grande échelle. Ce travail s'inscrit dans un mouvement récent visant à doter les algorithmes de perception robotique de fondements formels, prérequis à leur certification dans des applications critiques (autonomie industrielle, espace). La validation sur des benchmarks SLAM temps réel à grande échelle tels que KITTI ou Hilti représente l'étape suivante naturelle.

Impact France/UE

Les garanties formelles de convergence sur SE(3) pourraient constituer un prérequis à la certification de systèmes SLAM embarqués dans des robots mobiles soumis aux futures normes européennes de sécurité, mais aucun acteur FR/UE n'est directement impliqué.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

Collaboration humain-robot sécurisée par vision avec garanties de robustesse

Des chercheurs ont publié sur arXiv (arXiv:2504.15221) un framework de collaboration humain-robot (HRC) fondé sur la vision par ordinateur, capable de certifier formellement la sécurité des trajectoires en présence d'incertitude. Le système combine estimation de pose humaine en temps réel, prédiction de mouvement et prédiction conforme, une méthode statistique qui garantit, avec un niveau de confiance paramétrable, que les ensembles de prédiction couvrent la trajectoire réelle avec une probabilité donnée. Le pipeline intègre également une détection de distribution hors domaine (OOD) pour identifier les configurations corporelles non vues à l'entraînement, réduisant les faux positifs de certitude. Les expériences couvrent à la fois des séquences de mouvement enregistrées et un scénario de collaboration réelle bras robotique/opérateur humain. L'apport principal est de sortir du compromis classique entre performance et garanties formelles : la plupart des systèmes de sécurité HRC reposent soit sur des marges de sécurité fixes trop conservatrices, soit sur des prédictions neuronales sans borne de confiance vérifiable. Ici, les ensembles de prédiction conformes fournissent une couverture statistique valide indépendamment de la distribution des données, ce qui permet d'intégrer le module dans des architectures de contrôle certifiables (CBF, MPC robuste). C'est un pas concret vers des robots industriels capables de partager l'espace de travail humain sans cage, avec des garanties auditables. Ce travail s'inscrit dans un axe de recherche actif sur la sécurité formelle en robotique collaborative, aux côtés de travaux sur les Control Barrier Functions et la prédiction d'intention. Les auteurs n'annoncent pas de déploiement industriel ni de partenariat commercial, il s'agit d'une contribution académique, avec validation en laboratoire. La prochaine étape naturelle serait une intégration sur plateforme cobotique standard (UR, KUKA iiwa) dans un environnement manufacturier réel pour évaluer la latence bout-en-bout et la robustesse aux occlusions partielles.

RecherchePaper

1 source

2arXiv cs.RO

Planification de mouvements sûre sous perturbations inconnues, avec garanties formelles

Des chercheurs ont publié sur arXiv (arXiv:2605.26625) un algorithme de planification de mouvement par échantillonnage qui garantit formellement la sûreté de systèmes robotiques soumis à des perturbations aléatoires dont la distribution est inconnue. L'approche s'applique aux robots à dynamique linéaire ou linéarisable évoluant dans des environnements encombrés avec des obstacles de forme arbitraire, sous contraintes d'état et de commande. La sûreté est formulée comme des chance-constraints (contraintes probabilistes), et l'algorithme apprend depuis des trajectoires observées un "tube d'ambiguïté de Wasserstein", une séquence d'ensembles d'ambiguïté qui contient, avec haute confiance, la distribution d'état réelle du système. Ce tube est ensuite intégré dans un arbre de planification probabilistiquement complet. Les auteurs introduisent également un vérificateur de validité basé sur les bandits multi-bras qui accélère significativement les performances empiriques sans compromettre la complétude. Les cas d'étude montrent que l'algorithme trouve des trajectoires valides dans des environnements denses sous des seuils de sécurité stricts, surpassant les méthodes de référence actuelles. L'enjeu pratique est considérable pour les intégrateurs de robots industriels et les équipes d'autonomie : la plupart des planificateurs de mouvement existants supposent soit une distribution de bruit connue (hypothèse souvent irréaliste), soit ignorent les perturbations stochastiques au profit de marges de sécurité conservatives et figées. Cette méthode data-driven contourne les deux écueils en apprenant directement l'incertitude depuis des données de trajectoires, sans hypothèse paramétrique forte. La réduction du conservatisme via des tubes d'ambiguïté de faible dimension, plusieurs tubes en basse dimension plutôt qu'un seul en haute dimension, améliore la scalabilité, un obstacle classique des approches distributionally robust appliquées à la robotique. C'est un pas concret vers des robots opérant en production dans des environnements non contrôlés, sans recalibration systématique du modèle de bruit. La planification de mouvement sûre sous incertitude est un champ actif depuis deux décennies, structuré autour de méthodes comme RRT/RRT*, les MPC robustes et les approches de tube invariant. L'utilisation de la distance de Wasserstein pour construire des ensembles d'ambiguïté s'inscrit dans le courant des méthodes distributionally robust optimization (DRO), popularisées en contrôle ces cinq dernières années notamment par les groupes de ETH Zurich, Caltech et MIT. Ce preprint n'est pas encore évalué par les pairs. Les prochaines étapes attendues incluent une validation sur hardware réel (les cas d'étude présentés restent en simulation) et une extension aux dynamiques non linéaires, deux conditions nécessaires avant toute intégration dans des pipelines d'autonomie industrielle.

RecherchePaper

1 source

3arXiv cs.RO

Modélisation du monde centrée sur les événements avec récupération augmentée par mémoire pour la prise de décision en IA incarnée

Des chercheurs ont publié sur arXiv (identifiant 2604.07392v2) un cadre de modélisation du monde centré sur les événements, couplé à une mémoire augmentée par récupération, pour la prise de décision d'agents autonomes embarqués. Baptisé event-centric world modeling with memory-augmented retrieval, le système représente l'environnement comme un ensemble structuré d'événements sémantiques, encodés dans une représentation latente invariante aux permutations. La décision ne résulte pas d'une inférence neurale directe, mais d'une récupération dans une banque d'expériences antérieures, chaque entrée associant une représentation d'événement à une manœuvre candidate. L'action finale est calculée comme une combinaison pondérée des solutions récupérées. Les expériences ont été conduites sur des scénarios de vol de drones (UAV), où le framework a opéré dans les contraintes temps réel tout en maintenant un comportement interprétable et cohérent. L'intérêt de cette approche tient à sa rupture explicite avec l'apprentissage bout-en-bout (end-to-end), qui domine aujourd'hui la robotique embarquée mais souffre d'un manque d'interprétabilité et d'absence de garanties physiques formelles. En adoptant un raisonnement par cas (case-based reasoning), le système offre une traçabilité directe entre chaque décision et les expériences stockées qui l'ont motivée, propriété essentielle pour les environnements à criticité de sécurité tels que les drones autonomes ou la manipulation industrielle. L'intégration de connaissances physiques dans le processus de récupération réduit également le risque de comportements hors domaine, un défaut récurrent des modèles VLA (Vision-Language-Action) lors du passage en déploiement réel. Cette publication s'inscrit dans le débat actif entre architectures neurales end-to-end telles que Pi-0 de Physical Intelligence, GR00T N2 de NVIDIA ou Helix de Figure AI, et les méthodes hybrides structurées qui conservent une représentation explicite du monde. Le fossé demo-to-reality reste le principal frein aux VLA à grande échelle, et les approches à mémoire structurée visent précisément à combler cet écart en rendant le raisonnement auditable. Le travail demeure à ce stade un résultat de recherche, évalué sur UAV en conditions contrôlées, sans déploiement industriel ni partenariat applicatif annoncés. Les extensions naturelles concerneraient la manipulation physique ou la locomotion humanoïde, ainsi que la validation sur matériel réel en environnements non contrôlés.

RecherchePaper

1 source

4arXiv cs.RO

Relocalisation globale 3D hiérarchique hors ligne/en ligne avec LiDAR synthétique et recherche par descripteurs

Une équipe de chercheurs a publié le 11 mai 2026 (arXiv:2605.07741) un framework hiérarchique offline/online pour la relocalisation globale 3D de robots mobiles. Le système s'appuie sur une simulation synthétique de scans LiDAR dans une carte préexistante pour construire, en phase hors-ligne, un index de descripteurs géométriques associés à des positions candidates. En ligne, une estimation grossière de la pose est d'abord obtenue par retrieval global dans cet espace de descripteurs, puis affinée par registration de nuages de points pour produire une estimation 6-DoF précise. Sur banc expérimental en environnement réel 3D, la méthode atteint un temps de relocalisation moyen de 3 secondes et une précision moyenne de 8 centimètres, avec une amélioration d'un ordre de grandeur en efficacité computationnelle par rapport aux méthodes de référence. L'enjeu central est la scalabilité : dans les grands espaces industriels ou logistiques, les approches existantes de relocalisation globale souffrent d'un espace de recherche de poses trop vaste et d'un overhead de calcul prohibitif pour une exploitation temps réel. En découplant la phase coûteuse (génération des descripteurs, indexation) de la phase en ligne, ce framework rend la relocalisation 6-DoF viable sur des cartes de grande envergure sans matériel embarqué surpuissant. Pour un intégrateur AMR ou un équipementier de systèmes de navigation autonome, un temps de cycle de 3 secondes à 8 cm de précision représente un seuil opérationnel crédible pour des déploiements en entrepôt ou en environnement industriel non structuré. Il reste cependant à noter que les expériences publiées ne précisent pas la taille des environnements testés ni les conditions de densité du nuage de points, deux paramètres déterminants pour évaluer la généralisation. La relocalisation globale par LiDAR est un problème actif depuis plusieurs années, avec des approches comme PointNetVLAD, BEVPlace ou OverlapNet servant de baselines courantes. Ce travail se distingue par l'utilisation de scans synthétiques pour pré-peupler l'index, une stratégie qui supprime la dépendance à une collecte exhaustive de données réelles dans la carte, mais dont la robustesse face au sim-to-real gap sensoriel reste à valider sur des capteurs hétérogènes. Aucun partenaire industriel ni code open-source n'est mentionné dans la pré-publication ; une validation sur des benchmarks publics comme MulRan ou Oxford RobotCar permettrait de mieux situer ce travail dans l'écosystème existant.

RecherchePaper

1 source