Validation and simulation of a decentralized intersection collision avoidance algorithm

Autor:	Rolf Naumann, J. Tacken, C. Tahedi, R. Rasche
Rok vydání:	2002
Předmět:	Engineering Correctness business.industry Distributed computing Robotics Petri net Traffic flow Parallel processing (DSP implementation) Intersection Artificial intelligence Semaphore business Algorithm Collision avoidance
Zdroj:	Proceedings of Conference on Intelligent Transportation Systems.
DOI:	10.1109/itsc.1997.660579
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2841e1bdf58dbde0493adf8993957616 https://doi.org/10.1109/itsc.1997.660579 Zobrazit plný text záznamu