This paper presents a verification method for the trajectory planning of networked and autonomous vehicles using temporal logic. The method consists of two parts. First, traffic scenarios are verified. Since the verification is not realtime capable, this is done offline. The verification tool provides counterexamples, if collisions or deadlocks are possible for the corresponding traffic scenarios. These counterexamples are generalized and formulated as rule sets. For each class of traffic scenario, we formulate a rule set. Second, during trajectory planning, the method checks if the resulting trajectories fulfill the rules for the current traffic scenario. If the rules are fulfilled, no collision or deadlock is possible. As we show in the evaluation, the rule checking can be performed in real-time.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking


    Beteiligte:


    Erscheinungsdatum :

    2021-09-19


    Format / Umfang :

    262464 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Model-based Validation and Verification of Autonomous Networked Vehicles

    Sapronov, L. / Bose, P. / IEEE | British Library Conference Proceedings | 2005


    Model checking for autonomous vehicles

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

    Freier Zugriff