Search papers, labs, and topics across Lattice.
The paper introduces RRT$^η$, a sampling-based motion planning framework that uses the Arithmetic-Geometric Mean (AGM) robustness measure to evaluate Signal Temporal Logic (STL) satisfaction across all time points and subformulae, addressing the limitations of min-max robustness measures. They develop AGM robustness interval semantics for partial trajectories and an efficient incremental monitoring algorithm, along with enhanced Direction of Increasing Satisfaction vectors using Fulfillment Priority Logic (FPL) for objective composition. Experiments on three robotic systems (double integrator, unicycle, 7-DOF arm) demonstrate that RRT$^η$ achieves superior performance in satisfying STL specifications with high robustness compared to traditional STL robustness-based planners.
Key contribution not extracted.
Sampling-based motion planning has emerged as a powerful approach for robotics, enabling exploration of complex, high-dimensional configuration spaces. When combined with Signal Temporal Logic (STL), a temporal logic widely used for formalizing interpretable robotic tasks, these methods can address complex spatiotemporal constraints. However, traditional approaches rely on min-max robustness measures that focus only on critical time points and subformulae, creating non-smooth optimization landscapes with sharp decision boundaries that hinder efficient tree exploration. We propose RRT$^η$, a sampling-based planning framework that integrates the Arithmetic-Geometric Mean (AGM) robustness measure to evaluate satisfaction across all time points and subformulae. Our key contributions include: (1) AGM robustness interval semantics for reasoning about partial trajectories during tree construction, (2) an efficient incremental monitoring algorithm computing these intervals, and (3) enhanced Direction of Increasing Satisfaction vectors leveraging Fulfillment Priority Logic (FPL) for principled objective composition. Our framework synthesizes dynamically feasible control sequences satisfying STL specifications with high robustness while maintaining the probabilistic completeness and asymptotic optimality of RRT$^\ast$. We validate our approach on three robotic systems. A double integrator point robot, a unicycle mobile robot, and a 7-DOF robot arm, demonstrating superior performance over traditional STL robustness-based planners in multi-constraint scenarios with limited guidance signals.
