RecherchearXiv cs.RO 25 août 2026

CSymPlan : planification symbolique et contrôle certifiés pour manipulateurs à haut degré de liberté

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

Un article publie fin aout 2026 sur arXiv (2608.22983v1) présente CSymPlan, un framework de planification et de contrôle symbolique certifie pour bras manipulateurs a haut nombre de degrés de liberté. Il propose deux versions: une implémentation hors ligne qui precalcule des politiques de rétroaction certifiées pour atteindre une cible en évitant les obstacles, et une implémentation en ligne qui synthétisé ces politiques en temps réel via l'outil pFaces. La version hors ligne modélise le bras comme un double intégrateur perturbe, traite couple, mesure et modèle comme des incertitudes bornées, et l'affine pour un bras Franka FR3 par quantification et réalisation du couple. En simulation et sur le FR3 réel, les deux versions complètent leurs taches sans violation de sécurité, le robot s'arrêtant ou replanifiant en l'absence d'action certifiée.

Ce travail vise un point de friction classique de la robotique manipulatrice: séparer planification de trajectoire et contrôle bas niveau produit des références difficiles a suivre fidèlement sous contraintes d'actionneurs, erreurs de suivi et faibles marges avec les obstacles. Pour les intégrateurs et décideurs industriels, une garantie de zero violation de sécurité, vérifiée en simulation comme sur bras physique, pèse plus qu'une démonstration isolée et répond au doute récurrent du secteur sur l'écart entre démos et fiabilité réelle. En imposant au robot de s'arrêter plutôt que d'exécuter une commande non garantie, CSymPlan propose une alternative certifiable aux approches de contrôle par apprentissage de bout en bout, dont les garanties restent difficiles a prouver.

Le choix du Franka FR3 comme plateforme de validation s'inscrit dans une pratique académique courante: ce bras collaboratif, conçu par l'entreprise allemande Franka Robotics, est un standard de recherche en manipulation en Europe pour sa transparence de couple et son écosystème logiciel ouvert. CSymPlan s'appuie sur pFaces, un moteur de synthèse de contrôleurs symboliques déjà mobilise dans des travaux antérieurs sur la planification certifiée, ce qui situe la contribution dans la lignée du contrôle formel plutôt que des approches VLA qui dominent l'actualité humanoïde. Il s'agit a ce stade d'une contribution de recherche sans partenariat commercial ni calendrier de déploiement annonce; la suite logique serait une extension a des taches et espaces plus complexes, avec comparaison aux pipelines classiques.

Impact France/UE

Le framework est valide sur le bras collaboratif Franka FR3, conçu par l'entreprise allemande Franka Robotics, standard de recherche européen en manipulation, sans impact direct sur le marche ou la réglementation UE.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

Planification de mouvement en corps entier et contrôle à sécurité critique pour la manipulation aérienne

Une équipe de chercheurs propose sur arXiv (2511.02342v3) un cadre de planification de mouvement corps entier pour manipulateurs aériens : des drones multirotors équipés de bras robotiques conçus pour opérer dans des espaces encombrés. Le système repose sur une représentation par superquadriques (SQ), surfaces paramétriques différentiables qui modélisent avec précision la géométrie du véhicule, du bras embarqué et des obstacles environnants. Un planificateur à clairance maximale fusionne diagrammes de Voronoï et formulation de variété d'équilibre pour générer des trajectoires lisses, tandis qu'un contrôleur de sécurité applique simultanément les limites de poussée et l'évitement de collision via des fonctions de barrière d'ordre supérieur (high-order CBFs). En simulation, l'approche surpasse les planificateurs par échantillonnage en vitesse, sécurité et fluidité ; des expériences sur une plateforme physique réelle confirment la cohérence des performances sim-to-real. La manipulation aérienne bute depuis longtemps sur le conservatisme des abstractions géométriques classiques : boîtes englobantes et ellipsoïdes surestiment l'encombrement du système, imposent des déviations inutiles et ferment des passages pourtant praticables. Les superquadriques résolvent ce problème en modélisant les surfaces réelles avec une fidélité géométrique fine, sans le coût computationnel des maillages. Pour les intégrateurs et équipes R&D, cela se traduit par des cycles plus courts et la capacité d'opérer dans des espaces confinés, directement pertinents pour l'inspection de structures, la maintenance en hauteur ou l'intervention en zone difficile d'accès. La validation hardware distingue ce travail de nombreuses publications restées cantonnées à la simulation, et les garanties formelles des CBF d'ordre supérieur constituent un argument de poids pour des déploiements en environnements réels. La manipulation aérienne est un champ de recherche actif depuis une décennie, motivé par l'inspection d'éoliennes, de pylônes et d'infrastructures inaccessibles aux robots terrestres. La représentation par superquadriques, issue des travaux de Barr dans les années 1980 et revisitée par la robotique de manipulation terrestre, gagne en traction pour les contextes où la précision géométrique est critique. Parmi les équipes actives sur des problèmes voisins figurent l'ETH Zurich (ASL), le LAAS-CNRS côté français, ainsi que plusieurs groupes nord-américains et asiatiques. Ce preprint ne mentionne aucun partenaire industriel ni horizon de déploiement commercial, ce qui le positionne comme une contribution académique fondamentale avec validation expérimentale.

UELe LAAS-CNRS est explicitement cité parmi les équipes actives sur des problèmes voisins ; cette contribution pourrait alimenter les travaux européens sur la manipulation aérienne pour l'inspection d'infrastructures.

RecherchePaper

1 source

2arXiv cs.RO

Contrôle de hauteur et planification optimale du couple pour le saut de robots bipèdes à roues

Des chercheurs présentent dans un preprint arXiv (2605.03302, mai 2026) deux méthodes combinées pour contrôler avec précision la hauteur de saut des robots bipèdes à roues. Le constat de départ est pratique : face à l'incertitude dynamique, ces plateformes sautent systématiquement plus haut que nécessaire pour garantir la sécurité, ce qui génère des pertes moteur évitables, des forces de contact au sol excessives et une surconsommation énergétique. La première contribution, le modèle W-JBD (Wheeled-Bipedal Jumping Dynamical), permet de cibler précisément une hauteur de saut, mais produit une consigne de couple en échelon incompatible avec les actionneurs réels. La seconde, BOTP (Bayesian Optimization for Torque Planning), optimise la trajectoire de couple sans nécessiter de modèle dynamique précis et converge en 40 itérations en moyenne. Validée sur le simulateur Webots, BOTP réduit l'erreur de hauteur de 82,3 % et la consommation énergétique de 26,9 % par rapport à la baseline, tout en produisant une courbe de couple continue. Ce résultat est pertinent pour les intégrateurs qui déploient des robots bipèdes à roues dans des environnements industriels ou logistiques : l'efficacité énergétique conditionne directement l'autonomie embarquée, et la reproductibilité du saut détermine la fiabilité du franchissement d'obstacles. Le fait que BOTP fonctionne sans modèle dynamique précis est un avantage opérationnel concret, car calibrer un modèle complet sur chaque variante de plateforme est coûteux. L'approche bayésienne converge rapidement, ce qui la rend adaptée à une validation sur robot réel avec un nombre limité d'essais physiques, un point critique pour réduire l'usure mécanique. Cela dit, les auteurs n'ont pas encore franchi le sim-to-real : l'ensemble des résultats reste en simulation, et le gap entre Webots et un vrai terrain reste à quantifier. Les robots bipèdes à roues constituent une classe en expansion : Unitree B2-W, l'ETH Zurich avec Ascento, ou encore les plateformes Handle/mobility de Boston Dynamics combinent la vitesse des roues avec la capacité de franchissement des pattes. Le planning de couple par optimisation bayésienne s'inscrit dans une tendance plus large qui vise à remplacer les contrôleurs MPC classiques, trop dépendants de modèles précis, par des méthodes d'optimisation légères adaptables à la production. Les auteurs annoncent comme prochaine étape la validation expérimentale sur robot physique en s'appuyant sur les trajectoires simulées pour réduire l'espace de recherche, ce qui devrait permettre de confirmer, ou non, la tenue des gains annoncés hors simulation.

UELes travaux pourraient intéresser les équipes de recherche européennes sur les robots bipèdes à roues (notamment ETH Zurich / Ascento), mais l'impact reste indirect, sans contribution ni déploiement européen identifié.

RecherchePaper

1 source

3arXiv cs.RO

Planification hiérarchique et contrôle des systèmes véhicule-manipulateur sous-marins en environnements confinés

Un article publié le 11 août 2026 sur arXiv (référence 2608.08871v1) présente MANTA, un cadre hiérarchique en trois couches pour la planification et le contrôle de systèmes véhicule-manipulateur sous-marins (UVMS) dans des environnements confinés et partiellement connus, comme des grottes, tubes ou structures subsea encombrées. La première couche identifie des corridors de passage praticables dans un espace de base réduit ; la deuxième optimise conjointement le mouvement du véhicule porteur et la trajectoire du bras pour produire une trajectoire combinée sans collision ; la troisième apprend, via l'algorithme MC-PILCO d'apprentissage par renforcement basé sur un modèle à processus gaussien, une politique de maintien de position pour le suivi de trajectoire et le maintien au poste. Le système détecte les changements de carte en cours d'exécution et déclenche une reprise ou une réparation d'itinéraire si le corridor choisi devient infaisable. Sur 120 requêtes de planification appariées, MANTA obtient un taux de réussite supérieur aux méthodes de référence par échantillonnage à état complet, avec des marges de dégagement plus larges, un mouvement de bras réduit, et des erreurs de suivi de position et de lacet plus faibles, y compris sur des trajectoires tubulaires inédites. Ce résultat s'attaque à un verrou concret de l'intervention sous-marine autonome : coupler la navigabilité d'un espace étroit à la faisabilité de manipulation, deux contraintes que les planificateurs existants traitent généralement de façon séparée. Pour les intégrateurs de robotique subsea, chargés d'inspection de pipelines ou de cartographie de grottes noyées, l'intérêt tient surtout à la frugalité en données réelles du module d'apprentissage, capable de produire une politique de contrôle robuste avec peu d'essais physiques, un atout décisif quand chaque test en mer est coûteux et risqué. Les comparaisons publiées portent toutefois sur des méthodes de planification académiques et des essais en environnement contrôlé, pas sur un produit commercial ni un déploiement en mer ouverte. Le travail s'inscrit dans la recherche en planification hiérarchique pour UVMS, un domaine où le couplage entre navigation confinée et manipulation limite depuis longtemps l'autonomie réelle des robots face aux grottes noyées ou aux conduites industrielles. La publication ne mentionne ni partenaire industriel, ni site de déploiement, ni acteur commercial concurrent : il s'agit d'une contribution académique en prépublication, sans calendrier de test en conditions réelles annoncé. Les auteurs présentent MANTA comme une base structurée et économe en données pour de futurs travaux sur l'intervention sous-marine sécurisée dans des environnements confinés et encombrés.

RecherchePaper

1 source

4arXiv cs.RO

Diffusion hybride pour la planification symbolique et continue simultanée

Des chercheurs ont publié sur arXiv (identifiant 2509.21983, version 2) une méthode baptisée "Hybrid Diffusion" qui combine génération de trajectoires continues et planification symbolique de haut niveau pour les robots accomplissant des tâches complexes et longues. Le constat de départ est empirique : les modèles de diffusion purement continus, pourtant plébiscités pour générer des trajectoires robotiques, échouent sur les tâches à long horizon. En pratique, ils confondent différents modes de comportement, enchaînant des séquences d'actions incompatibles qui provoquent des échecs en cascade. La solution proposée consiste à diffuser simultanément deux types de variables : des variables discrètes formant un plan symbolique de haut niveau, et des variables continues décrivant la trajectoire physique du robot. Ce double processus, mélange inédit de diffusion discrète et continue, surpasse significativement les baselines selon les auteurs, et permet également de conditionner la génération d'actions sur des conditions symboliques partielles ou complètes. Ce travail s'attaque au "long-horizon planning gap", un verrou fondamental de la robotique cognitive : l'incapacité des systèmes actuels à enchaîner de nombreuses étapes cohérentes. Les approches purement continues, notamment les Visual Language Action models (VLA), souffrent d'une absence de structure symbolique explicite, les rendant fragiles face aux tâches multi-étapes structurées. En générant conjointement un plan symbolique, le modèle maintient une représentation explicite de ce qu'il doit faire et dans quel ordre, réduisant les confusions de modes. Cela dit, le papier est un preprint arXiv non encore soumis à peer review ; les résultats sur robots physiques réels restent à valider de manière indépendante. Les modèles de diffusion pour la robotique ont émergé comme alternative à l'imitation learning classique, notamment via Diffusion Policy (Chi et al., 2023). Hybrid Diffusion s'inscrit dans une tendance combinant raisonnement symbolique (TAMP, planification PDDL) et apprentissage par données, un terrain également exploré par Google avec SayCan et RT-2, ainsi que par les architectures utilisant des LLM comme planificateurs de haut niveau couplés à des policies continues. La prochaine étape naturelle sera la validation sur plateformes physiques, manipulateurs industriels ou robots mobiles, dans des environnements non contrôlés, ce que ce travail, centré sur des expériences en simulation, ne démontre pas encore.

RecherchePaper

1 source