Analysis of the joint spectral radius via lyapunov functions on path-complete graphs

We study the problem of approximating the joint spectral radius (JSR) of a finite set of matrices. Our approach is based on the analysis of the underlying switched linear system via inequalities imposed between multiple Lyapunov functions associated to a labeled directed graph. Inspired by concepts in automata theory and symbolic dynamics, we define a class of graphs called path-complete graphs, and show that any such graph gives rise to a method for proving stability of the switched system. This enables us to derive several asymptotically tight hierarchies of semidefinite programming relaxations that unify and generalize many existing techniques such as common quadratic, common sum of squares, maximum/minimum-of-quadratics Lyapunov functions. We characterize all path-complete graphs consisting of two nodes on an alphabet of two matrices and compare their performance. For the general case of any set of n x n matrices we propose semidefinite programs of modest size that approximate the JSR within a multiplicative factor of 1/4√n of the true value. We establish a notion of duality among path-complete graphs and a constructive converse Lyapunov theorem for maximum/minimum-of-quadratics Lyapunov functions.

[1]  Tingshu Hu,et al.  Conjugate convex Lyapunov functions for dual linear differential inclusions , 2006, IEEE Transactions on Automatic Control.

[2]  Y. Nesterov,et al.  On the accuracy of the ellipsoid norm approximation of the joint spectral radius , 2005 .

[3]  Amir Ali Ahmadi.  Non-monotonic Lyapunov functions for stability of nonlinear and switched systems : theory and computation , 2008 .

[4]  John N. Tsitsiklis,et al.  The Lyapunov exponent and joint spectral radius of pairs of matrices are hard—when not impossible—to compute and to approximate , 1997, Math. Control. Signals Syst..

[5]  Tingshu Hu,et al.  Stabilization of Switched Systems via Composite Quadratic Functions , 2008, IEEE Transactions on Automatic Control.

[6]  Jamal Daafouz,et al.  Parameter dependent Lyapunov functions for discrete time systems with time varying parametric uncertainties , 2001, Syst. Control. Lett..

[7]  Tingshu Hu,et al.  On Several Composite Quadratic Lyapunov Functions for Switched Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[8]  Tingshu Hu,et al.  Dual Matrix Inequalities in Stability and Performance Analysis of Linear Differential/Difference Inclusions , 2006 .

[9]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[10]  T. Andô,et al.  Simultaneous Contractibility , 1998 .

[11]  L. Rosier.  Homogeneous Lyapunov function for homogeneous continuous vector field , 1992 .

[12]  Vincent D. Blondel,et al.  Joint Spectral Characteristics of Matrices: A Conic Programming Approach , 2010, SIAM J. Matrix Anal. Appl..

[13]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[14]  Douglas Lind,et al.  An Introduction to Symbolic Dynamics and Coding , 1995 .

[15]  Mardavij Roozbehani,et al.  Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems , 2008 .

[16]  A. Jadbabaie,et al.  Approximation of the joint spectral radius using sum of squares , 2007, 0712.2887.

[17]  R. Jungers.  The Joint Spectral Radius: Theory and Applications , 2009 .

[18]  Ji-Woong Lee,et al.  Uniform stabilization of discrete-time switched and Markovian jump linear systems , 2006, Autom..

[19]  Y. Pyatnitskiy,et al.  Criteria of asymptotic stability of differential and difference inclusions encountered in control theory , 1989 .

[20]  Vincent D. Blondel,et al.  Computationally Efficient Approximations of the Joint Spectral Radius , 2005, SIAM J. Matrix Anal. Appl..

[21]  Emilio Frazzoli,et al.  Distributed Lyapunov Functions in Analysis of Graph Models of Software , 2008, HSCC.

[22]  Tingshu Hu,et al.  Absolute stability analysis of discrete-time systems with composite quadratic Lyapunov functions , 2005, IEEE Transactions on Automatic Control.

[23]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[24]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[25]  Amir Ali Ahmadi,et al.  Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[26]  J. Tsitsiklis,et al.  The boundedness of all products of a pair of matrices is undecidable , 2000 .