Abstract
In this chapter, we introduce some tools to analyze stability properties of discrete-time switched linear systems driven by switching signals belonging to a given \(\omega \)-regular language. More precisely, we assume that the switching signals are generated by a deterministic Büchi automaton whose alphabet coincides with the set of modes of the switched system. We present the notion of \(\omega \)-regular joint spectral radius (\(\omega \)-RJSR), which intuitively describes the contraction of the state when the run associated with the switching signal visits an accepting state of the automaton. Then, we show how this quantity is related to the stability properties of such systems. Specifically, we show how this notion can characterize a class of stabilizing switching signals for a switched system that is unstable for arbitrary switching. Though the introduced quantity is hard to compute, we present some methods to approximate it using Lyapunov and automata-theoretic techniques. More precisely, we show how upper bounds can be computed by solving a convex optimization problem. To validate the results of our work, we finally show a numerical example related to the synchronization of oscillators over a communication network.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We identify a switching signal \(\theta :\mathbb N \rightarrow \varSigma \) with the infinite word \(\theta (0)\theta (1) \dots \) and use the notation \(\theta \in Lang (\mathcal B)\) for \(\theta (0)\theta (1) \dots \in Lang(\mathcal B)\)
- 2.
The MATLAB® scripts of this numerical example are available at the following repository: https://github.com/georgesaazan/w-regular-oscillators.
References
Aazan, G., Girard, A., Greco, L., Mason, P.: Stability of shuffled switched linear systems: a joint spectral radius approach. Automatica 143, 110434 (2022)
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)
Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
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)
Blondel, V.D., Nesterov, Y.: Computationally efficient approximations of the joint spectral radius. SIAM J. Matrix Anal. Appl. 27(1), 256–272 (2005)
Chatterjee, K., Doyen, L., Henzinger, T.A.: Quantitative languages. ACM Trans. Comput. Logic 11(4), 1–38 (2010)
Dai, X.: A Gel’fand-type spectral radius formula and stability of linear constrained switching systems. Linear Algebra Appl. 436(5), 1099–1113 (2012)
Girard, A., Mason, P.: Lyapunov functions for shuffle asymptotic stability of discrete-time switched systems. IEEE Control Syst. Lett. 3(3), 499–504 (2019)
Gripenberg, G.: Computing the joint spectral radius. Linear Algebra Appl. 234, 43–60 (1996)
Jungers, R.: The Joint Spectral Radius: Theory and Applications, vol. 385. Springer Science & Business Media (2009)
Kozyakin, V.: The Berger-Wang formula for the Markovian joint spectral radius. Linear Algebra Appl. 448, 315–328 (2014)
Lee, J.-W., Dullerud, G.E.: Uniformly stabilizing sets of switching sequences for switched linear systems. IEEE Trans. Autom. Control 52(5), 868–874 (2007)
Philippe, M., Essick, R., Dullerud, G.E., Jungers, R.M.: Stability of discrete-time switching systems with constrained switching sequences. Automatica 72, 242–250 (2016)
Tsitsiklis, J.N., Blondel, V.D.: The Lyapunov exponent and joint spectral radius of pairs of matrices are hard - when not impossible - to compute and to approximate. Math. Control Signals Syst. 10(1), 31–40 (1997)
Vankeerberghen, G., Hendrickx, J., Jungers, R.M.: JSR: a toolbox to compute the joint spectral radius. In: International conference on Hybrid Systems: Computation and Control, pp. 151–156 (2014)
Xu, X., Acikmese, B.: Approximation of the constrained joint spectral radius via algebraic lifting. IEEE Trans. Autom. Control (2020)
Acknowledgements
The authors would like to thank Laurent Fribourg for useful discussions. This work was supported in part by the “Agence Nationale de la Recherche” (ANR) under Grant HANDY ANR-18-CE40-0010.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aazan, G., Girard, A., Mason, P., Greco, L. (2024). A Joint Spectral Radius for \(\omega \)-Regular Language-Driven Switched Linear Systems. In: Postoyan, R., Frasca, P., Panteley, E., Zaccarian, L. (eds) Hybrid and Networked Dynamical Systems. Lecture Notes in Control and Information Sciences, vol 493. Springer, Cham. https://doi.org/10.1007/978-3-031-49555-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-49555-7_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-49554-0
Online ISBN: 978-3-031-49555-7
eBook Packages: EngineeringEngineering (R0)