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

Author(s)
Dai, Hongkai; Landry, Benoit; Pavone, Marco; Tedrake, Russ
Thumbnail
DownloadAccepted version (2.018Mb)
Open Access Policy
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Date issued
2020
URI
https://hdl.handle.net/1721.1/143976
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Journal
2020 59th IEEE Conference on Decision and Control (CDC)
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Dai, Hongkai, Landry, Benoit, Pavone, Marco and Tedrake, Russ. 2020. "Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems." 2020 59th IEEE Conference on Decision and Control (CDC).
Version: Author's final manuscript
Collections