Compliance with the rules of the road is crucial for the safe operation of autonomous vehicles. Previous work has shown that one can expedite rule-compliant motion planning by constraining the search space based on the reachable states of the vehicle. We propose an algorithm to overapproximate the states that a vehicle can reach while adhering to a linear temporal logic specification. By integrating model checking into reachability analysis, we can exclude many non-compliant states early. Moreover, we only have to semantically split the reachable set when necessary to decide the validity of the specification. This significantly reduces the computation time compared to existing approaches. We benchmark our approach in recorded real-world scenarios to demonstrate its real-time capability.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking


    Beteiligte:


    Erscheinungsdatum :

    02.06.2024


    Format / Umfang :

    1495693 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Model checking for autonomous vehicles

    FERGUSON DAVID I / DOLGOV DMITRI A / URMSON CHRISTOPHER | Europäisches Patentamt | 2016

    Freier Zugriff

    REACHABILITY USER EXPERIENCE INTERFACES FOR AUTONOMOUS VEHICLES

    PANDIT SALIL / PATEL NIRMAL / VILLAR GUILHERME et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    REACHABILITY USER EXPERIENCE INTERFACES FOR AUTONOMOUS VEHICLES

    PANDIT SALIL / PATEL NIRMAL / VILLAR GUILHERME et al. | Europäisches Patentamt | 2025

    Freier Zugriff