{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T02:27:26Z","timestamp":1769221646537,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"AFOSR","award":["FA9550-19-1-0169, FA9550-20-1-0238, FA9550-23-1-0145, FA9550-23-1-0313"],"award-info":[{"award-number":["FA9550-19-1-0169, FA9550-20-1-0238, FA9550-23-1-0145, FA9550-23-1-0313"]}]},{"name":"AFRL","award":["FA8651-22-1-0017, FA8651-23-1-0004"],"award-info":[{"award-number":["FA8651-22-1-0017, FA8651-23-1-0004"]}]},{"name":"DoD","award":["W911NF-23-1-0158"],"award-info":[{"award-number":["W911NF-23-1-0158"]}]},{"name":"ARO","award":["W911NF-20-1-0253"],"award-info":[{"award-number":["W911NF-20-1-0253"]}]},{"name":"NSF","award":["CNS-2039054, CNS-2111688"],"award-info":[{"award-number":["CNS-2039054, CNS-2111688"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,14]]},"DOI":"10.1145\/3641513.3650122","type":"proceedings-article","created":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T18:05:48Z","timestamp":1714673148000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5710-9039","authenticated-orcid":false,"given":"Carlos A.","family":"Montenegro G.","sequence":"first","affiliation":[{"name":"University of California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8996-4679","authenticated-orcid":false,"given":"Santiago","family":"Leudo","sequence":"additional","affiliation":[{"name":"University of California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6671-5362","authenticated-orcid":false,"given":"Ricardo","family":"Sanfelice","sequence":"additional","affiliation":[{"name":"University of California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005328"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2299335"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798979"},{"key":"e_1_3_2_1_4_1","unstructured":"James Bradbury Roy Frostig Peter Hawkins Matthew\u00a0James Johnson Chris Leary Dougal Maclaurin George Necula Adam Paszke Jake VanderPlas Skye Wanderman-Milne and Qiao Zhang. 2018. JAX: composable transformations of Python+NumPy programs. http:\/\/github.com\/google\/jax"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304201"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304201"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of Machine Learning Research, 263\u2013277","author":"Djeumou Franck","year":"2022","unstructured":"Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, and Ufuk Topcu. 2022. Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. In Learning for Dynamics and Control Conference. Proceedings of Machine Learning Research, 263\u2013277."},{"key":"e_1_3_2_1_8_1","volume-title":"Efficient and accurate estimation of lipschitz constants for deep neural networks. Advances in Neural Information Processing Systems 32","author":"Fazlyab Mahyar","year":"2019","unstructured":"Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, and George Pappas. 2019. Efficient and accurate estimation of lipschitz constants for deep neural networks. Advances in Neural Information Processing Systems 32 (2019)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619155"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2015.20.2291"},{"key":"e_1_3_2_1_11_1","volume-title":"Hybrid Dynamical Systems: Modeling, Stability, and Robustness","author":"Goebel Rafal","unstructured":"Rafal Goebel, Ricardo\u00a0G Sanfelice, and Andrew\u00a0R Teel. 2012. Hybrid Dynamical Systems: Modeling, Stability, and Robustness. Princeton University Press, New Jersey."},{"key":"e_1_3_2_1_12_1","volume-title":"Nonparametric Regression and Generalized Linear Models. Vol.\u00a058","author":"Green J","unstructured":"Peter\u00a0J Green and Bernard\u00a0W Silverman. 1994. Nonparametric Regression and Generalized Linear Models. Vol.\u00a058. Chapman and Hall."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3934\/jcd.2021006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3501710.3519514"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992905"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the International Conference on Machine Learning. 18687\u201318703","author":"Jimenez\u00a0Rodriguez Ivan\u00a0Dario","year":"2022","unstructured":"Ivan\u00a0Dario Jimenez\u00a0Rodriguez, Aaron\u00a0D. Ames, and Yisong Yue. 2022. LyaNet: A Lyapunov Framework for Training Neural ODEs. In Proceedings of the International Conference on Machine Learning. 18687\u201318703."},{"key":"e_1_3_2_1_17_1","volume-title":"Nonlinear systems","author":"Khalil K","unstructured":"Hassan\u00a0K Khalil. 2002. Nonlinear systems (3rd ed.). Prentice Hall.","edition":"3"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of Machine Learning Research, 1351\u20131370","author":"Lindemann Lars","year":"2021","unstructured":"Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos Dimarogonas, Stephen Tu, and Nikolai Matni. 2021. Learning Hybrid Control Barrier Functions from Data. In Conference on Robot Learning. Proceedings of Machine Learning Research, 1351\u20131370."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2330702"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2014.03.001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402879"},{"key":"e_1_3_2_1_23_1","volume-title":"The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems. In Conference on Robot Learning. Proceeding of Machine Learning Research, 466\u2013476","author":"Richards M","year":"2018","unstructured":"Spencer\u00a0M Richards, Felix Berkenkamp, and Andreas Krause. 2018. The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems. In Conference on Robot Learning. Proceeding of Machine Learning Research, 466\u2013476."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of Machine Learning Research. 466\u2013476","author":"Richards M.","year":"2018","unstructured":"Spencer\u00a0M. Richards, Felix Berkenkamp, and Andreas Krause. 2018. The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems. In Proceedings of Machine Learning Research. 466\u2013476."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303785"},{"key":"e_1_3_2_1_26_1","volume-title":"Hybrid Feedback Control","author":"Sanfelice G","unstructured":"Ricardo\u00a0G Sanfelice. 2021. Hybrid Feedback Control. Princeton University Press, New Jersey."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.3182\/20130904-3-FR-2041.00198"},{"key":"e_1_3_2_1_28_1","volume-title":"High-Dimensional Probability : An Introduction with Applications in Data Science","author":"Vershynin Roman","unstructured":"Roman Vershynin. 2018. High-Dimensional Probability : An Introduction with Applications in Data Science. Cambridge University Press."}],"event":{"name":"HSCC '24: Computation and Control","location":"Hong Kong SAR China","acronym":"HSCC '24","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650122","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3641513.3650122","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641513.3650122","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641513.3650122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:13:13Z","timestamp":1755907993000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,14]]},"references-count":28,"alternative-id":["10.1145\/3641513.3650122","10.1145\/3641513"],"URL":"https:\/\/doi.org\/10.1145\/3641513.3650122","relation":{},"subject":[],"published":{"date-parts":[[2024,5,14]]},"assertion":[{"value":"2024-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}