{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T01:57:20Z","timestamp":1769306240009,"version":"3.49.0"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100015599","name":"Toyota Research Institute","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100015599","id-type":"DOI","asserted-by":"crossref"}]},{"name":"TRI provided funds to assist the authors with their research but this article solely reflects the opinions and conclusions of its authors and not TRI or any other Toyota entity"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tcad.2018.2858464","type":"journal-article","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T18:46:00Z","timestamp":1539715560000},"page":"2906-2917","source":"Crossref","is-referenced-by-count":34,"title":["Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4444-3631","authenticated-orcid":false,"given":"Glen","family":"Chou","sequence":"first","affiliation":[{"name":"Department of the Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Yunus Emre","family":"Sahin","sequence":"additional","affiliation":[{"name":"Department of the Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7677-8543","authenticated-orcid":false,"given":"Liren","family":"Yang","sequence":"additional","affiliation":[{"name":"Department of the Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Kwesi J.","family":"Rutledge","sequence":"additional","affiliation":[{"name":"Department of the Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8748-6936","authenticated-orcid":false,"given":"Petter","family":"Nilsson","sequence":"additional","affiliation":[{"name":"Mechanical and Civil Engineering Department, California Institute of Technology, Pasadena, CA, USA"}]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[{"name":"Department of the Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0439-4_9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-98-01004-7"},{"key":"ref12","article-title":"Correct-by-construction control synthesis for high-dimensional systems","author":"nilsson","year":"2017"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2501351"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0246-9"},{"key":"ref15","first-page":"477","article-title":"Safety verification of hybrid systems using barrier certificates","volume":"2993","author":"prajna","year":"2004","journal-title":"Proc HSCC"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1992.225116"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","article-title":"Survey paper: Set invariance in control","volume":"35","author":"blanchini","year":"1999","journal-title":"Automatica"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.822860"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1287\/opre.39.6.945"},{"key":"ref8","author":"ghosh","year":"2013","journal-title":"Nearly uniform sampling on surfaces with applications to motion planning"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315384"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref1","year":"2010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/37.710880"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799145"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1287\/opre.32.6.1296"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8496924\/08493609.pdf?arnumber=8493609","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T17:30:00Z","timestamp":1692207000000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8493609\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":22,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2858464","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}