Abstract:In this paper, the control problem of multi-robot systems under temporal logic tasks with limited time and logic constraints is studied, where each robot is required to reach the specified region in a given time and avoid collision all the time. Since the cooperative collision avoidance task of one robot depends on other robots' behaviors, the satisfaction of all the tasks may be conflicting. In this work, a distributed model predictive control (DMPC) strategy is proposed for conflicting temporal logic tasks. First, signal temporal logic (STL) is adopted to formally describe the temporal logic tasks. Based on robust semantics of STL formulas, a reference trajectory for the satisfaction degree of the task is designed to determine the short-term task in the optimization horizon. In the DMPC optimization problem, the compatibility constraints are introduced to redesign the collision avoidance constraints, such that the collision avoidance tasks can be fulfilled using neighbouring robots' predicted information of the last time instant. Then, the terminal constraint is designed by the short-term motion task which enforces each robot to move towards the goal region within the specified time interval. For conflicting tasks, a slack parameter is introduced in the terminal set to relax the motion task of each robot. The recursive feasibility of the DMPC algorithm is guaranteed, and the relaxed temporal logic tasks are fulfilled. In the proposed method, the discrete events including limited time and logic requirements are incorporated into the DMPC optimization problem, such that the motion task can be satisfied as much as possible and safety requirements are fulfilled. The effectiveness of the algorithm is illustrated by simulation and experiment results.

A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study

Task Coordination and Trajectory Optimization for Multi-Aerial Systems via Signal Temporal Logic: A Wind Turbine Inspection Study

A Signal Temporal Logic Planner for Ergonomic Human-Robot Collaboration

Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications

Ergonomic Collaboration between Humans and Robots: An Energy-Aware Signal Temporal Logic Perspective

Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications

A framework for power line inspection tasks with multi-robot systems from signal temporal logic specifications

Multi-Agent Motion Planning From Signal Temporal Logic Specifications

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications

Distributed Receding Horizon Control for Multi-agent Systems with Conflicting Siganl Temporal Logic Tasks

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications

Task Allocation and Trajectory Planning for Collaborative Adversarial Multi-UAVsystems

Distributed Model Predictive Control for Multi‐robot Systems with Conflicting Signal Temporal Logic Tasks

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications

TICOP: Time-critical Coordinated Planning for Fixed-Wing UAVs in Unknown Unstructured Environments

Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems

Temporal Logic Task Planning for Autonomous Systems with Active Acquisition of Information