Uniform stabilization of discrete-time switched and Markovian jump linear systems

The uniform stability of discrete-time switched linear systems, possibly with a strongly connected switching path constraint, and the existence of finite-path-dependent dynamic output feedback controllers uniformly stabilizing such a system are both shown to be characterized by the existence of a finite-dimensional feasible system of linear matrix inequalities. This characterization is based on the observation that a linear time-varying system is uniformly stable only if there exists a finite-path-dependent quadratic Lyapunov function. The synthesis of a uniformly stabilizing controller is done without conservatism by solving any feasible system of linear matrix inequalities among an increasing family of systems of linear matrix inequalities. The result carries over to the almost sure uniform stabilization of Markovian jump linear systems.