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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2021-09-19


    Size :

    262464 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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 | European Patent Office | 2016

    Free access