{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T18:17:23Z","timestamp":1780510643318,"version":"3.54.1"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000104","name":"NASA","doi-asserted-by":"publisher","award":["80NSSC21K1030"],"award-info":[{"award-number":["80NSSC21K1030"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1109\/tac.2022.3170855","type":"journal-article","created":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T19:41:23Z","timestamp":1651088483000},"page":"2407-2414","source":"Crossref","is-referenced-by-count":10,"title":["Reachability of Nonlinear Systems With Unknown Dynamics"],"prefix":"10.1109","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8121-585X","authenticated-orcid":false,"given":"Taha","family":"Shafa","sequence":"first","affiliation":[{"name":"Department of Aerospace Engineering and the Coordinated Science Laboratory, University of Illinois Urbana-Champaign, Urbana-Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8510-8787","authenticated-orcid":false,"given":"Melkior","family":"Ornik","sequence":"additional","affiliation":[{"name":"Department of Aerospace Engineering and the Coordinated Science Laboratory, University of Illinois Urbana-Champaign, Urbana-Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304326"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/1.28142"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/1.58028"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-7548"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1976.10067"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02581-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2963293"},{"issue":"1","key":"ref8","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1025364227563","article-title":"Overapproximating reachable sets by Hamilton-Jacobi projections","volume":"19","author":"Mitchell","year":"2003","journal-title":"J. Sci. Comput."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/STAB.2018.8408353"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178127"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2014.02.007"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3290-0"},{"key":"ref14","volume-title":"Robust Adaptive Control","author":"Ioannou","year":"2012"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.2997261"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1517384113"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4848-0_10"},{"key":"ref19","volume-title":"Introduction to the Mathematical Theory of Control","author":"Bressan","year":"2007"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/041"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2007.7068227"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/0318044"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/springerreference_225493"},{"key":"ref24","volume-title":"Introduction to Linear Algebra","author":"Strang","year":"2016"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1201\/9780429446740"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6271-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/1019104"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1137\/0326061"},{"key":"ref30","article-title":"High dimensional reachability analysis: Addressing the curse of dimensionality in formal verification","author":"Chen","year":"2017"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1656431"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.09.097"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0771-050X(80)90013-3"},{"key":"ref36","first-page":"145","article-title":"Implementation of Taylor models in CORA 2018","volume-title":"Proc. 5th Int. Workshop Appl. Verification Continuous Hybrid Syst.","author":"Althoff","year":"2018"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2016.7535886"},{"key":"ref38","article-title":"Quadrotor dynamics and control rev. 0.1","author":"Beard","year":"2008"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1137\/1035089"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2006.08.045"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10084346\/09764380.pdf?arnumber=9764380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T22:32:49Z","timestamp":1705962769000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9764380\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":40,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tac.2022.3170855","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":[[2023,4]]}}}