Validation and simulation of a decentralized intersection collision avoidance algorithm

In this paper an approach to a decentralized intersection management is presented which does not require much additional infrastructure at the intersection and which can operate in today's traffic so as to increase safety and to avoid congestion. Collision avoidance is ensured by using semaphore-based algorithms which allow only one vehicle to stay in a critical intersection region. Verification of the collision avoidance algorithm is done by high level Petri net based analysis that shows the correctness and security of the algorithm. Simulation results will prove the effects of the strategy.