Rethinking Strict Dissipativity for Economic MPC

Dit paper introduceert het nieuwe concept van 'two-storage strict dissipativity' als een noodzakelijke en voldoende voorwaarde voor de asymptotische stabiliteit van economische modelpredictieve regeling, waarbij het verband met de waardefunctie wordt gelegd en de verificatie wordt vergemakkelijkt ten opzichte van de traditionele strikte dissipativiteit.

De kern

Titel: Het Gouden Evenwicht: Een Simpele Uitleg over Economische MPC en de Nieuwe "Twee-Slag" Methode

Stel je voor dat je een zeer slimme, autonome chauffeur bent die een auto bestuurt. Maar deze auto is niet alleen bedoeld om van punt A naar punt B te komen (zoals bij normaal rijden), maar om zo efficiënt mogelijk te rijden. Misschien wil je de minste brandstof verbruiken, of de snelste route vinden, of de minste slijtage aan de motor. Dit noemen we Economische Model Predictive Control (EMPC).

Het probleem? Het is heel lastig om te garanderen dat deze slimme chauffeur niet in de war raakt, niet vastloopt in een cirkel, en uiteindelijk veilig en stabiel blijft rijden, zelfs als hij probeert de "perfecte" route te vinden.

In de wetenschap gebruiken ze een ingewikkeld concept genaamd Dissipativiteit (of "dissipatie") om dit te bewijzen. Laten we dat vertalen naar alledaagse taal.

1. Het Oude Probleem: De "Eén-Slag" Methode

Stel je voor dat je een berg beklimt. Je wilt op de top staan (dat is je "optimale toestand").

• Normaal rijden (Tracking MPC): Je hebt een vaste bestemming. Je weet precies waar de top is. Je routeplanner is makkelijk: "Ga naar de top."
• Economisch rijden (EMPC): Je hebt geen vaste top. Je wilt gewoon zo min mogelijk energie verbruiken. Misschien is de "beste" plek niet de top, maar een plek halverwege waar de wind je meeneemt.

Om te bewijzen dat je auto niet blijft rondrijden in een cirkel (instabiliteit), gebruiken wetenschappers een opslagfunctie (storage function).

• De Analogie: Stel je voor dat je een waterbak hebt op je auto.
• Als je rijdt, moet het water in de bak nooit "verdwijnen" op een manier die de auto instabiel maakt.
• De oude theorie zegt: "Als je een manier kunt vinden om het water in de bak te meten (de opslagfunctie) en je ziet dat het water op de 'beste plek' het laagst is, dan is je auto stabiel."

Het probleem met de oude methode:
Deze "waterbak" (de opslagfunctie) is heel lastig te vinden voor economisch rijden. Het is alsof je een waterbak moet ontwerpen die precies past bij een route die je nog niet kent. Het is een wiskundig raadsel dat vaak niet op te lossen is zonder de regels van het spel te veranderen.

2. De Nieuwe Oplossing: "Twee-Slag" Dissipativiteit

De auteur van dit artikel, Mario Zanon, zegt: "Wacht even, waarom proberen we het met één waterbak? Laten we er twee gebruiken!"

Dit is de kern van zijn nieuwe idee: Two-Storage Strict Dissipativity (Twee-opslag strikte dissipativiteit).

De Analogie van de Twee Bakken:
Stel je voor dat je twee verschillende manieren hebt om je reis te bekijken:

1. Bak A (De Vooruitkijker): Kijkt vooruit. "Als ik nu hier start, hoeveel energie kost het om de top te bereiken?"
2. Bak B (De Achteruitkijker): Kijkt achteruit. "Als ik nu hier sta, hoeveel energie heb ik nodig om terug te komen naar de start?"

De oude methode vroeg om één bak die perfect werkte voor beide richtingen. Dat was te moeilijk.
De nieuwe methode zegt:

• Laten we Bak A gebruiken om te kijken of we vooruit kunnen.
• Laten we Bak B gebruiken om te kijken of we achteruit kunnen.
• De Magische Regel: Als Bak A altijd meer water bevat dan Bak B (met een veiligheidsmarge), dan weten we zeker dat we stabiel zijn!

Waarom werkt dit?
Het is alsof je twee wegen vergelijkt. Als de weg vooruit altijd "duurder" is dan de weg terug (in termen van energie), dan weet je dat er een duidelijk "dal" is waar de auto naartoe getrokken wordt. Je hoeft niet te weten precies hoe die ene perfecte waterbak eruitziet; je hoeft alleen maar te weten dat de twee bakken niet gelijk zijn en dat er een duidelijke kloof is tussen hen.

3. Waarom is dit zo'n groot nieuws?

1. Het is makkelijker te vinden: Het vinden van één perfecte waterbak is als het zoeken naar de heilige graal. Het vinden van twee bakken die aan een simpele regel voldoen (Bak A > Bak B) is veel makkelijker. Het is alsof je in plaats van één perfecte sleutel, twee sleutels hebt die samen een slot openen.
2. Het is net zo sterk: De auteur bewijst wiskundig dat als deze "Twee-Slag" methode werkt, de auto zeker stabiel is. En als de auto stabiel is, werkt deze methode ook. Het is een perfecte match.
3. Het verbindt theorie en praktijk: Het laat zien dat deze ingewikkelde wiskunde eigenlijk gewoon zegt: "Als je vooruitkijken en achteruitkijken verschillende resultaten geven, dan ben je veilig."

4. De Eindstreep: De "Afscheidsgeschenk" (Terminal Cost)

In de praktijk rijden we niet oneindig lang; we kijken alleen een stukje vooruit (bijvoorbeeld de komende 10 seconden). Om te zorgen dat de auto na die 10 seconden niet in paniek raakt, geven we hem een Afscheidsgeschenk (een terminal cost).

De auteur laat zien hoe je dit geschenk moet vormgeven.

• Slecht geschenk: Een willekeurige waarde. De auto kan dan denken: "Oh, ik ben hier, ik stop maar." (Instabiel).
• Goed geschenk: Een waarde die gebaseerd is op die twee bakken (Bak A en Bak B). Dit zorgt ervoor dat de auto, zelfs als hij stopt, weet dat hij op de goede weg is en dat hij in de volgende ronde weer de juiste richting opgaat.

Samenvatting in één zin

In plaats van te proberen één onmogelijk perfecte "waterbak" te vinden om te bewijzen dat een slimme auto stabiel rijdt, gebruiken we nu twee bakken die we met elkaar vergelijken; als ze niet gelijk zijn, weten we zeker dat de auto veilig en stabiel blijft, en dat is veel makkelijker te controleren!

Dit artikel is dus een nieuwe, slimmere manier om te garanderen dat onze economische besturingssystemen (zoals slimme energienetwerken of autonome voertuigen) niet vastlopen, maar altijd op de beste manier blijven werken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Rethinking Strict Dissipativity for Economic MPC" van Mario Zanon, geschreven in het Nederlands.

Titel: Heroverweging van Strikte Dissipativiteit voor Economische Model Predictive Control (EMPC)

1. Probleemstelling

Model Predictive Control (MPC) is een veelgebruikte regeltechniek waarbij op elk tijdstip een eindhorizon Optimaal Besturingsprobleem (OCP) wordt opgelost.

• Tracking MPC: Hierbij is stabiliteit bewezen onder de aanname dat de kostfunctie een minimum heeft bij de gewenste steady-state.
• Economische MPC (EMPC): Hierbij is de kostfunctie generiek (bijv. energie-efficiëntie of winstmaximalisatie) en niet noodzakelijk gericht op het volgen van een setpoint. Het doel is om de gesloten-lusprestatie te maximaliseren.

Het grootste probleem bij EMPC is het garanderen van asymptotische stabiliteit. In tegenstelling tot tracking MPC vereist EMPC doorgaans de aanname van strikte dissipativiteit om stabiliteit te bewijzen.

• De uitdaging: Hoewel strikte dissipativiteit een duidelijke interpretatie heeft via een "geroteerde" kostfunctie (die een minimum heeft bij de optimale steady-state), kan de opslagfunctie (storage function) die nodig is voor strikte dissipativiteit niet direct worden gerelateerd aan de waardefunctie (value function) van het oorspronkelijke economische OCP. Dit maakt het vaak moeilijk om strikte dissipativiteit te verifiëren of te construeren.

2. Methodologie

De auteur introduceert een nieuw concept genaamd twee-opslag strikte dissipativiteit (two-storage strict dissipativity) en analyseert dit zowel voor oneindige als eindige horizons.

• Definitie van Twee-Opslag Strikte Dissipativiteit:
  In plaats van één opslagfunctie $\lambda(x)$, worden twee opslagfuncties $\lambda_1(x)$ en $\lambda_2(x)$ vereist die beide dissipativiteit voldoen, maar waarvan het verschil wordt ondergrensd door een positief-definiete functie $\gamma(\|x\|)$:
  $$\lambda_1(x) \geq \lambda_2(x) + \gamma(\|x\|)$$
  Dit impliceert dat de twee geroteerde kostfuncties gescheiden zijn door een positieve marge, behalve bij de optimale steady-state.

• Relatie met Waardefuncties:
  De paper definieert twee specifieke OCPs:

  1. Een voorwaartse OCP ($V^+$) die de kosten minimaliseert vanaf een starttoestand naar de oorsprong (steady-state).
  2. Een achterwaartse OCP ($V^-$) die de kosten maximaliseert (of negatieve kosten minimaliseert) vanaf de oorsprong naar een starttoestand.
     De auteur stelt dat de waardefuncties $V^+$ en $V^-$ (of hun gerelaxeerde versies $V^\oplus$ en $V^\ominus$) direct kunnen dienen als de twee opslagfuncties $\lambda_1$ en $\lambda_2$.

• Relaxatie:
  Om technische problemen met bereikbaarheid en continuïteit op te lossen, introduceert de auteur een relaxatie van de systeemdynamica met een fictieve variabele $z$ en een straffactor $p$. Dit zorgt ervoor dat de domeinen van de voorwaartse en achterwaartse waardefuncties samenvallen met het toelaatbare gebied van de constraints.

3. Belangrijkste Bijdragen

1. Nieuw Concept: Introductie van "twee-opslag strikte dissipativiteit" als een alternatief voor de standaard strikte dissipativiteit.
2. Directe Link naar Optimaliteit: Het bewijs dat deze nieuwe conditie direct gekoppeld kan worden aan de waardefuncties van voorwaartse en achterwaartse optimal control problemen. Dit maakt het concept theoretisch fundamenteler dan de standaard strikte dissipativiteit.
3. Noodzakelijkheid en Voldoende: Bewijs dat twee-opslag strikte dissipativiteit zowel noodzakelijk als voldoende is voor asymptotische stabiliteit van de gesloten-lus EMPC.
4. Vergelijking met Standaard Theorie:
   • Het wordt bewezen dat standaard strikte dissipativiteit impliceert dat twee-opslag strikte dissipativiteit geldt (dus het is geen sterkere aanname).
   • Het wordt aangetoond dat het controleren van twee-opslag strikte dissipativiteit mogelijk eenvoudiger is dan het controleren van standaard strikte dissipativiteit, omdat het directer gebaseerd is op de waardefuncties.
5. Eindhorizon Ontwerp: Analyse van eindhorizon EMPC met verschillende ontwerpen voor terminale kosten ($V_f$). Er wordt bewezen dat asymptotische stabiliteit gegarandeerd kan worden zonder terminale constraints, mits de voorspellingshorizon lang genoeg is en de terminale kosten voldoen aan specifieke ondergrenzen (gerelateerd aan $V^-$).

4. Resultaten

• Stabiliteitsbewijs: Onder de aanname van twee-opslag strikte dissipativiteit wordt bewezen dat de feedbackwet $u^+(x)$ (gebaseerd op de voorwaartse OCP) asymptotisch stabiel is. Ook wordt aangetoond dat de achterwaartse feedback $u^-(x)$ asymptotisch stabiel is in de tijd achteruit.
• Relatie met "Cost-to-Travel": De paper schetst een sterke relatie met de "cost-to-travel" functie (geïntroduceerd in eerdere werken [17, 18]), maar toont aan dat de nieuwe aanpak zonder de noodzaak van het optimaliseren van de horizonlengte tijdens de implementatie werkt, wat de analyse vereenvoudigt.
• Numerieke Voorbeelden:
  • Een lineair kwadratisch voorbeeld toont aan hoe de keuze van de opslagfunctie (gebaseerd op de constraints) de geldigheid van de geroteerde kostfunctie beïnvloedt.
  • Een niet-lineair voorbeeld demonstreert dat $V^+(x) > V^-(x)$ voor alle $x \neq 0$ en illustreert hoe de geroteerde kosten werken in een niet-lineaire setting.
  • Simulaties tonen aan dat voor verschillende terminale kostenontwerpen de waardefunctie $V_N$ convergeert naar $V^+$ naarmate de horizon $N$ toeneemt, en dat stabiliteit wordt bereikt voor voldoende lange horizons.

5. Betekenis en Conclusie

Deze paper biedt een fundamentele doorbraak in de stabiliteitstheorie voor Economische MPC.

• Verheldering: Het lost de verwarring op rondom de relatie tussen dissipativiteit en waardefuncties. Terwijl standaard strikte dissipativiteit een "verborgen" tracking-probleem onthult, biedt twee-opslag dissipativiteit een directe link naar de optimale kosten van het systeem.
• Praktische Toepasbaarheid: Het concept is mogelijk makkelijker te verifiëren in de praktijk omdat het direct gebruikmaakt van de berekende waardefuncties van het optimal control probleem.
• Flexibiliteit: De resultaten voor eindhorizon systemen bieden meer flexibiliteit bij het ontwerpen van terminale kosten, wat cruciaal is voor computerefficiënte implementaties waar lange horizons of complexe terminale constraints problematisch kunnen zijn.

Samenvattend stelt de auteur dat twee-opslag strikte dissipativiteit een krachtig, equivalent (en mogelijk praktischer) alternatief is voor de klassieke strikte dissipativiteit, waarmee de theoretische basis voor stabiele Economische MPC wordt versterkt.