A. A. Ahmadi, R. M. Jungers, P. A. Parrilo, and M. Roozbehani, Joint spectral radius and path-complete graph Lyapunov functions, SIAM Journal on Control and Optimization, vol.52, issue.1, pp.687-717, 2014.

C. Baier and J. Katoen, Principles of model checking, vol.26202649, 2008.

F. Blanchini, Nonquadratic Lyapunov functions for robust control, Automatica, vol.31, pp.451-461, 1995.

F. Blanchini and S. Miani, Set-Theoretic Methods in Control, 2008.

F. Blanchini and C. Savorgnan, Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions, Automatica, vol.44, pp.1166-1170, 2008.

M. Fiacchini, A. Girard, and M. Jungers, On the stabilizability of discrete-time switched linear systems: Novel conditions and comparisons, IEEE Transactions on Automatic Control, issue.99, pp.1-1, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185649

M. Fiacchini and M. Jungers, Necessary and sufficient condition for stabilizability of discrete-time linear switched systems: A set-theory approach, Automatica, vol.50, issue.1, pp.75-83, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00875424

J. C. Geromel and P. Colaneri, Stability and stabilization of discretetime switched systems, International Journal of Control, vol.79, issue.7, pp.719-728, 2006.

J. Lee and G. E. Dullerud, Uniformly stabilizing sets of switching sequences for switched linear systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.868-874, 2007.

D. Liberzon, Switching in Systems and Control, 2003.

H. Lin and P. J. Antsaklis, Stability and stabilizability of switched linear systems: a survey of recent results, IEEE Transaction on Automatic Control, vol.54, issue.2, pp.308-322, 2009.

P. Matthew and R. Jungers, Converse Lyapunov theorems for discretetime linear switching systems with regular switching sequences, 2014.

A. P. Molchanov and Y. S. Pyatnitskiy, Criteria of asymptotic stability of differential and difference inclusions encounterd in control theory, Systems & Control Letters, vol.13, pp.59-64, 1989.

A. M. Rubinov and A. A. Yagubov, The space of star-shaped sets and its applications in nonsmooth optimization, Quasidifferential Calculus, pp.176-202, 1986.

Z. Sun and S. S. Ge, Stability Theory of Switched Dynamical Systems, 2011.

Y. Wang, N. Roohi, G. E. Dullerud, and M. Viswanathan, Stability of linear autonomous systems under regular switching sequences, IEEE 53rd Annual Conference on Decision and Control (CDC), pp.5445-5450, 2014.

G. Weiss and R. Alur, Automata based interfaces for control and scheduling, Hybrid Systems: Computation and Control, pp.601-613, 2007.

W. Zhang, A. Abate, J. Hu, and M. P. Vitus, Exponential stabilization of discrete-time switched linear systems, Automatica, vol.45, issue.11, pp.2526-2536, 2009.