Abstract:We study the temporal robustness of temporal logic specifications and show how to design temporally robust control laws for time-critical control systems. This topic is of particular interest in connected systems and interleaving processes such as multi-robot and human-robot systems where uncertainty in the behavior of individual agents and humans can induce timing uncertainty. Despite the importance of time-critical systems, temporal robustness of temporal logic specifications has not been studied, especially from a control design point of view. We define synchronous and asynchronous temporal robustness and show that these notions quantify the robustness with respect to synchronous and asynchronous time shifts in the predicates of the temporal logic specification. It is further shown that the synchronous temporal robustness upper bounds the asynchronous temporal robustness. We then study the control design problem in which we aim to design a control law that maximizes the temporal robustness of a dynamical system. Our solution consists of a Mixed-Integer Linear Programming (MILP) encoding that can be used to obtain a sequence of optimal control inputs. While asynchronous temporal robustness is arguably more nuanced than synchronous temporal robustness, we show that control design using synchronous temporal robustness is computationally more efficient. This trade-off can be exploited by the designer depending on the particular application at hand. We conclude the paper with a variety of case studies.

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

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

Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition

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

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

Combined Left and Right Temporal Robustness for Control under STL Specifications

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

Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis

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

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

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

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

Signal Temporal Logic-Guided Model Predictive Control for Robust Bipedal Locomotion Resilient to Runtime External Perturbations

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics

Time Minimization and Online Synchronization for Multi-Agent Systems under Collaborative Temporal Logic Tasks

Multi-Agent Motion Planning From Signal Temporal Logic Specifications

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications