Motion Planning for Mobile Robots with Temporal Logic Specifications

In this paper, we propose a motion planning method for mobile robots in order to satisfy task requirements specified in linear temporal logic (LTL). The proposed method follows the traditional hierarchical planning workflow, including path planning and trajectory planning. Firstly, we propose a path planning method based on rapidly exploring random trees (RRT*) and Dubins curve. The tree derived from RRT* is expanded with the help of Buchi automaton converted by an LTL formula. The proposed method can automatically adjust the iterations of sampling according to the scale of Buchi automata. Then, we formulate an optimization problem for the generation of trajectory. We use Bezier curve to express the trajectory and use differential flatness of mobile robots to simplify the optimization problem. Finally, we validate the practicality of our method through simulations and real-world experiments.