We propose a procedure to formally verify the safety of autonomous vehicles online, i.e., during operation, that considers the uniqueness of each traffic situation. A challenging aspect of online verification is the varying number of surrounding traffic participants, which causes significant variations in computational demand. To guarantee timely safe motion plans, we propose an anytime approach that provides rapid conservative verification results based on coarse model abstractions, which are refined continually if computation time is available. Reachability analysis, which over-approximates all possible behaviors of other traffic participants, is performed for each abstraction. We demonstrate the usefulness of the proposed procedure using the CommonRoad benchmark suite.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Anytime Safety Verification of Autonomous Vehicles


    Contributors:


    Publication date :

    2018-11-01


    Size :

    411306 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers

    Althoff, Matthias / Althoff, Daniel / Wollherr, Dirk et al. | Tema Archive | 2010


    Safety of Autonomous Vehicles

    Jun Wang / Li Zhang / Yanjun Huang et al. | DOAJ | 2020

    Free access

    Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers, pp. 1078-1083

    Althoff, M. / Althoff, D. / Wollherr, D. et al. | British Library Conference Proceedings | 2010


    IoT system for anytime/anywhere monitoring and control of vehicles’ parameters

    Afonso, José A. / Sousa, Rúben A. / Ferreira, João C. et al. | BASE | 2017

    Free access

    ANYTIME ANYWHERE SECURITY WINDOW

    SUZUKI YOSHIAKI | European Patent Office | 2021

    Free access