Computing Lyapunov exponents of switching systems

We discuss a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems. The method we propose allows to decide the uniform stability of a switching system and to compute the Lyapunov exponent with an arbitrary precision. The method relies on the discretization of the system and provides - for any given discretization stepsize - a lower and an upper bound for the Lyapunov exponent. The efficiency of the new method is illustrated by numerical examples. For a more extensive discussion we remand the reader to [8].