LMIs in Control/pages/Discrete Time Stabilizability

Discrete-Time Stabilizability

A discrete time system operates on a discrete time signal input and produces a discrete time signal output. They are used in digital signal processing, such as digital filters for images or sound. The class of discrete time systems that are both linear and time invariant, known as discrete time LTI systems.

Discrete-Time LTI systems can be made stable using controller gain K, which can be found using LMI optimization, such that the close loop system is stable.

The System

Discrete-Time LTI System with state space realization $(A_d,B_d,C_d,D_d)$
$\begin{array}{ccccc}& A_d\in {𝐑}^{𝐧\mathbf{*}𝐧},& B_d\in {𝐑}^{𝐧\mathbf{*}𝐦},& C_d\in {𝐑}^{𝐩\mathbf{*}𝐧},& D_d\in {𝐑}^{𝐩\mathbf{*}𝐦}\\ \end{array}$

The Data

The matrices: System $(A_d,B_d,C_d,D_d),P,W$.

The Optimization Problem

The following feasibility problem should be optimized:

Maximize P while obeying the LMI constraints.
Then K is found.

The LMI:

Discrete-Time Stabilizability

The LMI formulation

$\begin{array}{c}P\in S^n;W\in R^{m*n}\\ & P>0\\ \left[\begin{array}{cc}P& A_{d}P+B_{d}W\\ *& P\end{array}\right]& >0,\\ K_d=W{P}^{-1}\end{array}$

Conclusion:

The system is stabilizable iff there exits a $P$, such that $P>0$. The matrix $A_d+B_d{K}_d$ is Schur with $K_d=W{P}^{-1}$

Implementation

A link to CodeOcean or other online implementation of the LMI
MATLAB Code

Related LMIs

[1] - Continuous Time Stabilizability

External Links

A list of references documenting and validating the LMI.

• LMI Methods in Optimal and Robust Control - A course on LMIs in Control by Matthew Peet.
• LMI Properties and Applications in Systems, Stability, and Control Theory - A List of LMIs by Ryan Caverly and James Forbes.
• LMIs in Systems and Control Theory - A downloadable book on LMIs by Stephen Boyd.