{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T19:18:45Z","timestamp":1774120725657,"version":"3.50.1"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"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 project","award":["51NF40_180545"],"award-info":[{"award-number":["51NF40_180545"]}]},{"name":"French company RTE through the RTE-EPFL partnership","award":["n\u00b02022-0225"],"award-info":[{"award-number":["n\u00b02022-0225"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tac.2024.3462528","type":"journal-article","created":{"date-parts":[[2024,9,18]],"date-time":"2024-09-18T19:50:27Z","timestamp":1726689027000},"page":"1576-1591","source":"Crossref","is-referenced-by-count":4,"title":["Robustly Learning Regions of Attraction From Fixed Data"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5517-5989","authenticated-orcid":false,"given":"Matteo","family":"Tacchi","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, CNRS, Grenoble INP (Institute of Engineering Université Grenoble Alpes), GIPSA-lab, Grenoble, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9242-143X","authenticated-orcid":false,"given":"Yingzhao","family":"Lian","sequence":"additional","affiliation":[{"name":"Noah's Ark Lab, Huawei, Hong Kong"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7239-4799","authenticated-orcid":false,"given":"Colin N.","family":"Jones","sequence":"additional","affiliation":[{"name":"Automatic Control Lab, EPFL, Lausanne, Switzerland"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2843682"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"ref4","article-title":"Neural Lyapunov control","volume":"32","author":"Chang","year":"2019","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304201"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_23"},{"key":"ref8","volume-title":"Methods of A. M. Lyapunov and Their Application. Groningen, The Netherlands: Noordhoff","author":"Zubov","year":"1964"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-69909-5","volume-title":"Construction of Global Lyapunov Functions Using Radial Basis Functions","volume":"1904","author":"Giesl","year":"2007"},{"key":"ref10","article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","author":"Parrilo","year":"2000"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2916256"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.1488"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/18M118935X"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2010.08.003"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2012009"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_29"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.1997.7082399"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9791-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3283213"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref22","article-title":"Program synthesis by sketching","author":"Solar-Lezama","year":"2008"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456644"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005328"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(00)00088-1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3934\/jcd.2020003"},{"issue":"2","key":"ref27","first-page":"137","article-title":"Lyapunov function construction for ordinary differential equations with linear programming","volume":"17","author":"Marinsson","year":"2002","journal-title":"An Int. J."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/81.754847"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2012.17.33"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.58997\/ejde.mon.08"},{"key":"ref31","first-page":"1341","article-title":"Learning stability certificates from data","volume-title":"Proc. Mach. Learn. Res.","volume":"155","author":"Boffi","year":"2021"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3321212"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/PSCC.2018.8442484"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3227907"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161499"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799273"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971309"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970432","volume-title":"The Stability of Dynamical Systems","author":"Salle","year":"1976"},{"key":"ref39","article-title":"Non-smooth Lyapunov functions for stability analysis of hybrid systems","author":"Rossa","year":"2020"},{"key":"ref40","volume-title":"Real Analysis","volume":"32","author":"Royden","year":"1988"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.4064\/fm-22-1-77-108"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109216"},{"key":"ref43","volume-title":"Gaussian Processes for Machine Learning","volume":"2","author":"Williams","year":"2006"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109890"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.06.015"},{"key":"ref46","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970791","volume-title":"Interior-Point Polynomial Algorithms in Convex Programming","author":"Nesterov","year":"1994"},{"key":"ref47","volume-title":"Modeling and Solution of Continuous Set Covering Problems by Means of Semi-Infinite Optimization","author":"Krieg","year":"2019"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref49","author":"Rybnikov","year":"2000","journal-title":"Polyhedral Partitions and Stresses, Dept. Math. Statist., Queen\u2019s University, Kingston, ON, Canada"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1137\/0216006"},{"issue":"793-800","key":"ref51","first-page":"1","article-title":"Sur la sphere vide","volume":"7","author":"Delaunay","year":"1934","journal-title":"Izv. Akad. Nauk SSSR Otdelenie Matematicheskii i Estestvennyka Nauk"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/10906769\/10681536.pdf?arnumber=10681536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T19:01:41Z","timestamp":1740769301000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10681536\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":51,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tac.2024.3462528","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":[[2025,3]]}}}