It is crucial for automated vehicles to explicitly comply with specifications, including traffic rules, to ensure their safe and effective participation in road traffic. Such compliance is also essential for vehicle manufacturers to avoid liability claims in the event of accidents. We propose a novel approach addressing the problem of specification-compliant motion planning for automated vehicles. Our approach couples set-based reachability analysis with automata-based model checking and outputs specification-compliant driving corridors. These driving corridors serve as motion planning constraints and expedite the generation of trajectories complying with specifications expressed in metric temporal logic. In contrast to existing works, our approach efficiently and exhaustively verifies all driving corridors of an automated vehicle, leveraging mature model checking techniques. We demonstrate the applicability, effectiveness, and efficiency of our approach using various specifications on scenarios from the CommonRoad benchmark suite. Moreover, we benchmark the performance of our prototype against multiple scenarios, indicating that our approach is real-time capable.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles


    Contributors:

    Published in:

    Publication date :

    2023-09-01


    Size :

    3307407 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English





    Computing Possible Driving Corridors for Automated Vehicles

    Söntges, Sebastian / Althoff, Matthias | British Library Conference Proceedings | 2017


    Computing possible driving corridors for automated vehicles

    Sontges, Sebastian / Althoff, Matthias | IEEE | 2017


    Motion planning using spatio-temporal convex corridors

    ZHANG WEIZE / ARDEMERAT PEYMAN / GAO ZHIWEI | European Patent Office | 2024

    Free access