{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T18:26:31Z","timestamp":1767983191143,"version":"3.49.0"},"reference-count":106,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NCCR Automation","award":["51NF40_180545"],"award-info":[{"award-number":["51NF40_180545"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1109\/tac.2024.3381913","type":"journal-article","created":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T20:41:14Z","timestamp":1711485674000},"page":"6895-6906","source":"Crossref","is-referenced-by-count":3,"title":["On Continuation and Convex Lyapunov Functions"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0078-9596","authenticated-orcid":false,"given":"Wouter","family":"Jongeneel","sequence":"first","affiliation":[{"name":"RAO, EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2807-4891","authenticated-orcid":false,"given":"Roland","family":"Schwan","sequence":"additional","affiliation":[{"name":"Automatic Control Lab, EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-5858-8_6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1090\/cbms\/038"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/22M1500113"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-042920-020021"},{"key":"ref5","article-title":"LQR through the lens of first order methods: Discrete-time case","author":"Bu","year":"2019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1976.1101301"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00207178708933897"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814952"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2992510"},{"key":"ref10","first-page":"146","article-title":"Input convex neural networks","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Amos","year":"2017"},{"key":"ref11","first-page":"11126","article-title":"Learning stable deep dynamics models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Kolter","year":"2019"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(83)90049-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(89)90028-5"},{"key":"ref14","volume-title":"Ordinary Differential Equations","author":"Arnold","year":"1973"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448189"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-91-06413-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211517"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00053-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/136"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4310\/CIS.2008.v8.n4.a1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/059"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9982-5"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","author":"Sontag","year":"1998"},{"key":"ref24","volume-title":"Ordinary Differential Equations","author":"Hale","year":"2009"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2101-0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1090\/trans2\/024\/04"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/7329"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/b139028"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-62006-5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012900375342"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S0362-546X(98)00075-3"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(97)00017-0"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912034"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.3182\/20100901-3-IT-2016.00301"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/9.633828"},{"key":"ref37","article-title":"Neural certificates for safe control policies","author":"Jin","year":"2020"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993006"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992386"},{"key":"ref40","first-page":"9098","article-title":"Neural stochastic control","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Zhang","year":"2022"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1137\/20m1388644"},{"key":"ref42","first-page":"1341","article-title":"Learning stability certificates from data","volume-title":"Proc. Conf. Robot Learn.","author":"Boffi","year":"2021"},{"key":"ref43","first-page":"663","article-title":"Input-to-state stable neural ordinary differential equations with applications to transient modeling of circuits","volume-title":"Proc. Conf. Learn. Dyn. Control","author":"Yang","year":"2022"},{"key":"ref44","first-page":"8187","article-title":"Learning deep input-output stable dynamics","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Okamoto","year":"2022"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3145100"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2023.01.029"},{"issue":"8","key":"ref47","article-title":"Review on computational methods for Lyapunov functions","volume":"20","author":"Giesl","year":"2015","journal-title":"Discrete Contin. Dyn. Syst. Ser. B"},{"issue":"7","key":"ref48","first-page":"1041","article-title":"Deformation of a system into an asymptotically stable system","volume":"35","author":"Bobylev","year":"1974","journal-title":"Autom. Remote Control"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30133-9"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69409-7"},{"key":"ref51","volume-title":"Topology From the Differentiable Viewpoint","author":"Milnor","year":"1965"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1090\/chel\/370"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0396(67)90035-6"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-2012-01385-X"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.2307\/1969983"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-4560-2_10"},{"key":"ref57","article-title":"Learning stabilizable deep dynamics models","author":"Kashima","year":"2022"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0006368"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-3017-3"},{"key":"ref60","first-page":"181","article-title":"Asymptotic Stability and Feedback Stabilization","volume-title":"Differential Geometric Control Theory","author":"Brockett","year":"1983"},{"key":"ref61","article-title":"Lectures on diffeomorphism groups of manifolds","author":"Kupers","year":"2019"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198537953.001.0001"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.823000"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-2010-10298-8"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3277922"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161499"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2018.07.013"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.872764"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111155"},{"key":"ref70","article-title":"SOS-convex Lyapunov functions and stability of difference inclusions","author":"Ahmadi","year":"2018"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1080\/13873950701742754"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144500382064"},{"key":"ref73","volume-title":"Nonlinear Dynamics and Chaos","author":"Strogatz","year":"2014"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1115\/1.1497472"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2023.107485"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1982-0637037-7"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8390-9"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1017\/9781009166164"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1007\/b98852"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00019-3"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0236661"},{"key":"ref83","article-title":"Geodesic convex optimization: Differentiation on manifolds, geodesics, and convexity","author":"Vishnoi","year":"2018"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1016\/s1874-575x(02)80030-3"},{"key":"ref85","volume-title":"Algebraic Topology","author":"Hatcher","year":"2002"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/b97315"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1016\/j.na.2011.04.014"},{"issue":"1","key":"ref88","first-page":"15","article-title":"Shape index and other indices of Conley type for local maps on locally compact Hausdorff spaces","volume":"145","author":"Mrozek","year":"1994","journal-title":"Fundam. Math."},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-00-02163-2"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9654863"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.3934\/jcd.2021006"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1137\/18M1178244"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992831"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-013-0506-2"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1007\/s11228-016-0379-2"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1006\/jmaa.1996.0038"},{"key":"ref97","article-title":"Invex programs: First order algorithms and their convergence","author":"Barik","year":"2023"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1016\/S0764-4442(01)02117-6"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1080\/03605309908821476"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14612-6_4"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.23919\/EUSIPCO54536.2021.9616167"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1007\/s42967-022-00239-5"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9449-5"},{"key":"ref104","volume-title":"Topology","author":"Munkres","year":"2014"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00040-2"},{"key":"ref106","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in Systems and Control","author":"Liberzon","year":"2003"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/10695785\/10480224-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10695785\/10480224.pdf?arnumber=10480224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T18:40:45Z","timestamp":1727462445000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10480224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10]]},"references-count":106,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tac.2024.3381913","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10]]}}}