Abstract:Real-world scenarios are characterized by timing uncertainties, e.g., delays, and disturbances. Algorithms with temporal robustness are crucial in guaranteeing the successful execution of tasks and missions in such scenarios. We study time-robust path planning for synthesizing robots' trajectories that adhere to spatial-temporal specifications expressed in Signal Temporal Logic (STL). In contrast to prior approaches that rely on {discretize}d trajectories with fixed time steps, we leverage Piece-Wise Linear (PWL) signals for the synthesis. PWL signals represent a trajectory through a sequence of time-stamped waypoints. This allows us to encode the STL formula into a Mixed-Integer Linear Program (MILP) with fewer variables. This reduction is more pronounced for specifications with a long planning horizon. To that end, we define time-robustness for PWL signals. Subsequently, we propose quantitative semantics for PWL signals according to the recursive syntax of STL and prove their soundness. We then propose an encoding strategy to transform our semantics into a MILP. Our simulations showcase the soundness and the performance of our algorithm.

What problem does this paper attempt to address?

This paper investigates how to plan the path of a robot in real-world scenarios with uncertain time existence to satisfy signal temporal logic (STL) based spatiotemporal specifications. STL is a logic language that can express system spatiotemporal behaviors clearly. In contrast to previous methods, this paper proposes using piecewise linear (PWL) signals to synthesize paths instead of discrete trajectories with fixed time steps. PWL signals represent trajectories through a sequence of waypoints with timestamps, which reduces the number of variables and complexity of the problem. The main contributions of this paper include: 1. Defining the time robustness of PWL signals and proposing the corresponding quantified semantics to demonstrate its correctness. This allows evaluating time slack directly with fewer waypoints, i.e., the satisfaction level of the trajectory with respect to the specification. 2. Introducing a hierarchical time robust formal synthesis problem aimed at generating waypoints that not only satisfy the specification but also maximize time robustness. 3. Designing an encoding strategy that converts the above semantics into mixed-integer linear programming (MILP) to directly solve the time robust path planning problem. 4. Demonstrating the effectiveness and performance of the algorithm through simulations. In short, the goal of this paper is to address the path planning problem for robots in environments with uncertainties such as delays, early starts, or interferences during execution, ensuring that they can perform tasks according to STL specifications with spatiotemporal constraints. By using PWL signals, this method improves robustness to time uncertainty and is more efficient in handling long-term planning problems.

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

Signal Temporal Logic Planning with Time-Varying Robustness

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

Multi-Agent Motion Planning From Signal Temporal Logic Specifications

Two-Phase Motion Planning under Signal Temporal Logic Specifications in Partially Unknown Environments

Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications

Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow

Combined Left and Right Temporal Robustness for Control under STL Specifications

Signal Temporal Logic Neural Predictive Control

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

Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic

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

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

Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks

Motion Planning for Mobile Robots with Temporal Logic Specifications

A Signal Temporal Logic Planner for Ergonomic Human-Robot Collaboration

A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study

Optimal Path Planning with Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers