LMIs in Control/Stability Analysis/Discrete Time/Transient Output Bound for Discrete-Time Autonomous LTI Systems

The System edit

Consider the discrete-time LTI system with state-space realization
${\mathbf {x}}_{k+1}={\mathbf {A}}_{d}{\mathbf {x}}_{k}$ ,
${\mathbf {y}}_{k}={\mathbf {C}}_{d}{\mathbf {x}}_{k}$

The Data edit

${\mathbf {A}}_{d}\in \mathbb {R} ^{n\times n}$ and ${\mathbf {C}}_{d}\in \mathbb {R} ^{p\times n}$

The LMI edit

The Euclidean norm of the output satisfies
$\left\vert \left\vert y_{k}\right\Vert \right\vert _{2}\leq \gamma \left\vert \left\vert x_{0}\right\Vert \right\vert _{2},\forall k\in \mathbb {Z} _{\geq 0}$
if there exist \bold P \in\mathbb S^n and \gamma \in\mathbb R_{>0}, where \bold P > 0, such that
${\mathbf {P}}-\gamma {\mathbf {1}}\leq 0$ , ${\begin{bmatrix}{\mathbf {P}}&{\mathbf {C}}_{d}^{T}\\*&\gamma {\mathbf {1}}\end{bmatrix}}\geq 0.$ ${\mathbf {A}}_{d}^{T}{\mathbf {P}}{\mathbf {A}}_{d}-{\mathbf {P}}\leq 0$