Modern navigation systems warn the user of traffic jams ahead and suggest alternative routes. However, a lemming effect can cause the alternative routes also to become congested, as the system suggests the same route to all users. As such, in an attempt to optimize for the individual driver, the welfare of the traffic network is punished. In this paper we introduce an online and proactive method for collective rerouting recommendations based on real-time data and stochastic optimization. Our system periodically monitors the status of the network to identify potentially congested roads together with vehicles affected by them. The system then uses Uppaal Stratego to perform machine learning and approximate the best rerouting scenarios. As a proof of concept, we build a SUMO model of a representative traffic network. We perform exhaustive experiments considering different traffic loads and different traffic light controllers. Our results are promising, showing considerable improvement in travel times, queue lengths, and CO2 emissions.


    Access

    Download

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Online and Proactive Vehicle Rerouting with Uppaal Stratego


    Additional title:

    Transportation Research Record: Journal of the Transportation Research Board


    Contributors:


    Publication date :

    2021-03-03




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Verification of quasi-synchronous systems with Uppaal

    Bhattacharyya, S. / Miller, S. / Yang, J. et al. | IEEE | 2014


    REROUTING TRAFFIC POST VEHICLE CRASH

    STÄHLIN ULRICH / MARLETT BRIAN J / CLELLAND MITCHELL E et al. | European Patent Office | 2023

    Free access

    NON-ESSENTIAL AUTONOMOUS VEHICLE REROUTING

    RAKSHIT SARBAJIT K / KEEN MARTIN G / GANCI JR JOHN M et al. | European Patent Office | 2021

    Free access

    Verification of quasi-synchronous systems with Uppaal

    Bhattacharyya, Siddhartha Sid | IEEE | 2014

    Free access

    Non-essential autonomous vehicle rerouting

    RAKSHIT SARBAJIT K / KEEN MARTIN G / GANCI JR JOHN M et al. | European Patent Office | 2022

    Free access