{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:01:05Z","timestamp":1755993665764,"version":"3.44.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,8]]},"DOI":"10.23919\/acc63710.2025.11108055","type":"proceedings-article","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:17:51Z","timestamp":1755800271000},"page":"1294-1300","source":"Crossref","is-referenced-by-count":0,"title":["Lipschitz Constants of Hybrid Zonotope Representations of Feedforward Neural Networks"],"prefix":"10.23919","author":[{"given":"Justin","family":"Chen","sequence":"first","affiliation":[{"name":"The University of Texas at Dallas,Department of Mechanical Engineering"}]},{"given":"Jonah","family":"Glunt","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University,Department of Mechanical Engineering"}]},{"given":"Justin","family":"Koeln","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas,Department of Mechanical Engineering"}]},{"given":"Herschel C.","family":"Pangborn","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University,Department of Mechanical Engineering"}]},{"given":"Justin","family":"Ruths","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas,Department of Mechanical Engineering"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00175"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2886017"},{"key":"ref3","first-page":"5276","article-title":"Towards fast computation of certified robustness for ReLU networks","volume-title":"Proceedings of the 35th International Conference on Machine Learning","volume":"80","author":"Weng"},{"key":"ref4","article-title":"Lipschitz regularity of deep neural networks: analysis and efficient estimation","volume-title":"Advances in Neural Information Processing Systems","volume":"31","author":"Virmaux","year":"2018"},{"key":"ref5","first-page":"7344","article-title":"Exactly computing the local lipschitz constant of relu networks","volume":"33","author":"Jordan","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3050444"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2022.3187429"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111107"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383944"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"key":"ref11","first-page":"11","article-title":"Kolmogorov\u201ds mapping neural network existence theorem","volume-title":"International Conference on Neural Networks","author":"Hecht-Nielsen"},{"key":"ref12","article-title":"A global optimization method for mixed integer nonlinear nonconvex problems related to power systems analysis","author":"Wanufelle","year":"2007","journal-title":"Facult\u00e9s Universitaires Notre-Dame de la Paix, Namur, Belgium"},{"key":"ref13","first-page":"953","article-title":"On the representation of continuous functions of many variables by superposition of continuous functions of one variable and addition","volume":"114","author":"Kolmogorov","year":"1957","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3528352"},{"key":"ref15","article-title":"Reachability analysis of nonlinear and hybrid systems using hybrid zonotopes and graphs of functions","author":"Siefert","year":"2024","journal-title":"The Pennsylvania State University Graduate School"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1991.3.4.617"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(89)90020-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551274"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644573"},{"key":"ref20","first-page":"3059","article-title":"Noisy activation functions","volume-title":"International Conference on machine learning","author":"Gulcehre"},{"key":"ref21","first-page":"447","article-title":"Special facilities in a general mathematical programming system for non-convex problems using ordered sets of variables","author":"Beale","year":"1970","journal-title":"Operational Research"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.423"},{"issue":"117","key":"ref23","first-page":"1","article-title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems","volume":"23","author":"Sidrane","year":"2022","journal-title":"Journal of Machine Learning Research"},{"article-title":"Gurobi Optimizer Reference Manual","volume-title":"Gurobi Optimization, LLC","year":"2024","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05796-4"}],"event":{"name":"2025 American Control Conference (ACC)","start":{"date-parts":[[2025,7,8]]},"location":"Denver, CO, USA","end":{"date-parts":[[2025,7,10]]}},"container-title":["2025 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11107441\/11107442\/11108055.pdf?arnumber=11108055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:57:37Z","timestamp":1755907057000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11108055\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/acc63710.2025.11108055","relation":{},"subject":[],"published":{"date-parts":[[2025,7,8]]}}}