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

N. Athanasopoulos, K. Smpoukis, and R. M. Jungers, Invariant sets analysis for constrained switching systems, IEEE Control Systems Letters, vol.1, issue.2, pp.256-261, 2017.

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

J. Bang-jensen and G. Z. Gutin, Digraphs: theory, algorithms and applications, 2008.

J. Daafouz, P. Riedinger, and C. Iung, Stability analysis and control synthesis for switched systems: A switched Lyapunov function approach, IEEE Transactions on Automatic Control, vol.47, pp.1883-1887, 2002.

E. Dijkstra, A Discipline of Programming, 1976.

M. Fiacchini, A. Girard, J. , and M. , On the stabilizability of discrete-time switched linear systems: Novel conditions and comparisons, IEEE Transactions on Automatic Control, issue.5, pp.1181-1193, 2016.
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, vol.50, pp.75-83, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00875424

M. Fiacchini, M. Jungers, and A. Girard, Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems. Automatica, regular paper, vol.93, pp.64-74, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01677493

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

L. Gurvits, Stability of discrete linear inclusion, Linear Algebra and its Applications, vol.231, pp.47-85, 1995.

M. Jungers, A. Girard, and M. Fiacchini, Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach, Proceedings of 55th IEEE Conference on Decision and Control, pp.5539-5544, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01386851

R. M. Jungers and P. Mason, On feedback stabilization of linear switched systems via switching signal control, SIAM J. Control Optim, vol.55, issue.2, pp.1179-1198, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01532013

D. Lee and J. Hu, Graph control Lyapunov function for stabilization of discrete-time switched linear systems, Proceedings of the 2016 American Control Conference (ACC), pp.697-702, 2016.

D. Lee and J. Hu, On the graph control Lyapunov function for stabilization of discrete-time switched linear systems, Proceedings of the 2017 American Control Conference (ACC), pp.5159-5164, 2017.

D. Lee and J. Hu, Periodic stabilization of discrete-time switched linear systems, IEEE Transactions on Automatic Control, vol.62, issue.7, pp.3382-3394, 2017.

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

J. L. Mancilla-aguilar, R. Garcia, E. Sontag, W. , and Y. , Uniform stability properties of switched systems with switchings governed by digraphs. Nonlinear Analysis, vol.63, pp.472-490, 2005.

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

Y. Wang, N. Roohi, G. E. Dullerud, and M. Viswanathan, Stability analysis of switched linear systems defined by regular languages, IEEE Transactions on Automatic Control, vol.62, issue.5, pp.2568-2575, 2017.