{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:01:07Z","timestamp":1755993667186,"version":"3.44.0"},"reference-count":34,"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"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,8]]},"DOI":"10.23919\/acc63710.2025.11107828","type":"proceedings-article","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:17:51Z","timestamp":1755800271000},"page":"2631-2638","source":"Crossref","is-referenced-by-count":0,"title":["Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks"],"prefix":"10.23919","author":[{"given":"Jonah J.","family":"Glunt","sequence":"first","affiliation":[{"name":"The Pennsylvania State University,Department of Mechanical Engineering,University Park,PA,USA,16802"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob A.","family":"Siefert","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University,Department of Mechanical Engineering,University Park,PA,USA,16802"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew F.","family":"Thompson","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University,Department of Mechanical Engineering,University Park,PA,USA,16802"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Ruths","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas,Department of Mechanical Engineering,Richardson,TX,USA,75080"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herschel C.","family":"Pangborn","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University,Department of Mechanical Engineering,University Park,PA,USA,16802"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3528352"},{"key":"ref2","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":"ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2311185"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/0905013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46084-5_77"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1117\/12.622240"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SITIS.2008.16"},{"key":"ref8","first-page":"11","article-title":"Kolmogorov\u2019s mapping neural network existence theorem","volume-title":"International Conference on Neural Networks","author":"Hecht-Nielsen"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(89)90020-8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551274"},{"article-title":"KAN: Kolmogorov-Arnold networks","year":"2024","author":"Liu","key":"ref11"},{"key":"ref12","article-title":"A global optimization method for mixed integer nonlinear nonconvex problems related to power systems analysis","volume-title":"Facult\u00e9s Universitaires Notre-Dame de la Paix","author":"Wanufelle","year":"2007"},{"key":"ref13","first-page":"40","article-title":"Branch-and-refine for mixed-integer nonconvex global optimization","volume":"39","author":"Leyffer","year":"2008","journal-title":"Mathematics and Computer Science Division, Argonne National Laboratory"},{"key":"ref14","article-title":"Algol 60translation:An algol 60 translator for the x1 and making a translator for algol 60","author":"Dijkstra","year":"1961","journal-title":"Mathematisch Centrum, Tech. Rep."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.01104"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3182\/20120606-3-NL-3011.00061"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.856667"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_5"},{"key":"ref19","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":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.423"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111107"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1201\/9780429425134"},{"key":"ref23","article-title":"A note on edge contraction","author":"Wolle","year":"2004","journal-title":"Institute of Information and Computing Sciences, Utrecht University, Tech. Rep."},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3024348"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383944"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3289572"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33016006"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587128"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2025.101581"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/9781139061759"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3188477"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824309"}],"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\/11107828.pdf?arnumber=11107828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:57:34Z","timestamp":1755907054000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11107828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/acc63710.2025.11107828","relation":{},"subject":[],"published":{"date-parts":[[2025,7,8]]}}}