RecherchearXiv cs.RO2j

Jacobien structuré pour l'optimisation du mouvement à dérivées temporelles d'ordre élevé dans les systèmes multi-corps

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

Des chercheurs ont publié sur arXiv (réf. 2605.15845) un framework analytique pour le calcul de Jacobiens dans les problèmes d'optimisation du mouvement de systèmes multi-corps articulés, typiquement robots humanoïdes ou modèles cinématiques humains. La contribution porte sur la prise en compte explicite des dérivées temporelles d'ordre élevé dans les fonctions de coût : au-delà de la position, vitesse et accélération, le jerk (dérivée troisième) ou la variation temporelle des forces sont des grandeurs pertinentes pour modéliser la fluidité du mouvement ou des comportements expressifs. Le framework dérive analytiquement les Jacobiens des quantités cinématiques et dynamiques (quantité de mouvement, forces, couples articulaires) par rapport aux coordonnées généralisées et leurs dérivées successives, en s'appuyant sur un formalisme dit de "comprehensive motion computation" qui exploite explicitement la structure en chaîne de la cinématique multi-segments.

L'apport concret face aux méthodes dominantes, différentiation numérique ou automatique via JAX, PyTorch ou CasADi, est double : gain en efficacité computationnelle et meilleure stabilité numérique, confirmés par les benchmarks présentés dans l'article. Ces outils génériques ignorent la topologie interne de la chaîne cinématique, ce qui génère du surcoût calculatoire à mesure que l'ordre des dérivées augmente. Par ailleurs, le framework est démontré en optimisation inverse : à partir de données de mouvement observé, il retrouve les poids de la fonction de coût d'origine, une capacité directement exploitable pour l'analyse de compétences motrices, l'imitation du geste humain ou la personnalisation de trajectoires robotiques.

Ce travail s'inscrit dans la continuité des efforts pour rendre l'optimisation du mouvement praticable en temps réel sur des architectures articulées complexes. Des bibliothèques comme Pinocchio, développée par l'équipe Gepetto du LAAS-CNRS et de l'INRIA en France, ou Drake du Toyota Research Institute adressent des problématiques voisines mais restent généralement limitées aux dérivées du second ordre. L'extension à des ordres arbitraires ouvre des perspectives pour les contrôleurs de robots expressifs et les systèmes d'imitation gestuelle. Point de vigilance : aucune validation sur robot physique n'est présentée à ce stade, les résultats demeurant purement numériques, et le passage à des applications embarquées temps-réel reste entièrement à démontrer.

Impact France/UE

Ce framework de Jacobiens analytiques pour dérivées d'ordre élevé pourrait enrichir des bibliothèques comme Pinocchio (LAAS-CNRS/INRIA), renforçant l'écosystème européen de planification de mouvement pour robots humanoïdes.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

COSMIC : optimisation simultanée de la structure, des matériaux et du contrôle intégré pour les systèmes robotiques

Des chercheurs ont publié sur arXiv (référence 2605.12654, mai 2026) COSMIC, un framework de co-conception par descente de gradient pour robots à treillis structurel (truss-lattice) qui optimise simultanément la topologie, la distribution des matériaux et la politique de contrôle. Contrairement aux approches classiques où structure, matériaux et contrôle sont conçus séquentiellement par des équipes distinctes, COSMIC intègre un contrôleur neuronal directement dans un simulateur différentiable, permettant le calcul automatique des gradients à travers l'ensemble du pipeline de conception. Les variables topologiques et matérielles, de nature mixte (discrètes et continues), sont encodées dans un espace continu, et une optimisation sous contraintes navigue un paysage de solutions hautement non-convexe. Les études de cas démontrent que le framework découvre systématiquement des stratégies de locomotion plus performantes que les approches à conception séparée, tout en s'adaptant à différentes conditions aux limites et exigences fonctionnelles. L'enjeu est fondamental : la quasi-totalité des systèmes robotiques actuels, des bras industriels aux humanoïdes, souffrent d'un déficit de co-conception hérité de la séparation des disciplines mécaniques, matériaux et contrôle. COSMIC s'attaque directement à ce que les biologistes observent depuis des décennies : dans la nature, morphologie et contrôle co-évoluent, et cette interaction produit des solutions inaccessibles à l'optimisation séparée. Pour les équipes R&D, l'approche par différentiation automatique ouvre la voie à des boucles de conception automatisées plutôt que manuelles, réduisant potentiellement les itérations de prototypage. La flexibilité annoncée vis-à-vis des conditions fonctionnelles suggère une applicabilité au-delà de la locomotion (reconfiguration, manipulation), mais ces affirmations restent à ce stade limitées à des validations en simulation. La co-conception robotique est un domaine actif depuis plusieurs années, avec des approches concurrentes issues de la robotique évolutionnaire (travaux de Josh Bongard, NEAT morphologique) et des frameworks différentiables comme DiffTaichi ou Brax de Google DeepMind. COSMIC se distingue par l'intégration simultanée des trois entités dans un cadre gradient unifié, là où la plupart des travaux existants n'en co-optimisent que deux. La lacune critique du papier est l'absence de validation hardware : les robots truss-lattice sont réputés difficiles à fabriquer et à contrôler physiquement, et le gap sim-to-real constitue l'obstacle majeur avant toute application industrielle. Les prochaines étapes annoncées concernent des comportements autonomes complexes, sans timeline ni partenaire industriel mentionnés.

RecherchePaper

1 source

2arXiv cs.RO

Optimisation bi-niveaux pour la planification du mouvement et des contacts dans les robots à jambes assistés par corde

Des chercheurs ont publié sur arXiv (2604.26910) un framework de planification pour robots à pattes assistés par câble, capables de grimper des surfaces verticales. Le système repose sur une optimisation bi-niveau qui résout un problème mixte entier-continu : au niveau supérieur, la méthode Cross-Entropy sélectionne les régions de terrain viables pour l'appui des membres ; au niveau inférieur, une optimisation non linéaire à gradient calcule les mouvements dynamiquement réalisables, en optimisant simultanément les tensions du câble, les forces exercées par les pattes, et la localisation précise des points de contact. L'approche est validée sur une plateforme expérimentale inédite baptisée ALPINE, testée sur plusieurs configurations de terrain difficiles. L'intérêt principal réside dans la décomposition du problème de planification de contact sur surfaces verticales, longtemps considéré comme computationnellement intractable pour les robots à pattes. Le schéma bi-niveau sépare la sélection discrète des zones d'appui de l'optimisation continue des forces et trajectoires, rendant le problème soluble en temps raisonnable. Pour les concepteurs de robots d'inspection d'infrastructure, de maintenance en hauteur ou de recherche en milieu confiné vertical, cette architecture offre un cadre de planification là où les AMR à roues sont inopérants. La robotique grimpante reste un domaine de niche en progression. Les approches antérieures reposaient principalement sur des ventouses, des griffes ou des systèmes d'escalade fortement contraints géométriquement. L'hybridation câble-pattes ouvre une voie potentiellement plus adaptable aux surfaces irrégulières. ETH Zurich via ANYbotics, le MIT et Boston Dynamics ont exploré la locomotion en terrain difficile, mais sans assistance câble active intégrée dans la boucle de planification. ALPINE constitue donc une contribution expérimentale distincte, même si le papier reste un preprint sans validation industrielle ni déploiement annoncé.

RecherchePaper

1 source

3arXiv cs.RO

Cadre QUBO pour l'optimisation de conception de robots par structure cinématique : étude de cas sur une main robotique

Des chercheurs ont publié sur arXiv (2605.15510, mai 2026) un cadre de formulation QUBO, optimisation binaire quadratique sans contraintes, pour automatiser la sélection de structures cinématiques lors de la conception de robots. L'étude de cas retenue est une main robotique : un problème à 27 variables binaires, où chaque doigt est choisi parmi plusieurs variantes cinématiques candidates. Le modèle quadratique unifie quatre composantes : récompenses individuelles de design, interactions de workspace partagé entre doigts adjacents, contraintes one-hot (un seul module sélectionnable par articulation), et pénalités de dépendance structurelle. Les métriques cinématiques sont calculées classiquement en amont via simulation ; le problème combinatoire résultant est ensuite soumis à un recuit simulé, utilisé ici comme baseline classique pour valider la formulation, puis à un recuit quantique. Les résultats montrent que des combinaisons feasibles satisfaisant simultanément contraintes one-hot et contraintes par paires sont bien retrouvées, avec une plage de valeurs objectif qui se resserre lorsque le nombre de lectures augmente. Ce travail adresse un goulot réel dans la conception de robots modulaires : l'espace de design croît exponentiellement avec le nombre de sous-systèmes, rendant la recherche exhaustive ou par gradient impraticable au-delà de quelques dizaines de degrés de liberté. En reformulant le problème en QUBO, les auteurs ouvrent la voie à des solveurs de recuit quantique, disponibles commercialement via D-Wave, pour explorer des espaces de grande dimension. Il s'agit cependant d'une démonstration de faisabilité, pas d'un déploiement industriel : les 27 variables du problème test restent accessibles aux solveurs classiques, et l'article ne benchmarke pas directement les deux approches. Pour les équipes R&D en robotique, l'intérêt est avant tout méthodologique : disposer d'un pipeline structuré pour convertir des critères cinématiques hétérogènes (payload, dextérité, encombrement) en combinatoire standardisé compatible hardware quantique. L'optimisation de design de robots modulaires est un champ actif, porté notamment par des laboratoires comme MIT CSAIL, ETH Zurich, ou l'INRIA côté européen. L'application du calcul quantique à la robotique reste marginale mais progresse : plusieurs équipes explorent le QUBO pour la planification de trajectoires ou l'allocation de tâches multi-robots. Ce papier étend l'approche à la phase de conception elle-même, en amont de la chaîne. La prochaine étape naturelle serait de valider la formulation sur des problèmes à 50 variables ou plus, avec un benchmarking rigoureux contre des solveurs classiques compétitifs comme CPLEX ou Gurobi, exercice que les auteurs n'ont pas encore mené.

RecherchePaper

1 source

4arXiv cs.RO

FUSE : un cadre unifié pour l'estimation d'état dans les systèmes SLAM robotiques

Une équipe de chercheurs a publié sur arXiv (référence 2605.18047) FUSE, un cadre logiciel pour l'estimation d'état unifiée dans les systèmes SLAM robotiques. Le problème adressé est structurel : les architectures SLAM à couplage serré lient dans un même bloc monolithique le traitement temporel, l'association géométrique locale, la formulation de l'estimateur et la politique de mise à jour de carte, rendant toute modification d'un composant coûteuse. FUSE propose quatre interfaces standardisées (ingestion d'observations, propagation, mise à jour, requête d'état) pour séparer ces responsabilités. L'instanciation LiDAR-IMU a été évaluée sur une séquence corridor bouclée de 418 m et produit une erreur de trajectoire de 1,626 m bout en bout, soit une réduction relative de 7,9 % par rapport à Faster-LIO, meilleure référence sur cette séquence. Le gain de 7,9 % reste modeste, mais l'intérêt principal de FUSE est architectural. Découpler proprement les choix de conception dans un pipeline SLAM permet de changer l'estimateur, adapter la cadence de mise à jour ou intégrer un nouveau type de capteur sans réarchitecturer l'ensemble du système. Pour les intégrateurs d'AMR ou les équipes de navigation industrielle, cela réduit significativement le coût de portage entre plateformes. La gestion explicite de la dégénérescence directionnelle constitue un point technique concret : en environnement corridor, le LiDAR ne perçoit pas de contraintes suffisantes dans l'axe latéral, rendant l'estimation instable. FUSE intègre un mécanisme de correction adaptatif ciblant ces directions faiblement observables, un problème rarement traité proprement dans les frameworks publics existants. Le SLAM LiDAR-IMU est un domaine très concurrentiel. Les références académiques dominantes incluent FAST-LIO2 et Faster-LIO (équipe Cai, HKUST) ainsi que LIO-SAM (Shan et al., MIT). Dans l'industrie, des fournisseurs comme Exotec (France) ou MiR intègrent des stacks de localisation dérivées de ces travaux dans leurs flottes d'AMR. FUSE ne cherche pas à battre ces systèmes sur les benchmarks de performance pure, mais à proposer une abstraction permettant de composer des composants algorithmiques de façon indépendante. Il s'agit d'une prépublication arXiv sans code public annoncé à ce stade, ce qui en fait pour l'instant une contribution académique à valider plutôt qu'un outil industriel prêt à l'emploi. La suite logique serait une mise à disposition open-source permettant de tester des instanciations alternatives, radar ou RGB-D, à travers les mêmes interfaces standardisées.

UEExotec (France) est cité comme exemple d'intégrateur AMR susceptible de bénéficier de l'abstraction architecturale proposée ; une mise à disposition open-source de FUSE réduirait le coût de portage SLAM pour les équipes de navigation industrielle européennes.

RecherchePaper

1 source