On formalism and stability of switched systems

In this paper, we formulate a uniform mathematical framework for studying switched systems with piecewise linear partitioned state space and state dependent switching. Based on known results from the theory of differential inclusions, we devise a Lyapunov stability theorem suitable for this class of switched systems. With this, we prove a Lyapunov stability theorem for piecewise linear switched systems by means of a concrete class of Lyapunov functions. Contrary to existing results on the subject, the stability theorems in this paper include Filippov (or relaxed) solutions and allow infinite switching in finite time. Finally, we show that for a class of piecewise linear switched systems, the inertia of the system is not sufficient to determine its stability. A number of examples are provided to illustrate the concepts discussed in this paper.