While motion planning under temporal logic specifications has been addressed in several state-of-the-art works, spatial aspects have been so far largely neglected. In this work, we enrich the semantics of robot motion specifications by including preferences on spatial relations between its trajectory and various elements in its environment. The spatial preferences are given in a fragment of Signal Temporal Logic (STL) on top of complex missions in syntactically co-safe Linear Temporal Logic (scLTL). We propose a cost function with user-specified parameters, which determines the compromise between efficiency and spatial robustness of a trajectory. The proposed modification of the incremental sampling-based RRT$^\star$ driven by this cost function guarantees that the motion plan (if found) simultaneously satisfies the mission and asymptotically minimize the cost. The paper includes several case studies showcasing the effects of the user-adjustable parameters on the resulting trajectories. ; QC 20210318


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Erscheinungsdatum :

    2020-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629



    Physics-based Motion Planning with Temporal Logic Specifications

    Ud Din, Muhayy / Akbari, Aliakbar / Rosell Gratacòs, Jan | BASE | 2017

    Freier Zugriff


    Spatial Optimization in Spatio-temporal Motion Planning

    Zhang, Weize / Yadmellat, Peyman / Gao, Zhiwei | IEEE | 2022


    Real-time RRT* with Signal Temporal Logic Preferences

    Linard, Alexis / Torre, Ilaria / Bartoli, Ermanno et al. | BASE | 2023

    Freier Zugriff

    Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis

    Schäfer, Tristan / Bessai, Jan / Chaumet, Constantin et al. | Springer Verlag | 2022