Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows

Robots used for inspection, package deliveries, moving of goods, and other logistics operations are often required to visit certain locations within specified time bounds. This gives rise to a challenging problem as it requires not only planning collision-free and dynamically feasible motions but also reasoning temporally about when and where the robot should be. While significant progress has been made in integrating task and motion planning, there are still no effective approaches for multigoal motion planning when both dynamics and time windows must be satisfied. To effectively solve this challenging problem, this paper develops an approach that couples temporal planning over a discrete abstraction with sampling-based motion planning over the continuous state space of feasible motions. The discrete abstraction is obtained by imposing a roadmap that captures the connectivity of the free space. At each iteration of a core loop, the approach first invokes the temporal planner to find a solution over the roadmap abstraction. In a second step, the approach uses sampling to expand a motion tree along the regions associated with the discrete solution. Experiments are conducted with second-order ground and aerial vehicle models operating in complex environments. Results demonstrate the efficiency and scalability of the approach as we increase the number of goals and the difficulty of satisfying the time bounds.

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  Model predictive control with signal temporal logic specifications , 2014, 53rd IEEE Conference on Decision and Control.

[2]  Maria Fox,et al.  AUV mission control via temporal planning , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[3]  Howie Choset,et al.  Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .

[4]  B. Faverjon,et al.  Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .

[5]  Maria Fox,et al.  A Compilation of the Full PDDL+ Language into SMT , 2016, ICAPS.

[6]  Erion Plaku,et al.  Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[7]  Robert Mattmüller,et al.  Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning , 2009, ICAPS.

[8]  Christopher D. Rosin,et al.  Nested Rollout Policy Adaptation for Monte Carlo Tree Search , 2011, IJCAI.

[9]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[10]  Patrik Haslum,et al.  Interval-Based Relaxation for General Numeric Planning , 2016, ECAI.

[11]  Mark H. M. Winands,et al.  Monte-Carlo Tree Search Solver , 2008, Computers and Games.

[12]  G. Fairweather,et al.  Numerical Methods for Two – Point Boundary Value Problems , 2008 .

[13]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[14]  Maria Fox,et al.  Plan-based Policies for Efficient Multiple Battery Load Management , 2012, J. Artif. Intell. Res..

[15]  Andrew Coles,et al.  Temporal Planning with Preferences and Time-Dependent Continuous Costs , 2012, ICAPS.

[16]  Stefan Edelkamp,et al.  Algorithm and knowledge engineering for the TSPTW problem , 2013, 2013 IEEE Symposium on Computational Intelligence in Scheduling (CISched).

[17]  Maria Fox,et al.  Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions , 2016, ICAPS.

[18]  Stefan Edelkamp,et al.  Multi‐group motion planning in virtual environments , 2018, Comput. Animat. Virtual Worlds.

[19]  Erion Plaku,et al.  Interactive search for action and motion planning with dynamics , 2016, J. Exp. Theor. Artif. Intell..

[20]  Hadas Kress-Gazit,et al.  Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees , 2016, IEEE Transactions on Robotics.

[21]  Dimos V. Dimarogonas,et al.  Robust motion planning employing signal temporal logic , 2017, 2017 American Control Conference (ACC).

[22]  E. L. Lawler,et al.  Branch-and-Bound Methods: A Survey , 1966, Oper. Res..

[23]  Sven Koenig,et al.  On the Traveling Salesman Problem with Simple Temporal Constraints , 2013, SARA.

[24]  Hadas Kress-Gazit,et al.  Guaranteeing reactive high-level behaviors for robots with complex dynamics , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.