LMIs in Control/pages/Deduced LMI Conditions for H-infinity Index

H-infinity Index Deduced LMI

Although the KYP Lemma, also known as the Bounded Real Lemma, is a basic condition to evaluate an upper bound on the H_∞, the verification of the bound on the H_∞-gain of the system can be done via the deduced condition.

The System

A state-space representation of a linear system as given below:

$\begin{array}{cc}\dot{x}(t)& =Ax(t)+Bw(t)\\ y(t)& =Cx(t)+Dw(t)\end{array}$

where $x(t)\in {ℝ}^n$, $y(t)\in {ℝ}^m$ and $w(t)\in {ℝ}^r$ are the system state, output, and the disturbance vector respectively. The transfer function of such a system can be evaluated as:

$\begin{array}{c}G(s)=C(sI-A{)}^{-1}B+D\end{array}$

The Data

Number of states n, number of outputs m and number of external noise channels r need to be known. Moreover, the system matrices A,B,C,D are also required to be known.

The Feasibility LMI

For an arbitrary $\gamma$, the transfer function G(s) satisfies

${\Vert G(s)\Vert }_{\mathrm{\infty }}<\gamma$

if and only if there exists a symmetric matrix X > 0 and a matrix $\mathrm{\Omega }.$ such that:

$\begin{array}{cc}\text{Find}X,\mathrm{\Omega }:& \\ \mathrm{\Theta }+{\mathrm{\Phi }}^{\mathrm{\top }}\mathrm{\Omega }\mathrm{\Psi }+{\mathrm{\Psi }}^{\mathrm{\top }}{\mathrm{\Omega }}^{\mathrm{\top }}\mathrm{\Phi }<0\end{array}$

where:

$\begin{array}{cc}\mathrm{\Theta }& =\left[\begin{array}{ccccc}0& X& 0& 0& 0\\ X& -X& 0& 0& 0\\ 0& 0& -\gamma I_m& 0& 0\\ 0& 0& 0& -X& 0\\ 0& 0& 0& 0& \gamma I_r\end{array}\right]\\ \mathrm{\Phi }& =\left[\begin{array}{ccccc}-I_n& A^{\mathrm{\top }}& C^{\mathrm{\top }}& I_n& 0\\ 0& B^{\mathrm{\top }}& D^{\mathrm{\top }}& 0& -\gamma I_r\end{array}\right]\\ \mathrm{\Psi }& =\left[\begin{array}{ccccc}{I}_n& 0& 0& 0& 0\\ 0& 0& 0& 0& I_r\end{array}\right]\end{array}$

The above LMI can be combined with the bisection method to find minimum $\gamma$ to find the minimum upper bound on the H_∞ gain of $G(s)$.

Conclusion:

If there is a feasible solution to the aforementioned LMI, then the $\gamma$ upper bounds the infinity norm of the system G(s).

Implementation

To solve the feasibility LMI, YALMIP toolbox is required for setting up the feasibility problem, and SeDuMi is required to solve the problem. The following link showcases an example of the feasibility problem:

https://github.com/smhassaan/LMI-Examples/blob/master/Deduced_hinf_example.m

Related LMIs

Bounded Real Lemma

External Links

A list of references documenting and validating the LMI.

• LMIs in Control Systems: Analysis, Design and Applications - by Guang-Ren Duan and Hai-Hua Yu, CRC Press, Taylor & amp; Francis Group, 2013, Section 5.2.2 pp. 153–156.