Ensuring that autonomous vehicles do not cause accidents remains a challenge. We present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic situations. Legal safety means that autonomous vehicles never cause accidents although other traffic participants are allowed to perform any behaviour in accordance with traffic rules. Our technique serves as a safety layer for existing motion planning frameworks that provide intended trajectories for autonomous vehicles. We verify whether intended trajectories comply with legal safety and provide fallback solutions in safety-critical situations. The benefits of our verification technique are demonstrated in critical urban scenarios, which have been recorded in real traffic. The autonomous vehicle executed only safe trajectories, even when using an intended trajectory planner that was not aware of other traffic participants. Our results indicate that our online verification technique can drastically reduce the number of traffic accidents. ; QC 20201211


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Using online verification to prevent autonomous vehicles from causing accidents


    Beteiligte:

    Erscheinungsdatum :

    2020-01-01


    Anmerkungen:

    Scopus 2-s2.0-85090954454



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    380 / 629



    MULTI COMPONENTS TO PREVENT VEHICLES FROM ACCIDENTS

    ANNADURAI P | Europäisches Patentamt | 2020

    Freier Zugriff

    Multi components to prevent vehicles from accidents

    ANNADURAI P | Europäisches Patentamt | 2021

    Freier Zugriff


    An audio visual aid that helps prevent accidents in vehicles

    ROY HENRY BOOKER | Europäisches Patentamt | 2019

    Freier Zugriff

    Anytime Safety Verification of Autonomous Vehicles

    Gruber, Felix / Althoff, Matthias | IEEE | 2018