Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management

Bowen Zheng, Chung Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Scopus citations

Abstract

With the rapid advancement of autonomous driving and vehicular communication technology, intelligent intersection management has shown great promise in improving transportation efficiency. In a typical intelligent intersection, an intersection manager communicates with autonomous vehicles wirelessly and schedules their crossing of the intersection. Previous system designs, however, do not address the possible communication delays due to network congestion or security attacks, and could lead to unsafe or deadlocked systems. In this work, we propose a delay-tolerant protocol for intelligent intersection management, and develop a modeling, simulation and verification framework for analyzing the protocol's safety, liveness and performance. Experiments demonstrate the advantages of our proposed protocol over traditional traffic light control, and more importantly, demonstrate the importance and effectiveness of using this framework to address timing (delay) in vehicular network applications. This work is the first step towards a comprehensive delay-aware design and verification framework for practical vehicular network applications.

Original languageEnglish (US)
Title of host publication2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509065172
DOIs
StatePublished - Jun 12 2017
Event2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017 - Hong Kong, China
Duration: May 29 2017May 31 2017

Publication series

Name2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017

Other

Other2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017
Country/TerritoryChina
CityHong Kong
Period5/29/175/31/17

Funding

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management'. Together they form a unique fingerprint.

Cite this