When is a set of LMIs a sufficient condition for stability?

Ahmadi, Amir Ali;Jungers, Raphaël;Parrilo, Pablo A.;Roozbehani, Mardavij
(2012) ROCOND 2012 — Location: Aalborg, Denmark (20.June.2012)

Files

whenisasetoflmi.pdf
  • Restricted Access
  • Adobe PDF
  • 222.44 KB
Request a copy

Details

Authors
  • Ahmadi, Amir AliMIT, LIDS
    Author
  • Jungers, RaphaëlUCLouvain
    Author
  • Parrilo, Pablo A.MIT, LIDS
    Author
  • Roozbehani, MardavijMIT, LIDS
    Author
Abstract
We study stability criteria for discrete time switching systems and provide a meta- theorem that characterizes all the LMI-based Lyapunov theorems. For this purpose, we investigate the structure of sets of LMIs that are a sufficient condition for stability (i.e., such that any switching system which satisfies these LMIs is stable). Different such LMI conditions have been proposed in the last fifteen years, and we prove in this paper that a family of conditions recently provided by us encapsulates all the possible 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 the stability of a switching system.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Ahmadi, A. A., Jungers, R., Parrilo, P. A., & Roozbehani, M. (2012). When is a set of LMIs a sufficient condition for stability? Proceedings of the 7th IFAC Symposium on Robust Control Design. Published. ROCOND 2012, Aalborg, Denmark. https://doi.org/10.3182/20120620-3-DK-2025.00098