LMIs in Control/pages/Unsat Inp Stabilization

LMI For Stabilization Condition for Systems With Unsymmetrical Saturated Control

The LMI in this page gives the feasibility conditions which, if satisfied, imply that the correstponding system can be stabilized.

The System


\begin{align} \dot x(t)&=Ax(t)+BSat(u(t)), \\ x(0)&=x_0, \\ Sat(u)_i = , \end{align}$$

where $$ x \in \|R^n $$ is the state, $$ u \in \|R^m $$ is the control input.

For the system given as above, its symmetrical saturated control form can be derived by following the procedure in the original article. The new system will have the form:



\begin{align} \dot x(t)&=Ax(t)+\tilde{B}sat(z(t))+Ew \end{align}$$

where $$ w_i = u_i - \frac{\alpha_i - \beta_i}{2}, z_i = w_i\frac{2}{\alpha_i + \beta_i} $$

The Data
The system matrices $$ (A,\tilde{B},E) $$, the saturation bounds $$ (\alpha_i, \beta_i) $$ of the control inputs. Positive scalars $$ \rho, \eta $$.

The LMI: The Stabilization Feasibility Condition


\begin{align} &\text{Find} \; X,Y,Z:\\ &\text{subj. to: } X > 0, \\ & \quad \begin{bmatrix} AX + \tilde{B}(D_sY+\hat{D}_s^-Z) \end{bmatrix} + \begin{bmatrix} AX + \tilde{B}(D_sY+\hat{D}_s^-Z) \end{bmatrix}^\top + \frac{\eta}{\rho}X + \frac{1}{\eta}EE^\top < 0, \\ \begin{bmatrix} \mu & Z_i \\ * X \end{bmatrix} > 0, i = 1,...,\bar{m} \end{align}$$

Here $$ D_s $$ is a diagonal matrix with a component either 0 or 1, and $$ D_s+D_s^- = \frac{\Lambda + \Tau}{2} $$ and $$ \hat{D}_s^- = e_{f_m} \times D_s^- $$

Conclusion:
The feasibility of the given LMI implies that the system is stabilizable with control gains $$ K =YX^{-1}, H = ZX^{-1} $$.

Implementation
A link to CodeOcean or other online implementation of the LMI