Author:
Aazan Georges,Girard Antoine,Mason Paolo,Greco Luca
Publisher
Springer Nature Switzerland
Reference16 articles.
1. Aazan, G., Girard, A., Greco, L., Mason, P.: Stability of shuffled switched linear systems: a joint spectral radius approach. Automatica 143, 110434 (2022)
2. Aazan, G., Girard, A., Mason, P., Greco, L.: Stability of discrete-time switched linear systems with $$\omega $$-regular switching sequences. In: ACM International Conference on Hybrid Systems: Computation and Control, pp. 1–7 (2022)
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
4. Blondel, V.D., Hendrickx, J.M., Olshevsky, A., Tsitsiklis, J.N.: Convergence in multiagent coordination, consensus, and flocking. In: IEEE Conference on Decision and Control, pp. 2996–3000 (2005)
5. Blondel, V.D., Nesterov, Y.: Computationally efficient approximations of the joint spectral radius. SIAM J. Matrix Anal. Appl. 27(1), 256–272 (2005)