{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:48:27Z","timestamp":1761562107567,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T00:00:00Z","timestamp":1463097600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T00:00:00Z","timestamp":1463097600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1138860","CNS-0930081"],"award-info":[{"award-number":["CCF-1138860","CNS-0930081"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s10626-016-0228-3","type":"journal-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T10:15:43Z","timestamp":1463134543000},"page":"1-44","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Supervisory control for collision avoidance in vehicular networks using discrete event abstractions"],"prefix":"10.1007","volume":"27","author":[{"given":"Eric","family":"Dallal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Colombo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domitilla","family":"Del Vecchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,13]]},"reference":[{"key":"228_CR1","doi-asserted-by":"crossref","unstructured":"Ahn H, Colombo A, Del Vecchio D (2014) Supervisory control for intersection collision avoidance in the presence of uncontrolled vehicles. In: American control conference (ACC)","DOI":"10.1109\/ACC.2014.6859163"},{"issue":"7","key":"228_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger T, Lafferriere G, Pappas G (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971\u2013984","journal-title":"Proc IEEE"},{"key":"228_CR3","unstructured":"Au TC, Fok CL, Vishwanath S, Julien C, Stone P (2012) Evasion planning for autonomous vehicles at intersections. In: 2012 IEEE\/RSJ international conference on intelligent robots and systems (IROS), pp 1541\u20131546"},{"key":"228_CR4","doi-asserted-by":"crossref","unstructured":"Bruni L, Colombo A, Del Vecchio D (2013) Robust multi-agent collision avoidance through scheduling. In: 2013 IEEE 52nd annual conference on decision and control (CDC)","DOI":"10.1109\/CDC.2013.6760492"},{"key":"228_CR5","doi-asserted-by":"crossref","unstructured":"Camara J, Girard A, Gossler G (2011) Safety controller synthesis for switched systems using multi-scale symbolic models. In: 2011 50th IEEE conference on decision and control and European control conference (CDC-ECC), pp 520\u2013525","DOI":"10.1109\/CDC.2011.6160424"},{"key":"228_CR6","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer","DOI":"10.1007\/978-0-387-68612-7"},{"key":"228_CR7","doi-asserted-by":"crossref","unstructured":"Colombo A (2014) A mathematical framework for cooperative collision avoidance of human-driven vehicles at intersections. In: International symposium on wireless communication systems","DOI":"10.1109\/ISWCS.2014.6933395"},{"issue":"2","key":"228_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/2000367.2000369","volume":"8","author":"A Colombo","year":"2011","unstructured":"Colombo A, Del Vecchio D (2011a) Enforcing safety of cyberphysical systems using flatness and abstraction. SIGBED Rev 8(2):11\u201314","journal-title":"SIGBED Rev"},{"key":"228_CR9","doi-asserted-by":"crossref","unstructured":"Colombo A, Del Vecchio D (2011b) Supervisory control of differentially flat systems based on abstraction. In: 2011 50th IEEE conference on decision and control and european control conference (CDC-ECC), pp 6134\u20136139","DOI":"10.1109\/CDC.2011.6160759"},{"key":"228_CR10","doi-asserted-by":"crossref","unstructured":"Colombo A, Del Vecchio D (2012) Efficient algorithms for collision avoidance at intersections. In: Proceedings of the 15th ACM international conference on hybrid systems: computation and control. HSCC \u201912. ACM, New York, pp 145\u2013154","DOI":"10.1145\/2185632.2185656"},{"key":"228_CR11","author":"A Colombo","year":"2015","unstructured":"Colombo A, Del Vecchio D (2015) Least restrictive supervisors for intersection collision avoidance: A scheduling approach. IEEE Trans Autom Control. doi:\n                    10.1109\/TAC.2014.2381453","journal-title":"IEEE Trans Autom Control"},{"key":"228_CR12","doi-asserted-by":"crossref","unstructured":"Colombo A, Girard A (2013) An approximate abstraction approach to safety control of differentially flat systems. In: Control conference (ECC), 2013 European, pp 4226\u20134231","DOI":"10.23919\/ECC.2013.6669178"},{"key":"228_CR13","doi-asserted-by":"crossref","unstructured":"Dallal E, Colombo A, Del Vecchio D, Lafortune S (2013a) Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. In: American control conference (ACC), vol 2013, pp 4380\u20134386","DOI":"10.1109\/ACC.2013.6580514"},{"key":"228_CR14","doi-asserted-by":"crossref","unstructured":"Dallal E, Colombo A, Del Vecchio D, Lafortune S (2013b) Supervisory control for collision avoidance in vehicular networks with imperfect measurements. In: 2013 IEEE 52nd annual conference on decision and control (CDC), pp 6298\u20136303","DOI":"10.1109\/CDC.2013.6760885"},{"key":"228_CR15","first-page":"313","volume-title":"Tools and algorithms for the construction and analysis of systems, lecture notes in computer science","author":"C Daws","year":"1384","unstructured":"Daws C, Tripakis S (1384) Model checking of real-time reachability properties using abstractions. In: Steffen B (ed) Tools and algorithms for the construction and analysis of systems, lecture notes in computer science. Springer, Berlin, pp 313\u2013329"},{"issue":"1","key":"228_CR16","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TAC.2009.2034922","volume":"55","author":"A Girard","year":"2010","unstructured":"Girard A, Pola G, Tabuada P (2010) Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Trans Autom Control 55(1):116\u2013126","journal-title":"IEEE Trans Autom Control"},{"issue":"12","key":"228_CR17","doi-asserted-by":"publisher","first-page":"2398","DOI":"10.1109\/9.362854","volume":"39","author":"NB Hadj-Alouane","year":"1994","unstructured":"Hadj-Alouane NB, Lafortune S, Lin F (1994) Variable lookahead supervisory control with state information. IEEE Trans Autom Control 39(12):2398\u20132410","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"228_CR18","doi-asserted-by":"publisher","first-page":"2463","DOI":"10.1137\/090761203","volume":"49","author":"M Hafner","year":"2011","unstructured":"Hafner M, Del Vecchio D (2011) Computational tools for the safety control of a class of piecewise continuous systems with imperfect information on a partial order. SIAM J Control Optim 49(6):2463\u20132493","journal-title":"SIAM J Control Optim"},{"issue":"3","key":"228_CR19","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1109\/TITS.2013.2252901","volume":"14","author":"M Hafner","year":"2013","unstructured":"Hafner M, Cunningham D, Caminiti L, Del Vecchio D (2013) Cooperative collision avoidance at intersections: algorithms and experiments. IEEE Trans Intell Transp Syst 14(3):1162\u20131175","journal-title":"IEEE Trans Intell Transp Syst"},{"issue":"3","key":"228_CR20","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1109\/TVT.2011.2107584","volume":"60","author":"H Kowshik","year":"2011","unstructured":"Kowshik H, Caveney D, Kumar P (2011) Provable system wide safety in intelligent intersections. IEEE Trans Veh Technol 60(3):804\u2013818","journal-title":"IEEE Trans Veh Technol"},{"key":"228_CR21","doi-asserted-by":"crossref","unstructured":"Nilsson P, Ozay N (2014) Incremental synthesis of switching protocols via abstraction refinement. In: 2014 IEEE 53rd annual conference on decision and control (CDC). IEEE, pp 6246\u20136253","DOI":"10.1109\/CDC.2014.7040368"},{"issue":"2","key":"228_CR22","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1137\/070698580","volume":"48","author":"G Pola","year":"2009","unstructured":"Pola G, Tabuada P (2009) Symbolic models for nonlinear control systems: alternating approximate bisimulations. SIAM J Control Optim 48(2):719\u2013733","journal-title":"SIAM J Control Optim"},{"issue":"1","key":"228_CR23","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"228_CR24","doi-asserted-by":"crossref","unstructured":"Shoham S, Grumberg O (2003) A game-based framework for ctl counterexamples and 3-valued abstraction-refinement. In: Computer aided verification. Springer, pp 275\u2013287","DOI":"10.1007\/978-3-540-45069-6_28"},{"key":"228_CR25","doi-asserted-by":"crossref","unstructured":"Tabuada P (2009) Verification and control of hybrid systems: a symbolic approach. Springer","DOI":"10.1007\/978-1-4419-0224-5"},{"issue":"7","key":"228_CR26","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"CJ Tomlin","year":"2003","unstructured":"Tomlin CJ, Mitchell I, Bayen AM, Oishi M (2003) Computational techniques for the verification of hybrid systems. Proc IEEE 91(7):986\u20131001","journal-title":"Proc IEEE"},{"issue":"3","key":"228_CR27","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MRA.2011.942114","volume":"18","author":"R Verma","year":"2011","unstructured":"Verma R, Del Vecchio D (2011) Semiautonomous multivehicle safety. IEEE Robot Autom Mag 18(3):44\u201354","journal-title":"IEEE Robot Autom Mag"},{"key":"228_CR28","doi-asserted-by":"crossref","unstructured":"Wonham W (2013) Supervisory control of discrete-event systems, \n                    http:\/\/www.control.toronto.edu\/people\/profs\/wonham\/wonham.html","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"issue":"3","key":"228_CR29","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W Wonham","year":"1987","unstructured":"Wonham W, Ramadge P (1987) On the supremal controllable sublanguage of a given language. SIAM J Control Optim 25(3):637\u2013659","journal-title":"SIAM J Control Optim"},{"issue":"7","key":"228_CR30","doi-asserted-by":"publisher","first-page":"1804","DOI":"10.1109\/TAC.2011.2176409","volume":"57","author":"M Zamani","year":"2012","unstructured":"Zamani M, Pola G, Mazo M, Tabuada P (2012) Symbolic models for nonlinear control systems without stability assumptions. IEEE Trans Autom Control 57(7):1804\u20131809","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-016-0228-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-016-0228-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-016-0228-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-016-0228-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:03:16Z","timestamp":1589727796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-016-0228-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,13]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["228"],"URL":"https:\/\/doi.org\/10.1007\/s10626-016-0228-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2016,5,13]]},"assertion":[{"value":"14 June 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}