Synthesis of trajectory-dependent control Lyapunov functions by a single linear program

M. Lazar, A. Jokic

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

13 Citations (Scopus)
190 Downloads (Pure)


Although control Lyapunov functions (CLFs) provide a mature framework for the synthesis of stabilizing controllers, their application in the field of hybrid systems remains scarce. One of the reasons for this is conservativeness of Lyapunov conditions. This article proposes a methodology that reduces conservatism of CLF design and is applicable to a wide class of discrete-time nonlinear hybrid systems. Rather than searching for global CLFs off-line, we focus on synthesizing CLFs by solving on-line an optimization problem. This approach makes it possible to derive a trajectory-dependent CLF, which is allowed to be locally non-monotone. Besides the theoretical appeal of the proposed idea, we indicate that for systems affine in control and CLFs based on infinity norms, the corresponding on-line optimization problem can be formulated as a single linear program.
Original languageEnglish
Title of host publicationProceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California
EditorsR. Majumdar, P. Tabuada
Place of PublicationBerlin
Number of pages5
ISBN (Print)978-3-642-00601-2
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Synthesis of trajectory-dependent control Lyapunov functions by a single linear program'. Together they form a unique fingerprint.

Cite this