{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:29:40Z","timestamp":1768343380408,"version":"3.49.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CAREER 1752362,CPS 2136324"],"award-info":[{"award-number":["CAREER 1752362,CPS 2136324"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,13]]},"DOI":"10.1109\/cdc49753.2023.10383373","type":"proceedings-article","created":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T13:38:36Z","timestamp":1705671516000},"page":"6665-6672","source":"Crossref","is-referenced-by-count":6,"title":["A Recurrence-Based Direct Method for Stability Analysis and GPU-Based Verification of Non-Monotonic Lyapunov Functions"],"prefix":"10.1109","author":[{"given":"Roy","family":"Siegelmann","sequence":"first","affiliation":[{"name":"Department of Applied Mathematics and Statistics"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Shen","sequence":"additional","affiliation":[{"name":"Johns Hop-kins University,Department of Electrical and Computer Engineering,Baltimore,MD,USA,21218"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Paganini","sequence":"additional","affiliation":[{"name":"Universidad ORT Uruguay,Montevideo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique","family":"Mallada","sequence":"additional","affiliation":[{"name":"Johns Hop-kins University,Department of Electrical and Computer Engineering,Baltimore,MD,USA,21218"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/9.4.275"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3108-8_5"},{"key":"ref4","volume-title":"Nonlinear systems; 3rd ed","author":"Khalil","year":"2002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2307\/1969558"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2015.20.2291"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00207178108922536"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(85)90099-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/002071799220876"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.872764"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/18M118935X"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9362-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.829640"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-535-2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1971-0273104-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/9.701102"},{"key":"ref18","first-page":"67","article-title":"A relation between continuous time-varying and discontinuous feedback stabilization","volume":"4","author":"Coron","year":"1994","journal-title":"J. Math. Syst., Estimation, Control"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739402"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dnr035"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993280"},{"key":"ref22","article-title":"torchode: A parallel ODE solver for pytorch","author":"Lienen","year":"2022","journal-title":"The Symbiosis of Deep Learning and Differential Equations II, NeurIPS"},{"key":"ref23","volume-title":"SOSTOOLS: Sum of squares optimization toolbox for MATLAB","author":"Papachristodoulou","year":"2021"}],"event":{"name":"2023 62nd IEEE Conference on Decision and Control (CDC)","location":"Singapore, Singapore","start":{"date-parts":[[2023,12,13]]},"end":{"date-parts":[[2023,12,15]]}},"container-title":["2023 62nd IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10383192\/10383193\/10383373.pdf?arnumber=10383373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T11:34:40Z","timestamp":1706009680000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10383373\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc49753.2023.10383373","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}