{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:36:25Z","timestamp":1762522585912,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"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\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CMMI-1830218"],"award-info":[{"award-number":["CMMI-1830218"]}],"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.3456651","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Stability analysis of complementarity systems with neural network controllers"],"prefix":"10.1145","author":[{"given":"Alp","family":"Aydinoglu","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":"Michael","family":"Posa","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":"Optnet: Differentiable optimization as a layer in neural networks. arXiv preprint arXiv:1703.00443","author":"Amos Brandon","year":"2017","unstructured":"Brandon Amos and J Zico Kolter . Optnet: Differentiable optimization as a layer in neural networks. arXiv preprint arXiv:1703.00443 , 2017 . Brandon Amos and J Zico Kolter. Optnet: Differentiable optimization as a layer in neural networks. arXiv preprint arXiv:1703.00443, 2017."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197568"},{"key":"e_1_3_2_1_3_1","volume-title":"Stabilization of complementarity systems via contact-aware controllers. arXiv preprint arXiv:2008.02104","author":"Aydinoglu Alp","year":"2020","unstructured":"Alp Aydinoglu , Victor M Preciado , and Michael Posa . Stabilization of complementarity systems via contact-aware controllers. arXiv preprint arXiv:2008.02104 , 2020 . Alp Aydinoglu, Victor M Preciado, and Michael Posa. Stabilization of complementarity systems via contact-aware controllers. arXiv preprint arXiv:2008.02104, 2020."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00174-1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3164811"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.812777"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0557-2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/050629185"},{"key":"e_1_3_2_1_10_1","volume-title":"Learning lyapunov functions for piecewise affine systems with neural network controllers. arXiv preprint arXiv:2008.06546","author":"Chen Shaoru","year":"2020","unstructured":"Shaoru Chen , Mahyar Fazlyab , Manfred Morari , George J Pappas , and Victor M Preciado . Learning lyapunov functions for piecewise affine systems with neural network controllers. arXiv preprint arXiv:2008.06546 , 2020 . Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J Pappas, and Victor M Preciado. Learning lyapunov functions for piecewise affine systems with neural network controllers. arXiv preprint arXiv:2008.06546, 2020."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431275"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/15M1052548"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719000"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794352"},{"key":"e_1_3_2_1_15_1","volume-title":"The path solver: a nommonotone stabilization scheme for mixed complementarity problems. Optimization methods and software, 5(2):123--156","author":"Dirkse Steven P","year":"1995","unstructured":"Steven P Dirkse and Michael C Ferris . The path solver: a nommonotone stabilization scheme for mixed complementarity problems. Optimization methods and software, 5(2):123--156 , 1995 . Steven P Dirkse and Michael C Ferris. The path solver: a nommonotone stabilization scheme for mixed complementarity problems. Optimization methods and software, 5(2):123--156, 1995."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1137\/1034050"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3313351"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029310"},{"key":"e_1_3_2_1_20_1","volume-title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming. arXiv preprint arXiv:1903.01287","author":"Fazlyab Mahyar","year":"2019","unstructured":"Mahyar Fazlyab , Manfred Morari , and George J Pappas . Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming. arXiv preprint arXiv:1903.01287 , 2019 . Mahyar Fazlyab, Manfred Morari, and George J Pappas. Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming. arXiv preprint arXiv:1903.01287, 2019."},{"key":"e_1_3_2_1_21_1","first-page":"11427","volume-title":"Advances in Neural Information Processing Systems","author":"Fazlyab Mahyar","year":"2019","unstructured":"Mahyar Fazlyab , Alexander Robey , Hamed Hassani , Manfred Morari , and George Pappas . Efficient and accurate estimation of lipschitz constants for deep neural networks . In Advances in Neural Information Processing Systems , pages 11427 -- 11438 , 2019 . Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, and George Pappas. Efficient and accurate estimation of lipschitz constants for deep neural networks. In Advances in Neural Information Processing Systems, pages 11427--11438, 2019."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.825654"},{"key":"e_1_3_2_1_23_1","volume-title":"Learning to walk via deep reinforcement learning. arXiv preprint arXiv:1812.11103","author":"Haarnoja Tuomas","year":"2018","unstructured":"Tuomas Haarnoja , Sehoon Ha , Aurick Zhou , Jie Tan , George Tucker , and Sergey Levine . Learning to walk via deep reinforcement learning. arXiv preprint arXiv:1812.11103 , 2018 . Tuomas Haarnoja, Sehoon Ha, Aurick Zhou, Jie Tan, George Tucker, and Sergey Levine. Learning to walk via deep reinforcement learning. arXiv preprint arXiv:1812.11103, 2018."},{"key":"e_1_3_2_1_24_1","first-page":"491","volume-title":"International Workshop on the Algorithmic Foundations of Robotics","author":"Halm Mathew","year":"2018","unstructured":"Mathew Halm and Michael Posa . A quasi-static model and simulation approach for pushing, grasping, and jamming . In International Workshop on the Algorithmic Foundations of Robotics , pages 491 -- 507 . Springer , 2018 . Mathew Halm and Michael Posa. A quasi-static model and simulation approach for pushing, grasping, and jamming. In International Workshop on the Algorithmic Foundations of Robotics, pages 491--507. Springer, 2018."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00059-0"},{"key":"e_1_3_2_1_26_1","series-title":"SIAM journal on applied mathematics, 60(4):1234--1269","volume-title":"Linear complementarity systems","author":"Heemels WPMH","year":"2000","unstructured":"WPMH Heemels , Johannes M Schumacher , and S Weiland . Linear complementarity systems . SIAM journal on applied mathematics, 60(4):1234--1269 , 2000 . WPMH Heemels, Johannes M Schumacher, and S Weiland. Linear complementarity systems. SIAM journal on applied mathematics, 60(4):1234--1269, 2000."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2843682"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2918979"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2020.2999556"},{"key":"e_1_3_2_1_30_1","volume-title":"Stability and feasibility of neural network-based controllers via output range analysis. arXiv preprint arXiv:2004.00521","author":"Karg Benjamin","year":"2020","unstructured":"Benjamin Karg and Sergio Lucia . Stability and feasibility of neural network-based controllers via output range analysis. arXiv preprint arXiv:2004.00521 , 2020 . Benjamin Karg and Sergio Lucia. Stability and feasibility of neural network-based controllers via output range analysis. arXiv preprint arXiv:2004.00521, 2020."},{"key":"e_1_3_2_1_31_1","volume-title":"Nonlinear systems","author":"Khalil Hassan K","year":"2002","unstructured":"Hassan K Khalil and Jessy W Grizzle . Nonlinear systems , volume 3 . Prentice hall Upper Saddle River, NJ , 2002 . Hassan K Khalil and Jessy W Grizzle. Nonlinear systems, volume 3. Prentice hall Upper Saddle River, NJ, 2002."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3007688"},{"key":"e_1_3_2_1_34_1","volume-title":"Dominance analysis of linear complementarity systems. arXiv preprint arXiv:1802.00284","author":"Miranda-Villatoro Felix A","year":"2018","unstructured":"Felix A Miranda-Villatoro , Fulvio Forni , and Rodolphe Sepulchre . Dominance analysis of linear complementarity systems. arXiv preprint arXiv:1802.00284 , 2018 . Felix A Miranda-Villatoro, Fulvio Forni, and Rodolphe Sepulchre. Dominance analysis of linear complementarity systems. arXiv preprint arXiv:1802.00284, 2018."},{"key":"e_1_3_2_1_35_1","volume-title":"The mosek optimization software. Online at http:\/\/www.mosek.com, 54(2-1):5","author":"Mosek APS","year":"2010","unstructured":"APS Mosek . The mosek optimization software. Online at http:\/\/www.mosek.com, 54(2-1):5 , 2010 . APS Mosek. The mosek optimization software. Online at http:\/\/www.mosek.com, 54(2-1):5, 2010."},{"key":"e_1_3_2_1_36_1","volume-title":"Operator splitting for a homogeneous embedding of the monotone linear complementarity problem. arXiv preprint arXiv:2004.02177","author":"O'Donoghue Brendan","year":"2020","unstructured":"Brendan O'Donoghue . Operator splitting for a homogeneous embedding of the monotone linear complementarity problem. arXiv preprint arXiv:2004.02177 , 2020 . Brendan O'Donoghue. Operator splitting for a homogeneous embedding of the monotone linear complementarity problem. arXiv preprint arXiv:2004.02177, 2020."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00044-W"},{"key":"e_1_3_2_1_38_1","volume-title":"Automatic differentiation in pytorch","author":"Paszke Adam","year":"2017","unstructured":"Adam Paszke , Sam Gross , Soumith Chintala , Gregory Chanan , Edward Yang , Zachary DeVito , Zeming Lin , Alban Desmaison , Luca Antiga , and Adam Lerer . Automatic differentiation in pytorch . 2017 . Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. Automatic differentiation in pytorch. 2017."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913506757"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2459151"},{"key":"e_1_3_2_1_41_1","first-page":"10877","volume-title":"Advances in Neural Information Processing Systems","author":"Raghunathan Aditi","year":"2018","unstructured":"Aditi Raghunathan , Jacob Steinhardt , and Percy S Liang . Semidefinite relaxations for certifying robustness to adversarial examples . In Advances in Neural Information Processing Systems , pages 10877 -- 10887 , 2018 . Aditi Raghunathan, Jacob Steinhardt, and Percy S Liang. Semidefinite relaxations for certifying robustness to adversarial examples. In Advances in Neural Information Processing Systems, pages 10877--10887, 2018."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-4340-7"},{"key":"e_1_3_2_1_43_1","volume-title":"Safe Machine Learning workshop at ICLR","author":"Sidrane Chelsea","year":"2019","unstructured":"Chelsea Sidrane and Mykel J Kochenderfer . Overt : Verification of nonlinear dynamical systems with neural network controllers via overapproximation . In Safe Machine Learning workshop at ICLR , 2019 . Chelsea Sidrane and Mykel J Kochenderfer. Overt: Verification of nonlinear dynamical systems with neural network controllers via overapproximation. In Safe Machine Learning workshop at ICLR, 2019."},{"key":"e_1_3_2_1_44_1","volume-title":"Introduction to the theory of differential inclusions","author":"Smirnov Georgi V","year":"2002","unstructured":"Georgi V Smirnov . Introduction to the theory of differential inclusions , volume 41 . American Mathematical Soc ., 2002 . Georgi V Smirnov. Introduction to the theory of differential inclusions, volume 41. American Mathematical Soc., 2002."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-0207(19960815)39:15<2673::AID-NME972>3.0.CO;2-I"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1083657"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593722"},{"key":"e_1_3_2_1_49_1","volume-title":"Stability analysis using quadratic constraints for systems with neural network controllers. arXiv preprint arXiv:2006.07579","author":"Yin He","year":"2020","unstructured":"He Yin , Peter Seiler , and Murat Arcak . Stability analysis using quadratic constraints for systems with neural network controllers. arXiv preprint arXiv:2006.07579 , 2020 . He Yin, Peter Seiler, and Murat Arcak. Stability analysis using quadratic constraints for systems with neural network controllers. arXiv preprint arXiv:2006.07579, 2020."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814335"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794102"}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Nashville Tennessee","acronym":"HSCC '21"},"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.3456651","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3447928.3456651","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456651","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:24Z","timestamp":1750195704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":51,"alternative-id":["10.1145\/3447928.3456651","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456651","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"}}]}}