{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T00:56:53Z","timestamp":1760576213743,"version":"build-2065373602"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"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,6,24]]},"DOI":"10.23919\/ecc65951.2025.11187202","type":"proceedings-article","created":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T17:38:09Z","timestamp":1760463489000},"page":"904-910","source":"Crossref","is-referenced-by-count":0,"title":["A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances"],"prefix":"10.23919","author":[{"given":"Dieter","family":"Teichrib","sequence":"first","affiliation":[{"name":"TU Dortmund University,Control and Cyber-Physical Systems Group,Department of Mechanical Engineering,Germany"}]},{"given":"Moritz Schulze","family":"Darup","sequence":"additional","affiliation":[{"name":"TU Dortmund University,Control and Cyber-Physical Systems Group,Department of Mechanical Engineering,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.08.003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2000.880987"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912814"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.04.016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2010.02.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC56724.2024.10886414"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2017.04.007"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.08.019"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2009.7074764"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431275"},{"key":"ref11","first-page":"337","article-title":"Piecewise regression via mixed-integer programming for MPC","volume-title":"Proceedings of the 6th Annual Learning for Dynamics & Control Conference, volume 242 of Proceedings of Machine Learning Research","author":"Teichrib"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431048"},{"journal-title":"TensorFlow: Large-scale machine learning on heterogeneous systems","year":"2015","author":"Abadi","key":"ref13"},{"article-title":"Pytorch: An imperative style, high-performance deep learning library","year":"2019","author":"Paszke","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3283213"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303895"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.843854"},{"key":"ref19","first-page":"1319","article-title":"Maxout networks","volume-title":"Proc. of the 2013 International Conference on Machine Learning","volume":"28","author":"Goodfellow"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9654977"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.883"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"journal-title":"The MOSEK optimization toolbox for MATLAB manual. Version 10.0.","year":"2022","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/9.272351"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.06.013"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ECC64448.2024.10591099"}],"event":{"name":"2025 European Control Conference (ECC)","start":{"date-parts":[[2025,6,24]]},"location":"Thessaloniki, Greece","end":{"date-parts":[[2025,6,27]]}},"container-title":["2025 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11186289\/11186290\/11187202.pdf?arnumber=11187202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:33:47Z","timestamp":1760549627000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11187202\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,24]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/ecc65951.2025.11187202","relation":{},"subject":[],"published":{"date-parts":[[2025,6,24]]}}}