Fine-Grain Traffic Control for Smart Intersections

  • Jessica Bellitto
  • Valentina Schenone
  • Francesco Bellotti
  • Riccardo BertaEmail author
  • Alessandro De Gloria
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 627)


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.


Smart intersections Adaptive traffic light Timed cyber-physical systems Safety requirements Uppaal Intelligent transportation systems 


  1. 1.
    Alur R (2015) Principles of cyber-physical systems. The MIT Press, CambridgeGoogle Scholar
  2. 2.
  3. 3.
    Pandit K, Ghosal D, Zhang HM, Chuah C (2013) Adaptive traffic signal control with vehicular ad hoc networks. IEEE Trans Veh Technol 62(4):1459–1471CrossRefGoogle Scholar
  4. 4.
    Younis O, Moayeri N (2017) Employing cyber-physical systems: dynamic traffic light control at road intersections. IEEE Internet Things J 4(6):2286–2296CrossRefGoogle Scholar
  5. 5.
    Fayazi SA, Vahidi A (2018) Mixed-integer linear programming for optimal scheduling of autonomous vehicle intersection crossing. IEEE Trans Intell Veh 3(3):287–299CrossRefGoogle Scholar
  6. 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
  7. 7.
    Bani Younes M, Boukerche A (2016) Intelligent traffic light controlling algorithms using vehicular networks. IEEE Trans Veh Technol 65(8):5887–5899CrossRefGoogle Scholar
  8. 8.
    Saeed I, Elhadef M (2018) Performance evaluation of an IoV-based intersection traffic control approach0 In: 2018 IEEE congress on cybermaticsGoogle Scholar
  9. 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

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Jessica Bellitto
    • 1
  • Valentina Schenone
    • 1
  • Francesco Bellotti
    • 1
  • Riccardo Berta
    • 1
    Email author
  • Alessandro De Gloria
    • 1
  1. 1.DITENUniversità degli Studi di GenovaGenoaItaly

Personalised recommendations