{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T18:58:18Z","timestamp":1770145098594,"version":"3.49.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"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":[[2025,6,24]]},"DOI":"10.23919\/ecc65951.2025.11186986","type":"proceedings-article","created":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T17:38:09Z","timestamp":1760463489000},"page":"446-451","source":"Crossref","is-referenced-by-count":2,"title":["Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems"],"prefix":"10.23919","author":[{"given":"Ahan","family":"Basu","sequence":"first","affiliation":[{"name":"Indian Institute of Science,Center for Cyber-Physical Systems,Bengaluru,India"}]},{"given":"Bhabani Shankar","family":"Dey","sequence":"additional","affiliation":[{"name":"Indian Institute of Science,Center for Cyber-Physical Systems,Bengaluru,India"}]},{"given":"Pushpak","family":"Jagtap","sequence":"additional","affiliation":[{"name":"Indian Institute of Science,Center for Cyber-Physical Systems,Bengaluru,India"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2164015"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2008.2011611"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.890471"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2049155"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_28"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-016-0233-6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108666"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_21"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00019-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/0-8176-4465-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798314"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160735"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2830506"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2025.2515228"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760110"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2158135"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2013.07.002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2720592"},{"key":"ref21","article-title":"Backstepping design for incremental input-to-state stabilization of unknown systems","author":"Sundarsingh","year":"2024"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2021.xvii.063"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005328"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.1219"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC56724.2024.10886052"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669322"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3255141"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992331"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3050444"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF00229304"}],"event":{"name":"2025 European Control Conference (ECC)","location":"Thessaloniki, Greece","start":{"date-parts":[[2025,6,24]]},"end":{"date-parts":[[2025,6,27]]}},"container-title":["2025 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11186289\/11186290\/11186986.pdf?arnumber=11186986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T05:40:07Z","timestamp":1760506807000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11186986\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,24]]},"references-count":30,"URL":"https:\/\/doi.org\/10.23919\/ecc65951.2025.11186986","relation":{},"subject":[],"published":{"date-parts":[[2025,6,24]]}}}