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.

Tracking Control of an Unknown Linear System for a Fragment of Signal Temporal Logic Task

Fixed-Time Tracking Control for State-Constrained Nonstrict-Feedback Systems Without Feasibility Conditions

A Learning-Based Optimal Tracking Controller for Continuous Linear Systems with Unknown Dynamics: Theory and Case Study

Asymptotic tracking control for uncertain strict-feedback nonlinear systems with delayed full-state constraints

H ∞ Reference Tracking Control Design for a Class of Nonlinear Systems with Time-Varying Delays

Robust Temporal Logic Motion Control Via Disturbance Observers.

Tracking Control of Uncertain Interconnected Time-delay Nonlinear Systems with Full State Constraints

Adaptive tracking control for constrained nonlinear nonstrict-feedback switched stochastic systems with unknown control directions

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

Stabilization analysis of a class of nonlinear time delay systems with time-varying full-state constraints

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

Signal Temporal Logic Synthesis under Model Predictive Control: A Low Complexity Approach

Performance Guaranteed Tracking Control for Nonlinear Systems with Time-Varying Output Constraints and Full-State Constraints

Adaptive Fuzzy Asymptotic Tracking Control of State-Constrained High-Order Nonlinear Time-Delay Systems and Its Applications

Tracking Control of Uncertain Nonlinear Systems with Deferred Asymmetric Time-Varying Full State Constraints.

Tracking Control for Stochastic Learning Systems Over Changing Durations

Adaptive Fuzzy Tracking Control for Stochastic Nonlinear Systems with Full-State Constraints

Robust Tracking Control of Unknown Nonlinear Systems With Discontinuous References Under Output Constraints

Continuous-time Control Synthesis Under Nested Signal Temporal Logic Specifications

Robust Adaptive Tracking Control for Input and State Constrained Uncertain Nonlinear Systems with Unknown Control Directions