{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:55:38Z","timestamp":1725443738895},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798303","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"407-413","source":"Crossref","is-referenced-by-count":0,"title":["Controller design under safety specifications for a class of bounded hybrid automata"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Hoehener","sequence":"first","affiliation":[]},{"given":"Domitilla","family":"Del Vecchio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.proeng.2012.08.112"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2301563"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2325776"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2150370"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"year":"2015","key":"ref8","article-title":"The use of forward collision avoidance systems to prevent and mitigate rear-end crashes"},{"journal-title":"Traffic safety facts","article-title":"National Highway Traffic Safety Administration","year":"2013","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160025"},{"journal-title":"Vehicle Dynamics and Control","year":"2012","author":"rajamani","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.003"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798303.pdf?arnumber=7798303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:12:47Z","timestamp":1507000367000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798303\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798303","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}