Validation et simulation d'un algorithme décentralisé d'évitement de collision aux intersections

Dans cet article, une approche de gestion décentralisée des intersections est présentée, qui ne nécessite pas beaucoup d'infrastructure supplémentaire à l'intersection et qui peut fonctionner dans le trafic actuel afin d'augmenter la sécurité et d'éviter les congestions. L'évitement des collisions est assuré par des algorithmes basés sur des sémaphores qui ne permettent qu'à un seul véhicule de rester dans une zone critique de l'intersection. La vérification de l'algorithme d'évitement de collision est effectuée par une analyse basée sur des réseaux de Petri de haut niveau qui montre la correction et la sécurité de l'algorithme. Les résultats de simulation prouveront les effets de la stratégie.