Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control

Technische Samenvatting: Het Benutten van Over-Approxiatiefouten als Vooruitkijkende Informatie voor Niet-lineaire Regeling

Probleemstelling
De regeling van niet-lineaire systemen onderworpen aan toestands- en invoerbeperkingen vormt een fundamentele uitdaging, met name in veiligheidskritieke domeinen zoals lucht- en ruimtevaart en robotica. Traditionele abstractiemethoden vervangen vaak complexe niet-lineaire dynamica door eenvoudigere modellen (bijvoorbeeld lineaire of stuksgewijs affiene systemen) om een hanteerbare regelaar-synthese mogelijk te maken. Deze methoden behandelen de approximatiefout echter doorgaals als een onbekende, antagonistische verstoring. Deze conservatieve behandeling dwingt regelaars om rekening te houden met de realisatie van de fout in het slechtst mogelijke geval, wat vaak leidt tot overmatig conservatisme en verminderde prestaties. Het centrale probleem dat in dit werk wordt aangepakt, is hoe de structuur van de over-approxiatiefout kan worden benut om de regelprestaties te verbeteren zonder veiligheidsgaranties in te leveren.

Methodologie
De auteurs stellen een kader voor waarin de over-approxiatiefout niet wordt behandeld als een onbekende verstoring, maar als invoerafhankelijke vooruitkijkende informatie.

1. Informatieve Beleidsregels: In plaats van een standaard toestandsfeedback-beleidsregel $\pi(x)$, definiëren de auteurs een "informatieve beleidsregel" $\pi(x, e)$ die afhankelijk is van zowel de huidige toestand $x$ als de over-approxiatiefout $e$. Aangezien de foutfunctie $e(x, u) = f(x, u) - \hat{f}(x, u)$ bekend en deterministisch is, is de fout tijdens de uitvoering een functie van de gekozen invoer $u$.
2. Het Concretiseringsprobleem: Het implementeren van een informatieve beleidsregel vereist het oplossen voor een invoer $u$ zodanig dat $u = \pi(x, e(x, u))$. Dit creëert een circulaire afhankelijkheid tussen de invoer en de fout. De auteurs formuleren dit als een vastpuntvergelijking: het vinden van een $u$ zodanig dat $u = F_x(u)$, waarbij $F_x(u) = \pi(x, f(x, u) - \hat{f}(x, u))$.
3. Bestaan en Berekening:
   • Bestaan: Met behulp van de stelling van Brouwer over vastpunten bewijzen de auteurs dat een oplossing bestaat als de invoerset $U$ niet-leeg, compact en convex is, en de betrokken functies continu zijn.
   • Efficiënte Berekening:
     • Gedeelde Invoerafhankelijkheid: Als de ware en de benaderde dynamica dezelfde invoerafhankelijkheid delen (bijvoorbeeld $f(x,u) = f_x(x) + B u$ en $\hat{f}(x,u) = \hat{f}_x(x) + B u$), wordt de fout onafhankelijk van $u$, wat een oplossing in gesloten vorm mogelijk maakt.
     • Invoeraffiene Systemen: Voor systemen waarbij de dynamica affien is in $u$ ($f(x,u) = f_x(x) + f_u(x)u$) en beleidsregels fout-affien zijn, reduceert het concretiseringsprobleem tot een convex programma (of lineair programma als $U$ een polytoop is).
     • Algemene Niet-lineaire Systemen: Voor willekeurige niet-lineaire systemen stellen de auteurs voorwaarden op waaronder de vastpuntafbeelding een contractie is. Als deze voorwaarden zijn vervuld, garandeert de stelling van Banach over vastpunten een unieke oplossing die via iteratieve methoden kan worden gevonden.
4. Synthese van Beleidsregels: Om deze beleidsregels te synthetiseren, maken de auteurs gebruik van System Level Synthesis (SLS). Ze verrijken de systeemtoestand met de foutterm, waardoor het probleem wordt getransformeerd tot het synthetiseren van een toestandsfeedback-beleidsregel voor een verrijkt lineair (of stuksgewijs lineair) systeem. Dit maakt het gebruik van convex optimalisatie mogelijk om beleidsregels te ontwerpen die aan beperkingen voldoen voor alle mogelijke realisaties van de fout binnen de over-approxiatieset.

Belangrijkste Bijdragen

• Herverkadering van Approximatiefout: Het artikel toont aan dat over-approxiatiefouten van nature invoerafhankelijke vooruitkijkende informatie bieden, wat de standaardopvatting van deze fouten als puur antagonistische verstoringen uitdaagt.
• Formalisme voor Informatieve Beleidsregels: De auteurs introduceren "informatieve beleidsregels" die de foutterm expliciet benutten, waarmee klassieke niet-informatieve beleidsregels worden gegeneraliseerd.
• Kader voor Concretisering: Het probleem van het terugwinnen van een geldige invoer voor het ware systeem uit een op vooruitkijken gebaseerde beleidsregel wordt geformaliseerd als een vastpuntvergelijking.
• Theoretische Garanties:
  • Het bestaan van oplossingen is gegarandeerd via de stelling van Brouwer onder milde topologische voorwaarden.
  • Efficiënte berekening wordt geboden via oplossingen in gesloten vorm, convex/lineair programmeren, of iteratieve contractiemethoden, afhankelijk van de systeemstructuur.
• Synthesemethode: Een methode om informatieve beleidsregels te synthetiseren met behulp van SLS op een verrijkt systeem, inclusief voorwaarden om de contractie te waarborgen die nodig is voor niet-lineaire concretisering.

Resultaten
De auteurs valideren hun aanpak via numerieke experimenten op twee niet-lineaire systemen:

1. Invoeraffiene Dynamica: Een systeem met dynamica $\dot{x}_1 = x_2 + 0.5x_1^2$ en $\dot{x}_2 = 0.75x_1^2 + 2x_2^3 + \cos(x_2)u$. De informatieve beleidsregel bereikte een gegarandeerde eindtoestand van $x_{1,T} \geq 0.81$, vergeleken met $0.62$ voor een niet-informatieve beleidsregel.
2. Niet-lineaire Dynamica: Een systeem met dynamica $\dot{x}_1 = x_2$ en $\dot{x}_2 = -\sin(x_1) + 0.5x_2^2 + 2\sin(u)$. Met behulp van de iteratieve op de stelling van Banach gebaseerde concretisering garandeerde de informatieve beleidsregel $x_{1,T} \geq 3.1$, wat beter presteerde dan de gegarandeerde waarde van $2.7$ van de niet-informatieve beleidsregel.

In beide gevallen verminderden de informatieve beleidsregels het conservatisme aanzienlijk, waardoor het systeem verder de toestandsruimte in kon reiken terwijl de beperkingen strikt werden nageleefd.

Betekenis en Aanspraken
Het artikel stelt dat door over-approxiatiefouten te interpreteren als vooruitkijkende informatie in plaats van onbekende verstoringen, regelaars hanteerbare en betrouwbare regellagen kunnen bereiken voor beperkte niet-lineaire dynamica met verminderd conservatisme. Het werk biedt een rigoureuze wiskundige onderbouwing (via vastpunttheorie) voor deze aanpak, waarbij wordt gewaarborgd dat de door de beleidsregel genomen "informatieve" beslissingen fysiek realiseerbaar (concretiseerbaar) zijn voor het ware systeem. De auteurs positioneren dit als een stap naar een efficiëntere inzet van regelsystemen in veiligheidskritieke domeinen waar standaard robuuste methoden vaak te conservatief zijn.

Het artikel concludeert met de opmerking dat toekomstig werk zich zal richten op uitbreidingen naar systemen met externe verstoringen, outputfeedback en meestaps vooruitkijkende informatie, maar stelt niet dat deze uitbreidingen momenteel zijn opgelost.