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

Volumn 10, Issue 1, 1997, Pages 31-40

  Tsitsiklis, John N ^a   Blondel, Vincent D ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF LIÈGE   (Belgium)

Author keywords

Algorithmic solvability; Computational complexity; Discrete differential inclusion; Generalized spectral radius; Joint spectral radius; Lyapunov exponent; Lyapunov indicator; NP hard

Indexed keywords

CALCULATIONS; LYAPUNOV METHODS; MATHEMATICAL TECHNIQUES; MATRIX ALGEBRA;

ALGORITHMIC SOLVABILITY; JOINT SPECTRAL RADIUS;

CONTROL THEORY;

EID: 0030651078     PISSN: 09324194     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01219774     Document Type: Article

References (37)

1. L. Arnold, H. Crauel, and J.-P. Eckmann (eds.), Lyapunov Exponents, Proceedings of a Conference Held in Oberwolfach, Lecture Notes in Mathematics, vol. 1486, Springer-Verlag, Berlin, 1991.
2. N. E. Barabanov, Lyapunov indicators of discrete inclusions, parts I, II, and III, Avtomat. i Telemekh., 2 (1988), 40-46, 3 (1988), 24-29, and 5 (1988), 17-24 (Translation in Automat. Remote Control).
3. N. E. Barabanov, Lyapunov indicators of discrete inclusions, parts I, II, and III, Avtomat. i Telemekh., 2 (1988), 40-46, 3 (1988), 24-29, and 5 (1988), 17-24 (Translation in Automat. Remote Control).
4. N. E. Barabanov, Lyapunov indicators of discrete inclusions, parts I, II, and III, Avtomat. i Telemekh., 2 (1988), 40-46, 3 (1988), 24-29, and 5 (1988), 17-24 (Translation in Automat. Remote Control).
5. N. E. Barabanov, Lyapunov indicators of discrete inclusions, parts I, II, and III, Avtomat. i Telemekh., 2 (1988), 40-46, 3 (1988), 24-29, and 5 (1988), 17-24 (Translation in Automat. Remote Control).
6. M. Berger and Y. Wang, Bounded semigroup of matrices, Linear Algebra Appl., 166 (1992), 21-27.
7. V. D. Blondel and J. N. Tsitsiklis, When is a pair of matrices mortal?, Technical report LIDS-P-2314, LIDS, MIT, January 1996.
8. To appear in Information Processing Letters.
9. V. D. Blondel and J. N. Tsitsiklis, Complexity of stability and controllability of elementary hybrid systems, preprint (1997).
10. P. Bougerol, Filtre de Kalman Bucy et exposants de Lyapounov, in Lyapunov Exponents (L. Arnold et al., eds.), Lecture Notes in Mathematics, vol. 1486, Springer-Verlag, Berlin, 1991, pp. 112-122.
11. S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, SIAM Studies in Applied Mathematics, vol. 15, SIAM, Philadelphia, PA, 1994.
12. R. Brayton and C. Tong, Constructive stability and asymptotic stability of dynamical systems, IEEE Trans. Circuits and Systems, 27 (1980), 1121-1130.
13. J. Cohen, Subadditivity, generalized products of random matrices and operation research, SIAM Rev., 30 (1988), 69-86.
14. J. Cohen, H. Kesten, and M. Newman (eds.), Random Matrices and Their Applications, Contemporary Mathematics, vol. 50, American Mathematical Society, Providence, RI, 1986.
15. R. Darling, The Lyapunov exponent for product of infinite-dimensional random matrices, in Lyapunov Exponents (L. Arnold et al., eds.), Lecture Notes in Mathematics, vol. 1486, Springer-Verlag, Berlin, 1991, pp. 206-215.
16. I. Daubechies and J. C. Lagarias, Sets of matrices all infinite products of which converge, Linear Algebra Appl., 162 (1992), 227-263.
17. L. Elsner, The generalized spectral radius theorem: an analytic-geometric proof, Linear Algebra Appl., 220 (1995), 151-159.
18. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-completeness, Freeman, New York, 1979.
19. R. Gharavi and V. Anantharam, An upper bound for the largest Lyapunov exponent of a Markovian random matrix product of nonnegative matrices, preprint (1995).
20. G. Gripenberg, Computing the joint spectral radius, Linear Algebra Appl., 234 (1996), 43-60.
21. L. Gurvits, Stability of discrete linear inclusion, Linear Algebra Appl., 231 (1995), 47-85.
22. J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata, Addison-Wesley, Reading, MA, 1969.
23. R. A. Horn and C. R. Johnson, Matrix Analysis, Cambridge University Press, Cambridge, 1985.
24. J. Kingman, Subadditive ergodic theory, Ann. Probab., 1 (1976), 883-909.
25. V. S. Kozyakin, Algebraic unsolvability of problem of absolute stability of desynchronized systems, Avtomat. i Telemekh., 6 (1990), 41-47 (Translation in Automat. Remote Control).
26. J. C. Lagarias and Y. Wang, The finiteness conjecture for the generalized spectral radius of a set of matrices, Linear Algebra Appl., 214 (1995), 17-42.
27. R. Lima and M. Rahibe, Exact Lyapunov exponent for infinite products of random matrices, J. Phys. A, 27 (1994), 3427-3437.
28. Y. Matiyasevich and G. Sénizergues, Decision problems for semi-Thue systems with a few rules, preprint (1996).
29. V. I. Oseledec, A multiplicative ergodic theorem. Lyapunov characteristic numbers for dynamical systems, Trans. Moscow Math. Soc., 19 (1968), 197-231.
30. C. H. Papadimitriou, Computational Complexity, Addison-Wesley, Reading, MA, 1994.
31. C. H. Papadimitriou and J. N. Tsitsiklis, The complexity of Markov decision processes, Math. Oper. Res., 12 (1987), 441-450.
32. M. Paterson, Unsolvability in 3 x 3 matrices, Stud. Appl. Math., 49 (1970), 105-107.
33. K. Ravishankar, Power law scaling of the top Lyapunov exponent of a product of random matrices, J. Stat. Phys., 54 (1989), 531-537.
34. J. Roerdink, The biennal life strategy in a random environment, J. Math. Biol., 26 (1988), 199-215.
35. G.-C. Rota and G. Strang, A note on the joint spectral radius, Indag. Math., 22 (1960), 379-381.
36. J. N. Tsitsiklis, On the stability of asynchronous iterative processes, Math. Systems Theory, 20 (1987), 137-153.
37. J. N. Tsitsiklis and V. D. Blondel, The spectral radius of a pair of matrices is hard to compute, Proceedings of the 35th Conference on Decision and Control, Kobe, December 1996, pp. 3192-3197.