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 Stochastic MPC for Linear Systems with Probabilistic Constraints and Quantisation

Distributed Stochastic MPC of Linear Systems with Additive Uncertainty and Coupled Probabilistic Constraints.

Distributed Model Predictive Control of Linear Systems with Stochastic Parametric Uncertainties and Coupled Probabilistic Constraints

SVD-Based Robust Distributed MPC for Tracking Systems Coupled in Dynamics with Global Constraints

Constrained distributed model predictive control for state-delayed systems with polytopic uncertainty description

Distributed MPC for Linear Discrete-Time Systems with Disturbances and Coupled States

Cooperative distributed stochastic MPC for systems with state estimation and coupled probabilistic constraints

Distributed MPC of polytopic uncertain systems: handling quantised communication and packet dropouts

Distributed Model Predictive Control and Optimization for Linear Systems with Global Constraints and Time-Varying Communication

Distributed Stochastic MPC for Networked Linear Systems with a Multirate Sampling Mechanism

Model predictive control of distributed networked control systems with quantization and switching topology

Distributed Model Predictive Control for Probabilistic Signal Temporal Logic Specifications

Co-Design of Scalable DMPC and Dynamic Quantizer for Networked Nonlinear Continuous System

Stochastic Self-Triggered Model Predictive Control for Linear Systems with Probabilistic Constraints.

Distributed Model Predictive Control with Asynchronous Controller Evaluations

Robust distributed model predictive control for uncertain networked control systems

Distributed Economic MPC for Dynamically Coupled Systems with Stochastic Disturbances

Robust Distributed Model Predictive Control of Linear Systems with Structured Time-Varying Uncertainties

Distributed Model Predictive Control for Linear Systems under Communication Noise: Algorithm, Theory and Implementation

Distributed Model Predictive Control of Positive Markov Jump Systems

Distributed Stochastic Model Predictive Control for Heterogeneous Vehicle Platoons Subject to Modeling Uncertainties