Search papers, labs, and topics across Lattice.
This paper introduces a novel planner-controller framework that integrates Signal Temporal Logic (STL) specifications with time-varying convex sets to enhance trajectory planning and control. By leveraging a shortest-path formulation over convex spatio-temporal sets, the framework ensures that system trajectories not only satisfy STL specifications but also maintain robustness against uncertainties. Experimental validation on space robotic platforms demonstrates the effectiveness of the approach in achieving continuous-time enforcement of STL satisfaction while addressing collision avoidance and smoothness constraints.
Achieving robust trajectory planning and control under STL specifications is now possible through a unified framework that adapts to real-world uncertainties.
We present a unified trajectory planning and control framework for the satisfaction of Signal Temporal Logic (STL) specifications defined over convex predicates. At the planning layer, STL tasks are encoded as time-varying convex sets in configuration space, specifically designed so that forward invariance of the system with respect to these sets implies satisfaction of the specification with a prescribed robustness margin. This representation is then lifted to the joint time--configuration space and combined with the Graphs of Convex Sets (GCS) framework, yielding a shortest-path formulation of the planning problem over convex spatio-temporal sets. Trajectories are parameterized by B-splines, which enable continuous-time enforcement of STL satisfaction, collision avoidance, and smoothness constraints. At the control layer, the same time-varying sets used for planning are exploited to design a feedback controller that tracks the planned trajectory while prioritizing satisfaction of the STL specification during execution in the presence of tracking errors and model mismatch. We validate the proposed approach in simulation and in real-world experiments on space robotic platforms.
