Switched linear systems: control and design, 2006. ,

Switching in systems and control, 2003. ,

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. ,

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. ,

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

Approximation of the constrained joint spectral radius via algebraic lifting, 2018. ,

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

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

Stability of discrete-time switching systems with constrained switching sequences, Automatica, vol.72, pp.242-250, 2016. ,

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

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

Principles of model checking, 2008. ,

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

Stability analysis of switched linear systems defined by regular languages, IEEE Transactions on Automatic Control, vol.62, issue.5, pp.2568-2575, 2017. ,

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

Convergence in multiagent coordination, consensus, and flocking, IEEE Conference on Decision and Control, pp.2996-3000, 2005. ,

Bounded semigroups of matrices, Linear Algebra and its Applications, vol.166, pp.21-27, 1992. ,