{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T18:27:31Z","timestamp":1780511251881,"version":"3.54.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1836952"],"award-info":[{"award-number":["CNS-1836952"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2023,7]]},"DOI":"10.1109\/tcst.2023.3234248","type":"journal-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T18:38:39Z","timestamp":1673375919000},"page":"1901-1908","source":"Crossref","is-referenced-by-count":12,"title":["Approximating Reachable Sets for Neural Network-Based Models in Real Time via Optimal Control"],"prefix":"10.1109","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3847-188X","authenticated-orcid":false,"given":"Omanshu","family":"Thapliyal","sequence":"first","affiliation":[{"name":"School of Aeronautics and Astronautics Engineering, Purdue University, West Lafayette, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7847-9865","authenticated-orcid":false,"given":"Inseok","family":"Hwang","sequence":"additional","affiliation":[{"name":"School of Aeronautics and Astronautics Engineering, Purdue University, West Lafayette, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9655174"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2909748"},{"key":"ref34","first-page":"4553","article-title":"Computing robustly forward invariant sets for mixed-monotone systems","author":"abate","year":"2022","journal-title":"IEEE Trans Autom Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-053018-023744"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798978"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICAMechS.2016.7813499"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2299555"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2020.06.012"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3194851"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2772807"},{"key":"ref32","article-title":"Multistep neural networks for data-driven discovery of nonlinear dynamical systems","author":"raissi","year":"2018","journal-title":"arXiv 1801 01236"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2020.3022721"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-3174-8_51"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.01.001"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304238"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9562002"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.acha.2015.12.005"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431048"},{"key":"ref26","article-title":"On numerical approximations of the Koopman operator","author":"mezic","year":"2020","journal-title":"arXiv 2009 05883"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1137\/15M1013857"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref21","article-title":"Reachability analysis and safety verification for neural network control systems","author":"xiang","year":"2018","journal-title":"arXiv 1805 09944"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2019.100361"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-35713-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00026"},{"key":"ref8","first-page":"53","article-title":"ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics","author":"immler","year":"2018","journal-title":"Proc 5th Int Workshop Appl Verification Continuous Hybrid Syst"},{"key":"ref7","first-page":"145","article-title":"Implementation of Taylor models in CORA 2018","author":"althoff","year":"2018","journal-title":"Proc 5th Int Workshop Appl Verification Continuous Hybrid Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2019.2891222"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_15"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/0-8176-4409-1_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824309"},{"key":"ref5","first-page":"1","article-title":"Reachability analysis of nonlinear odes using polytopic based validated Runge–Kutta","author":"sandretto","year":"2018","journal-title":"Proc Int Conf Reachability Problems"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/87\/10159463\/10014640-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/10159463\/10014640.pdf?arnumber=10014640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T18:00:30Z","timestamp":1689616830000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10014640\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7]]},"references-count":34,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2023.3234248","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"},{"value":"2374-0159","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,7]]}}}