Hybrid system

Aussi appelé: hybrid dynamical system
Catégorie: Control › Feedback control
Mots-clés: dynamics, hybrid-dynamics, contact, locomotion, optimal-control

Un système dynamique qui combine une dynamique continue et des commutations discrètes entre modes, comme un robot à pattes alternant appui et vol, ou une main qui établit et rompt un contact.

Définition

Un système hybride (hybrid system) a un état qui évolue continûment à l'intérieur de chacun de plusieurs modes discrets et saute d'un mode à l'autre lorsque certaines conditions sont remplies. Chaque mode a sa propre dynamique continue, généralement des équations différentielles. Une garde (guard), surface ou région de l'espace d'état, déclenche une transition lorsque l'état l'atteint, et une application de réinitialisation (reset map) donne l'état juste après la transition, qui peut être discontinu. Un exemple classique est une balle qui rebondit : le vol libre est le mode, la garde est l'arrivée de la balle au sol en mouvement descendant, et la réinitialisation inverse la vitesse verticale et la réduit.

Les robots regorgent de comportements hybrides. Un robot marcheur change de dynamique chaque fois qu'un pied touche le sol ou le quitte, et les impacts provoquent des variations de vitesse quasi instantanées. Un manipulateur qui pousse un objet alterne entre contact adhérent et contact glissant. Un aéronef VTOL passe du vol stationnaire à la transition puis au vol de croisière, chacun avec une aérodynamique différente. La logique discrète d'un contrôleur, comme une machine à états qui change de comportement, rend aussi le système en boucle fermée hybride.

Les sauts discrets mettent en défaut les outils qui supposent une dynamique lisse. La sensibilité d'une trajectoire à ses conditions initiales ou à ses commandes change brutalement à la traversée d'une garde, et la matrice de saltation (saltation matrix) donne la linéarisation correcte à travers une réinitialisation. Les méthodes d'optimisation traitent les systèmes hybrides de plusieurs façons : en fixant la séquence de modes et en optimisant chaque phase avec sa durée comme variable, en codant les choix de mode par des variables entières dans des programmes en nombres entiers mixtes ou, pour le contact, par des formulations à contact implicite qui expriment la commutation au moyen de contraintes de complémentarité. L'analyse de stabilité des comportements périodiques comme les démarches utilise des applications de Poincaré, et certains modèles présentent un comportement de Zénon, un nombre infini de commutations en temps fini, contre lequel les simulateurs doivent se prémunir.

Pourquoi c'est important

La locomotion, la manipulation et de nombreux véhicules volants sont hybrides. Les traiter comme lisses conduit à des contrôleurs et des optimiseurs qui échouent aux instants de commutation ; reconnaître la structure hybride détermine donc quels outils de planification, d'estimation et de stabilité sont valides.

Applications principales

Planification et commande de la locomotion à pattes
Planification de manipulation riche en contacts
Commande d'aéronefs VTOL et à transition
Analyse de stabilité des démarches périodiques
Vérification de robots pilotés par des machines à états de supervision

En pratique

Une équipe qui développe un robot sauteur à une jambe le modélise comme un système hybride. En mode vol, le corps suit une dynamique balistique ; en mode appui, il suit une dynamique de jambe à ressort. La garde de toucher du sol se déclenche quand le pied atteint le sol, la garde de décollage quand le ressort de la jambe revient à sa longueur au repos, et la réinitialisation au toucher retire la vitesse perdue dans l'impact du pied. L'équipe fixe la séquence de modes et optimise la trajectoire d'appui avec les durées des phases. Pour linéariser le mouvement en vue d'un contrôleur stabilisant, elle utilise la matrice de saltation au toucher plutôt que des différences finies à travers l'événement, et en simulation elle utilise la détection d'événements pour localiser précisément les traversées de garde, car un intégrateur à pas fixe qui manque l'instant exact du contact introduit des erreurs.

Idées reçues

Hybride signifie combiner deux méthodes de commande — en dynamique, cela signifie une évolution continue mêlée de commutations discrètes de mode, sans rapport avec la commande hybride position/force ni avec les motorisations électriques hybrides
On peut lisser les commutations sans conséquence — le lissage peut aider les optimiseurs, mais il modifie le modèle, et les impacts et les transitions adhérence-glissement demandent toujours de l'attention dans le contrôleur final
Les systèmes hybrides sont rares en dehors des robots à pattes — tout robot qui établit ou rompt un contact, ou qui exécute un contrôleur à changement de mode, est hybride

Qui devrait le savoir

Ingénieurs en commande de robots à pattes
Chercheurs en planification de manipulation
Ingénieurs travaillant sur les aéronefs à transition
Développeurs de simulation qui implémentent la gestion des contacts et des événements

Technologies associées

Automates hybrides (Hybrid Automata)
Matrice de saltation (Saltation Matrix)
Application de Poincaré (Poincaré Map)
Contraintes de complémentarité (Complementarity Constraints)
Détection d'événements dans les solveurs d'EDO (Event Detection in ODE Solvers)

Termes associés

Projets associés

Open Duck Mini V2: An open-source mini duck robot you 3D-print and build, inspired by Disney's BDX droid
Drake: MIT robotics toolbox for model-based dynamics, optimization, and control system design
mjlab: Isaac Lab API on top of GPU-accelerated MuJoCo Warp for RL and robotics research
ROBOTO ORIGIN: RoboParty's open-source 1.25 m bipedal humanoid with 23 DOF and a full assembly manual
ASAP: Sim-to-real framework for agile humanoid whole-body skills using delta action models
Berkeley Humanoid Lite: Open-source sub-$5K humanoid robot with 3D-printed gearboxes and full sim-to-real pipeline

Wikipédia

Système hybride