Motion planning for autonomous agents requires compliance with a variety of constraints. However, in some situations, all constraints cannot be simultaneously satisfied, e.g., due to the misbehavior of other traffic participants. In such situations, one strategy for guaranteeing a feasible behavior of the system is deliberately ignoring less important constraints while maintaining the satisfaction of more important ones. We address this problem by presenting a novel velocity planner for an autonomous shuttle that violates temporal logic constraints as little as possible in the sense that important constraints are violated last. In particular, we provide an $A$*-based velocity planner that minimally violates a hierarchically ordered set of constraints formalized in signal temporal logic. We apply our approach to challenging scenarios from the CommonRoad benchmark suite, showing that our proposed method yields easily interpretable and explainable decisions.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Minimum-Violation Velocity Planning with Temporal Logic Constraints


    Contributors:


    Publication date :

    2022-10-08


    Size :

    1693997 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Vehicle Trajectory Planning: Minimum Violation Planning and Model Predictive Control Comparison

    Vosahlik, David / Turnovec, Petr / Pekar, Jaroslav et al. | IEEE | 2022



    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-Egziabher, Demoz | TIBKAT | 2022


    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-egziabher, Demoz | AIAA | 2022