User:Margav06/sandbox/Click here to continue/LMIs in system and stability Theory/Discrete-time Negative Imaginary Lemma

The System
Given a square, discrete-time LTI system G: L2e --> L2e with state-space realization (Ad, Bd, Cd, Dd) where

$$A_d \in \mathbb{R}^{n x n}$$, $$B_d \in \mathbb{R}^{n x m}$$, $$C_d \in \mathbb{R}^{m x n}$$, and $$D_d \in \mathbb{R}^{m x m}$$.

In this system, $$C_d(z1 - A_d)^{-1} B_d + D_d = B_d^T (z1 - A_d^T)^{-1} C_d^T + D_d^T$$ and $$det(1+A) \neq 0$$  and $$det(1-A) \neq 0$$.

The Data
$$A_d \in \mathbb{R}^{n x n}$$, $$B_d \in \mathbb{R}^{n x m}$$, $$C_d \in \mathbb{R}^{m x n}$$, and $$D_d \in \mathbb{R}^{m x m}$$

The LMI:
The system G posed above is considered to be negative imaginary under either of the sufficient and necessary conditions:


 * 1) There exists $$P \in \mathbb{S}^{n}$$, where P > 0 such that

$$A_d^T P A_d - P \leq 0,$$

$$C_d + B_d^T (A_d^T - 1)^{-1} P (A_d +1) = 0$$

2. There exists $$Q \in \mathbb{S}^{n}$$, where Q > 0 such that

$$A_d Q A_d^T - Q \leq 0,$$

$$B_d + (A_d -1)^{-1} Q (A_d^T + 1)C_d^T = 0$$

Conclusion
By using the LMI described above, a discrete LTI system can be evaluated for the negative imaginary condition.

Implementation
This LMI can be implemented in any LMI solver such as YALMIP, using an algorithmic solver like MOSEK.

Related LMIs

 * Negative Imaginary Lemma