{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:25:17Z","timestamp":1771705517638,"version":"3.50.1"},"reference-count":78,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001659","name":"German Research Foundation","doi-asserted-by":"crossref","award":["AL 1185\/5-1"],"award-info":[{"award-number":["AL 1185\/5-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1109\/tac.2019.2906432","type":"journal-article","created":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T21:22:01Z","timestamp":1553721721000},"page":"477-492","source":"Crossref","is-referenced-by-count":28,"title":["Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace"],"prefix":"10.1109","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3733-842X","authenticated-orcid":false,"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref73","first-page":"69","article-title":"Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties","author":"althoff","year":"2011","journal-title":"Simulation and Modeling"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6105(90)90133-W"},{"key":"ref71","article-title":"Dynamic response of a 3D structure: Roosevelt lake bridge","author":"pisaroni","year":"2012"},{"key":"ref70","article-title":"A collection of benchmark examples for model reduction of linear time invariant dynamical systems","author":"chahlaoui","year":"2002"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(84)90025-9"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(80)90167-6"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479895281484"},{"key":"ref39","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78841-6","author":"schilders","year":"2008","journal-title":"Model Order Reduction Theory Research Aspects and Applications"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1137\/0613025"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718713"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/18.3.341"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","article-title":"A new class of decidable hybrid systems","volume":"1569","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178128"},{"key":"ref30","first-page":"401","article-title":"Simulation-equivalent reachability of large linear systems with inputs","author":"bak","year":"0","journal-title":"Proc Int Conf Comput -Aided Verification"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718003"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1137\/S00361445024180"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755956"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref60","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":"k\u00fchn","year":"1998","journal-title":"Computing"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref61","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","author":"althoff","year":"2010"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"ref28","first-page":"173","article-title":"HyLAA: A tool for computing simulation-equivalent reachability for linear systems","author":"bak","year":"0","journal-title":"Proc 20th Int Conf Hybrid Syst Comput Control"},{"key":"ref64","author":"jaulin","year":"2006","journal-title":"Applied Interval Analysis"},{"key":"ref27","first-page":"477","article-title":"Parsimonious, simulation based verification of linear systems","author":"duggirala","year":"0","journal-title":"Proc Int Conf Comput -Aided Verification"},{"key":"ref65","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":"Hybrid Systems Computation and Control"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"key":"ref29","article-title":"Numerical verification of affine systems with up to a billion dimensions","author":"bak","year":"2018"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2008.12.006"},{"key":"ref68","first-page":"60","article-title":"Large-scale linear systems from order-reduction","author":"tran","year":"0","journal-title":"Proc of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref69","article-title":"The failure of the Tacoma Narrows Bridge","author":"amman","year":"1941"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165689"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"ref22","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":"Hybrid Systems Computation and Control"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref24","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","author":"girard","year":"0","journal-title":"Proc 17th IFAC World Congr"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160872"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799418"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.17.568-578"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1137\/16M1063733"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/s11075-014-9878-0"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/285861.285868"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142995280572"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1137\/0729014"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.01.019"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/S0959-1524(99)00056-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883828"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2158210"},{"key":"ref40","first-page":"1183","article-title":"Reachability analysis of hybrid control systems using reduced-order models","author":"han","year":"0","journal-title":"Proc Amer Control Conf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-011-9271-y"},{"key":"ref14","first-page":"1394","article-title":"Overapproximative arm occupancy prediction for human-robot interaction built from archetypal movements","author":"pereira","year":"0","journal-title":"Proc Int Conf Robot Autom"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1109\/TEC.2013.2295168","article-title":"Voltage ride-through capability verification of wind turbines with fully-rated converters using reachability analysis","volume":"29","author":"villegas pico","year":"2014","journal-title":"IEEE Trans Energy Convers"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2015.2509649"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244113"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2507771.2507783"},{"key":"ref19","article-title":"Vérification et synthèse des systèmes hybrides","author":"dang","year":"2000"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1155\/S1024123X98000866"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2009.11.007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963126"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583327"},{"key":"ref7","first-page":"121","article-title":"Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems","author":"sch\u00fcrmann","year":"0","journal-title":"Proc Hybrid Syst Comput Control"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63501-9_8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/9781118761588"},{"key":"ref46","first-page":"23","article-title":"ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics","author":"althoff","year":"0","journal-title":"Proc 5th Int Workshop on Appl Verif of Cont and Hybr Syst"},{"key":"ref45","first-page":"143","article-title":"ARCH-COMP17 category report: Continuous and hybrid systems with linear continuous dynamics","author":"althoff","year":"0","journal-title":"ARCH17 4th International Workshop on Applied Verification of Continuous and Hybrid Systems"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0244-y"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/11730637_23","article-title":"Reachability analysis of large-scale affine systems using low-dimensional polytopes","volume":"3927","author":"han","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref42","first-page":"258","article-title":"Flow*: An analyzer for non-linear hybrid systems","volume":"8044","author":"chen","year":"2013","journal-title":"Computer-Aided Verification"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"SpaceEx: Scalable verification of hybrid systems","volume":"6806","author":"frehse","year":"2011","journal-title":"Computer Aided Verification"},{"key":"ref44","first-page":"120","article-title":"An introduction to CORA 2015","author":"althoff","year":"0","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2016.7797741"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8972645\/08675521.pdf?arnumber=8675521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T16:31:52Z","timestamp":1651077112000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8675521\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":78,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tac.2019.2906432","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2]]}}}