As robots become increasingly prevalent in society, it is essential to prescribe complex high-level tasks to them. Tasks prescribed over temporal logics present two main challenges: generating trajectories that satisfy the logical formula and tracking those trajectories that depend on the logical formula. This thesis aims to address these challenges. Firstly, we use Prescribed Performance Control (PPC) to solve the cooperative manipulation problem based on constraints defined by an Signal Temporal Logic (STL) formula. Secondly, we design a planning algorithm that generates spatio-temporal trees and searches for trajectories that satisfy an STL formula for cooperating agents. Finally, we utilise gradient-based methods to shape trajectories that satisfy an STL formula for multiple cooperating agents. Our approach is based on integration of tools from the areas of multi-agent systems, optimisation theory, cooperative object manipulation and motion planning. More specifically, in the second chapter we start by focusing on solving the problem of cooperative manipulation of an object specified by an STL formula. To achieve this, we utilise the PPC methodology, which enforces the desired transient and steady-state performance on the object trajectory to satisfy the STL formula. Specifically, we propose a method that translates the problem of satisfying an STL task into the problem of state evolution within a custom-defined time-varying funnel, which is then used to design a decentralised control strategy for robotic agents. The strategy guarantees compliance with the funnel, and each agent calculates its own control signal, without utilising any information on the dynamic terms of the agents or object. We provide experimental validation of our approach using two manipulator arms cooperatively manipulating an object based on a specified STL formula. In the next chapter, we present a novel motion planning algorithm for two autonomous agents working together to accomplish coupled tasks expressed as STL constraints. The ...


    Access

    Download


    Export, share and cite



    Title :

    Cooperative Manipulation and Motion Planning Under Signal Temporal Logic Specifications


    Contributors:

    Publication date :

    2023-01-01


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    Physics-based Motion Planning with Temporal Logic Specifications

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

    Free access

    Cooperative Object Manipulation under Signal Temporal Logic Tasks and Uncertain Dynamics

    Swelia, Mayank / Verginis, Christos / Dimarogonas, Dimos | BASE | 2022

    Free access

    Satellite Mission Planning with Signal Temporal Logic Specifications

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


    Satellite Mission Planning with Signal Temporal Logic Specifications

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


    Gaussian Belief Space Planning Under Temporal Logic Specifications

    Vahs, Matti / Pek, Christian / Tumova, Jana | BASE | 2022

    Free access