Autonomous vehicles are subject to various constraints, such as following the rules of the road (ROTR), adhering to schedules, or providing a comfortable driving experience. However, realizing a driving behavior complying with all constraints is challenging since it is not always possible to satisfy them simultaneously, necessitating the formulation of compromises. In this paper, we propose a solution to this challenge by decomposing the specification of an autonomous vehicle into a rulebook utilized by a novel optimization-based minimum - violation motion planner. In particular, our planner uses reachable sets to prevent collisions with other road users, and it minimally violates the ROTR formalized in signal temporal logic (STL). Furthermore, a mixed-integer convex program (MICP) realization of the planner is provided to demonstrate its effectiveness, especially in dynamically changing environments. We evaluate our approach using realistic ROTR on 1780 scenarios from the CommonRoad benchmark suite. Our results show that our planner generates safe and feasible trajectories, indicating its potential for real-world applications.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Lexicographic Mixed-Integer Motion Planning with STL Constraints


    Contributors:


    Publication date :

    2023-09-24


    Size :

    2361882 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Spacecraft Trajectory Planning with Avoidance Constraints Using Mixed-Integer Linear Programming

    Arthur Richards / Tom Schouwenaars / Jonathan P. How et al. | AIAA | 2002



    Mixed-Integer Motion Planning on German Roads Within the Apollo Driving Stack

    Kessler, Tobias / Esterle, Klemens / Knoll, Alois | IEEE | 2023


    EFFICIENT MIXED-INTEGER PROGRAMMING FOR LONGITUDINAL AND LATERAL MOTION PLANNING OF AUTONOMOUS VEHICLES

    Miller, Christina / Pek, Christian / Althoff, Matthias | British Library Conference Proceedings | 2018