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.
Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles
IEEE Transactions on Intelligent Vehicles ; 8 , 9 ; 4180-4197
2023-09-01
3307407 byte
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles
TIBKAT | 2024
|Computing Possible Driving Corridors for Automated Vehicles
British Library Conference Proceedings | 2017
|Motion planning using spatio-temporal convex corridors
Europäisches Patentamt | 2024
|