When is a set of LMIs a sufficient condition for stability

Amir Ali Ahmadi; Raphaël M. Jungers; Pablo A. Parrilo; Mardavij Roozbehani

doi:10.3182/20120620-3-DK-2025.00098

When is a set of LMIs a sufficient condition for stability

Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Scopus citations

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.

Original language	English (US)
Title of host publication	ROCOND'12 - 7th IFAC Symposium on Robust Control Design
Pages	313-318
Number of pages	6
Edition	PART 1
DOIs	https://doi.org/10.3182/20120620-3-DK-2025.00098
State	Published - Sep 17 2012
Externally published	Yes
Event	7th IFAC Symposium on Robust Control Design, ROCOND'12 - Aalborg, Denmark Duration: Jun 20 2012 → Jun 22 2012

Publication series

Name	IFAC Proceedings Volumes (IFAC-PapersOnline)
Number	PART 1
Volume	7
ISSN (Print)	1474-6670

Other

Other	7th IFAC Symposium on Robust Control Design, ROCOND'12
Country	Denmark
City	Aalborg
Period	6/20/12 → 6/22/12

All Science Journal Classification (ASJC) codes

Control and Systems Engineering

Keywords

Convex optimization
Finite automata
Hybrid systems
Joint spectral radius
Linear matrix inequalities

Access to Document

10.3182/20120620-3-DK-2025.00098

Fingerprint Dive into the research topics of 'When is a set of LMIs a sufficient condition for stability'. Together they form a unique fingerprint.

Cite this

Ahmadi, A. A., Jungers, R. M., Parrilo, P. A., & Roozbehani, M. (2012). When is a set of LMIs a sufficient condition for stability. In ROCOND'12 - 7th IFAC Symposium on Robust Control Design (PART 1 ed., pp. 313-318). (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 7, No. PART 1). https://doi.org/10.3182/20120620-3-DK-2025.00098

@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",

year = "2012",

month = sep,

day = "17",

doi = "10.3182/20120620-3-DK-2025.00098",

language = "English (US)",

isbn = "9783902823038",

series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

number = "PART 1",

pages = "313--318",

booktitle = "ROCOND'12 - 7th IFAC Symposium on Robust Control Design",

edition = "PART 1",

note = "7th IFAC Symposium on Robust Control Design, ROCOND'12 ; Conference date: 20-06-2012 Through 22-06-2012",

}

Ahmadi, AA, Jungers, RM, Parrilo, PA & Roozbehani, M 2012, When is a set of LMIs a sufficient condition for stability. in ROCOND'12 - 7th IFAC Symposium on Robust Control Design. PART 1 edn, IFAC Proceedings Volumes (IFAC-PapersOnline), no. PART 1, vol. 7, pp. 313-318, 7th IFAC Symposium on Robust Control Design, ROCOND'12, Aalborg, Denmark, 6/20/12. https://doi.org/10.3182/20120620-3-DK-2025.00098

When is a set of LMIs a sufficient condition for stability. / Ahmadi, Amir Ali; Jungers, Raphaël M.; Parrilo, Pablo A.; Roozbehani, Mardavij.

ROCOND'12 - 7th IFAC Symposium on Robust Control Design. PART 1. ed. 2012. p. 313-318 (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 7, No. PART 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - When is a set of LMIs a sufficient condition for stability

AU - Ahmadi, Amir Ali

AU - Jungers, Raphaël M.

AU - Parrilo, Pablo A.

AU - Roozbehani, Mardavij

PY - 2012/9/17

Y1 - 2012/9/17

N2 - 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.

AB - 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.

KW - Convex optimization

KW - Finite automata

KW - Hybrid systems

KW - Joint spectral radius

KW - Linear matrix inequalities

UR - http://www.scopus.com/inward/record.url?scp=84866111546&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84866111546&partnerID=8YFLogxK

U2 - 10.3182/20120620-3-DK-2025.00098

DO - 10.3182/20120620-3-DK-2025.00098

M3 - Conference contribution

AN - SCOPUS:84866111546

SN - 9783902823038

T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)

SP - 313

EP - 318

BT - ROCOND'12 - 7th IFAC Symposium on Robust Control Design

T2 - 7th IFAC Symposium on Robust Control Design, ROCOND'12

Y2 - 20 June 2012 through 22 June 2012

ER -