dc.contributor.author | Ahmadi, Amir Ali | |
dc.contributor.author | Parrilo, Pablo A. | |
dc.contributor.author | Roozbehani, Mardavij | |
dc.contributor.author | Jungers, Raphael M. | |
dc.date.accessioned | 2014-07-08T17:40:40Z | |
dc.date.available | 2014-07-08T17:40:40Z | |
dc.date.issued | 2014-02 | |
dc.date.submitted | 2013-09 | |
dc.identifier.issn | 0363-0129 | |
dc.identifier.issn | 1095-7138 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/88199 | |
dc.description.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, path-dependent quadratic, 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 derive approximation guarantees for several families of path-complete graphs, such as the De Bruijn graphs. This provides worst-case performance bounds for path-dependent quadratic Lyapunov functions and a constructive converse Lyapunov theorem for maximum/minimum-of-quadratics Lyapunov functions. | en_US |
dc.description.sponsorship | National Science Foundation (U.S.) (Grant DMS-0757207) | en_US |
dc.description.sponsorship | United States. Air Force Office of Scientific Research. Multidisciplinary University Research Initiative (Subaward 07688-1) | en_US |
dc.description.sponsorship | National Science Foundation (U.S.) (Grant CPS-1135843) | en_US |
dc.language.iso | en_US | |
dc.publisher | Society for Industrial and Applied Mathematics | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1137/110855272 | en_US |
dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |
dc.source | Society for Industrial and Applied Mathematics | en_US |
dc.title | Joint Spectral Radius and Path-Complete Graph Lyapunov Functions | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Ahmadi, Amir Ali, Raphaël M. Jungers, Pablo A. Parrilo, and Mardavij Roozbehani. “Joint Spectral Radius and Path-Complete Graph Lyapunov Functions.” SIAM J. Control Optim. 52, no. 1 (January 2014): 687–717. © 2014, Society for Industrial and Applied Mathematics | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Laboratory for Information and Decision Systems | en_US |
dc.contributor.mitauthor | Parrilo, Pablo A. | en_US |
dc.contributor.mitauthor | Roozbehani, Mardavij | en_US |
dc.relation.journal | SIAM Journal on Control and Optimization | en_US |
dc.eprint.version | Final published version | en_US |
dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
dspace.orderedauthors | Ahmadi, Amir Ali; Jungers, Raphaël M.; Parrilo, Pablo A.; Roozbehani, Mardavij | en_US |
dc.identifier.orcid | https://orcid.org/0000-0003-1132-8477 | |
mit.license | PUBLISHER_POLICY | en_US |
mit.metadata.status | Complete | |