A. Bhatia, L. E. Kavraki, and M. Y. Vardi, “Motion Planning with Hybrid Dynamics and Temporal Goals,” in IEEE Conference on Decision and Control, Atlanta, GA, 2010, pp. 1108–1115.
In this paper, we consider the problem of motion planning for mobile robots involving discrete constraints on dynamics, and high-level temporal goals. The robot is modeled as a nonlinear hybrid system with the discrete transitions modeling the discrete constraints. We use a multi-layered synergistic framework that has been proposed recently for solving planning problems involving hybrid systems and high-level temporal goals. A high-level planner uses a user-defined discrete abstraction of the hybrid system as well as exploration information to suggest high-level plans. A low-level sampling-based planner uses the dynamics of the hybrid system and the suggested high-level plans to explore the state-space for feasible solutions. In our previous work, we have proposed a geometry-based approach for the construction of the discrete abstraction for the case when the robot is modeled as a continuous system. Here, we extend the approach for the construction of the discrete abstraction to the case when the robot is modeled as nonlinear hybrid system. To use the resulting abstraction more efficiently, we also propose a lazy-search approach for high-level planning that reduces the size of the search space by reusing previously constructed high-level plans for initializing the search. The new techniques are tested experimentally for second-order nonlinear hybrid robot models in challenging workspace environments with obstacles and for a variety of temporal logic specifications.