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)

Abstract

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.
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
PublisherSpringer
Pages237-251
Number of pages5
ISBN (Print)978-3-642-00601-2
DOIs
StatePublished - 2009

Publication series

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

Fingerprint

Lyapunov functions
Trajectories
Hybrid systems
Controllers

Cite this

Lazar, M., & Jokic, A. (2009). Synthesis of trajectory-dependent control Lyapunov functions by a single linear program. In R. Majumdar, & P. Tabuada (Eds.), Proceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California (pp. 237-251). (Lecture Notes in Computer Science; Vol. 5469). Berlin: Springer. DOI: 10.1007/978-3-642-00602-9_17
Lazar, M. ; Jokic, A./ Synthesis of trajectory-dependent control Lyapunov functions by a single linear program. Proceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California. editor / R. Majumdar ; P. Tabuada. Berlin : Springer, 2009. pp. 237-251 (Lecture Notes in Computer Science).
@inbook{f6f23391ac4f467e98d5cd3aaa9c183e,
title = "Synthesis of trajectory-dependent control Lyapunov functions by a single linear program",
abstract = "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.",
author = "M. Lazar and A. Jokic",
year = "2009",
doi = "10.1007/978-3-642-00602-9_17",
language = "English",
isbn = "978-3-642-00601-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "237--251",
editor = "R. Majumdar and P. Tabuada",
booktitle = "Proceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California",
address = "Germany",

}

Lazar, M & Jokic, A 2009, Synthesis of trajectory-dependent control Lyapunov functions by a single linear program. in R Majumdar & P Tabuada (eds), Proceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California. Lecture Notes in Computer Science, vol. 5469, Springer, Berlin, pp. 237-251. DOI: 10.1007/978-3-642-00602-9_17

Synthesis of trajectory-dependent control Lyapunov functions by a single linear program. / Lazar, M.; Jokic, A.

Proceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California. ed. / R. Majumdar; P. Tabuada. Berlin : Springer, 2009. p. 237-251 (Lecture Notes in Computer Science; Vol. 5469).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

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

AU - Lazar,M.

AU - Jokic,A.

PY - 2009

Y1 - 2009

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

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

U2 - 10.1007/978-3-642-00602-9_17

DO - 10.1007/978-3-642-00602-9_17

M3 - Chapter

SN - 978-3-642-00601-2

T3 - Lecture Notes in Computer Science

SP - 237

EP - 251

BT - Proceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California

PB - Springer

CY - Berlin

ER -

Lazar M, Jokic A. Synthesis of trajectory-dependent control Lyapunov functions by a single linear program. In Majumdar R, Tabuada P, editors, Proceedings 12th international conference on Hybrid systems : computation and control, HSCC 2009, April 13-15, 2009, San Francisco, California. Berlin: Springer. 2009. p. 237-251. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-642-00602-9_17