Safe Adaptive Control of Parabolic PDE-ODE Cascades

Résumé Technique : Commande Adaptative Sécurisée de Cascades EDP-EDO Paraboliques

Formulation du Problème
Cet article traite de la commande d'une classe de systèmes en cascade composés d'une équation aux dérivées partielles (EDP) parabolique et d'une équation différentielle ordinaire (EDO). Le système est modélisé par une EDO linéaire sous forme canonique contrôlable couplée à une EDP parabolique présentant des termes de diffusion et de réaction. Un défi critique abordé est la présence d'incertitudes paramétriques tant dans le sous-système EDP (spécifiquement le coefficient de réaction $\lambda$) que dans le sous-système EDO (spécifiquement le gain d'entrée $b$).

L'objectif de commande est double :

1. Stabilisation : Assurer la convergence de tous les états du système (à la fois l'état de l'EDP $u(x,t)$ et l'état de l'EDO $Y(t)$) vers zéro.
2. Sécurité (Safety) : Imposer des contraintes d'état définies par une fonction de barrière $h(y_1(t), t) \geq 0$, où $y_1$ est le premier état de l'EDO. Le contrôleur doit garantir que si le système démarre dans un ensemble sûr, il y reste ; s'il démarre dans un ensemble dangereux, il est ramené dans l'ensemble sûr dans un temps fini prescrit par l'utilisateur.

Méthodologie
La solution proposée intègre des Fonctions de Barrière Adaptatives (aCBF) avec un design par Backstepping et un schéma d'Identification par Moindres Carrés par Lots (BaLSI).

1. Conception de la Commande Sûre Nominale :

   • Transformation de Coordonnées : L'EDO est transformée en une chaîne d'intégrateurs via une matrice de transformation linéaire $T_z$. Un cadre de CBF à degré relatif élevé est ensuite appliqué aux états transformés de l'EDO ($z_i$) pour construire une séquence de fonctions de barrière $h_i$.
   • Gestion des États Initialement Dangereux : Une fonction auxiliaire variable dans le temps $\sigma(t)$ est introduite. Si l'état initial est dangereux ($h \leq 0$), $\sigma(t)$ crée une barrière temporaire qui guide l'état vers la région sûre au cours d'un temps $t_a$ prescrit.
   • Backstepping pour l'EDP : Une transformation de backstepping est employée pour mapper la cascade EDP-EDO instable originale vers un système cible. Ce système cible consiste en une EDO stable (régie par la dynamique de la barrière) et une équation de la chaleur stable avec un terme d'amortissement.
   • Loi de Commande : L'entrée de commande aux limites $U(t)$ est conçue pour annuler les termes déstabilisants et injecter un signal de décroissance $\delta(t)$ afin de garantir que les conditions de sécurité soient respectées.

2. Extension Adaptative :

   • Identification de Paramètres : Puisque $\lambda$ et $b$ sont inconnus, le contrôleur nominal est remplacé par une version adaptative utilisant des estimations de paramètres $\hat{\lambda}$ et $\hat{b}$.
   • Schéma BaLSI : Un identificateur par lots déclenché par moindres carrés est utilisé. Contrairement à l'adaptation continue, ce schéma met à jour les paramètres à des instants discrets $t_i$. En intégrant la dynamique du système sur des intervalles spécifiques, un problème de régression linéaire est formé.
   • Identification Exacte en Temps Fini : Un résultat théorique clé est que, sous le mécanisme de déclenchement proposé et les conditions d'excitation, les estimations de paramètres convergent vers les valeurs réelles exactes en un temps fini (spécifiquement au premier instant de mise à jour $t_1$). Cela élimine le besoin de conditions d'excitation persistante sur un temps infini et supprime les erreurs d'estimation de paramètres après $t_1$.

3. Analyse de Stabilité et de Sécurité :

   • Une fonction de Lyapunov est construite pour prouver la convergence exponentielle des états du système cible vers zéro.
   • L'analyse de sécurité démontre que les conditions de CBF à degré relatif élevé sont satisfaites. La conception garantit que la fonction de barrière reste non négative pour tout temps si elle est initialisée de manière sûre, ou devient non négative dans le temps prescrit $t_a$ si elle est initialisée de manière dangereuse.

Principales Contributions
L'article revendique trois contributions primaires :

1. Garanties de Sécurité Rigoureuses pour la Commande Adaptative d'EDP : Contra-ablement aux méthodes de commande aux limites adaptatives existantes pour les EDP paraboliques qui se concentrent principalement sur la stabilisation, ce travail fournit des garanties de sécurité rigoureuses sous incertitudes paramétriques.
2. Généralisation du Backstepping Sécurisé : Alors que des travaux antérieurs (ex. [12]) traitaient de la commande sécurisée des modèles de Stefan (un modèle spécifique d'EDP parabolique), ce travail étend le cadre à une classe plus large de problèmes impliquant des instabilités en domaine intérieur, des EDO couplées et des contraintes de sécurité générales.
3. Première Commande Adaptative Sécurisée pour les Cascades EDP-EDO Paraboliques : L'article se distingue des résultats récents de commande adaptative sécurisée pour les cascades EDP-EDO hyperboliques (ex. [42]) en traitant la dynamique fondamentalement différente des systèmes paraboliques. À la connaissance des auteurs, il s'agit du premier résultat établissant la commande adaptative sécurisée pour les EDP paraboliques.

Résultats
Des simulations numériques ont été menées sur une EDO du second ordre couplée à une EDP parabolique. Les simulations ont validé les affirmations théoriques :

• Stabilisation : Tous les états ($u(x,t)$ et $Y(t)$) ont convergé vers zéro.
• Sécurité :
  • Dans le cas initialement sûr, la sortie $y_1(t)$ est restée dans la région sûre tout au long du régime transitoire.
  • Dans le cas initialement dangereux, le contrôleur a réussi à ramener la sortie dans la région sûre dans le temps prescrit $t_a$ (par exemple, 1 seconde).
• Identification de Paramètres : Le schéma BaLSI a permis l'identification exacte des paramètres inconnus $\lambda$ et $b$ dès le premier instant de déclenchement, après quoi le contrôleur adaptatif s'est comporté de manière identique au contrôleur nominal (à paramètres connus).
• Robustesse aux Conditions Initiales : Le contrôleur a fonctionné efficacement, que le système ait démarré dans une région sûre ou dangereuse, et pour différentes définitions de la fonction de barrière de sécurité (décroissance linéaire et exponentielle).

Signification et Revendications
L'article positionne ce travail comme une étape significative vers le contrôle des systèmes à paramètres distribués où la sécurité est primordiale. Il comble le fossé entre le contrôle critique pour la sécurité (CBF) et la commande adaptative pour les systèmes à dimension infinie avec incertitudes. Les auteurs soulignent que la combinaison de l'identification de paramètres exacte en temps fini avec les CBF à degré relatif élevé permet de supprimer le conservatisme souvent associé à la commande adaptative de sécurité, garantissant ainsi que la sécurité n'est pas compromise par les erreurs d'estimation de paramètres une fois la phase d'identification terminée. Ce travail pose les bases de l'application de ces méthodes à des systèmes physiques réels, tels que ceux mentionnés dans l'introduction (écoulement de fluides, transfert de chaleur, processus chimiques), bien que l'implémentation matérielle spécifique soit réservée à des travaux futurs.