{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T22:55:19Z","timestamp":1758840919297,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/acc.2018.8431811","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:16:10Z","timestamp":1534536970000},"page":"6242-6247","source":"Crossref","is-referenced-by-count":7,"title":["Efficient Reachability Bounds for Discrete-Time Nonlinear Systems by Extending the Continuous-Time Theory of Differential Inequalities"],"prefix":"10.23919","author":[{"given":"Xuejiao","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph K.","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.033"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(96)00048-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.746252"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02684450","article-title":"Rigorously computed orbits of dynamical systems without the wrapping effect","volume":"61","author":"kuhn","year":"1998","journal-title":"Computing"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/acs.680"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/13873950500068807"},{"key":"ref16","first-page":"137","article-title":"Reachability analysis of polynomial systems using linear programming relaxations","volume":"7561","author":"ben sassi","year":"2012","journal-title":"Automated Technology for Verification and Analysis ATVA 2012 Lecture Notes in Computer Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2016.03.004"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.05.008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0266-3"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.apnum.2004.08.026"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.01.010"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00498-015-0153-2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.05.004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2011.07.007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.07.033"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.10.006"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2013.0607"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.014"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2321230"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.12.008"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583327"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86405-6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2017.08.001"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2009.11.021"}],"event":{"name":"2018 Annual American Control Conference (ACC)","start":{"date-parts":[[2018,6,27]]},"location":"Milwaukee, WI","end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 Annual American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410068\/8430677\/08431811.pdf?arnumber=8431811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T03:50:08Z","timestamp":1598241008000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431811\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/acc.2018.8431811","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}