Lyapunov function synthesis - Algorithm and software

Tobias Leth; Christoffer Sloth; Rafalł Wisniewski

doi:10.1109/CACSD.2016.7602539

Lyapunov function synthesis - Algorithm and software

Tobias Leth, Christoffer Sloth, Rafalł Wisniewski

Aalborg University

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

In this paper we introduce an algorithm for the synthesis of polynomial Lyapunov functions for polynomial vector fields. The Lyapunov function is a continuous piecewisepolynomial defined on simplices, which compose a collection of simplices. The algorithm is elaborated and crucial features are explained in detail. The strengths and weaknesses of the algorithm are exemplified and a new way of sub-dividing the simplices is presented.

Original language	English
Title of host publication	Proceedings of the 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 - Part of 2016 IEEE Multi-Conference on Systems and Control
Number of pages	7
Volume	2016-October
Publisher	IEEE
Publication date	2016
Pages	641-647
Article number	7602539
ISBN (Electronic)	9781509007592
DOIs	https://doi.org/10.1109/CACSD.2016.7602539
Publication status	Published - 2016
Externally published	Yes
Event	2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 - Buenos Aires, Argentina Duration: 19. Sept 2016 → 22. Sept 2016

Conference

Conference	2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016
Country/Territory	Argentina
City	Buenos Aires
Period	19/09/2016 → 22/09/2016

Documents & Links

10.1109/CACSD.2016.7602539

Cite this

@inproceedings{d143dd362d2142119764ac2a91d90fa1,

title = "Lyapunov function synthesis - Algorithm and software",

abstract = "In this paper we introduce an algorithm for the synthesis of polynomial Lyapunov functions for polynomial vector fields. The Lyapunov function is a continuous piecewisepolynomial defined on simplices, which compose a collection of simplices. The algorithm is elaborated and crucial features are explained in detail. The strengths and weaknesses of the algorithm are exemplified and a new way of sub-dividing the simplices is presented.",

author = "Tobias Leth and Christoffer Sloth and Rafal{\l} Wisniewski",

year = "2016",

doi = "10.1109/CACSD.2016.7602539",

language = "English",

volume = "2016-October",

pages = "641--647",

booktitle = "Proceedings of the 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 - Part of 2016 IEEE Multi-Conference on Systems and Control",

publisher = "IEEE",

address = "United States",

note = "2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 ; Conference date: 19-09-2016 Through 22-09-2016",

}

Leth, T, Sloth, C & Wisniewski, R 2016, Lyapunov function synthesis - Algorithm and software. in Proceedings of the 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 - Part of 2016 IEEE Multi-Conference on Systems and Control. vol. 2016-October, 7602539, IEEE, pp. 641-647, 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016, Buenos Aires, Argentina, 19/09/2016. https://doi.org/10.1109/CACSD.2016.7602539

Lyapunov function synthesis - Algorithm and software. / Leth, Tobias; Sloth, Christoffer; Wisniewski, Rafalł.
Proceedings of the 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 - Part of 2016 IEEE Multi-Conference on Systems and Control. Vol. 2016-October IEEE, 2016. p. 641-647 7602539.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Lyapunov function synthesis - Algorithm and software

AU - Leth, Tobias

AU - Sloth, Christoffer

AU - Wisniewski, Rafalł

PY - 2016

Y1 - 2016

N2 - In this paper we introduce an algorithm for the synthesis of polynomial Lyapunov functions for polynomial vector fields. The Lyapunov function is a continuous piecewisepolynomial defined on simplices, which compose a collection of simplices. The algorithm is elaborated and crucial features are explained in detail. The strengths and weaknesses of the algorithm are exemplified and a new way of sub-dividing the simplices is presented.

AB - In this paper we introduce an algorithm for the synthesis of polynomial Lyapunov functions for polynomial vector fields. The Lyapunov function is a continuous piecewisepolynomial defined on simplices, which compose a collection of simplices. The algorithm is elaborated and crucial features are explained in detail. The strengths and weaknesses of the algorithm are exemplified and a new way of sub-dividing the simplices is presented.

U2 - 10.1109/CACSD.2016.7602539

DO - 10.1109/CACSD.2016.7602539

M3 - Article in proceedings

AN - SCOPUS:84994844596

VL - 2016-October

SP - 641

EP - 647

BT - Proceedings of the 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 - Part of 2016 IEEE Multi-Conference on Systems and Control

PB - IEEE

T2 - 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016

Y2 - 19 September 2016 through 22 September 2016

ER -

Lyapunov function synthesis - Algorithm and software

Abstract

Conference

Documents & Links

Fingerprint

Cite this