Gunasekaran, Yeshwanth D.; Rahman, Md Farhadur; Hasani, Sona; Zhang, Nan; Das, Gautam
(, Proceedings of the 2018 International Conference on Management of Data)
Siegelmann, Roy, Shen, Yue, Paganini, Fernando, and Mallada, Enrique. A Recurrence-Based Direct Method for Stability Analysis and GPU-Based Verification of Non-Monotonic Lyapunov Functions. Retrieved from https://par.nsf.gov/biblio/10557876. Web. doi:10.1109/CDC49753.2023.10383373.
Siegelmann, Roy, Shen, Yue, Paganini, Fernando, & Mallada, Enrique. A Recurrence-Based Direct Method for Stability Analysis and GPU-Based Verification of Non-Monotonic Lyapunov Functions. Retrieved from https://par.nsf.gov/biblio/10557876. https://doi.org/10.1109/CDC49753.2023.10383373
@article{osti_10557876,
place = {Country unknown/Code not available},
title = {A Recurrence-Based Direct Method for Stability Analysis and GPU-Based Verification of Non-Monotonic Lyapunov Functions},
url = {https://par.nsf.gov/biblio/10557876},
DOI = {10.1109/CDC49753.2023.10383373},
abstractNote = {},
journal = {},
publisher = {IEEE},
author = {Siegelmann, Roy and Shen, Yue and Paganini, Fernando and Mallada, Enrique},
}
Warning: Leaving National Science Foundation Website
You are now leaving the National Science Foundation website to go to a non-government website.
Website:
NSF takes no responsibility for and exercises no control over the views expressed or the accuracy of
the information contained on this site. Also be aware that NSF's privacy policy does not apply to this site.