Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
arxiv(2024)
摘要
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 discretized 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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要