Topological Formulation of Discrete-time Switched Linear Systems and Almost Sure Stability

In this paper, we study the stability of discrete-time switched linear systems via symbolic topology formulation and the multiplicative ergodic theorem. A sufficient and necessary condition for mu(A)-almost sure stability is derived, where mu(A) is the Parry measure of the topological Markov chain with a prescribed transition (0,1)-matrix A. The obtained mu(A)-almost sure stability is invariant under small perturbations of the system. The topological description of stable processes of switched linear systems in terms of Hausdorff dimension is given, and it is shown that our approach captures the maximal set of stable processes for linear switched systems. The obtained results cover the stochastic Markov jump linear systems, where the measure is the natural Markov measure defined by the transition probability matrix.