1: \begin{abstract}
2:
3: We present a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems
4: (LSS). This allows us to decide the stability of LSS and to compute the Lyapunov exponent with a good precision
5: in relatively high dimensions. The same technique is also extended for stabilizability of positive systems by evaluating
6: a polytope concave Lyapunov function (``antinorm'') in the cone.
7: The method is based on a suitable discretization of the underlying continuous system and provides both a lower and an upper bound
8: for the Lyapunov exponent.
9: The absolute error in the Lyapunov exponent computation
10: %(the distance between lower and upper bound)
11: is estimated from above and proved to be linear in the dwell time.
12: The practical efficiency of the new method is demonstrated in several examples and in the list of numerical experiments with randomly
13: generated matrices of dimensions up to $10$ (for general linear systems) and up to $100$ (for positive systems).
14: The development of the method is based on several theoretical results proved in the paper: the existence of monotone invariant
15: norms and antinorms for positively irreducible systems, the equivalence of all contractive norms for stable systems and the
16: linear convergence theorem.
17:
18:
19:
20: \smallskip
21:
22:
23: \keywords{Linear switching systems, Lyapunov exponent, polytope,
24: iterative method, cones, Metzler matrices, joint spectral radius, lower spectral radius}
25: \smallskip
26:
27:
28: \begin{flushleft}
29: \noindent \textbf{AMS 2010} {\em subject
30: classification: } 15A60, 15-04, 15A18, 90C90
31: \end{flushleft}
32:
33: \end{abstract}