This brief presents the implementation and experimental results of two frameworks for multi-agent systems under temporal logic tasks, which we have recently proposed. Each agent is subject to either a local linear temporal logic (LTL) or a local signal temporal logic (STL) task where each task may further be coupled, i.e., the satisfaction of a task may depend on more than one agent. The agents are represented by mobile robots with different sensing and actuation capabilities. We propose to combine the two aforementioned frameworks to use the strengths of both LTL and STL. For the implementation, we take into account practical issues, such as collision avoidance, and, in particular, for the STL framework, input saturation, the digital implementation of continuous-time feedback control laws, and a controllability assumption that was made in the original work. The experimental results contain three scenarios that show a wide variety of tasks. ; QC 20201113


    Access

    Download


    Export, share and cite




    Multi-Robot Motion Planning With Control Barrier Functions for Signal Temporal Logic Tasks

    Brage, Cecilia / Johansson, Johanna | BASE | 2021

    Free access

    Control Barrier Functions for Signal Temporal Logic Tasks

    Lindemann, Lars / Dimarogonas, Dimos V. | BASE | 2019

    Free access

    Cooperative Object Manipulation under Signal Temporal Logic Tasks and Uncertain Dynamics

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

    Free access