Generating Functions of Switched Linear Systems: Analysis, Computation, and Stability Applications

In this paper, a unified framework is proposed to study the exponential stability of discrete-time switched linear systems and, more generally, the exponential growth rates of their trajectories under three types of switching rules: arbitrary switching, optimal switching, and random switching. It is shown that the maximum exponential growth rates of system trajectories over all initial states under these three switching rules are completely characterized by the radii of convergence of three suitably defined families of functions called the strong, the weak, and the mean generating functions, respectively. In particular, necessary and sufficient conditions for the exponential stability of the switched linear systems are derived based on these radii of convergence. Various properties of the generating functions are established, and their relations are discussed. Algorithms for computing the generating functions and their radii of convergence are also developed and illustrated through examples.