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

Amir Ali Ahmadi,Raphael M. Jungers,Pablo A. Parrilo,Mardavij Roozbehani
DOI: https://doi.org/10.48550/arXiv.1201.3227
2012-01-16
Abstract:We study stability criteria for discrete time switching systems. 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). We provide an exact characterization of these sets. 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.
Optimization and Control,Systems and Control
What problem does this paper attempt to address?