User:Margav06/sandbox/Click here to continue/Fundamentals of Matrix and LMIs/Deduced LMI Conditions for H2 Index

H2 Index Deduced LMI

Although there are ways to evaluate an upper bound on the H2, the verification of the bound on the H2-gain of the system can be done via the deduced condition.

The System
We consider the generalized Continuous-Time LTI system with the state space realization of $$(A,B,C,D)$$



\begin{align} \dot x(t)&=Ax(t)+Bu(t)\\ y(t)&=Cx(t) \end{align}$$

where $$x(t)\in \mathbb{R}^n$$, $$y(t)\in \mathbb{R}^m$$ and $$u(t)\in \mathbb{R}^r$$ are the system state, output, and the input vectors respectively. The transfer function of such a system can be evaluated as:



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

The Data
The system matrices $$A,B,C$$ are known.

The Optimization Problem
For an arbitrary $$ \gamma >0 $$(a given scalar), the transfer function satisfies


 * $$ \left\| C(sI-A)^{-1}B+D \right\|_{2} < \gamma $$

The H2-norm condition on Transfer function holds only when the matrix A is stable. And this can be conveniently converted to an LMI problem

if and only if 1. There exists a symmetric matrix $$X > 0 $$ such that: $$ AX+XA^T+BB^T < 0 $$, $$ trace(CXC^T)< \gamma^2 $$

2. There exists a symmetric matrix $$Y > 0 $$ such that: $$ AY+YA^T+C^TC < 0 $$, $$ trace(B^TYB)< \gamma^2 $$

The LMI - Deduced Conditions for H2-norm
These deduced condition can be derived from the above equations. According to this

For an arbitrary $$ \gamma >0 $$(a given scalar), the transfer function satisfies


 * $$ \left\| G(s) \right\|_{2} < \gamma $$

if and only if there exists symmetric matrices $$ Z$$ and $$ P$$; and a matrix $$ V$$ such that $$ trace(Z) < \gamma^2$$ $$ \begin{bmatrix} -Z & B^T \\ B & -P \end{bmatrix}$$$$\begin{align}< 0\end{align}$$ $$ \begin{bmatrix} -(V+V^T) & V^TA^T+P & V^TC^T & V^T \\ AV+P & -P & 0 & 0 \\ CV & 0 & -I & 0 \\ V & 0 & 0 & -P \end{bmatrix}$$$$\begin{align}< 0\end{align}$$

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

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

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

https://github.com/yashgvd/ygovada

Related LMIs
Bounded Real Lemma Deduced LMIs for H-infinity index