{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T08:42:57Z","timestamp":1777279377776,"version":"3.51.4"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CPS-1446151"],"award-info":[{"award-number":["CPS-1446151"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CMMI-1400167"],"award-info":[{"award-number":["CMMI-1400167"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"AFOSR","doi-asserted-by":"publisher","award":["FA 9550-15-1-0186"],"award-info":[{"award-number":["FA 9550-15-1-0186"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002322","name":"Schlumberger Foundation Faculty for the Future Fellowship","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"AFOSR","doi-asserted-by":"publisher","award":["FA 9550-15-1-0186"],"award-info":[{"award-number":["FA 9550-15-1-0186"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["ECCS-1550016"],"award-info":[{"award-number":["ECCS-1550016"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS 1239224"],"award-info":[{"award-number":["CNS 1239224"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/lcsys.2017.2713772","type":"journal-article","created":{"date-parts":[[2017,6,8]],"date-time":"2017-06-08T18:30:03Z","timestamp":1496946603000},"page":"262-267","source":"Crossref","is-referenced-by-count":35,"title":["Provably Safe Cruise Control of Vehicular Platoons"],"prefix":"10.1109","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2578-8319","authenticated-orcid":false,"given":"Sadra","family":"Sadraddini","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7585-7816","authenticated-orcid":false,"given":"S.","family":"Sivaranjani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7060-3956","authenticated-orcid":false,"given":"Vijay","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526557"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.11.006"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2658180"},{"key":"ref35","year":"2016","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref34","first-page":"448","article-title":"Multi-parametric toolbox (MPT)","author":"kvasnica","year":"2004","journal-title":"Proc Int Workshop Hybrid Syst Comput Control"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0968-090X(02)00004-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1974.1100652"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/87.865854"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2572002"},{"key":"ref14","article-title":"Coordinated control of unmanned aerial vehicles","author":"seiler","year":"2001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2026934"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/25.740110"},{"key":"ref17","article-title":"Platooning of connected vehicles with undirected topologies: Robustness analysis and distributed h-infinity controller synthesis","author":"zheng","year":"2016","journal-title":"arXiv preprint arXiv 1611 01412"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2402153"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2483564"},{"key":"ref28","article-title":"Robust constraint satisfaction: Invariant sets and predictive control","author":"kerrigan","year":"2000"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225700"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","article-title":"Set invariance in control&#x2014;A survey","volume":"35","author":"blanchini","year":"1999","journal-title":"Automatica"},{"key":"ref3","first-page":"1","article-title":"Vehicular chains","author":"jovanovi?","year":"2013","journal-title":"Encyclopedia of Systems and Control"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1115\/1.2802497"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2570431"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1115\/1.3427114"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.256337"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/37.334412"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2010.5625054"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/25.260745"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/9.250509"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/9.664155"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1076\/vesd.32.1.23.4228"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2542044"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2013.11.003"},{"key":"ref26","author":"aubin","year":"1991","journal-title":"Viability Theory"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1986.1104315"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/7782633\/7954593\/7944649-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/7954593\/07944649.pdf?arnumber=7944649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:55:05Z","timestamp":1649444105000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7944649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":35,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/lcsys.2017.2713772","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10]]}}}