LMIs in Control/pages/Lin Sys Time Delay Stability LMI

LMI Condition For Exponential Stability of Linear Systems With Interval Time-Varying Delays

For systems experiencing time-varying delays where the delays are bounded, the feasibility LMI in this section can be used to determine if the system is $\alpha$-exponentially stable.

The System

$\begin{array}{ccc}\dot{x}(t)& =Ax(t)+Dx(t-h(t)),& t\in {ℝ}^{+},\\ x(t)& =\varphi (t),& t\in [-h_2,0],\end{array}$

where $x(t)\in {ℝ}^n$ is the state, $A,D\in {ℝ}^{n\times n}$ are the matrices of delay dynamics, and $\varphi (t)\in {ℝ}^n$ is the initial function with norm $\Vert \varphi \Vert =su{p}_{-\overline{h}\le t\le 0}\{\Vert \varphi (t)\Vert ,\Vert \dot{\varphi }(t)\Vert \}$ and it is continuously differentiable function on $[-h_2,0]$. The tyime-varying delay function $h(t)$ satisfies:

$0\le h_1\le h(t)\le h_2,t\in {ℝ}^{+},$

The Data

The matrices $(A,D)$ are known, as well as the bounds $(h_1,h_2)$ of the time-varying delay.

The Optimization Problem

For a given $\alpha >0$, the zero solution of the system described above is $\alpha$-exponentially stable if there exists a positive number $N>0$ such that every solution $x(t,\varphi )$ satisfies the following condition:

$\Vert x(t,\varphi )\Vert \le N{e}^{-\alpha t}\Vert \varphi \Vert ,\mathrm{\forall }t\in {ℝ}^{+}$

The LMI: $\alpha$-Stability Condition

The following feasibility LMI can be used to check if the system is $\alpha$-exponentially stable or not for a given $\alpha >0$:

$\begin{array}{cc}& \text{Find}P,Q,R,U,S_i,\text{ where }i=1,2,...,5:\\ & \left[\begin{array}{ccccc}{M}_{11}& M_{12}& M_{13}& M_{14}& M_{15}\\ *& M_{22}& 0& M_{24}& S_2\\ *& *& M_{33}& M_{34}& S_3\\ *& *& *& M_{44}& S_4-S_{5}D\\ *& *& *& *& M_{55}\end{array}\right]<0\\ & \text{where:}\\ & M_{11}=A^{\mathrm{\top }}P+PA+2\alpha P-(e^{-2\alpha h_1}+e^{-2\alpha h_2})R+0.5S_1(I-A)+0.5(I-A^{\mathrm{\top }})S_1^{\mathrm{\top }}+2Q,\\ & M_{12}=e^{-2\alpha h_1}R-S_{2}A,M_{13}=e^{-2\alpha h_2}R-S_{3}A,\\ & M_{14}=PD-S_{1}D-S_{4}A,M_{15}=S_1-S_{5}A,\\ & M_{22}=-e^{-2\alpha h_1}(Q+R),M_{24}=S_{2}D+e^{-2\alpha h_2}U,\\ & M_{33}=-e^{-2\alpha h_1}(Q+R+U),M_{34}=-S_{3}D+e^{-2\alpha h_2}U,\\ & M_{44}=0.5(S_{4}D+D^{\mathrm{\top }}{S}_4^{\mathrm{\top }})-e^{-2\alpha h_2}U,\\ & M_{55}=S_5+S_5^{\mathrm{\top }}+(h_1^2+h_2^2)R+(h_2-h_1{)}^{2}U,\end{array}$

The above LMI can be combined with the bisection method to find $\alpha$.

Conclusion:

For systems with time-varying delays with intervals, the LMI in this section can be used to check if the system is exponentially stable with a certain $\alpha$. The bisection algorithm can be additionally used to compute $\alpha$.

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/Intervaled_Delay_Sys_Stability_example.m

External Links

A list of references documenting and validating the LMI.

• LMI approach to exponential stability of linear systems with interval time-varying delays - Original Article by Phat et al.