{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:59:31Z","timestamp":1758704371932,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"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":[],"published-print":{"date-parts":[[2020,12,14]]},"DOI":"10.1109\/cdc42340.2020.9304431","type":"proceedings-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T07:27:32Z","timestamp":1610522852000},"page":"5145-5152","source":"Crossref","is-referenced-by-count":10,"title":["Adaptive Parameter Tuning for Reachability Analysis of Linear Systems"],"prefix":"10.1109","author":[{"given":"Mark","family":"Wetzlinger","sequence":"first","affiliation":[]},{"given":"Niklas","family":"Kochdumper","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","first-page":"14","article-title":"ARCH-COMP19 category report: Continuous and hybrid systems with linear continuous dynamics","author":"althoff","year":"0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264508"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799418"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26287-1_1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311804"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_20"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_26"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049808"},{"key":"ref15","first-page":"202","article-title":"Ellipsoidal techniques for reachability analysis","author":"kurzhanski","year":"2000","journal-title":"Hybrid Systems Computation and Control LNCS 1790"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01514"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"journal-title":"Numerical Solution of Ordinary Differential Equations","year":"1971","author":"lapidus","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-018-0485-6"},{"key":"ref27","first-page":"291","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"Hybrid Systems Computation and Control LNCS 3414"},{"key":"ref3","article-title":"Reachability Analysis of Non-Linear Hybrid Systems using Taylor Models","author":"chen","year":"2015","journal-title":"PhD thesis"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178128"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1109\/PROC.1968.6423","article-title":"matrix exponential: approximation by truncated power series","volume":"56","author":"bickart","year":"1968","journal-title":"Proceedings of the IEEE"},{"key":"ref5","first-page":"257","author":"girard","year":"2006","journal-title":"Hybrid Syst Comput Contr LNCS 3927"},{"key":"ref8","first-page":"120","article-title":"An introduction to CORA 2015","author":"althoff","year":"2015","journal-title":"Proc of the Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref7","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proc of the 23rd International Conference on Computer Aided Verification LNCS 6806"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434084"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"journal-title":"Numerical Solution of Boundary Value Problems for Ordinary Differential Equations","year":"1994","author":"ascher","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0076-5392(08)62849-0"},{"key":"ref21","first-page":"437","article-title":"Stepsize strategies for inclusion algorithms for ODE’s","volume":"12","author":"kerbl","year":"1991","journal-title":"Computer Arithmetic Scientific Computation and Mathematical Modelling IMACS Annals on Computing and Appl Math"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967722"},{"key":"ref23","article-title":"Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation","author":"nedialkov","year":"2000","journal-title":"Dissertation"},{"key":"ref26","article-title":"Reachability analysis of hybrid systems with linear continuous dynamics","author":"le guernic","year":"2009","journal-title":"PhD thesis"},{"key":"ref25","article-title":"Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars","author":"althoff","year":"2010","journal-title":"Dissertation"}],"event":{"name":"2020 59th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2020,12,14]]},"location":"Jeju, Korea (South)","end":{"date-parts":[[2020,12,18]]}},"container-title":["2020 59th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9303728\/9303729\/09304431.pdf?arnumber=9304431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T16:06:02Z","timestamp":1656345962000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9304431\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cdc42340.2020.9304431","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}