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.

Robust Decidability of Sampled-Data Control of Nonlinear Systems with Temporal Logic Specifications

Robust Sampled-Data Control for Uncertain Nonlinear Systems

Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties

Direct data-driven control with signal temporal logic specifications

Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

Sampled-Data Control for Time-Delay Uncertain Linear Systems

Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications

Constrained Robust Sampled-data Control for a Class of Nonlinear Uncertain Systems

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Dynamic Quantization Based Control Synthesis for Signal Temporal Logics Specifications

Sampled‐data control of time‐delay uncertain systems with uncontrollable/unobservable linearization by memoryless feedback

Robust Extended Dissipative Control for Sampled-Data Markov Jump Systems.

Controller synthesis for linear temporal logic and steady-state specifications

Robust Control For Fast-Sampling Discrete-Time Fuzzy Singularly Perturbed Systems

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

Synthesis of Non-blocking Controllers for Linear Temporal Logic Tasks under Partial Observations⋆

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications

Continuous-time Control Synthesis Under Nested Signal Temporal Logic Specifications

Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics