Aller au contenu principal
Planification neuro-symbolique à base d'agents et mise en service pour la robotique industrielle avec humain dans la boucle et jumeaux numériques
RecherchearXiv cs.RO 

Planification neuro-symbolique à base d'agents et mise en service pour la robotique industrielle avec humain dans la boucle et jumeaux numériques

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

Une équipe de chercheurs publie sur arXiv (2606.08214) un cadre neuro-symbolique agentique pour la robotique industrielle avec supervision humaine en boucle. Le système hybride confie aux grands modèles de langage (LLM) uniquement les tâches de compréhension du langage naturel et de raisonnement contextuel, tandis que la vérification des contraintes physiques, le séquençage des actions et l'exécution restent entièrement déterministes. L'architecture, baptisée Specifier-Designer-Inspector (SDI), adapte le patron logiciel Planner-Generator-Evaluator (PGE) à la robotique industrielle et s'appuie sur LangGraph pour le routage dynamique en cas d'échec. Un mécanisme de récupération à deux niveaux distingue les échecs structurels (replanification contextuelle) des échecs géométriques à l'exécution (primitives déterministes de correction). Un jumeau numérique sous Unity3D permet à l'opérateur d'inspecter, modifier et valider le plan avant tout déploiement physique. Testé sur des commandes en langage naturel face à dix systèmes de référence, le framework SDI obtient le meilleur taux de réussite sur l'ensemble des niveaux de difficulté évalués.

L'intérêt industriel de cette approche tient à son pragmatisme architectural : plutôt que de confier aux LLM la garantie de faisabilité physique d'une trajectoire, le système délègue cette responsabilité à des composants symboliques vérifiables et auditables. C'est une réponse directe au "demo-to-reality gap" qui fragilise de nombreux projets fondés sur des VLA (Vision-Language-Action models) ou des politiques neurales pures. Pour les intégrateurs et les COO industriels, la présence du jumeau numérique comme étape obligatoire de validation avant exécution réduit concrètement le risque opérationnel lors du commissionnement de nouvelles cellules robotiques, en donnant à l'opérateur un droit de regard explicite sur chaque plan généré.

Ce travail prolonge une tradition de planification neuro-symbolique héritée de STRIPS et des HTN (Hierarchical Task Networks), en y intégrant les LLM pour l'interprétation des intentions opérateur. Il se positionne en contrepied des approches end-to-end actuellement dominantes, notamment pi-0 de Physical Intelligence, GR00T N2 de NVIDIA, ou Helix de Figure AI, qui misent sur des politiques entraînées en imitation ou en renforcement sans couche symbolique intermédiaire. La publication reste un preprint non encore évalué par les pairs, ce qui invite à la prudence sur les benchmarks annoncés : aucune métrique de temps de cycle en conditions industrielles réelles n'est fournie, et les commandes testées restent dans un cadre expérimental contrôlé. Aucun déploiement commercial ni partenariat industriel n'est annoncé à ce stade.

À lire aussi

ForceTwin : jumeaux numériques physiques pour la manipulation robotique à partir d'interactions humaines instrumentées
1arXiv cs.RO 

ForceTwin : jumeaux numériques physiques pour la manipulation robotique à partir d'interactions humaines instrumentées

Des chercheurs ont publié le 21 septembre 2026 sur arXiv (référence 2609.21751) un système baptisé ForceTwin, conçu pour créer des jumeaux numériques d'objets articulés, portes, tiroirs, mécanismes à ressort, intégrant leurs propriétés physiques réelles plutôt que de simples données visuelles. La méthode repose sur une pince instrumentée à capteur de force, manipulée par un humain, qui enregistre simultanément positions et forces d'interaction. Ces données permettent d'estimer l'articulation de l'objet et ses paramètres dynamiques : inertie, friction de Coulomb, amortissement visqueux, plus un résidu neuronal structuré capturant les forces de mécanisme dépendantes de l'état, comme un ressort ou un ferme-porte. ForceTwin réduit de près de moitié l'erreur d'estimation des paramètres inertiels par rapport à une méthode s'appuyant sur un modèle vision-langage (VLM) comme a priori. Intégré comme modèle dynamique feedforward dans un contrôle en impédance, le système a été testé sur un robot quadrupède Spot (Boston Dynamics) et un bras Franka FR3 (Franka Robotics, Allemagne), atteignant 87% de réussite sur neuf paires objet-robot, contre 60% pour l'approche VLM et 57% pour un jumeau purement cinématique. Les jumeaux identifiés ont ensuite servi à entraîner des politiques de franchissement de porte en corps entier, déployées en conditions réelles. Cette approche cible un angle mort des pipelines actuels de jumeaux numériques, qui se contentent souvent d'inférer la géométrie et d'assigner des paramètres physiques statiques à partir d'a priori visuels ou textuels, une méthode pouvant produire des estimations physiquement incohérentes : deux portes visuellement identiques peuvent demander un effort de manipulation très différent, une nuance invisible pour un modèle vision-langage mais critique pour un robot devant réellement pousser, tirer ou tourner un mécanisme. Pour les intégrateurs et les équipes R&D en manipulation robotique, l'écart de performance observé, particulièrement marqué sur les objets à mécanisme fort où les deux méthodes de référence calent, indique que la modélisation physique fine reste un verrou plus contraignant que la perception ou la planification pour la manipulation d'objets articulés en environnement réel. Cela nuance l'idée selon laquelle les modèles vision-langage-action suffiraient à généraliser la manipulation sans modèle physique explicite du mécanisme manipulé. ForceTwin s'inscrit dans la lignée des travaux sur les jumeaux numériques articulés en robotique, où la difficulté centrale est de capturer la dynamique sans instrumenter lourdement chaque objet du monde réel. Le système se positionne explicitement contre deux références répandues dans la littérature et les pipelines industriels de simulation : l'estimation par a priori vision-langage et les jumeaux purement cinématiques. La validation a été menée sur du matériel commercial existant, Spot et Franka FR3, plutôt que sur des plateformes propriétaires fermées, ce qui facilite une reproductibilité potentielle par d'autres laboratoires. La suite annoncée porte sur le déploiement de politiques de franchissement de porte en corps entier, une tâche souvent citée comme test de référence pour la mobilité et la manipulation combinées chez les robots humanoïdes et quadrupèdes équipés de bras.

UELe bras robotique Franka FR3 utilisé pour valider le système est produit par l'entreprise allemande Franka Robotics, seul lien concret de cette recherche avec l'écosystème européen.

RecherchePaper
1 source
You Don't Restez Pas dans la Boucle : une Boucle Robotique à Base d'Agents pour Améliorer les Politiques Robotiques
2arXiv cs.RO 

You Don't Restez Pas dans la Boucle : une Boucle Robotique à Base d'Agents pour Améliorer les Politiques Robotiques

Un article de recherche publié sur arXiv (arXiv:2608.07555v1, intitulé "You Don't Need To Stay in The Loop: An Agentic Robotics Loop for Robot-Policy Improvement") présente AgenticRobotics, une architecture de contrôle indépendante du backend pour automatiser l'amélioration des politiques robotiques. Le système transpose à la robotique l'architecture des agents de codage type Claude Code ou Codex, où un agent principal pilote la boucle pendant que des sous-agents exécutent les tâches via des outils. Ici, un contrôleur LLM dirige des workers jetables à travers des transactions entraîner-évaluer-améliorer, avec cinq briques: un objectif immuable, une mesure détenue par le contrôleur, une récupération après crash indexée par commit, une bibliothèque de compétences graduée par preuves, et un registre d'outils à surface d'appel standardisée et enregistrée. Sur la lignée testée par les auteurs, le taux de fausse promotion tombe à 0,001 par run en version durcie contre 0,005 à 0,021 en version de base, les décisions restent valides à tout moment sous arrêt optionnel, aucun effet n'est perdu ou dupliqué sous injection de pannes, et un vérificateur signé détecte les six classes de falsification d'artefacts testées. Le point de départ est que les outils robotiques (politiques entraînées, pipelines d'entraînement, collecte de données) échouent régulièrement, contrairement aux outils logiciels des agents de codage: AgenticRobotics mesure donc et enregistre la qualité de chaque outil à chaque appel, et l'expire dès que l'artefact sous-jacent change. Les auteurs précisent que le titre est une revendication opérationnelle et non une revendication de performance: l'opérateur humain peut quitter la boucle parce que la promotion des candidats est conditionnée à des preuves et que l'état du système est récupérable, pas parce que la boucle sélectionne de meilleurs checkpoints qu'un humain. Sur la lignée testée, ce n'est d'ailleurs pas le cas. Pour les intégrateurs et responsables R&D en robotique, l'intérêt n'est donc pas un gain de performance des politiques mais une réduction mesurable du risque opérationnel lors de cycles d'amélioration continue à grande échelle, une distinction utile face aux discours qui assimilent automatisation de la supervision et automatisation de la décision de qualité. Le travail prolonge explicitement les architectures d'agents de codage popularisées par Claude Code (Anthropic) et Codex (OpenAI), adaptées ici au contexte des politiques robotiques apprenantes, où les pipelines d'entraînement produisent des artefacts instables et coûteux à valider. En présentant AgenticRobotics comme un plan de contrôle indépendant du backend, les auteurs visent une architecture générique plutôt que liée à un fournisseur ou une pile logicielle unique. L'article ne mentionne ni déploiement industriel ni partenariat commercial: il s'agit d'une contribution de recherche évaluée sur une seule lignée expérimentale de politique, ce qui limite pour l'instant la portée des résultats. Les suites logiques, non détaillées dans cette publication, porteraient sur l'extension à davantage de lignées de politiques et de backends robotiques afin de confirmer la généralité des garanties de sécurité et de traçabilité mises en avant.

RecherchePaper
1 source
Exploiter des démonstrations humaines en boucle dans l'apprentissage par renforcement pour la flexibilité des robots pilotés par jumeau numérique
3arXiv cs.RO 

Exploiter des démonstrations humaines en boucle dans l'apprentissage par renforcement pour la flexibilité des robots pilotés par jumeau numérique

Des chercheurs proposent un cadre d'entraînement en ligne « human-in-the-loop » qui combine jumeau numérique (DT), apprentissage par renforcement (RL) et démonstrations humaines, publié sur arXiv (2610.12140). Contrairement aux jumeaux numériques classiques, surtout employés pour générer des données synthétiques avant l'exécution d'une tâche, celui-ci est synchronisé en temps réel avec le système physique grâce à des flux caméra. Le robot virtuel met ainsi à jour ses observations et sa politique à partir du retour du monde réel. Une architecture à double acteur (« dual actor ») intègre l'apprentissage par imitation sans ajouter de perte d'imitation directe à l'acteur RL, de sorte que les démonstrations guident l'adaptation au lieu d'une reprogrammation manuelle. La démonstration repose sur un bras collaboratif Ufactory xArm5 (5 axes), dont l'effecteur doit atteindre une position cible en évitant des obstacles. Les résultats portent sur deux points. Le cadre peut reprendre l'entraînement après une modification de l'espace de travail physique, sans repartir de zéro. Avec un jeu fixe de démonstrations non optimales, l'architecture à double acteur atteint un taux de succès final nettement supérieur à celui de deux méthodes qui ajoutent une perte d'imitation à l'acteur. Le même schéma se confirme avec de vraies démonstrations humaines recueillies en réalité virtuelle (VR). Lorsque ces démonstrations n'atteignent jamais le but, le double acteur obtient 83 à 100 % de succès moyen en évaluation déterministe, contre 0 à 17 % pour les deux méthodes à perte d'imitation. Les auteurs ne précisent pas dans ce résumé le nombre d'essais, de graines aléatoires ou de démonstrations, ce qui invite à la prudence sur la robustesse statistique de l'écart. L'enjeu concerne les intégrateurs et les responsables d'atelier. Les cobots évoluent dans des environnements de plus en plus variables, et le coût de reprogrammation à chaque changement de poste ou d'obstacle freine leur rentabilité. L'étude suggère qu'une démonstration imparfaite, donnée par un opérateur non expert, peut orienter l'apprentissage sans le contaminer, alors que l'imitation forcée dégrade la politique quand l'exemple est mauvais. Cela vise un problème pratique du déploiement : on dispose rarement de démonstrations parfaites. À nuancer toutefois : la tâche est une simple atteinte de cible avec évitement d'obstacles sur un bras à 5 axes, loin de la manipulation fine, des tâches à contact ou des cadences industrielles. Aucune comparaison avec des modèles généralistes de type VLA n'est avancée, et le passage à l'échelle reste à démontrer. Le travail s'inscrit dans la convergence entre jumeaux numériques, RL et apprentissage par démonstration, où le problème du transfert simulation-réel (sim-to-real) reste central. Ici, la synchronisation continue par caméra réduit cet écart en remettant à jour le modèle virtuel plutôt qu'en le figeant avant le déploiement. Le xArm5 de Ufactory est une plateforme de recherche abordable, et la collecte en VR abaisse la barrière pour les opérateurs. Les prochaines étapes logiques seraient des tâches de manipulation avec contact, des environnements dynamiques plus complexes et des essais en conditions industrielles, qu'aucun pilote annoncé ne couvre à ce stade. Il s'agit d'une publication préliminaire (v1), non évaluée par les pairs.

RecherchePaper
1 source
PanelShield : planification sécurisée en boucle fermée et vérifiable pour la manipulation de panneaux industriels par un robot
4arXiv cs.RO 

PanelShield : planification sécurisée en boucle fermée et vérifiable pour la manipulation de panneaux industriels par un robot

Une équipe de recherche présente PanelShield, un framework de planification robotique vérifiable pour l'opération de panneaux de contrôle industriels, dans un article publié sur arXiv le 28 août 2026 (arXiv:2608.28305v1). Le système génère des séquences d'actions paramétrées à partir de manuels d'opération, puis applique une double vérification formelle, logique temporelle linéaire (LTL) et machine à états finis de sécurité, pour contrôler la cohérence entre étapes et la légalité de chaque transition. En cas de violation, il produit un contre-exemple structuré signalant l'étape fautive la plus précoce et sa cause, permettant une correction ciblée puis une nouvelle vérification. Testé sur un benchmark maison couvrant trois types de panneaux industriels, en simulation et sur robot réel, PanelShield ramène le taux de violation à 2,7 % pour une latence totale de 4,1 secondes, avec de meilleures performances que des planificateurs basés uniquement sur des modèles fondation. L'enjeu dépasse la prouesse technique. Les planificateurs basés sur des modèles fondation, notamment les architectures vision-langage-action, montrent une forte capacité à interpréter des instructions et générer des actions, mais manquent de mécanismes calculables et auditables pour détecter et corriger les violations de règles de sécurité. Sur l'opération de tableaux de contrôle industriels, cette lacune est critique : une erreur de séquence peut avoir des conséquences physiques immédiates. En ajoutant une couche de vérification formelle au-dessus de la génération par IA, PanelShield illustre une piste pour combler l'écart entre démonstrations de robots pilotés par des modèles de langage et déploiement fiable en environnement réglementé, un prérequis pour les intégrateurs devant certifier leurs systèmes dans l'énergie ou la manufacture. Ce travail s'inscrit dans la recherche visant à rendre les planificateurs de robots basés sur des modèles de fondation plus fiables et traçables, alors que ces systèmes restent surtout démontrés en simulation ou en laboratoire plutôt que déployés en usine. Aucun partenaire industriel ni calendrier de pilote n'est mentionné : l'article reste à ce stade une contribution de recherche évaluée sur un benchmark maison et des expériences robotiques limitées à trois familles de panneaux. Les auteurs présentent PanelShield comme une approche équilibrant flexibilité, sécurité et auditabilité, ouvrant la voie à une extension vers d'autres équipements industriels.

RecherchePaper
1 source