Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Hongkai Dai; Benoit Landry; Marco Pavone; Russ Tedrake

doi:10.1109/CDC42340.2020.9304201

Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Hongkai Dai, Benoit Landry, Marco Pavone, Russ Tedrake

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

Original language	English
Title of host publication	2020 59th IEEE Conference on Decision and Control, CDC 2020
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	1274-1281
Number of pages	8
ISBN (Electronic)	9781728174471
DOIs	https://doi.org/10.1109/CDC42340.2020.9304201
Publication status	Published - Dec 14 2020
Externally published	Yes
Event	59th IEEE Conference on Decision and Control, CDC 2020 - Virtual, Jeju Island, Korea, Republic of Duration: Dec 14 2020 → Dec 18 2020

Publication series

Name	Proceedings of the IEEE Conference on Decision and Control
Volume	2020-December
ISSN (Print)	0743-1546
ISSN (Electronic)	2576-2370

Conference

Conference	59th IEEE Conference on Decision and Control, CDC 2020
Country/Territory	Korea, Republic of
City	Virtual, Jeju Island
Period	12/14/20 → 12/18/20

ASJC Scopus Subject Areas

Control and Systems Engineering
Modelling and Simulation
Control and Optimization

Access to Document

10.1109/CDC42340.2020.9304201

Cite this

Dai, H., Landry, B., Pavone, M., & Tedrake, R. (2020). Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. In 2020 59th IEEE Conference on Decision and Control, CDC 2020 (pp. 1274-1281). Article 9304201 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2020-December). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CDC42340.2020.9304201

Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. / Dai, Hongkai; Landry, Benoit; Pavone, Marco et al.
2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc., 2020. p. 1274-1281 9304201 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2020-December).

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

Dai, H, Landry, B, Pavone, M & Tedrake, R 2020, Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. in 2020 59th IEEE Conference on Decision and Control, CDC 2020., 9304201, Proceedings of the IEEE Conference on Decision and Control, vol. 2020-December, Institute of Electrical and Electronics Engineers Inc., pp. 1274-1281, 59th IEEE Conference on Decision and Control, CDC 2020, Virtual, Jeju Island, Korea, Republic of, 12/14/20. https://doi.org/10.1109/CDC42340.2020.9304201

Dai H, Landry B, Pavone M, Tedrake R. Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. In 2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc. 2020. p. 1274-1281. 9304201. (Proceedings of the IEEE Conference on Decision and Control). doi: 10.1109/CDC42340.2020.9304201

@inproceedings{f2c4b65d15264513ae7e88fb92e2ab14,

title = "Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems",

author = "Hongkai Dai and Benoit Landry and Marco Pavone and Russ Tedrake",

note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 59th IEEE Conference on Decision and Control, CDC 2020 ; Conference date: 14-12-2020 Through 18-12-2020",

year = "2020",

month = dec,

day = "14",

doi = "10.1109/CDC42340.2020.9304201",

language = "English",

series = "Proceedings of the IEEE Conference on Decision and Control",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "1274--1281",

booktitle = "2020 59th IEEE Conference on Decision and Control, CDC 2020",

address = "United States",

}

TY - GEN

T1 - Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

AU - Dai, Hongkai

AU - Landry, Benoit

AU - Pavone, Marco

AU - Tedrake, Russ

PY - 2020/12/14

Y1 - 2020/12/14

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

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

U2 - 10.1109/CDC42340.2020.9304201

DO - 10.1109/CDC42340.2020.9304201

M3 - Conference contribution

AN - SCOPUS:85099882795

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 1274

EP - 1281

BT - 2020 59th IEEE Conference on Decision and Control, CDC 2020

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 59th IEEE Conference on Decision and Control, CDC 2020

Y2 - 14 December 2020 through 18 December 2020

ER -

Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Fingerprint

Cite this