Optimization Online


Joint Spectral Radius and Path-Complete Graph Lyapunov Functions

Amir Ali Ahmadi(a_a_a***at***mit.edu)
RaphaŽl Jungers(raphael.jungers***at***uclouvain.be)
Pablo A Parrilo(parrilo***at***mit.edu)
Mardavij Roozbehani(mardavij***at***mit.edu)

Abstract: We introduce the framework of path-complete graph Lyapunov functions for approximation of the joint spectral radius. The approach is based on the analysis of the underlying switched system via inequalities imposed among 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, and maximum/minimum-of-quadratics Lyapunov functions. We compare the quality of approximation obtained by certain classes of path-complete graphs including a family of dual graphs and all path-complete graphs with two nodes on an alphabet of two matrices. We provide approximation guarantees for several families of path-complete graphs, such as the De Bruijn graphs, establishing as a byproduct a constructive converse Lyapunov theorem for maximum/minimum-of-quadratics Lyapunov functions.

Keywords: joint spectral radius, stability of switched systems, linear differential inclusions, finite automata, Lyapunov methods, semidefinite programming

Category 1: Applications -- Science and Engineering (Control Applications )

Category 2: Combinatorial Optimization (Approximation Algorithms )

Category 3: Linear, Cone and Semidefinite Programming (Semi-definite Programming )

Citation: Submitted for publication.

Download: [PDF]

Entry Submitted: 11/22/2011
Entry Accepted: 11/22/2011
Entry Last Modified: 11/22/2011

Modify/Update this entry

  Visitors Authors More about us Links
  Subscribe, Unsubscribe
Digest Archive
Search, Browse the Repository


Coordinator's Board
Classification Scheme
Give us feedback
Optimization Journals, Sites, Societies
Mathematical Optimization Society