{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T06:45:57Z","timestamp":1773384357927,"version":"3.50.1"},"reference-count":19,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/lcsys.2025.3577571","type":"journal-article","created":{"date-parts":[[2025,6,9]],"date-time":"2025-06-09T17:37:00Z","timestamp":1749490620000},"page":"835-840","source":"Crossref","is-referenced-by-count":2,"title":["Optimization Over Trained Neural Networks: Difference-of-Convex Algorithm and Application to Data Center Scheduling"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-4327-8693","authenticated-orcid":false,"given":"Xinwei","family":"Liu","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Michigan at Ann Arbor, Ann Arbor, MI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2023-5793","authenticated-orcid":false,"given":"Vladimir","family":"Dvorkin","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Michigan at Ann Arbor, Ann Arbor, MI, USA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"Tjeng","year":"2017","journal-title":"arXiv:1711.07356"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2019.106580"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383948"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.epsr.2022.108282"},{"key":"ref5","article-title":"PySCIPOpt-ML: Embedding trained machine learning models into mixed-integer programs","author":"Turner","year":"2024","journal-title":"arXiv:2312.08074"},{"key":"ref6","article-title":"Training for faster adversarial robustness verification via inducing ReLU stability","author":"Xiao","year":"2018","journal-title":"arXiv:1809.03008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i04.6016"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58942-4_27"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref10","first-page":"29909","article-title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","volume-title":"Proc. 35th Conf. Neural Inf. Process. Syst.","volume":"34","author":"Wang"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60599-4_14"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/tpwrs.2024.3442954"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2022.119909"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619240"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-004-5022-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-017-1208-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-023-02199-z"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623402407382"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2022.3210453"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/10939047\/11028923.pdf?arnumber=11028923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T06:29:15Z","timestamp":1751092155000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11028923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2025.3577571","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}