Abstract:This paper proposes a distributed model predictive control (DMPC) for a class of discrete-time stochastic multi-agent systems subject to partially coupled temporal logic tasks. For each agent, the given tasks are formulated as local and coupled probabilistic signal temporal logic (PrSTL) constraints in DMPC, and the control objective is to satisfy the PrSTL constraints against stochastic uncertainties and the coupled spatio-temporal relationship between agents. Considering that control under STL is historically dependent, a shrinking horizon DMPC framework is adopted and a probabilistic-tightening method is proposed to transform the complex form of PrSTL into deterministic constraints. Then, combining with the asynchronous update strategy, the satisfaction verification of coupled PrSTL tasks is achieved. Since large uncertainties may result in optimization infeasibility and affect the completion of the temporal logic tasks, a distributed PrSTL task softening method is further proposed, which can guarantee the softened tasks converge to the original ones and reduce the conservatism of the controller design. The recursive feasibility of the proposed PrSTL-DMPC strategy is proved and the efficiency of the algorithm is demonstrated by simulations. Note to Practitioners —With the increasing application of autonomous systems, more complex temporal logic tasks are imposed on system behaviors. This paper focuses on the distributed control problem for stochastic multi-agent systems under temporal logic tasks formulated as PrSTL specifications. A asynchronous DMPC controller is presented to improve task satisfaction against uncertainties and coupled spatial-temporal relationships between agents. The control performance including the recursive feasibility and soundness is formally guaranteed. For applications to autonomous systems, the practitioners can employ PrSTL for specifying spatial and temporal requirements on agents and employ the proposed PrSTL-DMPC algorithm for the task implementation.

Distributed Control of Coupled Leader-follower Multi-agent Systems under Spatiotemporal Logic Tasks

Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic

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

Distributed Model Predictive Control for Probabilistic Signal Temporal Logic Specifications

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

Distributed Synchronization Control of Nonaffine Multiagent Systems with Guaranteed Performance

Extending Signal Temporal Logic Specifications for Distributed Model Predictive Control

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements

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

Distributed Control of High-Order Nonlinear Input Constrained Multiagent Systems Using a Backstepping-Free Method

Temporal Relaxation of STL Specifications in Distributed Multi-Agent Systems

Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints

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

Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks

Global Temporal Logic Control Synthesis for Multiagent Systems with Time and Space Margin

Multi-Agent Motion Planning From Signal Temporal Logic Specifications

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts

Distributed Containment Control of Linear Multi-Agent Systems with Multiple Leaders of Bounded Unknown Inputs

Coordinated Tracking Of Multi-Agent Systems With A Leader Of Bounded Unknown Input Using Distributed Continuous Controllers