An efficient distributed mutual exclusion algorithm for intersection traffic control

Abstract

As vehicular networking has recently been developed and commercialized, vehicular cloud computing has received much attention in various research areas, such as intelligent transportation systems and vehicular ad hoc networks. An efficient intersection traffic control using vehicular cloud computing is one of the key research topics in intelligent transportation systems. To efficiently deal with intersection traffic control via vehicle-to-vehicle communications, we design a distributed mutual exclusion algorithm that does not rely on broadcast, which introduces communication overheads; instead, our algorithm use point-to-point messages sent between the vehicles to keep network traffic load lower. In our algorithmic design, to pass an intersection, the lead vehicle on a lane must get permissions from a subset of other vehicles and its following vehicles on the same lane can follow the lead vehicle without permissions unlike the previous research. To evaluate the performance of our distributed mutual exclusion 123 J. Lim et al. algorithm, we conduct extensive experiments. The results show that our algorithmic design is both effective and efficient.

A slave ants based ant colony optimization algorithm for task scheduling in cloud computing environments

“…2 School of Information Technology Engineering, Catholic University of Daegu, Gyeongbuk, South Korea. 3 Department of Game & Multimedia Engineering, Korea Polytechnic University, Siheung, Gyeonggi-do, South Korea.…”

Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S)

“…Each vehicle is given its status, which is running, approaching, stopped, crossing or crossed. Note that running and approaching are not used in the paper [1] in which the LJPL protocol is proposed. When a vehicle is far enough from the intersection 1 , its status is running.…”

“…Vehicles then estimate the time when they are supposed to get to the intersection. The paper [1] in which the the LJPL protocol is proposed says that "To control the intersection traffic correctly, we assume that the time for vehicles is synchronized by retrieving GPS time or using a logical clock." The present paper assumes that GPS is retrieved to synchronize vehicles, namely that there is a global clock shared by all vehicles.…”

“…One of them is a protocol to control vehicles on an intersection such that collision must be avoided and vehicles can eventually cross the intersection. Lim, Jeong, Park & Lee have proposed such a protocol [1], which is called the LJPL protocol in this paper. Because such a protocol is intricate, formal methods should be utilized to formally verify that the protocol enjoys desired properties.…”

Fusion algorithms and high-performance applications for vehicular cloud computing

“…Lim et al [6] proposed an efficient solution to traffic control management for the intersection, which is one of the key issues in the research and development of ITS and its applications, based on VANET [7] and VCC [8]. It proposes an algorithm for the traffic control management for intersection in the context of VANET.…”