Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
Jeel Chatrola, Abhiroop Ajith, Kevin Leahy, Constantinos Chamzas
TL;DR
The paper tackles motion planning under both kinodynamic and spatiotemporal constraints by proposing a novel three-layer framework that first reasons about region sequences, then generates a geometric lead path, and finally optimizes a kinodynamic trajectory using an STL-robustness cost without requiring steering functions. The approach leverages a Stable Sparse Tree (SST) foundation augmented with biased sampling around a guided geometric path, layer-based decomposition, and a propagation radius to maintain focus on spatial regions critical to satisfying the specification. A new, efficient STL encoding and a recursive robustness-based cost enable scalable optimization for complex temporal goals, including multi-goal sequencing and crossovers. Experimental results on a velocity-controlled Ackermann-car model demonstrate significant performance gains over baselines and the ability to produce sophisticated maneuvers that prior methods could not demonstrate, highlighting practical impact for time-constrained, nonholonomic planning tasks.
Abstract
We propose a novel, multi-layered planning approach for computing paths that satisfy both kinodynamic and spatiotemporal constraints. Our three-part framework first establishes potential sequences to meet spatial constraints, using them to calculate a geometric lead path. This path then guides an asymptotically optimal sampling-based kinodynamic planner, which minimizes an STL-robustness cost to jointly satisfy spatiotemporal and kinodynamic constraints. In our experiments, we test our method with a velocity-controlled Ackerman-car model and demonstrate significant efficiency gains compared to prior art. Additionally, our method is able to generate complex path maneuvers, such as crossovers, something that previous methods had not demonstrated.
