SCIENCE@home

Lexicographic Mixed-Integer Motion Planning with STL Constraints

Patrick Halder,Fabian Christ,Matthias Althoff

Published 2023 in 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)

ABSTRACT

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.

PUBLICATION RECORD

  • Publication year

    2023

  • Venue

    2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)

  • Publication date

    2023-09-24

  • Fields of study

    Computer Science, Engineering

  • Identifiers
    DOI 10.1109/ITSC57777.2023.10422619
  • External record

    Open on Semantic Scholar

  • Source metadata

    Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-40 of 40 references · Page 1 of 1

CITED BY