Z. Sun and S. S. Ge, Switched linear systems: control and design, 2006.

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 Transactions on Automatic control, vol.54, issue.2, pp.308-322, 2009.

X. Dai, A Gel'fand-type spectral radius formula and stability of linear constrained switching systems, Linear Algebra and its Applications, vol.436, issue.5, pp.1099-1113, 2012.

V. Kozyakin, The Berger-Wang formula for the Markovian joint spectral radius, Linear Algebra and its Applications, vol.448, pp.315-328, 2014.

X. Xu and B. Acikmese, Approximation of the constrained joint spectral radius via algebraic lifting, 2018.

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.

N. Athanasopoulos and M. Lazar, Stability analysis of switched linear systems defined by graphs, IEEE Conference on Decision and Control, pp.5451-5456, 2014.

M. Philippe, R. Essick, G. E. Dullerud, and R. M. Jungers, Stability of discrete-time switching systems with constrained switching sequences, Automatica, vol.72, pp.242-250, 2016.

P. Pepe, Converse Lyapunov theorems for discrete-time switching systems with given switches digraphs, IEEE Transactions on Automatic Control, 2018.

A. Kundu and D. Chatterjee, On stability of discrete-time switched systems, Nonlinear Analysis: Hybrid Systems, vol.23, pp.191-210, 2017.

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

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

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.

L. Moreau, Stability of multiagent systems with time-dependent communication links, IEEE Transactions on automatic control, vol.50, issue.2, pp.169-182, 2005.

V. D. Blondel, J. M. Hendrickx, A. Olshevsky, and J. N. Tsitsiklis, Convergence in multiagent coordination, consensus, and flocking, IEEE Conference on Decision and Control, pp.2996-3000, 2005.

M. A. Berger and Y. Wang, Bounded semigroups of matrices, Linear Algebra and its Applications, vol.166, pp.21-27, 1992.