Safe Adaptive Control of Parabolic PDE-ODE Cascades

Technische Samenvatting: Veilige Adaptieve Controle van Parabool-PDE-ODE Cascades

Probleemformulering
Dit artikel behandelt de controle van een klasse van gekoppelde systemen bestaande uit een paraboollijke partiële differentiaalvergelijking (PDE) en een gewone differentiaalvergelijking (ODE). De plant wordt gemodelleerd door een lineaire ODE in controleerbare canonieke vorm, gekoppeld aan een paraboollijke PDE met diffusie- en reactietermen. Een kritieke uitdaging die wordt aangepakt, is de aanwezigheid van parametrische onzekerheden in zowel het PDE-subsysteem (specifiek de reactiecoëfficiënt $\lambda$) als het ODE-subsysteem (specifiek de inputgain $b$).

Het controleerdoel is tweeledig:

1. Stabilisatie: Het bereiken van convergentie van alle planttoestanden (zowel de PDE-toestand $u(x,t)$ als de ODE-toestand $Y(t)$) naar nul.
2. Veiligheid: Het afdwingen van toestandsrestricties gedefinieerd door een barrièrefunctie $h(y_1(t), t) \geq 0$, waarbij $y_1$ de eerste toestand van de ODE is. De controller moet ervoor zorgen dat als het systeem in een veilige verzameling begint, deze ook veilig blijft; als het systeem in een onveilige verzameling begint, moet het binnen een door de gebruiker voorgeschreven eindige tijd terug naar de veilige verzameling worden geleid.

Methodologie
De voorgestelde oplossing integreert Adaptive Control Barrier Functions (aCBFs) met een Backstepping-ontwerp en een Batch Least-Squares Identification (BaLSI)-schema.

1. Nominaal Veilig Controleontwerp:

   • Coördinatentransformatie: De ODE wordt getransformeerd naar een keten van integratoren middels een lineaire transformatiematrix $T_z$. Vervolgens wordt een high-relative-degree CBF-framework toegepast op de getransformeerde ODE-toestanden ($z_i$) om een sequentie van barrièrefuncties $h_i$ te construeren.
   • Afhandeling van Initiële Onveilige Toestanden: Een tijdvariërende hulpfunctie $\sigma(t)$ wordt geïntroduceerd. Als de initiële toestand onveilig is ($h \leq 0$), creëert $\sigma(t)$ een tijdelijke barrière die de toestand naar de veilige regio leidt binnen een vooraf toegewezen tijd $t_a$.
   • PDE Backstepping: Een backstepping-transformatie wordt gebruikt om de oorspronkelijke onstabiele PDE-ODE-cascade in kaart te brengen naar een doel systeem. Dit doel systeem bestaat uit een stabiele ODE (gestuurd door de barrière-dynamica) en een stabiele warmtevergelijking met een dempingsterm.
   • Controlewet: De randcontrole-input $U(t)$ wordt ontworpen om de destabiliserende termen te elimineren en een vervallend signaal $\delta(t)$ te injecteren om aan de veiligheidsvoorwaarden te voldoen.

2. Adaptieve Uitbreiding:

   • Parameteridentificatie: Omdat $\lambda$ en $b$ onbekend zijn, wordt de nominale controller vervangen door een adaptieve versie met behulp van parameterschattingen $\hat{\lambda}$ en $\hat{b}$.
   • BaLSI-schema: Er wordt gebruikgemaakt van een getriggerd batch least-squares identifier. In tegenstelling tot continue adaptatie, werkt dit schema de parameters bij discrete tijdstippen $t_i$ bij. Door de systeemdynamica over specifieke intervallen te integreren, wordt een lineair regressieprobleem gevormd.
   • Exacte Identificatie in Eindige Tijd: Een cruciaal theoretisch resultaat is dat onder het voorgestelde triggeringmechanisme en de excitatievoorwaarden, de parameterschattingen convergeren naar de exacte ware waarden in eindige tijd (specifiek op het eerste update-tijdstip $t_1$). Dit elimineert de noodzaak voor persistente excitatievoorwaarden over oneindige tijd en verwijdert parameterschattingsfouten na $t_1$.

3. Stabiliteit en Veiligheidsanalyse:

   • Een Lyapunov-functie wordt geconstrueerd om de exponentiële convergentie van de doel systeemtoestanden naar nul te bewijzen.
   • De veiligheidsanalyse toont aan dat de high-relative-degree CBF-voorwaarden worden voldaan. Het ontwerp zorgt ervoor dat de barrièrefunctie voor alle tijd niet-negatief blijft als het systeem veilig is geïnitialiseerd, of niet-negatief wordt binnen de voorgeschreven tijd $t_a$ als het onveilig is geïnitialiseerd.

Belangrijkste Bijdragen
Het artikel claimt drie primaire bijdragen:

1. Rigoureuze Veiligheidsgaranties voor Adaptieve PDE-controle: In tegen tegenstelling tot bestaande adaptieve randcontrole voor paraboollijke PDE's die zich primair richten op stabilisatie, biedt dit werk rigoureuze veiligheidsgaranties onder parametrische onzekerheden.
2. Generalisatie van Veilige Backstepping: Hoewel eerder werk (bijv. [12]) veilige controle voor Stefan-modellen (een specifiek type paraboollijke PDE) behandelde, breidt dit werk het framework uit naar een bredere klasse van problemen die in-domain instabiliteiten, gekoppelde ODE's en algemene veiligheidsrestricties bevatten.
3. Eerste Veilige Adaptieve Controle voor Parabool-PDE-ODE Cascades: Het artikel onderscheidt zich van recente veilige adaptieve controle-resultaten voor hyperbolische PDE-ODE cascades (bijv. [42]) door de fundamenteel andere dynamica van paraboollijke systemen aan te pakken. Naar weten van de auteurs is dit het eerste resultaat dat veilige adaptieve controle voor paraboollijke PDE's vaststelt.

Resultaten
Numerieke simulaties werden uitgevoerd op een tweede-orde ODE gekoppeld aan een paraboollijke PDE. De simulaties valideerden de theoretische claims:

• Stabilisatie: Alle toestanden ($u(x,t)$ en $Y(t)$) convergeerden naar nul.
• Veiligheid:
  • In het initieel veilige geval bleef de output $y_1(t)$ gedurende de transient binnen de veilige regio.
  • In het initieel onveilige geval slaagde de controller erin de output binnen de voorgeschreven tijd $t_a$ (bijv. 1 seconde) terug naar de veilige regio te leiden.
• Parameteridentificatie: Het BaLSI-schema bereikte exacte identificatie van de onbekende parameters $\lambda$ en $b$ bij het eerste triggering-tijdstip, waarna de adaptieve controller identiek gedrag vertoonde aan de nominale (bekende-parameter) controller.
• Robuustheid tegen Initiële Condities: De controller presteerde effectief, ongeacht of het systeem in een veilige of onveilige regio begon, en voor verschillende definities van de veilige barrièrefunctie (lineaire en exponentiële verval).

Betekenis en Claims
Het artikel positioneert dit werk als een belangrijke stap voorwaarts in de controle van gedistribueerde parametersystemen waar veiligheid essentieel is. Het overbrugt de kloof tussen veiligheidskritische controle (CBF's) en adaptieve controle voor oneindig-dimensionale systemen met onzekerheden. De auteurs benadrukken dat de combinatie van exacte parameteridentificatie in eindige tijd met high-relative-degree CBF's toestaat om de conservativiteit te verwijderen die vaak gepaard gaat met adaptieve veiligheidscontrole, waardoor wordt gegarandeerd dat de veiligheid niet in het gedrang komt door parameterschattingsfouten zodra de identificatiefase is voltooid. Het werk legt de basis voor het toepassen van deze methoden op praktische fysieke systemen, zoals genoemd in de introductie (vloeistofstroming, warmteoverdracht, chemische processen), hoewel specifieke hardware-implementatie aan toekomstig werk is voorbehouden.