Abstract:Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties. Previous works have studied left and right time robustness of signal temporal logic specifications by considering time shifts in the predicates that are either only to the left or only to the right. We propose a combined notion of temporal robustness which simultaneously considers left and right time shifts. For instance, in a scenario where a robot plans a trajectory around a pedestrian, this combined notion can now capture uncertainty of the pedestrian arriving earlier or later than anticipated. We first derive desirable properties of this new notion with respect to left and right time shifts and then design control laws for linear systems that maximize temporal robustness using mixed-integer linear programming. Finally, we present two case studies to illustrate how the proposed temporal robustness accounts for timing uncertainties.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to make the system remain robust in the face of time uncertainty in time - critical systems. Specifically, the paper focuses on multi - agent systems, especially autonomous robotic systems, where meeting real - time safety constraints is crucial. However, even slight time perturbations, such as time delays, can endanger the safety of the system if the system is not robust enough to such perturbations. ### Background and Objectives of the Paper **Background**: - **Time - critical systems**: Systems such as multi - robot systems and self - driving cars that need to meet real - time safety constraints. - **Signal Temporal Logic (STL)**: A logical language used to express real - time constraints, widely applied in the design and verification of control systems. - **Time robustness**: Existing research mainly focuses on left (backward) or right (forward) time robustness, that is, considering the situation where time shifts occur only in the past or future. **Objectives**: - Propose a new concept of time robustness that considers both left - and right - ward time shifts simultaneously. - Design control laws to make linear systems satisfy STL specifications while maximizing time robustness. - Demonstrate through two case studies how the proposed robustness concept copes with time uncertainty. ### Main Contributions 1. **Propose a new concept of time robustness**: Define a new measure of time robustness that quantifies the maximum left - and right - ward time shifts that predicates in STL specifications can tolerate. 2. **Prove the properties of the new definition**: Show several desirable properties of the newly defined time robustness, including its relationship with left (right) time robustness. 3. **Design a Mixed - Integer Linear Programming (MILP) encoding**: Propose an MILP framework for maximizing the time robustness objective in linear systems. ### Technical Details - **Signal Temporal Logic (STL)**: Define the syntax and semantics of STL formulas and introduce the recursive definitions of left (right) time robustness. - **New definition of time robustness**: Define time robustness that considers both left - and right - ward time shifts simultaneously and give its recursive calculation method. - **MILP encoding**: Describe in detail how to transform the time robustness objective into an MILP problem for solution using an optimization solver. ### Case Studies 1. **Time - based navigation**: Through a two - dimensional autonomous navigation task, show how to satisfy task specifications while maximizing time robustness. 2. **Multi - UAV surveillance**: Through a multi - UAV surveillance task, show how to allocate tasks among multiple agents and ensure the robustness of the system under time uncertainty. ### Conclusion The paper proposes a new concept of time robustness that can consider both left - and right - ward time shifts simultaneously. Through theoretical analysis and experimental verification, the effectiveness and practicality of this concept are demonstrated. This provides new tools and methods for designing more robust time - critical systems.

Combined Left and Right Temporal Robustness for Control under STL Specifications

Delay-Dependent Robust Stabilizing Control Law Design for a Class of Uncertain Time-Delay Systems

Robust control for a class of uncertain time-varying time-delay systems with actuator limit

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints

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

Uncertainty-Aware Reactive Control for Signal Temporal Logic with Unknown Obstacles

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Signal Temporal Logic Planning with Time-Varying Robustness

Distributed Receding Horizon Control for Multi-agent Systems with Conflicting Siganl Temporal Logic Tasks

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

Control Design for Risk-Based Signal Temporal Logic Specifications

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic

Specification-guided temporal logic control for stochastic systems: a multi-layered approach

Robust Temporal Logic Motion Control Via Disturbance Observers.

Signal Temporal Logic Neural Predictive Control

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints

Risk of Stochastic Systems for Temporal Logic Specifications