{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T17:34:37Z","timestamp":1790962477214,"version":"4.1.0"},"reference-count":77,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"DARPA Assured Autonomy","award":["FA8750-19-C-0089"],"award-info":[{"award-number":["FA8750-19-C-0089"]}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF 1901069"],"award-info":[{"award-number":["CCF 1901069"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF 2007428"],"award-info":[{"award-number":["CCF 2007428"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["FMITF 1918531"],"award-info":[{"award-number":["FMITF 1918531"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-17-1-0236"],"award-info":[{"award-number":["FA9550-17-1-0236"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1109\/tac.2021.3069723","type":"journal-article","created":{"date-parts":[[2021,3,30]],"date-time":"2021-03-30T20:05:40Z","timestamp":1617134740000},"page":"1713-1727","source":"Crossref","is-referenced-by-count":21,"title":["Controller Synthesis for Linear System With Reach-Avoid Specifications"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4671-233X","authenticated-orcid":false,"given":"Chuchu","family":"Fan","sequence":"first","affiliation":[{"name":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5477-9764","authenticated-orcid":false,"given":"Zengyi","family":"Qin","sequence":"additional","affiliation":[{"name":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7610-0660","authenticated-orcid":false,"given":"Umang","family":"Mathur","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7235-018X","authenticated-orcid":false,"given":"Qiang","family":"Ning","sequence":"additional","affiliation":[{"name":"Amazon, Inc., Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7082-5516","authenticated-orcid":false,"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7977-0080","authenticated-orcid":false,"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23943\/9781400890088"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4661-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717115"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403394"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.03.016"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920943266"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-7132"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989081"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995716"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963332"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4g0s"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2578706"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968482"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_19"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049819"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2849003"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2006.886888"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.805688"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2108450"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_4"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/9.867021"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01357"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_23"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2869740"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2295664"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_30"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.128"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2009.2017934"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294220"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_29"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1111\/j.1934-6093.1999.tb00002.x"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.981040"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4759-9"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461343"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696636"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587949"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178143"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915577958"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968485"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_28"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0172-8"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038660"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39698-4_22"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2815493.2815495"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_18"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80152-6"},{"key":"ref74","volume-title":"The Riccati Equation","author":"Bittanti","year":"2012"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470372"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802199"},{"key":"ref77","first-page":"737","article-title":"Yices 2.2","volume-title":"Computer-Aided Verification (CAV2014) (ser. Lecture Notes in Computer Science","volume":"8559","author":"Dutertre","year":"2014"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/9743955\/9390193-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9743955\/09390193.pdf?arnumber=9390193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:45:32Z","timestamp":1704843932000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9390193\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4]]},"references-count":77,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tac.2021.3069723","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":[[2022,4]]}}}