Abstract
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach is based on a search for a SOS polynomial that proves simultaneous contractibility of a finite set of matrices. We provide a bound on the quality of the approximation that unifies several earlier results and is independent of the number of matrices. Additionally, we present a comparison between our approximation scheme and a recent technique due to Blondel and Nesterov, based on lifting of matrices. Theoretical results and numerical investigations show that our approach yields tighter approximations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Berger, M., Wang, Y.: Bounded semigroups of matrices. Linear Algebra and Applications 166, 21–27 (1992)
Daubechies, I., Lagarias, J.C.: Sets of matrices all infinite products of which converge. Linear Algebra and Applications 161, 227–263 (1992)
Daubechies, I., Lagarias, J.C.: Corrigendum/addendum to “Sets of matrices all infinite products of which converge”. Linear Algebra and Applications 327, 69–83 (2001)
Shih, M., Wu, J., Pang, C.T.: Asymptotic stability and generalized Gelfand spectral radius formula. Linear Algebra and Applications 251, 61–70 (1997)
Leizarowitz, A.: On infinite products of stochastic matrices. Linear Algebra and Applications 168, 189–219 (1992)
Rota, G.C., Strang, W.G.: A note on the joint spectral radius. Indag. Math. 22, 379–381 (1960)
Blondel, V.D., Tsitsiklis, J.N.: A survey of computational complexity results in systems and control. Automatica 36, 1249–1274 (2000)
Blondel, V.D., Tsitsiklis, J.N.: The boundedness of all products of a pair of matrices is undecidable. Systems and Control Letters 41, 135–140 (2000)
Tsitsiklis, J.N., Blondel, V.: The Lyapunov exponent and joint spectral radius of pairs of matrices are hard- when not impossible- to compute and to approximate. Mathematics of Control, Signals, and Systems 10, 31–40 (1997)
Hernek, D.: Random walks on colored graphs: Analysis and applications. PhD thesis, EECS Department, University of California at Berkeley (1995)
Barabanov, N.E.: Lyapunov indicators of discrete linear inclusions, parts I, II, and III. Translation from Avtomat. e. Telemekh. 2, 3 and 5, pp. 40–46, pp. 24–29, pp. 17–44 (1988)
Kozyakin, V.A.: Algebraic unsolvability of problem of absolute stability of desynchronized systems. Automation and Remote Control 51, 754–759 (1990)
Wirth, F.: Joint spectral radius and extremal norms. Linear Algebra and Applications 251, 61–70 (2002)
Dayawansa, W.P., Martin, C.F.: A converse Lyapunov theorem for a class of dynamical systems that undergo switching. IEEE Transactions on Automatic Control 44, 751–760 (1999)
Ando, T., Shih, M.H.: Simultaneous contractibility. SIAM Journal on Matrix Analysis and Applications 19, 487–498 (1998)
Blondel, V.D., Nesterov, Y., Theys, J.: On the accuracy of the ellipsoidal norm approximation of the joint spectral radius. Linear Algebra and Applications 394, 91–107 (2005)
Blondel, V.D., Nesterov, Y.: Computationally efficient approximations of the joint spectral radius. SIAM J. Matrix Anal. Appl. 27(1), 256–272 (2005)
Barvinok, A.: A course in convexity. American Mathematical Society (2002)
Parrilo, P.A.: Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. PhD thesis, California Institute of Technology (2000), Available at http://resolver.caltech.edu/CaltechETD:etd-05062004-055516
Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Prog., Ser. B 96(2), 293–320 (2003)
Reznick, B.: Some concrete aspects of Hilbert’s 17th problem. In: Contemporary Mathematics, vol. 253, pp. 251–272. American Mathematical Society (2000)
Brockett, R.: Lie algebras and Lie groups in control theory. In: Mayne, D., Brockett, R. (eds.) Geometric Methods in Systems Theory, pp. 17–56. D. Reidel, Dordrecht (1974)
Zelentsovsky, A.L.: Nonquadratic Lyapunov functions for robust stability analysis of linear uncertain systems. IEEE Trans. Automat. Control 39(1), 135–138 (1994)
Marcus, M.: Finite dimensional multilinear algebra. M. Dekker, New York (1973)
Marcus, M., Minc, H.: A survey of matrix theory and matrix inequalities (Reprint of the 1969 edition). Dover Publications Inc., New York (1992)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Parrilo, P.A., Jadbabaie, A. (2007). Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds) Hybrid Systems: Computation and Control. HSCC 2007. Lecture Notes in Computer Science, vol 4416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71493-4_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-71493-4_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71492-7
Online ISBN: 978-3-540-71493-4
eBook Packages: Computer ScienceComputer Science (R0)