{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T08:42:54Z","timestamp":1777279374664,"version":"3.51.4"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/icves.2012.6294257","type":"proceedings-article","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T19:48:35Z","timestamp":1347306515000},"page":"134-139","source":"Crossref","is-referenced-by-count":9,"title":["Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy"],"prefix":"10.1109","author":[{"given":"Jaeyong","family":"Park","sequence":"first","affiliation":[]},{"given":"Umit","family":"Ozguner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083088"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.486636"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083052"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2003.821341"},{"key":"7","first-page":"28","article-title":"Logic and compositional verification of hybrid systems (invited tutorial)","volume":"6806","author":"platzer","year":"2011","journal-title":"LNCS"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2007.4433694"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.894653"},{"key":"4","article-title":"Model Predictive Control System Design and Implementation Using MATLAB","author":"wang","year":"2009","journal-title":"Advances in Industrial Control"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548121"},{"key":"8","first-page":"2089","article-title":"Computing polyhedral approximations to flow pipes for dynamic systems","volume":"2","author":"chutinan","year":"1998","journal-title":"Decision and Control 1998 Proceedings of the 37th IEEE Conference on"},{"key":"11","first-page":"9540","article-title":"Hybrid state system development for autonomous vehicle control in urban scenarios","author":"kurt","year":"0","journal-title":"Proceedings of the 17th Word Congress IFAC Jul 6-11 2008"}],"event":{"name":"2012 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2012)","location":"Istanbul, Turkey","start":{"date-parts":[[2012,7,24]]},"end":{"date-parts":[[2012,7,27]]}},"container-title":["2012 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6276346\/6294251\/06294257.pdf?arnumber=6294257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T01:20:37Z","timestamp":1490145637000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6294257\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icves.2012.6294257","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}