Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2022
|
| Online Access: | https://hdl.handle.net/1721.1/143976 |
| _version_ | 1826204958540693504 |
|---|---|
| author | Dai, Hongkai Landry, Benoit Pavone, Marco Tedrake, Russ |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Dai, Hongkai Landry, Benoit Pavone, Marco Tedrake, Russ |
| author_sort | Dai, Hongkai |
| collection | MIT |
| first_indexed | 2024-09-23T13:03:45Z |
| format | Article |
| id | mit-1721.1/143976 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T13:03:45Z |
| publishDate | 2022 |
| publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| record_format | dspace |
| spelling | mit-1721.1/1439762023-02-03T21:37:52Z Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems Dai, Hongkai Landry, Benoit Pavone, Marco Tedrake, Russ Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory 2022-07-22T15:49:11Z 2022-07-22T15:49:11Z 2020 2022-07-22T15:46:09Z Article http://purl.org/eprint/type/ConferencePaper https://hdl.handle.net/1721.1/143976 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). en 10.1109/CDC42340.2020.9304201 2020 59th IEEE Conference on Decision and Control (CDC) Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Institute of Electrical and Electronics Engineers (IEEE) MIT web domain |
| spellingShingle | Dai, Hongkai Landry, Benoit Pavone, Marco Tedrake, Russ Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems |
| title | Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems |
| title_full | Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems |
| title_fullStr | Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems |
| title_full_unstemmed | Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems |
| title_short | Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems |
| title_sort | counter example guided synthesis of neural network lyapunov functions for piecewise linear systems |
| url | https://hdl.handle.net/1721.1/143976 |
| work_keys_str_mv | AT daihongkai counterexampleguidedsynthesisofneuralnetworklyapunovfunctionsforpiecewiselinearsystems AT landrybenoit counterexampleguidedsynthesisofneuralnetworklyapunovfunctionsforpiecewiselinearsystems AT pavonemarco counterexampleguidedsynthesisofneuralnetworklyapunovfunctionsforpiecewiselinearsystems AT tedrakeruss counterexampleguidedsynthesisofneuralnetworklyapunovfunctionsforpiecewiselinearsystems |