Necessary and Sufficient LMI Conditions for Stability and Performance Analysis of 2-D Mixed Continuous-Discrete-Time Systems

This paper proposes necessary and sufficient conditions for stability and performance analysis of 2-D mixed continuous-discrete-time systems that can be checked with convex optimization, in particular linear matrix inequalities (LMIs). Specifically, the first contribution of the paper is a condition for exponential stability based on the introduction of a complex Lyapunov function depending polynomially on a parameter and on the use of the Gram matrix method. It is shown that this condition is sufficient for any chosen degree of the complex Lyapunov function, and necessary for an a priori known degree. The second contribution is a non-Lyapunov condition for exponential stability based on eigen-value products. This condition is necessary and sufficient, and has the advantage of requiring a significantly smaller computational burden for achieving necessity. Lastly, the third contribution is to show how upper bounds on the H-infinity norm of 2-D mixed continuous-discrete-time systems can be obtained through a semidefinite program based on complex Lyapunov functions. A necessary and sufficient condition is provided for establishing the tightness of the found upper bounds.