RecherchearXiv cs.RO 12 octobre 2026

UniConFlow : un cadre unifié d'appariement de flux sous contraintes pour une planification de mouvement certifiée

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

UniConFlow est un cadre de génération de trajectoires fondé sur le flow matching, une famille de modèles génératifs, qui intègre de manière unifiée des contraintes d'égalité et d'inégalité. Il vise à couvrir en une seule architecture l'évitement de collisions, les limites d'actionnement et la cohérence dynamique, que les approches existantes traitent le plus souvent séparément ou par des heuristiques. Les auteurs ajoutent une « fonction d'annulation à temps prescrit » (prescribed-time zeroing function), qui façonne un champ de guidage variable dans le temps pendant l'inférence, de sorte que la génération s'adapte à différents modèles de système et exigences de tâche. Deux stratégies pratiques ciblent les trajectoires longues et de grande dimension : un protocole d'extraction des segments en violation, qui localise puis corrige uniquement les portions fautives, et une compression de trajectoire qui accélère l'optimisation dans un espace réduit tout en préservant une reconstruction fidèle après décodage. Le travail est validé sur trois expériences : un double pendule inversé, une course de voitures « real-to-sim » et une tâche de manipulation « sim-to-real ». Il s'agit de la version 3 d'un preprint arXiv (2506.02955), avec une page projet publique.

L'intérêt tient au problème visé : les planificateurs génératifs (diffusion, flow matching) produisent des trajectoires multimodales flexibles, mais n'offrent pas de garanties de sécurité. Pour un intégrateur ou un responsable industriel, c'est l'obstacle principal au déploiement de politiques apprises près d'humains ou d'équipements coûteux. Un cadre qui impose les contraintes pendant l'inférence plutôt qu'au moyen de filtres de sécurité ajoutés après coup irait dans le sens d'une planification apprise « certifiable ». Les auteurs affirment que UniConFlow surpasse les planificateurs génératifs de l'état de l'art et les méthodes d'optimisation classiques sur la sécurité, la cohérence cinématique et dynamique et la faisabilité des actions. Ces affirmations restent à nuancer : le résumé ne fournit ni chiffres, ni taux de succès, ni temps de calcul. Les trois bancs d'essai sont de portée limitée, et le passage réel ne concerne qu'une tâche de manipulation, sans déploiement industriel ni mesure de latence en boucle fermée. Le terme « certifié » désigne ici des métriques de respect des contraintes, pas une certification au sens normatif (par exemple ISO 10218).

Le contexte est celui d'une littérature très active sur la contrainte des modèles de diffusion et de flow matching, qui passe par des projections, du guidage par gradient ou des couches d'optimisation, souvent au prix d'un coût de calcul élevé sur de longs horizons. La compression de trajectoire et la correction localisée des segments répondent précisément à cette limite. Les alternatives restent l'optimisation de trajectoire classique (MPC, optimisation par contraintes) et les politiques VLA généralistes, qui privilégient la généralisation sur la garantie. La suite logique serait une validation sur des plateformes plus complexes, avec des contraintes de contact et des bras ou humanoïdes réels, et des comparaisons de temps d'inférence à l'échelle. Aucun partenaire industriel ni calendrier de déploiement n'est annoncé, et aucun acteur français ou européen n'est mentionné.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

ConFlow : apprentissage guidé par contraintes avec appariement de flux pour la génération de mouvement

ConFlow, un nouveau framework de génération de mouvement robotique par flow matching intégrant des contraintes dès l'entraînement, a été publié sur arXiv (2607.14424v1). Le flow matching est une méthode de modélisation générative reposant sur un échantillonneur neuronal basé sur des équations différentielles ordinaires (ODE), entraîné en régressant les champs de flux empiriques associés aux trajectoires observées. Le problème que ConFlow cherche à résoudre est simple à énoncer : la plupart des approches actuelles entraînent le modèle de flux sur des données brutes, puis appliquent des contraintes propres à la tâche uniquement au moment de l'inférence, via un guidage externe. Les auteurs proposent à la place d'injecter directement l'information de contrainte dans l'objectif d'entraînement, sous forme de fonctions de barrière ou de coût différentiables. Autre nouveauté technique : la distribution source gaussienne standard du flow matching est remplacée par un processus gaussien conditionnel, ce qui permet d'imposer des spécifications de conception comme la régularité ou les conditions aux limites. Le système exploite aussi des démonstrations infaisables comme supervision négative, sans nécessiter de données expertes supplémentaires. Sur une tâche de navigation impliquant deux robots, ConFlow affiche un taux de collision plus faible et une meilleure qualité de trajectoire que les baselines de flow matching standard, avec ou sans guidage à l'inférence. L'enjeu dépasse la simple performance chiffrée : ce travail questionne une hypothèse répandue dans la génération de mouvement par apprentissage, à savoir que le guidage à l'inférence suffit à faire respecter des contraintes physiques ou de sécurité à un modèle entraîné sans elles. En démontrant qu'intégrer les contraintes pendant l'entraînement referme l'écart entre entraînement et inférence, ConFlow apporte un argument concret pour les équipes qui développent des politiques de mouvement destinées à des robots opérant sous contraintes strictes (évitement de collision, limites articulaires, zones interdites), un enjeu central pour tout déploiement industriel ou multi-robot. Le flow matching s'est imposé ces dernières années comme alternative aux modèles de diffusion pour la génération de trajectoires robotiques, dans la même famille de méthodes que les architectures vision-langage-action (VLA) comme Pi-0 ou GR00T N2, qui reposent elles aussi sur des politiques génératives entraînées sur démonstrations. ConFlow se positionne comme une brique méthodologique complémentaire à ces systèmes plutôt qu'un produit concurrent : la validation reste pour l'instant limitée à un scénario de navigation à deux robots, sans indication d'extension à des tâches de manipulation plus complexes ou à un déploiement matériel réel.

RecherchePaper

1 source

2arXiv cs.RO

Métriques riemanniennes induites pour la planification de mouvement sous contraintes

Publié le 23 septembre 2026 sur arXiv sous la référence 2609.25695v1, un article de recherche en planification de mouvement robotique s'attaque à un problème classique : quand des contraintes de tâche ou de fermeture de boucle cinématique réduisent l'espace de configuration d'un robot à une sous-variété courbe de dimension inférieure, la métrique utilisée pour mesurer la longueur d'un chemin, euclidienne, à coût uniforme dans toutes les directions, ou riemannienne, comme l'énergie cinétique, à coût variable selon la direction et la configuration, donnait jusqu'ici des résultats différents selon que la contrainte était représentée implicitement (comme un ensemble de niveau, associé à la métrique euclidienne) ou explicitement (via une paramétrisation, associée à la métrique du domaine des paramètres). Les auteurs proposent une métrique dite induite, héritée directement de la métrique riemannienne de l'espace de configuration complet, et démontrent que les deux représentations produisent alors exactement la même géométrie, quelle que soit la métrique riemannienne retenue. Ils l'intègrent dans un planificateur par échantillonnage et dans un optimiseur de trajectoire, puis testent l'approche sur un montage de manipulation bimanuelle avec deux bras robotiques Franka (Franka Robotics, entreprise allemande) soumis à des contraintes sur l'effecteur, en comparant métrique euclidienne et métrique d'énergie cinétique. Ce découplage compte pour quiconque conçoit des planificateurs de manipulation contrainte, assemblage bimanuel, tâches à chaîne cinématique fermée, coordination multi-bras, où le choix jusqu'ici arbitraire entre représentation implicite et explicite biaisait silencieusement les trajectoires calculées, indépendamment du comportement physique réel du robot. La garantie théorique de cohérence géométrique permet désormais d'utiliser des métriques physiquement significatives, comme l'énergie cinétique, plutôt que la seule distance euclidienne par défaut, souvent mal adaptée aux robots à forte inertie ou à géométrie complexe, sans changer d'architecture logicielle puisque la méthode s'insère aussi bien dans un planificateur par échantillonnage que dans un optimiseur de trajectoire existant. Il s'agit d'une contribution méthodologique, sans vidéo ni chiffre de taux de succès ou de temps de cycle à l'appui, ce qui limite pour l'instant l'évaluation de son impact pratique concret. Ce travail s'inscrit dans la lignée des recherches sur la planification sur variétés contraintes, un champ où les méthodes d'atlas tangents et les planificateurs de type CBiRRT gèrent depuis longtemps la géométrie de la contrainte mais laissaient jusqu'ici la question de la métrique de côté. Il fait aussi écho aux travaux sur les politiques de mouvement riemanniennes, qui exploitent déjà des métriques non euclidiennes mais dans des espaces non contraints. La validation reste limitée à un seul banc d'essai, deux bras Franka en manipulation bimanuelle, sans portage annoncé vers une bibliothèque de planification largement utilisée comme MoveIt ou OMPL, ni calendrier de suivi précisé par les auteurs.

UELe montage expérimental repose sur des bras robotiques Franka Robotics, fabricant allemand largement utilisé dans les laboratoires de recherche européens en robotique.

RecherchePaper

1 source

3arXiv 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

4arXiv cs.RO

Planification de mouvement distribuée pour systèmes multi-robots sous contraintes topologiques

Des chercheurs proposent, dans un preprint arXiv (2610.10065), un contrôleur distribué fondé sur la commande prédictive (MPC, Model Predictive Control) pour exécuter des consignes de coordination multi-robots exprimées sous forme de tresses topologiques. Ces tresses décrivent de façon compacte et abstraite la relation qualitative souhaitée entre les trajectoires spatio-temporelles de plusieurs robots mobiles, par exemple qui passe devant ou derrière qui. Plutôt que de suivre directement la tresse, le contrôleur s'appuie sur les nombres d'enroulement (winding numbers), des invariants topologiques des tresses, comme variable de substitution. Cela transforme la spécification en fonction continue, facile à injecter comme terme du coût dans un MPC, et la décompose en spécifications par paires, traitables par de simples problèmes MPC locaux. Pour garder une cohérence globale, les robots estiment leur progression par consensus et synchronisent ainsi leurs mouvements. La validation porte sur des simulations et des expériences réelles. Le résumé annonce des gains en vitesse d'exécution et en effort de commande, sans fournir de chiffres. L'intérêt tient à un verrou concret de la robotique de flotte. Les approches existantes exécutent un générateur de tresse à la fois, ce qui ralentit les trajectoires et les rend sous-optimales. Pour un intégrateur qui gère des AMR dans un entrepôt, des convoyeurs mobiles ou des essaims de drones, cela se traduit par des croisements séquentiels, des temps d'attente et des consommations d'énergie évitables. Le caractère distribué compte tout autant: chaque robot ne résout qu'un problème local, sans planificateur central ni point de défaillance unique, ce qui favorise le passage à l'échelle. La méthode ne dit en revanche rien sur la taille des flottes testées, les latences de communication tolérées ni la robustesse aux pertes de liaison, des critères décisifs pour un déploiement industriel. Il s'agit de recherche académique, sans produit ni pilote annoncé, et les gains revendiqués ne sont pas chiffrés dans le résumé. Ce travail s'inscrit dans une lignée où la topologie sert à structurer la coordination multi-agents, par opposition aux planificateurs purement géométriques ou aux méthodes d'optimisation centralisées coûteuses quand le nombre de robots augmente. Les tresses offrent un langage de haut niveau pour spécifier des chorégraphies de robots, mais leur exécution distribuée restait le maillon faible. Cette proposition cherche à combler cet écart entre spécification abstraite et contrôle temps réel. Les suites logiques seraient des essais à plus grande échelle, avec des robots hétérogènes et des environnements encombrés, puis une comparaison directe avec les méthodes de planification multi-robots utilisées en logistique. Aucune échéance n'est communiquée.

RecherchePaper

1 source