Fine-Grain Traffic Control for Smart Intersections
- 14 Downloads
As connected and, even more, autonomous vehicles are expected to bring significant novelties in the future road traffic patterns, we have investigated the control of a specific, yet very common topology, such as the intersection between two 2-lane roads. We have addressed the issue with a novel, fine-grain control approach, and proposed an adaptive prioritization algorithm which weights length of the queue and arrival order for each lane. From an Uppaal simulation, we deduce that the second factor looks more important, at higher arrival rates. Compared to a fixed Round-robin schedule, our algorithm achieves quite a better performance, especially at high traffic volumes, also with inhomogeneous traffic flow cases. In order to guarantee robustness to our design, we made a model checking analysis, considering safety and liveness requirements.
KeywordsSmart intersections Adaptive traffic light Timed cyber-physical systems Safety requirements Uppaal Intelligent transportation systems
- 1.Alur R (2015) Principles of cyber-physical systems. The MIT Press, CambridgeGoogle Scholar
- 6.Bani Younes M, Boukerche A (2014) An intelligent traffic light scheduling algorithm through VANETs. In: 39th Annual IEEE conference on local computer networks workshops, Edmonton, AB, pp 637–642Google Scholar
- 8.Saeed I, Elhadef M (2018) Performance evaluation of an IoV-based intersection traffic control approach0 In: 2018 IEEE congress on cybermaticsGoogle Scholar
- 9.Thamilselvam B, Kalyanasundaram S, Rao MP (2019) Coordinated intelligent traffic lights using Uppaal Stratego. In: 2019 11th International conference on communication systems and networks (COMSNETS), Bengaluru, India, pp 789–794Google Scholar