Joint spectral radius and pathcomplete graph Lyapunov functions, SIAM Journal on Control and Optimization, vol.52, issue.1, pp.687-717, 2014. ,
Invariant sets analysis for constrained switching systems, IEEE Control Systems Letters, vol.1, issue.2, pp.256-261, 2017. ,
Principles of Model Checking, 2008. ,
Digraphs: theory, algorithms and applications, 2008. ,
Stability analysis and control synthesis for switched systems: A switched Lyapunov function approach, IEEE Transactions on Automatic Control, vol.47, pp.1883-1887, 2002. ,
A Discipline of Programming, 1976. ,
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
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
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
Stability and stabilization of discrete-time switched systems, International Journal of Control, vol.79, issue.7, pp.719-728, 2006. ,
Stability of discrete linear inclusion, Linear Algebra and its Applications, vol.231, pp.47-85, 1995. ,
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
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
Graph control Lyapunov function for stabilization of discrete-time switched linear systems, Proceedings of the 2016 American Control Conference (ACC), pp.697-702, 2016. ,
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. ,
Periodic stabilization of discrete-time switched linear systems, IEEE Transactions on Automatic Control, vol.62, issue.7, pp.3382-3394, 2017. ,
Switching in Systems and Control, 2003. ,
Uniform stability properties of switched systems with switchings governed by digraphs. Nonlinear Analysis, vol.63, pp.472-490, 2005. ,
Stability Theory of Switched Dynamical Systems, 2011. ,
Stability analysis of switched linear systems defined by regular languages, IEEE Transactions on Automatic Control, vol.62, issue.5, pp.2568-2575, 2017. ,