Search papers, labs, and topics across Lattice.
This paper introduces safety-aware-stl-mppi, a novel sampling-based receding-horizon planning framework that integrates Signal Temporal Logic (STL) constraints into model predictive path integral (MPPI) control. By encoding STL formulas into time-varying control barrier functions (CBF), the approach ensures that safety constraints are satisfied while maintaining computational efficiency. Experimental results across various Mars Rover planning scenarios demonstrate that the proposed method consistently outperforms traditional MPPI baselines in terms of safety and efficiency.
Safety-aware-stl-mppi achieves high safety and efficiency in robotic motion planning, outperforming traditional methods in complex environments.
Safety-aware motion planning remains a challenge in robotics, especially when missions are time-critical and are under complex specifications. In this paper, we propose safety-aware-stl-mppi, a computationally efficient sampling-based receding-horizon planning framework designed to promote satisfaction of constraints expressed in Signal Temporal Logic (STL). Our approach encodes discrete-time STL formulas into candidate time-varying control barrier functions (CBF), which are integrated into a model predictive path integral (MPPI) controller. Our method inherits the benefits of low computational cost from an efficiently parallelizable sampling based planner and utilizes CBF for constraints expressed in STL. We compare against several MPPI baselines using four artificial Mars Rover planning case studies with a diverse environment and cost setups, where we show our method consistently achieving high safety and efficiency. We show a quadcopter planning experiment with NVIDIA Isaac Lab.
