{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T18:32:03Z","timestamp":1782930723967,"version":"3.54.5"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,6]]},"DOI":"10.1109\/cdc51059.2022.9992927","type":"proceedings-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T19:26:56Z","timestamp":1673378816000},"page":"5123-5128","source":"Crossref","is-referenced-by-count":22,"title":["Koopman-based Neural Lyapunov functions for general attractors"],"prefix":"10.1109","author":[{"given":"Shankar A.","family":"Deka","sequence":"first","affiliation":[{"name":"University of California, Berkeley,Department of Electrical Engineering and Computer Sciences,Berkeley,CA,USA,94720"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alonso M.","family":"Valle","sequence":"additional","affiliation":[{"name":"University of California, Berkeley,Department of Electrical Engineering and Computer Sciences,Berkeley,CA,USA,94720"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[{"name":"University of California, Berkeley,Department of Electrical Engineering and Computer Sciences,Berkeley,CA,USA,94720"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2299335"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-it-1002.03069"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2019.8702629"},{"key":"ref5","volume-title":"Nonlinear systems","volume":"3","author":"Khalil","year":"2002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(94)90078-7"},{"key":"ref7","article-title":"Stability of polynomial differential equations: Complexity and converse lyapunov questions","author":"Ahmadi","year":"2013"},{"key":"ref8","article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","volume-title":"PhD thesis","author":"Parrilo","year":"2000"},{"key":"ref9","first-page":"466","article-title":"The lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems","volume-title":"Proceedings of The 2nd Conference on Robot Learning","volume":"87","author":"Richards"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005328"},{"key":"ref11","article-title":"Neural lyapunov control","volume":"32","author":"Chang","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44051-0_32"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2021.09.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00332-015-9258-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2518918"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-018-07210-0"},{"key":"ref18","first-page":"475","article-title":"Forecasting sequential data using consistent koopman autoencoders","volume-title":"International Conference on Machine Learning","author":"Azencot"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref20","article-title":"Mosek optimization toolbox for matlab","volume":"4","year":"2019","journal-title":"User\u2019s Guide and Reference Manual, version"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1038\/s41592-019-0686-2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.99.032403"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003388"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/17m1160124"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1137\/18M118935X"}],"event":{"name":"2022 IEEE 61st Conference on Decision and Control (CDC)","location":"Cancun, Mexico","start":{"date-parts":[[2022,12,6]]},"end":{"date-parts":[[2022,12,9]]}},"container-title":["2022 IEEE 61st Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9992315\/9992317\/09992927.pdf?arnumber=9992927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T11:52:22Z","timestamp":1706788342000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9992927\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc51059.2022.9992927","relation":{},"subject":[],"published":{"date-parts":[[2022,12,6]]}}}