Signal Temporal Logic (STL) is a rigorous specification language that allows one to express various spatiotemporal requirements and preferences. Its semantics (called robustness) allows quantifying to what extent are the STL specifications met. In this work, we focus on enabling STL constraints and preferences in the Real-Time Rapidly ExploringRandom Tree (RT-RRT*) motion planning algorithm in an environment with dynamic obstacles. We propose a cost function that guides the algorithm towards the asymptotically most robust solution, i.e. a plan that maximally adheres to the STL specification. In experiments, we applied our method to a social navigation case, where the STL specification captures spatio-temporal preferences on how a mobile robot should avoid an incoming human in a shared space. Our results show that our approach leads to plans adhering to the STL specification, while ensuring efficient cost computation. ; QC 20230403


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Real-time RRT* with Signal Temporal Logic Preferences


    Beteiligte:
    Linard, Alexis (Autor:in) / Torre, Ilaria (Autor:in) / Bartoli, Ermanno (Autor:in) / Sleat, Alex (Autor:in) / Leite, Iolanda (Autor:in) / Tumova, Jana (Autor:in)

    Erscheinungsdatum :

    2023-01-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629



    Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences

    Karlsson, Jesper / Barbosa, Fernando S. / Tumova, Jana | BASE | 2020

    Freier Zugriff

    Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

    Lindemann, Lars / Nowak, Jakub / Schonbachler, Lukas et al. | BASE | 2021

    Freier Zugriff

    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