Technische Samenvatting: Feedback-linearisatie met toestandsrestricties

Probleemformulering

Feedback-linearisatie (FBL) is een volwassen techniek voor het transformeren van input-affiene nietlineaire controlesystemen naar lineaire systemen, wat het gebruik van lineaire ontwerpmethoden zoals poolplaatsing mogelijk maakt. Echter, een aanzienlijke beperking doet zich voor bij het werken met toestandsrestricties (state constraints). Hoewel FBL de dynamica van het systeem succesvol lineariseert, transformeert het vaak eenvoudige toestandsrestricties in het oorspronkelijke nietlineaire systeem naar complexe, nietlineaire restricties in het gelineariseerde domein. Deze transformatie vermindert het primaire voordeel van FBL, aangezien het aansturen van het resulterende lineaire systeem onder deze complexe restricties even moeilijk wordt als het aansturen van het oorspronkelijke nietlineaire systeem.

Bestaande benaderingen voor dit probleem vertrouwen doorgaans op optimalisatiegebaseerde methoden (bijv. Model Predictive Control) of Lineaire Matrix Ongelijkheden (LMI's), die een aanzienlijke computationele last met zich meebrengen die ongeschikt is voor online toepassingen. Andere methoden zijn vaak beperkt tot eenvoudige "box"-restricties. Het artikel adresseert de uitdaging van het ontwerpen van een FBL-controller die de naleving van toestandsrestricties garandeert zonder dat online optimalisatie vereist is, toepasbaar op algemene tijdvariërende restricties.

Methodologie

De voorgestelde methodologie volgt een driestaps workflow: Toestandsaugmentatie, Integrale Controller Modificatie en Switching FBL Implementatie.

1. Toestandsaugmentatie en Constraint Capturing

De kern van de aanpak bestaat uit het augmenteren van de systeemdynamica om toestandsrestricties te encapsuleren voordat FBL wordt toegepast.

• Slack Variabelen: Een tijdvariërende slack-variabele $Z(t)$ wordt geïntroduceerd zodat de restrictie $\phi(t, x(t)) \leq 0$ wordt voldaan als $Z(t) \geq 0$. Specifiek wordt de restrictie herschreven als $\phi(t, x(t)) + \frac{1}{2}z^2(t) = 0$.
• Analytische Afleiding: Het artikel leidt een analytische expressie af voor de tijdsafgeleiden van deze geaugmenteerde vergelijking. Door afgeleiden te nemen totdat de systeeminput expliciet verschijnt (bepaald door de relatieve graad), wordt de oorspronkelijke input $u$ uitgedrukt als een functie van de afgeleiden van de slack-variabele (behandeld als een pseudo-input $w$).
• Sequentiële Augmentatie: Voor systemen waarbij het aantal restricties het aantal inputs overstijgt (MIMO met $r > m$), wordt een sequentiële augmentatiestrategie toegepast. Restricties worden één voor één gevangen, waarbij de toestandsruimte iteratief wordt uitgebreid.
• Theoretische Garantie: Stelling 1 stelt vast dat voor elke integreerbare pseudo-input $w$, de resulterende traject van het oorspronkelijke systeem de toestandsrestricties naleeft. Dit komt doordat naarmate het systeem de grens van de restrictie nadert ($z \to 0$), de sturingsautoriteit op de restrictie verdwijnt, wat schending voorkomt.

2. Integrale Controller Structuur

Om te waarborgen dat de pseudo-input $w$ integreerbaar is (een vereiste voor Stelling 1) en om stationaire fouten af te handelen, wordt het geaugmenteerde systeem verder gemodificeerd met een integrale controllerstructuur.

• Een integrator-toestand $\xi$ wordt toegevoegd, waarbij $\dot{\xi} = \tilde{w}$ (een nieuwe virtuele input).
• De pseudo-input wordt gedefinieerd als een begrensde functie van de integrale toestand, $w = s_\beta(\xi)$, waarbij $s_\beta$ een verzadigingsachtige functie is.
• Deze modificatie zorgt ervoor dat de input naar het geaugmenteerde systeem begrensd en integreerbaar blijft, waardoor de garanties voor het naleven van restricties behouden blijven.

3. Omgaan met Ill-defined Relatieve Graden en Switching

Een kritieke uitdaging die wordt geïdentificeerd, is dat het geaugmenteerde systeem een ill-defined relatieve graad vertoont op de grenzen van de toestandsrestricties (waar de slack-variabelen nul worden). Deze singulariteit verhindert de directe toepassing van standaard FBL, dat een inverseerbare ontkoppelingsmatrix vereist.

• $\epsilon$-Numerieke Relatieve Graad ($\epsilon$-NRD): Om dit aan te pakken, introduceert het artikel het concept van $\epsilon$-NRD. In plaats van te vertrouwen op exacte nul/niet-nul Lie-afgeleiden, gebruikt de methode een drempelwaarde $\epsilon$ om de relatieve graad te bepalen op basis van de vraag of de coëfficiënten van de Lie-afgeleide numeriek significant zijn.
• Switching Strategie: De controller wordt gesynthetiseerd op basis van de lokale $\epsilon$-NRD. Naarmate de traject van het systeem evolueert en regio's doorkruist waar de $\epsilon$-NRD verandert (doorgaans nabij de grenzen van de restrictie), schakelt de controller over naar een nieuwe FBL-wet die gesynthetiseerd is voor de huidige lokale relatieve graad.
• Back-Substitution: Om praktische implementatie te waarborgen, worden de geaugmenteerde toestanden (slack-variabelen) algebraïsch geëlimineerd uit de uiteindelijke controller-expressie met behulp van de afgeleide relaties. De uiteindelijke controller hangt alleen af van de oorspronkelijke systeemtoestanden en de integrale toestanden.

Belangrijkste Bijdragen

1. Schaalbare Constraint Handling: Het artikel breidt eerder werk over toestandsaugmentatie uit naar gevallen waarbij de dimensie van de restricties de dimensie van de inputs overstijgt. Het biedt een nieuwe sequentiële augmentatiemethode en leidt de eerste analytische expressie af voor de transformatie van restricties naar systeemdynamica (Lemma 1).
2. Fundamentele Ontwerpprincipes (Stelling 1): De auteurs stellen vast dat de integreerbaarheid en inverseerbaarheid van virtuele controllers cruciaal zijn voor het certificeren van de naleving van restricties. Ze bewijzen dat de voorgestelde augmentatiemethode de naleving van restricties garandeert voor elke integreerbare input.
3. Resolutie van Ill-defined Relatieve Graden: Het artikel bewijst theoretisch dat augmentatie leidt tot ill-defined relatieve graden bij de grenzen van de toestandsrestricties (Propositie 1). Het overwint dit door een switching-controllerstrategie te gebruiken gebaseerd op $\epsilon$-NRD, waardoor FBL kan worden toegepast zelfs wanneer de relatieve graad dynamisch verandert.
4. Praktische Implementatie Workflow: In tegenstelling tot eerdere theoretische resultaten, biedt het artikel een definitieve, closed-form implementatiemethode (Algoritme 1 en 2) die de brug slaat tussen theorie en praktijk. Het details hoe de afhankelijkheid van geaugmenteerde toestanden te verwijderen via back-substitution, wat het mogelijk maakt de controller op het oorspronkelijke systeem met integrale toestanden te draaien.

Resultaten

Het artikel valideert de methodologie via numerieke experimenten op Single-Input Single-Output (SISO) systemen:

• Voorbeeld 1: Een systeem met een tijdvariërende kwadratische restrictie. De auteurs hebben de controller handmatig afgeleid, wat aantoont dat de voorgestelde methode het systeem stabiliseert naar de oorsprong terwijl de restrictie strikt wordt nageleefd. In contrast hiermee vertoonde een klassieke FBL-controller (zonder augmentatie) een schending van de restrictie. Het experiment benadrukte ook het effect van pole placement op de convergentiesnelheid en de noodzaak van controller switching nabij de grens.
• Voorbeeld 2: Een Lorenz-achtig chaotisch systeem met meerdere restricties en een tijdvariërende referentie. De voorgestelde switching FBL-controller volgde de referentie succesvol terwijl hij binnen het toegestane gebied bleef. De klassieke FBL-controller, die de restricties negeerde, vertoonde significante overshoot en schond de toestandsrestricties.

Betekenis en Claims

Het artikel claimt een algemene, optimalisatie-vrije FBL-methode te bieden die in staat is om met toestandsrestricties om te gaan. De primaire betekenis ligt in:

• Vermijden van Online Optimalisatie: In tegenstelling tot MPC wordt de voorgestelde controller offline gesynthetiseerd (of via eenvoudige switching logica) en vereist het geen het online oplossen van nietlineaire programmeerproblemen, wat het geschikt maakt voor real-time toepassingen.
• Afhandeling van Algemene Restricties: De methode is niet beperkt tot eenvoudige box-restricties, maar kan algemene tijdvariërende toestandsrestricties accommoderen.
• Robuustheid tegen Singulariteiten: Door gebruik te maken van de $\epsilon$-NRD en switching-logica, adresseert de methode het fundamentele probleem van ill-defined relatieve graden bij de grenzen van de toestandsrestricties, een bekende beperking bij het toepassen van FBL op geconstraineerde systemen.

De auteurs merken op dat hoewel de onderliggende augmentatietheorie van toepassing is op MIMO-systemen, de praktische implementatie met betrekking tot de switching-logica momenteel beperkt is tot SISO-systemen vanwege de tractabiliteit van de switching-condities. Toekomstig werk wordt geïdentificeerd als het uitbreiden van dit switching-framework naar MIMO-systemen.