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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Anytime Safety Verification of Autonomous Vehicles


    Beteiligte:
    Gruber, Felix (Autor:in) / Althoff, Matthias (Autor:in)


    Erscheinungsdatum :

    2018-11-01


    Format / Umfang :

    411306 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers

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


    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


    Safety of Autonomous Vehicles

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

    Freier Zugriff

    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

    Freier Zugriff

    ANYTIME ANYWHERE SECURITY WINDOW

    SUZUKI YOSHIAKI | Europäisches Patentamt | 2021

    Freier Zugriff