Revisiting Certainty Equivalence: The Structural Coupling Between Estimation and Control in Underactuated Nonlinear Systems

Résumé Technique : Reconsidérer l'Équivalence de Certitude dans les Systèmes Non Linéaires Sous-Actionnés

Énoncé du Problème
Le principe d'Équivalence de Certitude (EC), qui permet la conception indépendante des estimateurs d'état et des contrôleurs, est une pierre angulaire de la théorie du contrôle linéaire mais manque de validité rigoureuse dans les contextes non linéaires. Dans les systèmes non linéaires sous-actionnés, la séparation entre l'estimation et le contrôle se brise car la dynamique du système et les applications de sortie sont explicitement dépendantes de l'état. Les erreurs d'estimation ($\tilde{x}$) ne sont pas de simples perturbations exogènes ; elles induisent un couplage structurel intrinsèque au sein du système en boucle fermée (BF).

Lors de transitoires agressifs ou de manœuvres à haute vélocité, ce couplage se manifeste par des termes d'interaction d'ordre supérieur et des perturbations basées sur l'innovation. Les approches traditionnelles supposent souvent que les erreurs d'estimation restent faibles ou évoluent sur une échelle de temps plus rapide, une hypothance qui échoue lorsque l'observabilité est limitée ou dépendante de l'état. Par conséquent, les contrôleurs s'appuyant sur les états estimés ($\hat{x}$) plutôt que sur les états réels ($x$) souffrent de marges de stabilité dégradées, d'erreurs de poursuite et d'une divergence potentielle, particulièrement lorsque la loi de commande tente d'annuler algébriquement les non-linéarités sur la base d'informations imparfaites.

Méthodologie
Les auteurs proposent un cadre unifié qui traite l'interaction estimateur-contrôleur comme une propriété intrinsèque du système en boucle fermée plutôt que comme une perturbation non modélisée.

1. Analyse Structurelle : Le système est formulé dans des « coordonnées d'erreur de poursuite estimées » ($\hat{\epsilon} = \hat{x} - x_{ref}$). En analysant la dynamique de l'erreur, les auteurs démontrent que les non-linéarités dépendantes de l'état induisent des termes de couplage impliquant l'erreur d'estimation $\tilde{x}$ et le gain de l'observateur $L_{\hat{x}}$.
2. Caractérisation de la Stabilité : En utilisant la théorie de Lyapunov, l'article dérive des conditions analytiques pour la bornitude des erreurs de poursuite. Un concept clé introduit est l'Indice de Séparation ($\rho$), défini comme le rapport entre le taux de dissipation nominal ($\lambda$) et la force de couplage d'estimation ($\mu$).
   • Si $\rho \gg 1$, le système présente une contraction (stabilité).
   • Si $\rho \approx 1$, le système atteint un équilibre (oscillation bornée).
   • Si $\rho \ll 1$, le système subit une expansion (instabilité).
     L'analyse établit que l'erreur de poursuite est confinée dans un « Tube d'Erreur Invariant » borné par le plancher de l'erreur d'estimation (limite intérieure) et un plafond dissipatif (limite extérieure).
3. Contrôle Sensible à l'Estimation (EA) : Pour atténuer la rupture de l'EC, les auteurs proposent un paradigme de contrôle Sensible à l'Estimation (EA - Estimation-Aware). Cette approche incorpore explicitement un descripteur mesurable de l'incertitude d'estimation, $\eta(t)$ (par exemple, la norme de l'erreur d'estimation ou le déterminant de la matrice de covariance), dans la loi de rétroaction.
   • La stratégie EA augmente les lois de commande standards (telles que l'Inversion Dynamique Non Linéaire Incrémentale, INDI) avec un terme de compensation $\Delta(\eta)$.
   • Ce terme agit comme un tampon algorithmique : lorsque la confiance en l'estimation est élevée, le système se comporte de manière nominale ; lorsque l'incertitude augmente (par exemple, lors de manœuvres à haute vitesse), le contrôleur atténue dynamiquement les gains ou effectue une projection croisée des états couplés pour éviter l'amplification du bruit d'estimation.

Principales Contributions
L'article présente trois contributions primaires :

1. Formulation Unifiée : Il formalise le couplage intrinsèque en boucle fermée entre l'estimation et le contrôle dans les architectures non linéaires, dérivant des bornes de poursuite analytiques qui lient explicitement la précision de l'estimation à la poursuite.
2. Caractérisation Empirique : Les auteurs implémentent un protocole de validation rigoureux utilisant des simulations numériques haute fidélité d'un quadrotor. Cela fournit un benchmark quantifiable pour les marges de stabilité en boucle fermée et les extensions de la bande passante de poursuite sous diverses conditions dynamiques.
3. Architecture Agnostique : Un cadre modulaire, agnostique vis-à-vis du filtre et du contrôleur, est présenté. La méthodologie est applicable aux systèmes non linéaires lisses et sous-actionnés, et est conçue pour être entièrement reproductible.

Résultats
Le cadre EA proposé a été évalué sur un quadrotor exécutant des trajectoires 3D complexes à des vitesses allant jusqu'à 57,6 km/h (16 m/s).

• Performance de Poursuite : Comparé à un contrôleur basé sur l'EC de référence, la loi EA a significativement réduit les erreurs de poursuite. À la vitesse maximale testée (16 m/s), le contrôleur EA a atteint une amélioration de 39,66 % de la bande passante de poursuite et a réduit l'erreur de poursuite jusqu'à 40,1 %.
• Marges de Stabilité : L'analyse dans le domaine fréquentiel a révélé que la loi EA a amélioré les marges de stabilité jusqu'à 55,10 % (spécifiquement la marge de gain) et a augmenté la marge de phase de 32,99 % à haute vélocité.
• Comportement Transitoire : Le contrôleur EA a démontré un amortissement transitoire supérieur, poussant les pôles en boucle fermée plus profondément dans le demi-plan gauche ($\sigma \approx -2,8$ contre $-2,4$ pour la référence), supprimant ainsi les modes oscillatoires qui surviennent typiquement lors de couplages croisés à haute vitesse.
• Robustesse : Le cadre EA a réussi à maintenir la stabilité et l'autorité de commande là où le contrôleur de référence approchait la saturation et la divergence, découplant efficacement les boucles de rétroaction induites par l'estimation lors de manœuvres agressives.

Signification et Revendications
L'article affirme que la rupture de l'Équivalence de Certitude n'est pas simplement une conséquence de dynamiques non modélisées ou de bruit, mais est une propriété fondamentale et intrinsèque du contrôle non linéaire basé sur l'estimation. En passant d'un objectif de convergence asymptotique à une invariance vers l'avant au sein d'un tube d'erreur, le cadre EA proposé offre une alternative mathématiquement rigoureuse aux conceptions classiques.

Les auteurs soutiennent que cette approche permet la continuité de l'état lors de tâches agiles en temps réel, même en présence de coupures de capteurs et de télémétrie dans des environnements inconnus. Le cadre est particulièrement significatif pour l'autonomie moderne, où les systèmes doivent opérer sous de sévères contraintes de capteurs et de hautes pressions dynamiques. Les résultats suggèrent que si les gains de performance sont minimaux à basse vitesse, l'architecture EA fournit une résilience essentielle contre les couplages structurels et la dégradation de l'observabilité qui surviennent à mesure que les vitesses de vol augmentent, garantissant un fonctionnement robuste là où les conceptions traditionnelles basées sur le principe de séparation échouent.