H-unendlich-Regelung

Die H_∞-Regelung ist ein Verfahren zur Systemanalyse und Reglersynthese aus dem Bereich der robusten Regelungstechnik. Zur Anwendung des Verfahrens muss die Regelungsaufgabe als Optimierungsproblem formuliert werden, was einen relativ hohen mathematischen Aufwand erfordert. Die Vorteile des Verfahrens liegen in der breiten Anwendbarkeit im Bereich von SISO- und MIMO-LTI-Systemen, der Erweiterbarkeit auf nichtlineare Probleme und, bei gutem Design, sehr robust performanten Regelungsergebnissen bei Gewährleistung der Stabilität.

Beim modellbasierten Reglerentwurf fließen stets Unsicherheiten in die Regelung ein, welche durch die Modellerstellung entstehen. Eine Regelung kann dann als robust bezeichnet werden, wenn sie unempfindlich gegenüber diesen Modellungenauigkeiten ist, die Regelgüte also nicht stark beeinträchtigt oder gar die Stabilität gefährdet wird. Die Grundlage des H_∞-Entwurfs ist die Modellierung der bekannten Modellunsicherheiten, was zu einer erweiterten Übertragungsfunktion führt, die dann Grundlage zur numerischen Berechnung des H_∞-Reglers ist. Die Bezeichnung "H_∞" rührt aus der mathematischen Theorie, welche dem Verfahren zu Grunde liegt und bezeichnet die Vektornorm eines Hardy-Funktionenraum.

Die H_∞- Norm

SISO-Supremum

Die ${\mathcal {H}}_{\infty }$-Norm ist eine Vektornorm für den Hardyraum ${\mathcal {H}}^{p}$ mit $p\to \infty$. Im mathematischen Kontext stellen Hardyräume Spezialfälle der ${\mathcal {L}}^{p}$-Banachräume dar, in welchen holomorphe Funktionen auf ihre Integrierbarkeit untersucht werden können. Der ${\mathcal {H}}_{\infty }$-Raum beinhaltet entsprechend alle holomorphen Funktionen (jeder Funktionswert ist in $\mathbb {C}$ komplex differenzierbar), die in der oberen rechten Hälfte der komplexen Ebene ($Re(s)>0$) beschränkt sind. Eine mathematische Norm, die einem Raum zugeordnet ist, charakterisiert die "Größe" eines Objekts dieses Raums, also z. B. die Länge bzw. der Betrag eines Vektors.

Im Falle der in der Systemtechnik interessierenden Übertragungsfunktionen beschreibt die ${\mathcal {H}}_{\infty }$-Norm den Maximalwert des Amplitudengangs einer untersuchten Übertragungsfunktion. Im SISO-Fall bedeutet dies einfach:

$\|G(s)\|_{\infty }={\underset {\omega }{sup}}\left|G(j\omega )\right|$

Die allgemeine Berechnungsvorschrift des Supremums lautet:

${\underset {\omega }{sup}}\left|G(j\omega )\right|=\lim _{p\to \infty }\left(\int _{-\infty }^{\infty }\left|G(j\omega )\right|^{p}\,d\omega \right)^{1/p}$

Im MIMO-Fall wird hingegen der maximale Singulärwert der Übertragungsmatrix ermittelt:

$\|{\underline {G}}(s)\|_{\infty }={\underset {\omega }{sup}}\ {\overline {\sigma }}(\left|{\underline {G}}(j\omega )\right|)$

Modellierung der Unsicherheiten

Die Modellierung der Unsicherheiten, die bei der Modellerstellung vorliegen ist die Basis für den späteren Reglerentwurf. Es ist wichtig hier sorgfältig vorzugehen, denn eine Optimierung in eine falsche Richtung kann mehr Schaden anrichten, als dass eine robuste Regelung synthetisiert wird. Modellunsicherheiten lassen sich unterscheiden in parametrische und dynamische Unsicherheiten:

Parametrische Unsicherheiten

Parametrische Unsicherheiten sind dem Namen nach bei der Modellidentifikation schwankende oder allgemein variante Parameter. Dargestellt wird eine solche Unsicherheit durch einen nominellen Wert des unsicheren Parameters $p$ zuzüglich eines Unsicherheitsterms:

$p=p_{nom}\cdot (1+\eta _{p}\delta _{p})$     mit  $|\delta _{p}|\leqq 1\qquad$     und  $\delta _{p},\eta _{p},p,p_{nom}\in \mathbb {R}$

Dabei sind $\eta _{p}$ eine dimensionslose relative Schwankung, $p_{nom}$ ein nomineller Wert des Parameters (gewöhnlich in der Mitte des Schwankungsbereichs) und $\delta _{p}$ die Unsicherheitsvariable. Ausmultipliziert kann $\eta _{p}\cdot p_{nom}$ mit der Parameterunsicherheit $W_{p}$ ersetzt werden:

$p=p_{nom}+W_{p}\delta _{p}$

Dynamische Unsicherheiten

Additive und multiplikative dynamische Unsicherheit

Dynamische Unsicherheiten entstehen durch bei der Modellidentifikation nicht berücksichtigte oder bei einer Modellordnungsreduktion verloren gegangene Dynamiken. Dynamische Unsicherheiten sind frequenzabhängig und können auf verschiedene Arten vorliegen. In der Abbildung rechts ist ein System mit einer additiven und einer multiplikativen Unsicherheit mit der jeweiligen Unsicherheitsgewicht $W$ und der Unsicherheitsmatrix $\Delta$ dargestellt.

Je nach Art der dynamischen Unsicherheit wird das unsichere System bzw. die unsichere Systemmatrix bzgl. dem nominellen System folgendermaßen gebildet (jeweils mit $\|{\underline {\Delta }}_{G}\|_{\infty }\leqq 1$):

• Multiplikative Unsicherheit am Eingang:   ${\underline {G}}={\underline {G}}_{nom}\cdot ({\underline {I}}+{\underline {\Delta }}_{G}{\underline {W}}_{G})$

• Multiplikative Unsicherheit am Ausgang:   ${\underline {G}}=({\underline {I}}+{\underline {\Delta }}_{G}{\underline {W}}_{G})\cdot {\underline {G}}_{nom}$

• Multiplikative Unsicherheit invers am Eingang:   ${\underline {G}}={\underline {G}}_{nom}\cdot ({\underline {I}}-{\underline {\Delta }}_{G}{\underline {W}}_{G})^{-1}$

• Multiplikative Unsicherheit invers am Ausgang:   ${\underline {G}}=({\underline {I}}+{\underline {\Delta }}_{G}{\underline {W}}_{G})^{-1}\cdot {\underline {G}}_{nom}$

Additive können in multiplikative Unsicherheiten transformiert werden.

Linear Fraction Representation

Komplettes System in LFR-Darstellung

Nach der Definition der Unsicherheiten und vor der Anwendung der ${\mathcal {H}}_{\infty }$-Algorithmen zur Reglersynthese muss zunächst das Systemmodell zusammen mit den Unsicherheiten in die LFR überführt werden. Bei der LFR werden den Zustandsgleichungen virtuelle Ein- und Ausgänge hinzugefügt, um die unbekannten Unsicherheitswerte $\delta _{i}$ zu eliminieren bzw. von den bekannten Werten zu trennen. Am Ende steht das folgende LFR-System mit der Reglermatrix ${\underline {K}}$ (untere LFR) und der Unsicherheitsmatrix ${\underline {\Delta }}$ (obere LFR), siehe rechte Abbildung. Dabei sind:

• $w,z$ hinzugefügte virtuelle Ein- und Ausgänge
• $d,e$ äußere Störung, gewichteter virtueller Fehler
• $u,y$ Stell- und Rückführvektor
• $K$ Reglermatrix

Beispiel

Die Dämpfung eines $PT_{2}$-Gliedes sei unsicher:

$T^{2}{\ddot {x}}+2dT{\dot {x}}+x=Ku$    mit   $d=d_{nom}\cdot (1+\eta _{d}\delta _{d})$

${\ddot {x}}={\frac {Ku}{T^{2}}}-{\frac {2d_{nom}}{T}}{\dot {x}}-{\frac {d_{nom}\eta _{d}}{T}}\underbrace {{\dot {x}}\delta _{d}} _{{\mathrel {\widehat {=}}}w_{d}}-{\frac {x}{T^{2}}}$

Zur Eliminierung von $\delta _{d}$ wurde der virtuelle Eingang $w_{d}$ hinzugefügt. Dazu passend wird der Ausgang $z_{d}={\dot {x}}\rightarrow w_{d}=z_{d}\delta _{d}$ hinzugefügt, wodurch die Rückführung geschlossen werden kann und trotz Eliminierung kein Informationsverlust entsteht.

Aus dem unsicheren System

$\left({\begin{matrix}{\dot {x}}\\{\ddot {x}}\\\hline y\end{matrix}}\right)=\left({\begin{matrix}0&1\\{\frac {-1}{T}}&{\frac {-2d}{T}}\\\hline 1&0\end{matrix}}\right.\left|{\begin{matrix}0\\{\frac {K}{T^{2}}}\\\hline 0\end{matrix}}\right)\left({\begin{matrix}x\\{\dot {x}}\\\hline u\end{matrix}}\right)=\left({\begin{matrix}{\underline {A}}\\\hline {\underline {c}}\end{matrix}}\right.\left|{\begin{matrix}{\underline {b}}\\\hline d\end{matrix}}\right)\left({\begin{matrix}{\underline {x}}\\\hline u\end{matrix}}\right)$

wird das erweiterte System ${\underline {P}}$ (auch ${\underline {G}}_{erweitert}$ bzw. ${\underline {G}}_{augmented}$):

$\left({\begin{matrix}{\dot {x}}\\{\ddot {x}}\\\hline z_{d}\\y\end{matrix}}\right)=\underbrace {\left({\begin{matrix}0&1\\{\frac {-1}{T}}&{\frac {-2d_{nom}}{T}}\\\hline 0&1\\1&0\end{matrix}}\right.\left|{\begin{matrix}0&0\\{\frac {-d_{nom}\eta _{d}}{T}}&{\frac {K}{T^{2}}}\\\hline 0&0\\0&0\end{matrix}}\right)} _{\underline {P}}\left({\begin{matrix}x\\{\dot {x}}\\\hline w_{d}\\u\end{matrix}}\right)$

Bei dynamischen Unsicherheiten ist das Verfahren analog. Bei mehreren Unsicherheiten entsteht eine Diagonalmatrix ${\underline {\Delta }}$ mit den Unsicherheitswerten (skalar und/oder frequenzabhängig) auf der Diagonalen. Die unbekannten Unsicherheitswerte sind nun in upper-LFR-Struktur von der Strecke getrennt, siehe obere Abbildung. Können Sie nicht beziffert werden, so müssen sie beim Reglerentwurf vernachlässigt werden, was zumeist der Fall ist.

H_∞- Reglersynthese

Erweitertes System und Regler in Lower-LFR

In lower-LFR-Darstellung stellt sich die erweiterte Strecke ${\underline {P}}$ mit der Reglermatrix ${\underline {K}}$ wie in der rechten Abbildung dar. Das Ziel des Entwurfs ist die Minimierung der Energieübertragung von $d$ auf $e$ bzw. die Erreichung eines Suboptimums indem ein Wert $\gamma$ unterschritten wird. Mit anderen Worten bedeutet das, dass äußere Einflüsse möglichst geringe Auswirkungen auf das System haben. Das Minimierungsproblem in der ${\mathcal {H}}_{\infty }$-Norm ausgedrückt lautet also nun:

$\|{\underline {F}}_{l}({\underline {P}},{\underline {K}})\|_{\infty }<\gamma$

${\underline {F}}_{l}$ ist die Übertragungsmatrix von $d$ auf $e$ und wird auch als Kostenfunktion bezeichnet.

Mit der gegebenen erweiterten Systemmatrix

${\underline {P}}=\left({\begin{matrix}{\underline {A}}\\\hline {\underline {C}}_{1}\\{\underline {C}}_{2}\end{matrix}}\right.\left|{\begin{matrix}{\underline {B}}_{1}&{\underline {B}}_{2}\\\hline 0&{\underline {D}}_{12}\\{\underline {D}}_{21}&0\end{matrix}}\right)$

kann nun das Problem über verschiedene numerische Ansätze gelöst werden, wenn die folgenden Voraussetzungen erfüllt sind:

• ${\underline {A}},{\underline {B}}_{1}$ ist stabilisierbar, ${\underline {C}}_{1},{\underline {A}}$ ist beobachtbar
• ${\underline {A}},{\underline {B}}_{2}$ ist stabilisierbar, ${\underline {C}}_{2},{\underline {A}}$ ist beobachtbar
• ${\underline {D}}_{12}^{T}\left({\begin{matrix}{\underline {C}}_{1}&{\underline {D}}_{12}\end{matrix}}\right)=\left({\begin{matrix}0&{\underline {I}}\end{matrix}}\right)$
• $\left({\begin{matrix}{\underline {B}}_{1}\\{\underline {D}}_{21}\end{matrix}}\right){\underline {D}}_{21}^{T}=\left({\begin{matrix}0\\{\underline {I}}\end{matrix}}\right)$

Die zwei gebräuchlichsten Möglichkeiten zur Lösung des Optimierungsproblems sind zum einen das LMI-Verfahren (Lineare Matrix Ungleichung) und zum anderen die Lösung von zwei algebraischen Matrix-Riccati-Gleichungen. Der Ablauf von letzterem soll kurz gezeigt werden, die Lösung ist nur numerisch möglich. Die Auslegung kann iterativ wiederholt werden, um ein möglichst kleines $\gamma$ zu erreichen. Der entstehende Regler besitzt dieselbe Anzahl an Zuständen wie das erweiterte System ${\underline {P}}$.

Zur Lösung der zwei Ricatti-Gleichungen muss gelten (alle Großbuchstaben sind Matrizen):

1. Es existiert ein $X_{\infty }$, sodass $X_{\infty }A+A^{T}X_{\infty }+X_{\infty }\left({\frac {1}{\gamma ^{2}}}B_{1}B_{1}^{T}-B_{2}B_{2}^{T}\right)X_{\infty }+C_{1}^{T}C_{1}{\overset {!}{=}}0$
2. Es existiert ein $Y_{\infty }$, sodass $AY_{\infty }+Y_{\infty }A^{T}+Y_{\infty }\left({\frac {1}{\gamma ^{2}}}C_{1}C_{1}^{T}-C_{2}C_{2}^{T}\right)Y_{\infty }+B_{1}^{T}B_{1}{\overset {!}{=}}0$
3. Der größte Eigenwert des gefundenen $X_{\infty }$ bzw. $Y_{\infty }$ ist kleiner als $\gamma ^{2}$: $\rho \left(X_{\infty }Y_{\infty }\right)<\gamma ^{2}$

Mit den gefundenen Matrizen $X_{\infty }$ und $Y_{\infty }$ synthetisiert sich die Reglermatrix schlussendlich zu ${\underline {K}}=\left({\begin{matrix}{\underline {A}}_{\infty }\\\hline {\underline {F}}_{\infty }\end{matrix}}\right.\left|{\begin{matrix}-{\underline {Z}}_{\infty }{\underline {L}}_{\infty }\\\hline 0\end{matrix}}\right)$.

Dabei sind:

$A_{\infty }=A+{\frac {1}{\gamma ^{2}}}B_{1}B_{1}^{T}X_{\infty }+B_{1}F_{\infty }+Z_{\infty }C_{2}$,

$F_{\infty }=-B_{2}^{T}X_{\infty }$,

$L_{\infty }=-Y_{\infty }C_{2}^{T}$,

$Z_{\infty }=\left(I-{\frac {1}{\gamma ^{2}}}X_{\infty }Y_{\infty }\right)-1$

Siehe auch

• Robuste Regelung
• Möbiustransformation

Literatur

• Sigurd Skogestad, Ian Postlethwaite: Multivariable Feedback Control: Analysis and Design. Wiley, New York 2005, ISBN 0-470-01167-X.
• Huibert Kwakernaak: Robust Control and H_∞-Optimization-Tutorial. (PDF; 1,5 MB) Pergamon Press, 1992.
• Keith Glover, John Doyle: State-space formulae for all stabilizing controllers that satisfy an H_∞-norm bound and relations to risk sensitivity. (PDF; 531 kB) In: System & Control Letters. 11, 1988, S. 167-172.