{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:45:28Z","timestamp":1725551128469},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963336","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"2550-2555","source":"Crossref","is-referenced-by-count":1,"title":["Output-feedback safety-preserving control"],"prefix":"10.23919","author":[{"given":"Mahdi","family":"Yousefi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaske","family":"van Heusden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian M.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy A.","family":"Dumont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904449"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755969"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2411872"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.843854"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.05.003"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/EMBC.2015.7318397"},{"key":"ref27","article-title":"A toolbox of level set methods","author":"mitchell","year":"2004","journal-title":"Department of Computer Science Columbia University"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3182\/20090712-4-TR-2008.00104"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16684-6"},{"key":"ref5","article-title":"A formally-verified safety system for closed-loop anesthesia","author":"yousefi","year":"2017","journal-title":"IFAC World Congress"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.06.001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400119"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810320"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1080\/00207720903428880"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.03.005"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403188"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526724"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00119839"},{"key":"ref26","article-title":"Ellipsoidal toolbox","author":"kurzhanski","year":"2006","journal-title":"EECS Department University of California Berkeley Tech Rep UCB\/EECS-2006–46"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0277-6","author":"kurzhanski","year":"1997","journal-title":"Ellipsoidal Calculus for Estimation and Control"}],"event":{"name":"2017 American Control Conference (ACC)","start":{"date-parts":[[2017,5,24]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963336.pdf?arnumber=7963336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T20:01:46Z","timestamp":1624478506000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963336\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":27,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963336","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}