Aller au contenu principal
Le Fil Robotique
Le Fil RobotiqueHumanoïdes · IA physique · Industriel
Planification de mouvement vérifiée dans l'espace des tâches sous contraintes articulaires
RecherchearXiv cs.RO 

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

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

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.

Impact France/UE

KUKA (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.

Dans nos dossiers

arXiv cs.RO

À lire aussi

CAMP : planification coopérative des mouvements bras-main dans des espaces contraints
1arXiv cs.RO 

CAMP : planification coopérative des mouvements bras-main dans des espaces contraints

Un preprint publié sur arXiv (2609.29021v1) présente CAMP (Cooperative Arm-Hand Motion Planning), un planificateur de mouvement coordonné bras-main pour la manipulation dextre en environnements encombrés et contraints. Plutôt que de décomposer le problème en planification séparée de la trajectoire du bras puis des mouvements de la main, approche qui peut manquer des solutions nécessitant une adaptation coordonnée des deux, les auteurs formalisent des « fibres de main faisables » : pour chaque configuration du bras, l'ensemble des configurations de main sans collision. CAMP construit des trajectoires candidates via une recherche hiérarchique de la main combinée à une relaxation locale du bras, les représente de façon compacte avec des primitives de mouvement par points de passage (VMPs), puis les affine par une optimisation conjointe grossière-à-fine. Sur six tâches de simulation en espace contraint, le système atteint un taux de réussite de 84,2 à 98,5 %, supérieur aux planificateurs alternatifs testés, avec une efficacité de calcul comparable, et des expériences sur robot réel valident l'approche sur des tâches de manipulation contrainte. Le site du projet (camp-armhand.github.io) met à disposition code et démonstrations. Le travail s'attaque à un compromis central de la manipulation robotique dextre : la planification décomposée bras/main est rapide mais rigide, tandis que la planification conjointe dans l'espace de configuration complet capture le couplage mais explose en dimensionnalité et en contraintes de collision non convexes. En formalisant ce couplage via les fibres de main faisables, CAMP offre une voie intermédiaire directement exploitable par les intégrateurs travaillant sur des tâches en espace confiné, étagères, tiroirs ou environnements encombrés, où la main doit s'adapter en continu à la trajectoire du bras. Le taux de succès élevé associé à une validation sur robot réel, et non seulement en simulation, répond à une critique fréquente du secteur sur l'écart entre démonstrations sélectionnées et performance reproductible. Les études d'ablation menées par les auteurs, isolant l'apport de la relaxation du bras, de la représentation VMP et de l'optimisation grossière-fine, renforcent la crédibilité méthodologique plutôt que de présenter le résultat comme une simple amélioration marginale. Cette publication s'inscrit dans la lignée des travaux académiques sur la planification de mouvement bras-main en espace contraint, un axe de recherche distinct des annonces produit mais destiné à terme à irriguer les piles logicielles de plateformes équipées de bras et de mains articulées. Le papier compare explicitement CAMP à plusieurs planificateurs alternatifs sur les six tâches simulées, sans nommer ces méthodes concurrentes dans le résumé disponible. Publié en preprint sur arXiv sans mention d'institution ni de revue par les pairs à ce stade, le travail reste à un stade de recherche, non de produit ou de déploiement industriel. La suite logique pour ce type de travail académique est généralement une soumission à une conférence de robotique comme ICRA, IROS ou CoRL, suivie d'une extension à d'autres plateformes bras-main au-delà des six tâches testées en simulation et de la validation limitée sur robot réel.

RecherchePaper
1 source
Métriques riemanniennes induites pour la planification de mouvement sous contraintes
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
Optimisation des arbres de trajectoires dans l'espace des croyances : de la commande prédictive à la planification de tâches et de mouvements
3arXiv cs.RO 

Optimisation des arbres de trajectoires dans l'espace des croyances : de la commande prédictive à la planification de tâches et de mouvements

Des chercheurs proposent, dans un preprint arXiv soumis début mai 2026 (arXiv:2605.01860), de planifier des trajectoires arborescentes (trajectory-trees) dans l'espace des croyances (belief space) plutôt que les trajectoires séquentielles classiques. Quand un robot évolue en environnement partiellement observable, la trajectoire optimale dépend d'observations futures encore inconnues: les trajectory-trees branchent à chaque point où l'état de croyance est susceptible de diverger en scénarios distincts. Le papier présente deux contributions: un contrôleur prédictif partiellement observable (PO-MPC) à branchement unique, optimisé par un algorithme parallélisé baptisé D-AuLa (Distributed Augmented Lagrangian) conçu pour satisfaire les contraintes temps-réel du MPC; et un planificateur tâche-et-mouvement (PO-LGP) combinant arbres de décision symboliques et trajectory-trees cinématiques, en étendant le cadre Logic-Geometric-Programming (LGP) aux problèmes partiellement observables. Les validations expérimentales portent sur la conduite autonome pour le MPC et des scénarios de manipulation robotique pour le TAMP. L'enjeu industriel est direct: les environnements réels sont rarement entièrement observables. Un bras triant des pièces dont l'orientation n'est connue qu'après préhension, ou un AGV naviguant en zone d'incertitude sensorielle, nécessitent précisément ce type de planification contingente. Les trajectoires séquentielles obligent le robot à choisir un plan unique à l'avance, ce qui se traduit par des comportements sous-optimaux ou des replanifications coûteuses. L'approche PO-MPC réduit les coûts de contrôle en anticipant les branches d'observation possibles; PO-LGP génère des politiques d'exploration utilisables comme macro-actions dans un plan global. D-AuLa répond à l'objection classique contre la planification en espace de croyance: sa complexité computationnelle prohibitive pour le temps-réel, en exploitant la décomposabilité du problème pour paralléliser l'optimisation. Le cadre LGP étendu par ces travaux a été développé par le groupe de Marc Toussaint (TU Berlin), et constitue l'une des approches TAMP les plus rigoureuses pour la manipulation multi-étapes. La planification en POMDP (Partially Observable Markov Decision Processes) est un domaine actif depuis les années 1990, mais son couplage avec le contrôle continu et la planification symbolique reste un défi ouvert. Des approches concurrentes basées sur l'apprentissage par renforcement (notamment les méthodes VLA et politiques diffusion) ou sur des planificateurs sampling-based adressent des problèmes voisins avec des compromis différents en matière de généralisation et de garanties formelles. Les auteurs reconnaissent eux-mêmes que la méthode est validée sur des belief states de taille restreinte et exclusivement en simulation; la prochaine étape naturelle est une validation hardware sur robots réels avec perception embarquée et latences de capteurs.

UELes travaux étendent le cadre LGP développé par le groupe de Marc Toussaint à TU Berlin, consolidant le leadership académique européen en planification tâche-et-mouvement rigoureuse pour la manipulation robotique multi-étapes.

RecherchePaper
1 source
Planification rapide et coordonnée de mouvements bimanuels sous contraintes strictes
4arXiv cs.RO 

Planification rapide et coordonnée de mouvements bimanuels sous contraintes strictes

Une équipe de chercheurs publie sur arXiv (référence 2608.20946v1) un nouveau pipeline de planification de mouvement rapide pour la manipulation bimanuelle sous contraintes rigides. Le problème traité est le suivant : quand deux bras robotiques déplacent un même objet rigide, la transformation relative entre leurs deux effecteurs terminaux doit rester fixe tout au long du mouvement, ce qui constitue une contrainte d'égalité non linéaire réduisant l'espace des configurations valides à une variété de mesure nulle, difficile à gérer pour les planificateurs classiques. La méthode proposée repose sur une paramétrisation "leader-suiveur" : la configuration du bras leader est traitée comme variable libre, celle du bras suiveur étant calculée par cinématique inverse pour satisfaire la contrainte en continu sur toute la trajectoire. En simulation, sur des environnements, contraintes et plateformes bimanuelles variés, la méthode planifie 19,4 fois plus vite que les approches précédentes, tout en garantissant le respect continu de la contrainte. Des essais réels sur un système bimanuel à deux bras Kinova Gen3, pour du transport de plateau et la manipulation d'objets allongés, confirment le transfert direct des trajectoires planifiées vers le matériel physique. Pour les intégrateurs et les équipes de R&D robotique, ce résultat cible un vrai goulot d'étranglement : le nombre élevé de degrés de liberté combinés des deux bras, associé à la contrainte de rigidité, rend la planification coordonnée coûteuse en calcul et freine son usage en temps réel pour des tâches comme le transport d'objets fragiles ou encombrants et l'assemblage. Un gain de vitesse proche de 20x, sans perte de garantie sur le respect de la contrainte géométrique, rapprocherait la manipulation bimanuelle coordonnée d'un fonctionnement temps réel viable en usine ou en logistique, un point sensible pour la sécurité des opérations impliquant deux bras synchronisés. Le résultat reste toutefois académique, validé sur une seule plateforme matérielle et deux tâches de démonstration, loin d'un produit industriel prêt à déployer. Ce travail s'inscrit dans la recherche sur la planification sous contraintes de fermeture cinématique, un problème classique de la robotique bimanuelle où les méthodes existantes s'appuient souvent sur un échantillonnage ou une projection coûteux sur la variété de contrainte, ce qui explique l'écart de performance revendiqué face aux "travaux précédents", non détaillés dans le résumé. Les bras Kinova Gen3 utilisés pour la validation matérielle constituent une plateforme courante dans la recherche en manipulation bimanuelle, ce qui facilite la comparaison avec d'autres travaux du domaine. Classé comme nouvelle soumission arXiv, le papier ne fait état d'aucun partenariat industriel ni de calendrier de commercialisation ; la suite logique pour ce type de recherche est une extension à d'autres plateformes et types d'objets, avec une possible intégration dans des piles logicielles de planification plus larges destinées aux intégrateurs.

RecherchePaper
1 source