A Linear Program to Compare Path-Complete Lyapunov Functions

David Angeli, Nikolaos Athanasopoulos, Raphael M. Jungers, Matthew Philippe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
169 Downloads (Pure)


We provide an algorithmic procedure allowing to compare stability certificates for discrete time switching systems and in specific Path-Complete Lyapunov functions (PCLFs). These mathematical objects consist of a set of positive definite functions and a set of Lyapunov inequalities, encoded in a directed, labeled graph. Given two such graphs, we formulate necessary and sufficient conditions to decide if the existence of a PCLF for the first graph implies
existence of a PCLF for the second graph, where the corresponding set of functions is constructed by conic combinations of the set of functions related to the first PCLF. The conditions depend only on the topologies of the two graphs and can be verified by solving a linear program. It is the first systematic approach to compare the conservativeness of PCLFs.
Original languageEnglish
Title of host publicationIEEE 56th Annual Conference on Decision and Control 12-15 Dec. 2017
Publisher IEEE
Number of pages6
ISBN (Electronic)978-1-5090-2873-3
Publication statusPublished - 23 Jan 2018

Fingerprint Dive into the research topics of 'A Linear Program to Compare Path-Complete Lyapunov Functions'. Together they form a unique fingerprint.

Cite this