{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T18:37:14Z","timestamp":1780511834478,"version":"3.54.1"},"reference-count":27,"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.9304326","type":"proceedings-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T02:27:32Z","timestamp":1610504852000},"page":"2756-2761","source":"Crossref","is-referenced-by-count":4,"title":["Guaranteed Reachability for Systems with Unknown Dynamics"],"prefix":"10.1109","author":[{"given":"Melkior","family":"Ornik","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","article-title":"High dimensional reachability analysis: Addressing the curse of dimensionality in formal verification","author":"chen","year":"2017","journal-title":"Ph D Dissertation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619312"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/1999343"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3290-0"},{"key":"ref14","first-page":"3","article-title":"New ETOPS regulations","author":"ekstrand","year":"2003","journal-title":"AERO"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/173"},{"key":"ref16","author":"ioannou","year":"1996","journal-title":"Robust Adaptive Control"},{"key":"ref17","author":"isidori","year":"1985","journal-title":"Nonlinear Control Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_19"},{"key":"ref19","article-title":"Ellipsoidal toolbox","author":"kurzhanskiy","year":"2006","journal-title":"University of California at Berkeley Tech Rep UCB\/EECS-2006-46"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/054"},{"key":"ref27","article-title":"Perturbation theory for the singular value decomposition","author":"stewart","year":"1990","journal-title":"University of Maryland Institute for Advanced Computer Studies Tech Rep UMIACS-TR-90-124"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1287\/opre.39.4.601"},{"key":"ref5","author":"ben-israel","year":"2003","journal-title":"Generalized Inverses Theory and Applications"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1976.10067"},{"key":"ref7","author":"bressan","year":"2007","journal-title":"Introduction to the Mathematical Theory of Control"},{"key":"ref2","author":"aloni","year":"2006","journal-title":"Israeli F-15 Eagle Units in Combat"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1517384113"},{"key":"ref1","first-page":"6409","article-title":"Safety assessment based on physically-viable data-driven models","author":"ahmadi","year":"2017","journal-title":"56th IEEE Conference on Decision and Control"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.2967"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1023\/A:1025364227563","article-title":"Overapproximating reachable sets by Hamilton-Jacobi projections","volume":"19","author":"mitchell","year":"2003","journal-title":"Journal of Scientific Computing"},{"key":"ref24","article-title":"Control-oriented learning on the fly","author":"ornik","year":"2019","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref23","article-title":"Guaranteed reachability for systems with unknown dynamics","author":"ornik","year":"2019"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1137\/0326061"},{"key":"ref25","article-title":"RandOrthMat","author":"shilon","year":"2006","journal-title":"MATLAB Central File Exchange"}],"event":{"name":"2020 59th IEEE Conference on Decision and Control (CDC)","location":"Jeju, Korea (South)","start":{"date-parts":[[2020,12,14]]},"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\/09304326.pdf?arnumber=9304326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T11:56:10Z","timestamp":1656330970000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9304326\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cdc42340.2020.9304326","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}