We propose a formal verification method for deadlock detection in the scheduling of transportation systems in which vehicles run in fleets. Especially, as a prime example, we here consider the last-mile transportation system based on autonomous vehicles that we are currently developing. One of the major features of our transportation system is the ability for vehicles to run in a row without physical connecting points, which makes it possible to smoothly reorganize the vehicles. Meanwhile, owing to the rules for rearranging fleets and the traveling route of vehicles, the system may fall into a deadlock state where no vehicle can proceed to the next stop. To address this issue, we propose in this paper a method of detecting the possibility of a deadlock in a given operation schedule. For this objective, we use a model checking method to search all possible states of the system. We also show how to avoid deadlock by modifying specification based on the well-known idea of Coffman's deadlock prevention. Finally, we demonstrate the usefulness of the proposed method using examples.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking


    Beteiligte:
    Hasebe, Koji (Autor:in) / Tsuji, Mitsuaki (Autor:in) / Kato, Kazuhiko (Autor:in)


    Erscheinungsdatum :

    01.11.2017


    Format / Umfang :

    287588 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Routing and Scheduling for a Last-Mile Transportation System

    Wang, Hai | British Library Online Contents | 2019


    Last mile multi-transportation delivery system

    POLEGA TIMOTHY | Europäisches Patentamt | 2024

    Freier Zugriff

    LAST MILE MULTI-TRANSPORTATION DELIVERY SYSTEM

    POLEGA TIMOTHY | Europäisches Patentamt | 2022

    Freier Zugriff

    - DRONE-ROBOT LINKED LAST MILE TRANSPORTATION SYSTEM

    Europäisches Patentamt | 2025

    Freier Zugriff

    - DRONE-ROBOT LINKED LAST MILE TRANSPORTATION SYSTEM

    KIM GEON HONG | Europäisches Patentamt | 2023

    Freier Zugriff