User:Mosmith3/sandbox

The System
Consider the continous-time LTI system, $$G:L_{2e}->L_{2e}$$ with state-space realization (A,B,C,0)

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

where $$A\in \R^{nxn}$$, $$B\in \R^{nxm}$$, $$C\in \R^{pxn}$$, and it and it is assumed that (A, B) is stabilizable, (A, C) is detectable, and the transfer matrix $$G(s)=C(s1-A^{-1})B$$ has no poles on the imaginary axis.

The Data
The matrices $$ A,B,C $$.

The Optimization Problem
The system G is strongly stabilizable if there exist $$P \in \S^n$$, $$Z\in \R^{nxp}$$, and $$\gamma\in \R_{>0}$$, where $$P > 0$$, such that



\begin{align} PA+A^T+ZC+C^TZ^T<0\\ {\displaystyle {\begin{aligned}{\begin{bmatrix}-P(A+BF)+(A+BF)^TP+ZC+C^T Z^T&&-Z&&XB\\ \end{align}$$
 * &&-\gamma I && 0\\
 * && * && -\gamma I \end{bmatrix}}<0\end{aligned}}}\\

Conclusion:
where $$F=-B^TX$$ and $$X \in S_n$$, $$X \geq 0$$ is the solution to the Lyapunov equation given by

\begin{align} XA+A^TX-XBB^TX=0 \end{align}$$ Moreover, a controller that strongly stabilizes G is given by the state-space realization



\begin{align} \dot x_c = (A+BF+P^{-1}ZC)x(t)-P^{-1}Zu(t)\\ y_C=-B^TXx(t) \end{align}$$

Implementation
(Link created but denied access)
 * https://github.com/mosmith3asu/WikibooksLMIs/blob/main/ContinousTimeStrongStabilizability.m- Example Code

Related LMIs
Future Link - Discrete-Time Strong Stabilizability