Étude des systèmes de contrôle à l'aide du langage et des outils différentiogéométriques sur des variétés : espaces d'états modélisés par des variétés, champs de vecteurs commandables, distributions, crochets de Lie et symétries de groupe pour analyser la contrôlabilité, l'observabilité, la stabilisation et le contrôle optimal en contexte non linéaire intrinsèque.

Principe

Utiliser des invariants géométriques (distributions, algèbres de Lie engendrées par les champs de contrôle, feuilletages, fibrés principaux) pour formuler des critères algébriques et topologiques (p. ex. condition de rang de l'algèbre de Lie, accessibilité, équivalence par retour d'état) déterminant les propriétés de contrôle indépendamment des coordonnées.

Démonstration

Analyse d'un robot à roues non holonome sur la variété de configuration R^2 × S^1 en utilisant les crochets de Lie pour montrer l'accessibilité lorsque les vitesses directes ne permettent pas certains mouvements ; le contrôle sur SO(3) exploite la structure de groupe pour la stabilisation d'attitude et évite les singularités des coordonnées locales.

Mauvaise application

Linéariser globalement ou traiter un système mécanique sur une variété comme s'il était euclidien peut faire manquer des obstructions topologiques (p. ex. impossibilité de stabilisation continue globale sur certaines variétés compactes) et produire des contrôleurs qui échouent hors de petits patchs de coordonnées.

Conséquence

Lorsque les méthodes géométriques sont correctement appliquées, les contrôleurs exploitent la structure intrinsèque conduisant à des résultats globaux ou presque globaux, une synthèse indépendante des coordonnées, une complexité de contrôleur minimale et des conditions nécessaires/suffisantes plus nettes pour la planification de trajectoire ou la stabilisation.

Inversion

La théorie classique du contrôle linéaire se concentre sur des approximations locales linéaires dans des espaces euclidiens et l'algèbre matricielle ; elle peut fournir des résultats locaux mais manquer les phénomènes non linéaires globaux et topologiques propres aux systèmes à valeurs sur des variétés.

Limite

Concerne principalement des systèmes déterministes lisses de dimension finie sur des variétés différentiables ; les systèmes stochastiques, le contrôle de PDEs infinis dimensionnels et les contrôleurs purement data‑driven en boîte noire peuvent nécessiter des cadres différents ou des outils géométriques/probabilistes supplémentaires.

Tension sémantique

Tension entre des critères géométriques indépendants des coordonnées et la tractabilité numérique : les conditions géométriques sont conceptuellement claires mais difficiles à vérifier numériquement ; tension également avec le contrôle basé uniquement sur l'optimisation qui ignore la structure et peut donner des solutions sous‑optimales ou non robustes.

Synthèse

La théorie du contrôle géométrique reformule les problèmes de commande intrinsèquement sur des variétés, en utilisant crochets de Lie, distributions et symétries pour obtenir des critères et des contrôleurs respectant la géométrie non linéaire du système.