{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T19:28:57Z","timestamp":1774121337098,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-18-C-0090"],"award-info":[{"award-number":["FA8750-18-C-0090"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000141712012"],"award-info":[{"award-number":["N000141712012"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS CPS -1837244"],"award-info":[{"award-number":["CNS CPS -1837244"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456644","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Learning lyapunov functions for hybrid systems"],"prefix":"10.1145","author":[{"given":"Shaoru","family":"Chen","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Mahyar","family":"Fazlyab","sequence":"additional","affiliation":[{"name":"Johns Hopkins University"}]},{"given":"Manfred","family":"Morari","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Victor M.","family":"Preciado","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Formal Synthesis of Lyapunov Neural Networks","author":"Abate Alessandro","year":"2020","unstructured":"Alessandro Abate , Daniele Ahmed , Mirco Giacobbe , and Andrea Peruffo . 2020. Formal Synthesis of Lyapunov Neural Networks . IEEE Control Systems Letters ( 2020 ). Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo. 2020. Formal Synthesis of Lyapunov Neural Networks. IEEE Control Systems Letters (2020)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.701102"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739402"},{"key":"e_1_3_2_1_4_1","volume-title":"Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 97--114","author":"Ahmed Daniele","year":"2020","unstructured":"Daniele Ahmed , Andrea Peruffo , and Alessandro Abate . 2020 . Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 97--114 . Daniele Ahmed, Andrea Peruffo, and Alessandro Abate. 2020. Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 97--114."},{"key":"e_1_3_2_1_5_1","unstructured":"MOSEK ApS. 2020. The MOSEK optimization toolbox for Python manual. Version 9.2. https:\/\/docs.mosek.com\/9.2\/pythonapi\/index.html  MOSEK ApS. 2020. The MOSEK optimization toolbox for Python manual. Version 9.2. https:\/\/docs.mosek.com\/9.2\/pythonapi\/index.html"},{"key":"e_1_3_2_1_6_1","unstructured":"D.B. Yudin A.S. Nemirovskii. 1983. Problem complexity and method efficiency in optimization. (1983).  D.B. Yudin A.S. Nemirovskii. 1983. Problem complexity and method efficiency in optimization. (1983)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/3226669.3227143"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0962492913000032"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556780903087124"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.00332"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810344"},{"key":"e_1_3_2_1_13_1","volume-title":"Predictive control for linear and hybrid systems","author":"Borrelli Francesco","unstructured":"Francesco Borrelli , Alberto Bemporad , and Manfred Morari . 2017. Predictive control for linear and hybrid systems . Cambridge University Press . Francesco Borrelli, Alberto Bemporad, and Manfred Morari. 2017. Predictive control for linear and hybrid systems. Cambridge University Press."},{"key":"e_1_3_2_1_14_1","volume-title":"Convex optimization","author":"Boyd Stephen","unstructured":"Stephen Boyd , Stephen P Boyd , and Lieven Vandenberghe . 2004. Convex optimization . Cambridge university press . Stephen Boyd, Stephen P Boyd, and Lieven Vandenberghe. 2004. Convex optimization. Cambridge university press."},{"key":"e_1_3_2_1_15_1","volume-title":"Localization and cutting-plane methods. From Stanford EE 364b lecture notes","author":"Boyd Stephen","year":"2007","unstructured":"Stephen Boyd and Lieven Vandenberghe . 2007. Localization and cutting-plane methods. From Stanford EE 364b lecture notes ( 2007 ). Stephen Boyd and Lieven Vandenberghe. 2007. Localization and cutting-plane methods. From Stanford EE 364b lecture notes (2007)."},{"key":"e_1_3_2_1_16_1","unstructured":"Francois Chollet et al. 2015. Keras. https:\/\/github.com\/fchollet\/keras  Francois Chollet et al. 2015. Keras. https:\/\/github.com\/fchollet\/keras"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580439"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623493258635"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580602"},{"key":"e_1_3_2_1_21_1","unstructured":"LLC Gurobi Optimization. 2020. Gurobi Optimizer Reference Manual. http:\/\/www.gurobi.com  LLC Gurobi Optimization. 2020. Gurobi Optimizer Reference Manual. http:\/\/www.gurobi.com"},{"key":"e_1_3_2_1_22_1","volume-title":"Nonlinear dynamical systems and control: a Lyapunov-based approach","author":"Haddad Wassim M","unstructured":"Wassim M Haddad and VijaySekhar Chellaboina . 2011. Nonlinear dynamical systems and control: a Lyapunov-based approach . Princeton university press . Wassim M Haddad and VijaySekhar Chellaboina. 2011. Nonlinear dynamical systems and control: a Lyapunov-based approach. Princeton university press."},{"key":"e_1_3_2_1_23_1","series-title":"SIAM journal on applied mathematics 60, 4","volume-title":"Linear complementarity systems","author":"Heemels WPMH","year":"2000","unstructured":"WPMH Heemels , Johannes M Schumacher , and S Weiland . 2000. Linear complementarity systems . SIAM journal on applied mathematics 60, 4 ( 2000 ), 1234--1269. WPMH Heemels, Johannes M Schumacher, and S Weiland. 2000. Linear complementarity systems. SIAM journal on applied mathematics 60, 4 (2000), 1234--1269."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00059-0"},{"key":"e_1_3_2_1_25_1","unstructured":"Matthias Hein and Maksym Andriushchenko. 2017. Formal guarantees on the robustness of a classifier against adversarial manipulation. In Advances in Neural Information Processing Systems. 2266--2276.  Matthias Hein and Maksym Andriushchenko. 2017. Formal guarantees on the robustness of a classifier against adversarial manipulation. In Advances in Neural Information Processing Systems. 2266--2276."},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of the European Control Conference","author":"Herceg M.","unstructured":"M. Herceg , M. Kvasnica , C.N. Jones , and M. Morari . 2013. Multi-Parametric Toolbox 3.0 . In Proc. of the European Control Conference . Z\u00fcrich, Switzerland, 502--510. http:\/\/control.ee.ethz.ch\/~mpt. M. Herceg, M. Kvasnica, C.N. Jones, and M. Morari. 2013. Multi-Parametric Toolbox 3.0. In Proc. of the European Control Conference. Z\u00fcrich, Switzerland, 502--510. http:\/\/control.ee.ethz.ch\/~mpt."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.1997.7082399"},{"key":"e_1_3_2_1_28_1","volume-title":"Piecewise linear control systems: a computational approach","author":"Johansson Mikael K-J","unstructured":"Mikael K-J Johansson . 2003. Piecewise linear control systems: a computational approach . Vol. 284 . Springer . Mikael K-J Johansson. 2003. Piecewise linear control systems: a computational approach. Vol. 284. Springer."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(80)90061-0"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.2019.1944"},{"key":"e_1_3_2_1_32_1","first-page":"1244","article-title":"An algorithm for minimizing convex functions","volume":"160","author":"Levin A. Yu.","year":"1965","unstructured":"A. Yu. Levin . 1965 . An algorithm for minimizing convex functions . Soviet Mathematics Doklady 160 (1965), 1244 -- 1247 . A. Yu. Levin. 1965. An algorithm for minimizing convex functions. Soviet Mathematics Doklady 160 (1965), 1244--1247.","journal-title":"Soviet Mathematics Doklady"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2012009"},{"key":"e_1_3_2_1_34_1","volume-title":"Conference on Robot Learning.","author":"Lindemann Lars","year":"2020","unstructured":"Lars Lindemann , Haimin Hu , Alexander Robey , Hanwen Zhang , Dimos Dimarogonas , Stephen Tu , and Nikolai Matni . 2020 . Learning hybrid control barrier functions from data . In Conference on Robot Learning. Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos Dimarogonas, Stephen Tu, and Nikolai Matni. 2020. Learning hybrid control barrier functions from data. In Conference on Robot Learning."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008787027641"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2017.8239534"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311801"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/3226669.3227144"},{"key":"e_1_3_2_1_39_1","volume-title":"On the number of response regions of deep feed forward networks with piece-wise linear activations. arXiv preprint arXiv:1312.6098","author":"Pascanu Razvan","year":"2013","unstructured":"Razvan Pascanu , Guido Montufar , and Yoshua Bengio . 2013. On the number of response regions of deep feed forward networks with piece-wise linear activations. arXiv preprint arXiv:1312.6098 ( 2013 ). Razvan Pascanu, Guido Montufar, and Yoshua Bengio. 2013. On the number of response regions of deep feed forward networks with piece-wise linear activations. arXiv preprint arXiv:1312.6098 (2013)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1243743"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9791-9"},{"key":"e_1_3_2_1_42_1","volume-title":"The method of inscribed ellipsoids. Soviet Mathematics Doklady 37","author":"Tarasov I. Erlich S.","year":"1988","unstructured":"I. Erlich S. Tarasov , L. G. Khachiyan . 1988. The method of inscribed ellipsoids. Soviet Mathematics Doklady 37 ( 1988 ). I. Erlich S. Tarasov, L. G. Khachiyan. 1988. The method of inscribed ellipsoids. Soviet Mathematics Doklady 37 (1988)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799391"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Armando Solar-Lezama and Rastislav Bodik. 2008. Program synthesis by sketching. Citeseer.  Armando Solar-Lezama and Rastislav Bodik. 2008. Program synthesis by sketching. Citeseer.","DOI":"10.1145\/1250734.1250754"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1981.1102596"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.27.2.332.327"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2010.08.003"},{"key":"e_1_3_2_1_49_1","volume-title":"Convexification and global optimization in continuous and mixed-integer nonlinear programming: theory, algorithms, software, and applications","author":"Tawarmalani Mohit","unstructured":"Mohit Tawarmalani and Nikolaos V Sahinidis . 2013. Convexification and global optimization in continuous and mixed-integer nonlinear programming: theory, algorithms, software, and applications . Vol. 65 . Springer Science & Business Media . Mohit Tawarmalani and Nikolaos V Sahinidis. 2013. Convexification and global optimization in continuous and mixed-integer nonlinear programming: theory, algorithms, software, and applications. Vol. 65. Springer Science & Business Media."},{"key":"e_1_3_2_1_50_1","volume-title":"Evaluating robustness of neural networks with mixed integer programming. arXiv preprint arXiv:1711.07356","author":"Tjeng Vincent","year":"2017","unstructured":"Vincent Tjeng , Kai Xiao , and Russ Tedrake . 2017. Evaluating robustness of neural networks with mixed integer programming. arXiv preprint arXiv:1711.07356 ( 2017 ). Vincent Tjeng, Kai Xiao, and Russ Tedrake. 2017. Evaluating robustness of neural networks with mixed integer programming. arXiv preprint arXiv:1711.07356 (2017)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664151"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1137\/130915303"},{"key":"e_1_3_2_1_53_1","unstructured":"Stefan Vigerske. 2013. Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming. (2013).  Stefan Vigerske. 2013. Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming. (2013)."},{"key":"e_1_3_2_1_54_1","volume-title":"Towards fast computation of certified robustness for ReLU networks. arXiv preprint arXiv:1804.09699","author":"Weng Tsui-Wei","year":"2018","unstructured":"Tsui-Wei Weng , Huan Zhang , Hongge Chen , Zhao Song , Cho-Jui Hsieh , Duane Boning , Inderjit S Dhillon , and Luca Daniel . 2018. Towards fast computation of certified robustness for ReLU networks. arXiv preprint arXiv:1804.09699 ( 2018 ). Tsui-Wei Weng, Huan Zhang, Hongge Chen, Zhao Song, Cho-Jui Hsieh, Duane Boning, Inderjit S Dhillon, and Luca Daniel. 2018. Towards fast computation of certified robustness for ReLU networks. arXiv preprint arXiv:1804.09699 (2018)."},{"key":"e_1_3_2_1_55_1","volume-title":"Integer and combinatorial optimization","author":"Wolsey Laurence A","unstructured":"Laurence A Wolsey and George L Nemhauser . 1999. Integer and combinatorial optimization . Vol. 55 . John Wiley & Sons . Laurence A Wolsey and George L Nemhauser. 1999. Integer and combinatorial optimization. Vol. 55. John Wiley & Sons."},{"key":"e_1_3_2_1_56_1","volume-title":"International Conference on Machine Learning. 5286--5295","author":"Wong Eric","year":"2018","unstructured":"Eric Wong and Zico Kolter . 2018 . Provable defenses against adversarial examples via the convex outer adversarial polytope . In International Conference on Machine Learning. 5286--5295 . Eric Wong and Zico Kolter. 2018. Provable defenses against adversarial examples via the convex outer adversarial polytope. In International Conference on Machine Learning. 5286--5295."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1137\/0802002"}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","location":"Nashville Tennessee","acronym":"HSCC '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3447928.3456644","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456644","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:23Z","timestamp":1750195703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":57,"alternative-id":["10.1145\/3447928.3456644","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456644","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}