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

Technisches Resümee: Recheneffiziente, nahezu optimale Steuerung zur Reduzierung der Stromwelligkeit in Dreiphasenmotoren mittels LMIs

Problemstellung
Die optimale Steuerung von dreiphasigen Permanentmagnet-Synchronmotoren (PMSM), die von Spannungszwischenkreis-Umrichtern (VSI) angetrieben werden, ist aufgrund der Systemnichtlinearitäten und der diskreten Natur des Steuersatzes (Finite Control Set, oder FCS) inhärent anspruchsvoll. Bestehende Lösungen stehen vor einem Dilemma: Methoden der gemischt-ganzzahligen Trajektorienoptimierung sind für die Echtzeitimplementierung oft rechentechnisch zu aufwendig, während Value-Iteration-Ansätze unter dem „Fluch der Dimensionalität“ leiden, da sie mit steigender Systemdimension und Netzfeinheit übermäßigen Zeit- und Speicherbedarf erfordern. Darüber hinaus erzwingen traditionelle indirekte Steuerungsverfahren (unter Verwendung von Modulationsverfahren wie der Raumvektorsteuerung) konstante Schaltraten, was für Energie-Leistungs-Abwägungen in batteriebetriebenen Anwendungen ineffizient sein kann. Die Arbeit zielt darauf ab, die steuerungsabhängigen Leistungsgrenzen effizient zu charakterisieren und eine Schaltstrategie bereitzustellen, die die Reduzierung der Stromwelligkeit mit dem Schaltaufwand ausbalanciert, um eine schnelle Bewertung von Hardware- und Designparametern zu ermöglichen.

Methodik
Die Autoren schlagen einen auf Linearen Matrix-Ungleichungen (LMI) basierenden Rahmen vor, um die unendliche Horizont-Value-Funktion für das optimale Steuerungsproblem zu approximieren. Die Kernmethodik umfasst:

1. Systemmodellierung: Der PMSM wird im Rotor-Referenzrahmen mit einem Finite Control Set modelliert, das aus den diskreten Schaltzuständen eines mehrstufigen Wechselrichters abgeleitet ist. Die Dynamik wird als sampled-data-System mit einer endlichen Anzahl von Spannungsvektoren behandelt.
2. Approximation der Value-Funktion: Anstatt die Bellman-Gleichung direkt zu lösen, relaxieren die Autoren das Problem, indem sie eine Unterapproximation der Value-Funktion $\hat{V}$ suchen, welche iterierte Bellman-Ungleichungen erfüllt ($\hat{V} \leq T^M \hat{V}$).
3. Quadratische Parametrisierung: Die approximierte Value-Funktion wird als quadratische Form ($\hat{V}(\xi) = \xi^\top P \xi + 2q^\top \xi + r$) parametrisiert, die unabhängig vom Rotorwinkel ist. Diese Wahl wird dadurch begründet, dass der Rotorwinkel eine ungesteuerte Variable ist.
4. LMI-Formulierung: Die Bedingung, dass die Bellman-Ungleichung für alle Zustände und Rotorwinkel gilt, wird unter Verwendung der S-Prozedur in ein System von LMIs überführt. Dies transformiert das Problem in ein handhabbares konvexes Optimierungsprogramm (speziell ein semidefinites Programm), das offline gelöst werden kann.
5. Regelgesetz: Die berechnete Value-Funktion wird online als „Tail Cost“ in einem Horizon-One Model Predictive Control (MPC) Gesetz verwendet. In jedem Zeitschritt wählt der Regler den diskreten Spannungsvektor aus, der den unmittelbaren Tracking-Fehler plus die diskontierte zukünftige Kosten, geschätzt durch $\hat{V}$, minimiert.
6. Stabilitätsverifizierung: Ein Verfahren zur Verifizierung wird entwickelt, um die praktische Stabilität des geschlossenen Regelkreises zu zertifizieren. Dies beinhaltet den Nachweis der positiven Invarianz einer Sublevel-Menge $\Omega_\delta$ der Value-Funktion und die Festlegung einer oberen Schranke für die Kosten über den unendlichen Horizont (Stromwelligkeit).

Wesentliche Beiträge

• Effiziente Offline-Synthese: Die Arbeit führt eine Methode zur Approximation der Value-Funktion via LMIs ein, die signifikant schneller als die konventionelle Value Iteration ist.
• Winkelunabhängige Parametrisierung: Die Ableitung von LMI-basierten Bedingungen, die die Bellman-Ungleichung für alle Werte des Rotationswinkels des Motors unter Verwendung einer quadratischen, winkelunabhängigen Basis erzwingen.
• Praktische Stabilitätszertifizierung: Die Entwicklung eines Verifizierungsverfahrens zur Zertifizierung der positiven Invarianz des geschlossenen Regelkreises und zur Begrenzung der stationären Leistung.
• Recheneffiziente Online-Steuerung: Die Implementierung eines recheneffizienten Schaltgesetzes, das lediglich die Auswertung einer quadratischen Funktion über einen endlichen Satz erfordert und somit die schwere Online-Optimierungslast von Finite-Control-Set MPC (FCS-MPC) vermeidet.

Ergebnisse
Simulationen wurden an einem PMSM-Modell durchgeführt, das für Anwendungen in Elektrofahrzeugen vorgesehen ist, wobei der vorgeschlagene LMI-ADP-Ansatz mit einem Standard-PI-Regler mit Raumvektorsteuerung (PI-SVM) und FCS-MPC verglichen wurde.

• Leistung: Der vorgeschlagene Ansatz erzielt einen günstigen Kompromiss zwischen der Gesamtharmonischen Verzerrung (THD) und der Schaltanzahl. Die Leistung ist vergleichbar mit FCS-MPC (das typischerweise längere Vorhersagehorizonte verwendet), übertrifft jedoch PI-SVM in Bezug auf die Reduzierung der Welligkeit bei gegebenem Schaltaufwand deutlich.
• Rechenaufwand:
  • Offline: Die LMI-basierte Synthese ist um Größenordnungen schneller als die Value Iteration. Für einen Zwei-Level-Wechselrichter dauerte die LMI-Methode ca. 4 Sekunden, verglichen mit ca. 55 Minuten bei der Value Iteration.
  • Online: Die Rechenlast für den LMI-ADP-Regler beträgt etwa 0,36 ms (in MATLAB), was signifikant niedriger ist als bei FCS-MPC (13,4 ms) und nur geringfügig höher als bei PI-SVM (5,5 µs). Die Autoren merken an, dass eingebettete Implementierungen die LMI-ADP-Zeit auf den Mikrosekundenbereich senken könnten.
• Skalierbarkeit: Die Methode skaliert auf mehrstufige Wechselrichter (bis zu 5 Stufen), wobei die Offline-Rechenzeiten handhabbar bleiben (z. B. ~30 Sekunden für einen 5-Level-Wechselrichter).

Bedeutung und Ansprüche
Die Arbeit behauptet, dass der vorgeschlagene LMI-basierte Ansatz einen „günstigen Kompromiss“ zwischen Schaltaufwand und Stromwelligkeit bietet und eine Leistung erreicht, die mit FCS-MPC vergleichbar ist, jedoch bei einem „signifikant niedrigeren Rechenaufwand“. Die primäre Bedeutung liegt in der Fähigkeit, Systemkonfigurationen und Designparameter (wie die Anzahl der Wechselrichterstufen) durch die effiziente Offline-Berechnung der Value-Funktion schnell zu bewerten. Dies erleichtert das Co-Design von Hardware und Steuerungsrichtlinien für moderne Elektrofahrzeuge.

Die Autoren äußern sich bescheiden hinsichtlich der Einschränkungen ihrer Arbeit. Sie räumen ein, dass die quadratischen Basisfunktionen zu einer Approximation führen, die im Vergleich zum Ground Truth der Value Iteration „weit entfernt von eng“ (far from tight) ist, was die Ausdrucksstärke der Value-Funktion einschränkt. Folglich wird die Methode basierend auf einem Nominalmodell entwickelt, und die Robustheit gegenüber Parameteränderungen sowie die experimentelle Validierung werden als notwendige Richtungen für zukünftige Untersuchungen identifiziert. Die Arbeit beansprucht nicht, das allgemeine optimale Steuerungsproblem für alle geschalteten Systeme zu lösen, sondern zielt spezifisch auf die effiziente Charakterisierung der Leistungsobergrenzen für PMSM mit endlichen Steuersätzen ab.