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.


    Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Online and Proactive Vehicle Rerouting with Uppaal Stratego


    Weitere Titelangaben:

    Transportation Research Record


    Beteiligte:
    Bilgram, Alexander (Autor:in) / Ernstsen, Emil (Autor:in) / Greve, Peter (Autor:in) / Lahrmann, Harry (Autor:in) / Larsen, Kim G. (Autor:in) / Muñiz, Marco (Autor:in) / Taankvist, Peter (Autor:in) / Pedersen, Thomas (Autor:in)


    Erscheinungsdatum :

    2021-03-03




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO

    Shokri-Manninen, Fatima / Vain, Jüri / Waldén, Marina | BASE | 2021

    Freier Zugriff

    Verification of quasi-synchronous systems with Uppaal

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


    Non-essential autonomous vehicle rerouting

    RAKSHIT SARBAJIT K / KEEN MARTIN G / GANCI JR JOHN M et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    NON-ESSENTIAL AUTONOMOUS VEHICLE REROUTING

    RAKSHIT SARBAJIT K / KEEN MARTIN G / GANCI JR JOHN M et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    Verification of quasi-synchronous systems with Uppaal

    Bhattacharyya, Siddhartha Sid | IEEE | 2014