Modular Lie Algebraic PDE Control of Multibody Flexible Manipulators

Résumé Technique : Commande Modulaire par Algèbre de Lie des Équations aux Dérivées Partielles pour Manipulateurs Flexibles Multicorps

Énoncé du Problème
L'article aborde le défi fondamental de commande posé par les systèmes robotiques multicorps flexibles, spécifiquement les manipulateurs série avec un nombre arbitraire de liaisons opérant dans un espace tridimensionnel. Ces systèmes présentent deux phénomènes dynamiques couplés : un mouvement de corps rigide de grande amplitude évoluant sur le groupe de Lie $SE(3)$ et une déformation élastique spatialement distribuée régie par des équations aux dérivées partielles (EDP). Les stratégies de commande existantes font face à des limitations significatives :

1. Approximations de dimension finie : Les méthodes utilisant des modes supposés ou des éléments finis introduisent des erreurs de troncature et une instabilité de débordement, où la dynamique haute fréquence non modélisée déstabilise le système en boucle fermée.
2. Linéarisation : Les approches qui linéarisent la cinématique du corps rigide restreignent leur validité aux conditions de petits déplacements, échouant à capturer les non-linéarités géométriques inhérentes aux grands mouvements.
3. Évolutivité : Bien que la commande par frontière basée sur les EDP soit établie pour des corps flexibles uniques, étendre ces méthodes à des chaînes de liaisons flexibles est difficile. Les articulations holonomes couplant les liaisons adjacentes introduisent des forces de contrainte qui compliquent l'assemblage d'un certificat de stabilité global à partir de résultats individuels par liaison. De plus, la littérature existante se concentre largement sur une ou deux liaisons, manquant d'une procédure de synthèse évolutive pour un $n$ arbitraire.

Méthodologie
Les auteurs proposent un cadre de commande basé sur les sous-systèmes, ancré dans la théorie des vis et les structures d'algèbre de Lie ($se(3)$ et $se^*(3)$). La méthodologie procède en quatre étapes distinctes :

1. Modélisation par Théorie des Vis : La dynamique de chaque liaison flexible est modélisée comme un continuum d'éléments infinitésimaux. Le mouvement de corps rigide, la déformation élastique et les forces de contrainte inter-liaisons sont uniformément exprimés comme des torseurs de corps et des torseurs de forces duaux dans la structure $se(3)$. Le champ de déformation est régi par une EDP de type poutre d'Euler-Bernoulli, préservant la nature de dimension infinie du système sans discrétisation spatiale préalable.
2. Dérivation d'une Forme Commandable : Une étape clé consiste à substituer l'EDP de déformation basée sur la déformation dans l'équation dynamique. Cela élimine le terme d'accélération élastique distribuée, produisant une forme commandable où la dynamique est régie uniquement par l'accélération du torseur de corps et le champ de déformation. Le modèle résultant est affine en l'accélération, le rendant apte à une conception de rétroaction basée sur le modèle.
3. Génération de Références : Des trajectoires de torseur de sous-système désirées sont générées à partir d'une trajectoire d'extrémité dans l'espace tâche en utilisant une procédure de cinématique inverse compensant la déflexion. Ce processus évalue le champ de déformation de l'extrémité à l'extrémité de la liaison pour fournir une correction en temps réel à la référence de corps rigide, garantissant que la cible dans l'espace articulaire tient compte des états élastiques actuels.
4. Commande par Sous-Système et Stabilité :
   • Contrôleur Nominal : Un contrôleur est conçu pour chaque liaison en utilisant une fonction de Lyapunov par sous-système. La dérivée temporelle de cette fonction contient des termes de puissance d'interaction aux frontières résultant des torseurs de forces inter-liaisons.
   • Stabilité au Niveau du Système : En sommant les fonctions de Lyapunov sur toutes les liaisons, les termes de puissance d'interaction s'annulent par télescopage. Cette annulation est exacte grâce à la troisième loi de Newton et à l'invariance de repère de l'appariement de puissance naturel sur $se(3) \times se^*(3)$. Cela établit la convergence exponentielle des erreurs de suivi de torseur pour l'ensemble de la chaîne sans nécessiter de preuve de stabilité monolithique.
   • Extension Adaptative : Pour gérer l'incertitude paramétrique (par exemple, densité, rigidité), une modification adaptative remplace les paramètres exacts par des estimations en ligne. Une loi d'adaptation basée sur la projection garantit que les estimations restent dans les bornes physiques. La preuve de stabilité est étendue pour montrer la convergence exponentielle des erreurs de torseur et des erreurs d'estimation de paramètres.

Contributions Clés

• Cadre de Commande Modulaire par EDP : L'article présente le premier cadre de commande évolutif et basé sur les sous-systèmes pour les manipulateurs flexibles multicorps qui conserve la dynamique exacte de déformation par EDP sans discrétisation spatiale.
• Synthèse par Algèbre de Lie : En utilisant des représentations par théorie des vis, le cadre retrouve une structure d'algèbre linéaire pour le couplage inter-liaisons. Cela permet d'assembler la carte dynamique directe algébriquement plutôt que par des compositions non linéaires imbriquées, permettant l'automatisation pour des longueurs de chaîne arbitraires.
• Annulation Exacte des Interactions : La structure par théorie des vis sert de mécanisme qui rend l'annulation des termes d'interaction inter-liaisons exacte. Cela permet au certificat de stabilité d'être modulaire (prouvé par sous-système) et évolutif, évitant le besoin d'une analyse complexe des termes croisés dans la preuve de stabilité globale.
• Commande Adaptative par EDP : Le travail étend le cadre pour inclure la commande adaptative, prouvant la convergence exponentielle des erreurs d'estimation de paramètres tout en maintenant la stabilité du système, même en présence de paramètres physiques incertains.

Résultats
Le schéma de commande proposé, nommé Commande par Algèbre de Lie Modulaire des EDP basée sur les Sous-Systèmes (SLPC), a été validé par une simulation numérique d'un manipulateur flexible à deux liaisons (une rigide, une flexible) exécutant une trajectoire circulaire spatiale. L'étude a comparé le SLPC à un contrôleur basé sur le torseur (TBC) sans précommande basée sur le modèle et à un contrôleur PD naïf dans l'espace articulaire.

• Performance de Suivi : Le SLPC a démontré un suivi d'extrémité supérieur et une convergence des angles articulaires par rapport au TBC et au PD, en particulier pendant les phases transitoires où les termes d'inertie et de Coriolis sont significatifs. L'annulation de précommande basée sur le modèle dans le SLPC a réduit la dépendance à la rétroaction pour corriger les retards dynamiques.
• Adaptation des Paramètres : Le contrôleur adaptatif a identifié avec succès les effets paramétriques dominants (inertie et rigidité) à partir d'estimations initiales incertaines, convergeant vers les valeurs réelles dans l'horizon de la simulation tout en maintenant la stabilité du système.
• Surveillance de la Déformation : L'approche basée sur les EDP a fourni le champ complet de déformation spatio-temporelle à chaque échantillon sans la surcharge de discrétisation par la Méthode des Éléments Finis (MEF), confirmant la bornitude de la déformation élastique comme prédite par l'analyse théorique.

Signification
L'article affirme que la structure géométrique par théorie des vis n'est pas simplement une commodité de modélisation mais le mécanisme essentiel qui permet une analyse de stabilité modulaire, évolutive et exacte pour les systèmes multicorps flexibles. En traitant les torseurs d'interaction comme des variables algébriques structurées plutôt que comme des perturbations agrégées, le cadre permet d'établir la stabilité d'une chaîne à $n$ liaisons par des arguments par sous-système. Cela élimine la surcharge analytique de la redérivation des preuves de stabilité pour chaque nouvelle configuration de système et fournit une fondation rigoureuse pour le contrôle de systèmes flexibles de dimension infinie dans un espace tridimensionnel. Le travail comble le fossé entre la théorie de la commande par EDP et la dynamique multicorps par algèbre de Lie, offrant une solution physiquement cohérente et implémentable pour le contrôle haute fidélité des manipulateurs flexibles.