{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T15:31:59Z","timestamp":1762011119887,"version":"build-2065373602"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619276","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"6275-6282","source":"Crossref","is-referenced-by-count":4,"title":["Hyper-Rectangular Over-Approximations of Reachable Sets for Linear Uncertain Systems"],"prefix":"10.1109","author":[{"given":"Mohamed","family":"Serry","sequence":"first","affiliation":[]},{"given":"Gunther","family":"Reissig","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref31","first-page":"957","article-title":"Externally and internally positive time-varying linear systems","volume":"11","author":"kaczorek","year":"2001","journal-title":"Int J Appl Math Comput Sci"},{"key":"ref30","volume":"162","author":"lukes","year":"1982","journal-title":"Differential equations ser Mathematics in Science and Engineering"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"5911","DOI":"10.1109\/CDC.2010.5718125","article-title":"Abstraction based solution of complex attainability problems for decomposable continuous plants","author":"rei\u00dfig","year":"2010","journal-title":"Proc 49th IEEE Conf Decision and Control (CDC)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/16M1102719"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-014-0235-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95246-8_4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178127"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760370"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461343"},{"journal-title":"Real Analysis","year":"2010","author":"royden","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/130945983"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-02431-3","volume":"317","author":"rockafellar","year":"1998","journal-title":"Variational Analysis Ser Grundlehren der Mathematischen Wissenschaften"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmaa.2012.10.071"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2018.2863178","article-title":"Symbolic optimal control","author":"reissig","year":"2019","journal-title":"IEEE Trans Automat Control"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/045"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2642794"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263904"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"2583","DOI":"10.1109\/TAC.2011.2118950","article-title":"Computing abstractions of nonlinear systems","volume":"56","author":"rei\u00dfig","year":"2011","journal-title":"IEEE Trans Automat Control"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"903","DOI":"10.1109\/TRO.2014.2312453","article-title":"Online verification of automated road vehicles using reachability analysis","volume":"30","author":"althoff","year":"2014","journal-title":"IEEE Trans Robotics"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","article-title":"PESSOA: A tool for embedded controller synthesis","volume":"6174","author":"mazo","year":"2010","journal-title":"Proc 22nd Intl Conf Computer Aided Verification (CAV)"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/11730637_21","article-title":"Efficient computation of reachable sets of linear time-invariant systems with inputs","volume":"3927","author":"girard","year":"2006","journal-title":"Proc 9th Intl Workshop on Hybrid Systems Computation and Control (HSCC)"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","article-title":"Reachability of uncertain linear systems using zonotopes","volume":"3414","author":"girard","year":"2005","journal-title":"Proc 8th Intl Workshop on Hybrid Systems Computation and Control (HSCC)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434084"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2009.11.365"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619276.pdf?arnumber=8619276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T03:38:31Z","timestamp":1598240311000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619276\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619276","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}