Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems
Name
Dai20.pdf
Description
Accepted version
Size
2.02 MB
Format
Adobe PDF
Checksum (MD5)
eb73a77538a720e07173e49b96544a77
Author(s)
Dai, Hongkai
Landry, Benoit
Pavone, Marco
Tedrake, Russ
Date Issued
2020
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
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/CDC42340.2020.9304201
