@inproceedings{8195dfcc464648c7b21a842231b0ea82,
title = "When is a set of LMIs a sufficient condition for stability",
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 actually encapsulates all the possible valid conditions. As a byproduct, we show that it is PSPACE-complete to recognize whether a particular set of LMIs implies the stability of a switching system.",
keywords = "Convex optimization, Finite automata, Hybrid systems, Joint spectral radius, Linear matrix inequalities",
author = "Ahmadi, {Amir Ali} and Jungers, {Rapha{\"e}l M.} and Parrilo, {Pablo A.} and Mardavij Roozbehani",
note = "Copyright: Copyright 2021 Elsevier B.V., All rights reserved.; 7th IFAC Symposium on Robust Control Design, ROCOND'12 ; Conference date: 20-06-2012 Through 22-06-2012",
year = "2012",
doi = "10.3182/20120620-3-DK-2025.00098",
language = "English (US)",
isbn = "9783902823038",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "PART 1",
pages = "313--318",
booktitle = "ROCOND'12 - 7th IFAC Symposium on Robust Control Design",
address = "Austria",
edition = "PART 1",
}