Computationally Efficient Near-Optimal Control for Current Ripple Reduction and Optimization of Three-Phase Motors via LMIs

Technische Samenvatting: Computationeel Efficiënte Nabij-Optimale Regeling voor Stroomrimpelreductie in Driefasige Motoren via LMI's

Probleemstelling
De optimale regeling van driefasige permanentmagneet synchrone motoren (PMSM's) die worden aangedreven door spanningsbron-inverters (VSI's) is inherent uitdagend vanwege systeemnietlineariteiten en de discrete aard van de regelset (Finite Control Set, of FCS). Bestaande oplossingen kampen met een dichotomie: methoden voor mixed-integer trajectoptimalisatie zijn vaak computationeel te kostbaar voor real-time implementatie, terwijl value-iteration benaderingen lijden onder de "vloek van dimensionaliteit", waarbij excessieve tijd en opslagruimte vereist zijn naarmate de systeemdimensie en de roostergranulariteit toenemen. Bovs staat traditionele indirecte regeling (met gebruik van modulatieschema's zoals Space Vector Modulation) een constante schakel frequentie af, wat inefficiënt kan zijn voor energie-prestatie-afwegingen in batterijgestuurde toepassingen. Het artikel beoogt de controle-afhankelijke prestatiegrenzen efficiënt te karakteriseren en een schakelstrategie te bieden die een balans vindt tussen stroomrimpelreductie en schakelinspanning, geschikt voor de snelle beoordeling van hardware- en ontwerpparameters.

Methodologie
De auteurs stellen een op Linear Matrix Inequality (LMI) gebaseerd framework voor om de oneindig-horizon waarde-functie te benaderen voor het optimale regelprobleem. De kernmethodologie omvat:

1. Systeemmodellering: De PMSM wordt gemodelleerd in het rotorreferentiekader met een eindige controleset afgeleid van de discrete schakeltoestanden van een multi-level inverter. De dynamica worden behandeld als een sampled-data systeem met een eindig aantal spanningsvectoren.
2. Waarde-functie Benadering: In plaats van de Bellman-vergelijking direct op te lossen, versoepelen de auteurs het probleem door te zoeken naar een onder-benadering van de waarde-functie, $\hat{V}$, die voldoet aan geïteerdeerde Bellman-ongelijkheden ($\hat{V} \leq T^M \hat{V}$).
3. Kwadratische Parametrisering: De benaderde waarde-functie wordt geparametriseerd als een kwadratische vorm ($\hat{V}(\xi) = \xi^\top P \xi + 2q^\top \xi + r$) die onafhankelijk is van de rotorhoek. Deze keuze wordt gemotiveerd door het feit dat de rotorhoek een ongecontroleerde variabele is.
4. LMI-formulering: De conditie dat de Bellman-ongelijkheid geldt voor alle toestanden en rotorhoeken wordt via de S-procedure vertaald naar een systeem van LMI's. Dit transformeert het probleem naar een tractabel convex optimalisatieprogramma (specifiek een semi-definite programma) dat offline kan worden opgelost.
5. Regelwet: De berekende waarde-functie wordt online gebruikt als een "tail cost" in een horizon-één Model Predictive Control (MPC) wet. Op elk tijdstip selecteert de regelaar de discrete spanningsvector die de directe tracking-fout minimaliseert plus de gedisconteerde toekomstige kosten geschat door de vooraf berekende $\hat{V}$.
6. Stabiliteitsverificatie: Een verificatieprocedure wordt ontwikkeld om de praktische stabiliteit van het gesloten-lus systeem te certificeren. Dit omvat het bewijzen van de positieve invariantie van een sublevel set $\Omega_\delta$ van de waarde-functie en het vaststellen van een bovengrens op de oneindig-horizon gemiddelde kosten (stroomrimpel).

Belangrijkste Bijdragen

• Efficiënte Offline Synthese: Het artikel introduceert een methode om de waarde-functie te benaderen via LMI's, wat aanzienlijk sneller is dan conventionele value iteration.
• Hoek-onafhankelijke Parametrisering: De afleiding van LMI-gebaseerde condities die de Bellman-ongelijkheid afdwingen voor alle waarden van de roterende motorhoek met behulp van een kwadratische, hoek-onafhankelijke basis.
• Praktische Stabiliteitscertificering: De ontwikkeling van een verificatieprocedure om de positieve invariantie van het gesloten-lus systeem te certificeren en de steady-state prestaties te begrenzen.
• Lage Overhead Online Regeling: De implementatie van een computationeel efficiënte schakelwet die enkel de evaluatie van een kwadratische functie over een eindige set vereist, waardoor de zware online optimalisatiebelasting van Finite-Control-Set MPC (FCS-MPC) wordt vermeden.

Resultaten
Simulatie-resultaten werden uitgevoerd op een PMSM-model bedoeld voor elektrische voertuigtoepassingen, waarbij de voorgestelde LMI-ADP methode werd vergeleken met een standaard PI-regelaar met Space Vector Modulation (PI-SVM) en FCS-MPC.

• Prestaties: De voorgestelde aanpak bereikt een gunstige afweging tussen Total Harmonic Distortion (THD) en het aantal schakelingen. De prestaties zijn vergelijkbaar met FCS-MPC (dat doorgaans langere voorspellingshorizonten gebruikt) maar presteren aanzienlijk beter dan PI-SVM in termen van rimpelreductie voor een gegeven schakelinspanning.
• Computationele Kosten:
  • Offline: De LMI-gebaseerde synthese is orde van grootte sneller dan value iteration. Voor een two-level inverter duurde de LMI-methode ongeveer 4 seconden vergeleken met ongeveer 55 minuten voor value iteration.
  • Online: De online computationele last voor de LMI-ADP regelaar is ongeveer 0,36 ms (in MATLAB), wat aanzienlijk lager is dan FCS-MPC (13,4 ms) en slechts iets hoger dan PI-SVM (5,5 µs). De auteurs merken op dat embedded implementaties de LMI-ADP tijd verder kunnen reduceren tot het microseconde-niveau.
• Schaalbaarheid: De methode schaalt naar multi-level inverters (tot 5 niveaus), waarbij de offline computationele tijden beheersbaar blijven (bijv. ~30 seconden voor een 5-level inverter).

Betekenis en Claims
Het artikel beweert dat de voorgestelde LMI-gebaseerde aanpak een "gunstige afweging" biedt tussen schakelinspanning en stroomrimpel, waarbij prestaties vergelijkbaar zijn met FCS-MPC maar met een "aanzienlijk lagere computationele kosten". De primaire betekenis ligt in het vermogen om systeemconfiguraties en ontwerpparameters (zoals inverter-niveaus) snel te beoordelen door de waarde-functie efficiënt offline te berekenen. Dit faciliteert de co-design van hardware en regelbeleid voor moderne elektrische voertuigen.

De auteurs blijven bescheiden over de beperkingen van hun werk. Zij erkennen dat de kwadratische basisfuncties resulteren in een benadering die "ver van nauwkeurig" is vergeleken met de grondwaarheid verkregen via value iteration, wat de expressiviteit van de waarde-functie beperkt. Bijgevolg is de methode ontwikkeld op basis van een nominaal model, en worden robuustheid tegen parametervariaties en experimentele validatie geïdentificeerd als noodzakelijke richtingen voor toekomstig onderzoek. Het artikel claimt niet de algemene optimale regeling voor alle geschakelde systemen op te lossen, maar richt zich specifiek op het efficiënt karakteriseren van de prestatieplafonds voor PMSM's met eindige controlesets.