dc.contributor.author | Jungers, Raphael M.b. | |
dc.contributor.author | Ahmadi, Amir A | |
dc.contributor.author | Parrilo, Pablo A. | |
dc.contributor.author | Roozbehani, Mardavij | |
dc.date.accessioned | 2019-07-08T16:25:28Z | |
dc.date.available | 2019-07-08T16:25:28Z | |
dc.date.issued | 2017-05 | |
dc.date.submitted | 2016-08 | |
dc.identifier.issn | 0018-9286 | |
dc.identifier.issn | 1558-2523 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/121518 | |
dc.description.abstract | We study stability criteria for discrete-time switched systems and provide a meta-theorem that characterizes all Lyapunov theorems of a certain canonical type. For this purpose, we investigate the structure of sets of LMIs that provide a sufficient condition for stability. Various such conditions have been proposed in the literature in the past 15 years. We prove in this note that a family of language-theoretic conditions recently provided by the authors encapsulates all the possible LMI conditions, thus putting a conclusion to this research effort. As a corollary, we show that it is PSPACE-complete to recognize whether a particular set of LMIs implies stability of a switched system. Finally, we provide a geometric interpretation of these conditions, in terms of existence of an invariant set. | en_US |
dc.language.iso | en | |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | en_US |
dc.relation.isversionof | 10.1109/TAC.2017.2671345 | en_US |
dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
dc.source | arXiv | en_US |
dc.title | A Characterization of Lyapunov Inequalities for Stability of Switched Systems | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Junger, Raphael M., Amirali Ahmadi, Pablo Parrilo, and Mardavij Roozbehani. "A Characterization of Lyapunov Inequalities for Stability of Switched Systems." IEEE Transactions on Automatic Control, Volume 62, Issue 6 (June 2017): pp. 3062-3067. | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Laboratory for Information and Decision Systems | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
dc.relation.journal | IEEE Transactions on Automatic Control | en_US |
dc.eprint.version | Original manuscript | en_US |
dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
dc.date.updated | 2019-06-28T18:32:21Z | |
dspace.date.submission | 2019-06-28T18:32:22Z | |
mit.journal.volume | 62 | en_US |
mit.journal.issue | 6 | en_US |