{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:02:25Z","timestamp":1729648945925,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7039482","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T14:53:59Z","timestamp":1424184839000},"page":"816-823","source":"Crossref","is-referenced-by-count":28,"title":["Preliminary results on correct-by-construction control software synthesis for adaptive cruise control"],"prefix":"10.1109","author":[{"given":"Petter","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Hussien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuxiao","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayca","family":"Balkan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Rungger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Ames","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessy","family":"Grizzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huei","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Tabuada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref10","first-page":"25","article-title":"Practical string stability","author":"lu","year":"2003","journal-title":"IAVSD Symp on Dynamics of Vehicles on Roads and Tracks"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1299\/jsdd.2.979"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2007.12.004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2010.2049203"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2008.09.006"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2003.821292"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.03.012"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548121"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.04.002"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-21437-0_6","article-title":"Adaptive cruise control: Hybrid, distributed, and now formally verified","author":"loos","year":"2011","journal-title":"FM 2011 Formal Methods"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","article-title":"Pessoa: A tool for embedded controller synthesis","author":"mazo","year":"2010","journal-title":"Computer Aided Verification"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1080\/00423114.2002.11666226","article-title":"Evaluating the influences of adaptive cruise control systems on the longitudinal dynamics of strings of highway vehicles","volume":"37","author":"fancher","year":"2003","journal-title":"Vehicle Syst Dyn"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.822860"},{"journal-title":"Technical Report SAE","article-title":"Adaptive cruise control (ACC) human factors: Operating characteristics and user interface","year":"2003","key":"ref3"},{"key":"ref6","article-title":"String stability conditions of adaptive cruise control algorithms","author":"zhou","year":"2004","journal-title":"IFAC Symp on Advances in Automotive Con-trol"},{"key":"ref29","first-page":"1","article-title":"On the synthesis of strategies in infinite games","author":"thomas","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"US DOT Tech Rep","article-title":"Intelligent cruise control field operational test","year":"1998","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.884615"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/25.260745"},{"journal-title":"International Organization for Standardization Tech Rep","article-title":"Intelligent transport systems - adaptive cruise control systems - performance requirements and test procedures","year":"2010","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2005.848359"},{"journal-title":"National Highway Traffic Safety Administration (NHTSA)","year":"2014","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_8"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-60915-6_6","article-title":"An automata-theoretic approach to linear temporal logic","author":"vardi","year":"1996","journal-title":"Logics for Concurrency"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0001-4575(02)00022-2"},{"key":"ref24","article-title":"Multi-Parametric Toolbox 3.0","author":"herceg","year":"0","journal-title":"Proc of ECC 2013"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","article-title":"Set invariance in control","volume":"35","author":"blanchini","year":"1999","journal-title":"Automatica"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1972.1100085"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07039482.pdf?arnumber=7039482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T21:01:35Z","timestamp":1566334895000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7039482\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7039482","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}