A Characterization of Lyapunov Inequalities for Stability of Switched Systems
Name
1608.08311.pdf
Description
Submitted version
Size
346.12 KB
Format
Adobe PDF
Checksum (MD5)
b6a32b4e0b58297297658631aae1b694
Author(s)
Jungers, Raphael M.b.
Ahmadi, Amir A
Parrilo, Pablo A.
Roozbehani, Mardavij
Date Issued
May 2017
Journal
IEEE Transactions on Automatic Control
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
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.
Version
Original manuscript
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.
MIT Department
Massachusetts Institute of Technology. Laboratory for Information and Decision Systems
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/TAC.2017.2671345
