{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T22:29:19Z","timestamp":1780439359989,"version":"3.54.1"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2019,11,18]],"date-time":"2019-11-18T00:00:00Z","timestamp":1574035200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1834701, 1834324, and 1839511"],"award-info":[{"award-number":["1834701, 1834324, and 1839511"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2020,1,31]]},"abstract":"<jats:p>The rapid development of vehicular network and autonomous driving technologies provides opportunities to significantly improve transportation safety and efficiency. One promising application is centralized intelligent intersection management, where an intersection manager accepts requests from approaching vehicles (via vehicle-to-infrastructure communication messages) and schedules the order for those vehicles to safely crossing the intersection. However, communication delays and packet losses may occur due to the unreliable nature of wireless communication or malicious security attacks (e.g., jamming and flooding), and could cause deadlocks and unsafe situations. In our previous work, we considered these issues and proposed a delay-tolerant intersection management protocol for intersections with a single lane in each direction. In this work, we address key challenges in efficiency and deadlock when there are multiple lanes from each direction, and propose a delay-tolerant protocol for general multi-lane intersection management. We prove that this protocol is deadlock free, safe, and satisfies the liveness property. Furthermore, we extend the traffic simulation suite SUMO with communication modules, implement our protocol in the extended simulator, and quantitatively analyze its performance with the consideration of communication delays. Finally, we also model systems that use smart traffic lights with various back-pressure scheduling methods in SUMO, including the basic back-pressure control, the capacity-aware back-pressure control, and the adaptive max-pressure control. We then compare our delay-tolerant intelligent intersection protocol with smart traffic lights that use the three back-pressure scheduling methods, in the case of a network of interconnected intersections. Simulation results demonstrate that our approach significant outperforms the smart traffic lights under normal operation (i.e., when the communication delay is not too large).<\/jats:p>","DOI":"10.1145\/3300184","type":"journal-article","created":{"date-parts":[[2019,11,18]],"date-time":"2019-11-18T13:01:53Z","timestamp":1574082113000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Design and Analysis of Delay-Tolerant Intelligent Intersection Management"],"prefix":"10.1145","volume":"4","author":[{"given":"Bowen","family":"Zheng","sequence":"first","affiliation":[{"name":"University of California, Riverside, Fremont, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chung-Wei","family":"Lin","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shinichi","family":"Shiraishi","sequence":"additional","affiliation":[{"name":"TOYOTA InfoTechnology Center, Chuo-ku, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[{"name":"Northwestern University and University of California, Riverside, Evanston, IL"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,11,18]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"DLR. 2018. SUMO. Retrieved October 7 2019 from http:\/\/www.dlr.de\/ts\/en\/desktopdefault.aspx\/tabid-9883\/16931_read-41000\/.  DLR. 2018. SUMO. Retrieved October 7 2019 from http:\/\/www.dlr.de\/ts\/en\/desktopdefault.aspx\/tabid-9883\/16931_read-41000\/."},{"key":"e_1_2_1_2_1","unstructured":"UPPAAL. 2018. Home Page. Retrieved October 7 2019 from http:\/\/uppaal.org\/.  UPPAAL. 2018. Home Page. Retrieved October 7 2019 from http:\/\/uppaal.org\/."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2012.11.004"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843706"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502526"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60319"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/VTCFall.2015.7390968"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 14th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems (MSWiM\u201911)","author":"Bastani Saeed","year":"2011"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2471812"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622655.1622672"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the ACM\/IEEE 6th International Conference on Cyber-Physical Systems (ICCPS\u201915)","author":"Yaser"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.9.4.321"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01585"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2014.2378871"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094668"},{"key":"e_1_2_1_18_1","volume-title":"Royle","author":"Hunt P. B.","year":"1982"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2012.6232287"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2011.2107584"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.10.366"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0968-090X(00)00047-4"},{"key":"e_1_2_1_23_1","volume-title":"Fatality Analysis Reporting System (FARS). Retrieved","author":"NHTSA National Highway Traffic Safety Administration. 2018.","year":"2019"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.1997.660579"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-VT.1980.23833"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.43525"},{"key":"e_1_2_1_27_1","unstructured":"Pravin Varaiya. 2009. A universal feedback control policy for arbitrary networks of signalized intersections. EECS UC Berkeley. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi&equals;10.1.1.308.5717.  Pravin Varaiya. 2009. A universal feedback control policy for arbitrary networks of signalized intersections. EECS UC Berkeley. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi&equals;10.1.1.308.5717."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2013.08.014"},{"key":"e_1_2_1_29_1","volume-title":"Advances in Dynamic Network Modeling in Complex Transportation Systems","author":"Varaiya Pravin"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2012.6338817"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6566955"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2521424"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2017.7946999"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980078"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2015.01.006"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3300184","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3300184","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3300184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:22Z","timestamp":1750206322000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3300184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,18]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1,31]]}},"alternative-id":["10.1145\/3300184"],"URL":"https:\/\/doi.org\/10.1145\/3300184","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,18]]},"assertion":[{"value":"2017-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-11-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}