{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:04:27Z","timestamp":1740099867349,"version":"3.37.3"},"reference-count":47,"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"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,14]]},"DOI":"10.1109\/cdc42340.2020.9304042","type":"proceedings-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T07:27:32Z","timestamp":1610522852000},"page":"1556-1563","source":"Crossref","is-referenced-by-count":5,"title":["Lagrangian Reachtubes: The Next Generation"],"prefix":"10.1109","author":[{"given":"Sophie","family":"Gruenbacher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacek","family":"Cyranka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Lechner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Md. Ariful","family":"Islam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1002\/zamm.19980781593"},{"key":"ref38","article-title":"Vnode-lp—a validated solver for initial value problems in ordinary differential equations","author":"nedialkov","year":"2006","journal-title":"Technical Report CAS-06-06-NN"},{"key":"ref33","first-page":"5181","article-title":"Beyond finite layer neural networks: Bridging deep architectures and numerical differential equations","volume":"7","author":"lu","year":"2018","journal-title":"ICML 2018-35th International Conference on Machine Learning"},{"journal-title":"Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems","year":"1992","author":"lohner","key":"ref32"},{"key":"ref31","article-title":"Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems","author":"lohner","year":"1992","journal-title":"Computational Ordinary Differential Equations"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793840"},{"key":"ref37","first-page":"4","article-title":"Interval tools for odes and daes","author":"nedialkov","year":"2006","journal-title":"12th GAMM -IMACS International Symposium on Scientific Computing Computer Arithmetic and Validated Numerics (SCAN 2006)"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025364227563"},{"key":"ref35","first-page":"379","article-title":"Taylor models and other validated functional inclusion methods","volume":"4","author":"makino","year":"2003","journal-title":"Int J Pure Appl Math"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2325635"},{"key":"ref10","first-page":"258","article-title":"Flow*: an analyzer for non-linear hybrid systems","author":"chen","year":"2013","journal-title":"CAV"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(00)00279-2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_19"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619647"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donz\u00e9","year":"2010","journal-title":"CAV’10 the 22nd International Conference on Computer Aided Verification"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968482"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3126685"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1007\/978-3-319-24953-7_32","article-title":"Bounded verification with on-the-fly discrepancy computation","author":"fan","year":"2015","journal-title":"Automated Technology for Verification and Analysis"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"CAV’11 the 23rd International Conference on Computer Aided Verification"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_31"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793840"},{"key":"ref4","first-page":"145","article-title":"Implementation of Taylor models in CORA 2018","author":"althoff","year":"2018","journal-title":"Proc of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref27","first-page":"435","article-title":"Beitrag zur nerungweisen integration totaler differential-gleichungen","author":"kutta","year":"1901","journal-title":"Zeitschrift f&#x00FC r Mathematik und Physik"},{"journal-title":"Continuum Mechanics","year":"1998","author":"abeyaratne","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700027932"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793840"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1702697114"},{"key":"ref7","article-title":"CAPD-computer assisted proofs in dynamics, a package for rigorous numerics","author":"capi?ski","year":"2016","journal-title":"Technical Report"},{"journal-title":"IBEX a C++ library for constraint processing over real numbers","year":"2019","key":"ref2"},{"key":"ref9","first-page":"6571","article-title":"Neural ordinary differential equations","author":"chen","year":"2018","journal-title":"Advances in Neural IInformation Processing Systems"},{"year":"0","key":"ref1"},{"key":"ref46","article-title":"Volume of n-Dimensional Ellipsoid","volume":"1","author":"wilson","year":"2009","journal-title":"Sciencia Acta Xaveriana"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.29007\/ns8p"},{"key":"ref45","article-title":"Cr-Lohner algorithm","volume":"20","author":"wilczak","year":"2011","journal-title":"Schedae Informaticae"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.03.018"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s102080010025"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/090753991"},{"key":"ref42","first-page":"1","article-title":"Validated Explicit and Implicit Runge-Kutta Methods","volume":"22","author":"sandretto","year":"2016","journal-title":"Reliable Computing electronic edition"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-9274(01)00155-6"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/BF01446807"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562138"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2457172"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0093-2"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-319-96145-3_24","article-title":"Reachable set over-approximation for nonlinear systems using piecewise barrier tubes","author":"kong","year":"2018","journal-title":"Computer Aided Verification"}],"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\/09304042.pdf?arnumber=9304042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T16:03:51Z","timestamp":1656345831000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9304042\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/cdc42340.2020.9304042","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}