Abstract:The control of dynamical systems under temporal logic specifications among uncontrollable dynamic agents is challenging due to the agents' a-priori unknown behavior. Existing works have considered the problem where either all agents are controllable, the agent models are deterministic and known, or no safety guarantees are provided. We propose a predictive control synthesis framework that guarantees, with high probability, the satisfaction of signal temporal logic (STL) tasks that are defined over a controllable system in the presence of uncontrollable stochastic agents. We use trajectory predictors and conformal prediction to construct probabilistic prediction regions for each uncontrollable agent that are valid over multiple future time steps. Specifically, we construct a normalized prediction region over all agents and time steps to reduce conservatism and increase data efficiency. We then formulate a worst-case bilevel mixed integer program (MIP) that accounts for all agent realizations within the prediction region to obtain an open-loop controller that provably guarantee task satisfaction with high probability. To efficiently solve this bilevel MIP, we propose an equivalent MIP program based on KKT conditions of the original bilevel formulation. Building upon this, we design a closed-loop controller, where both recursive feasibility and task satisfaction can be guaranteed with high probability. We illustrate our control synthesis framework on two case studies.

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

Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic

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

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

Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems

Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems

Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

Multi-agent System Motion Planning under Temporal Logic Specifications and Control Barrier Function

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

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints

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

Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots

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

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration

Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

Control Barrier Functionals: Safety-critical Control for Time Delay Systems

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic

Modularized Control Synthesis for Complex Signal Temporal Logic Specifications

Time Robust Model Predictive Control for Heterogeneous Multi-Agent Systems under Global Temporal Logic Tasks