Evolutionary Mission Planning

The problem of mission planning enables a robot to solve for complex missions and thereafter execute the missions. The problem is seen as an advancement of the classical problem of motion planning wherein the task is to find a trajectory for a robot to go from a configuration A to a configuration B avoiding obstacles. The popular mechanism to solve the problem is using Temporal Logic specifications to specify a mission, and to thereafter use search strategies to solve the mission. The same requires an exponential complexity in terms of propositional variables to search and verify the mission plan. Further, optimality is usually not a criterion in finding a solution, and the transition costs are usually ignored leading to sub-optimal mission plans. As missions get more complex using a large number of propositional variables for specification, it may no longer be possible to use exponential complexity algorithms. The paper proposes the use of Evolutionary Computation to solve the same problem. We first develop a new restricted language for mission design. Even though the language is restrictive, it can specify a large number of missions of real life service robotics. Then we design an evolutionary computation framework to solve the mission. Probabilistic Roadmap technique is used to get the transition system and transition costs between regions of interest. The mission planner takes the mission specification and these transition costs to compute a mission plan. The mission plan is executed using a reactive navigator that can avoid any dynamic obstacle, other people and robots.

[1]  Rahul Kala,et al.  Sampling based mission planning for multiple robots , 2016, 2016 IEEE Congress on Evolutionary Computation (CEC).

[2]  Anupam Shukla,et al.  Intelligent Planning for Mobile Robotics: Algorithmic Approaches , 2012 .

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

[4]  Calin Belta,et al.  Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees , 2012, IEEE Transactions on Robotics.

[5]  Rahul Kala,et al.  Homotopic Roadmap Generation for Robot Motion Planning , 2016, J. Intell. Robotic Syst..

[6]  Rahul Kala,et al.  Multi-robot path planning using co-evolutionary genetic programming , 2012, Expert Syst. Appl..

[7]  Rahul Kala,et al.  Coordination in Navigation of Multiple Mobile Robots , 2014, Cybern. Syst..

[8]  Rahul Kala Homotopy conscious roadmap construction by fast sampling of narrow corridors , 2016, Applied Intelligence.

[9]  Lydia E. Kavraki,et al.  Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.

[10]  Christel Baier,et al.  Principles of model checking , 2008 .

[11]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[12]  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.

[13]  Zbigniew Michalewicz,et al.  Adaptive evolutionary planner/navigator for mobile robots , 1997, IEEE Trans. Evol. Comput..

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

[15]  Phillip N. Azariadis,et al.  Mission design for a group of autonomous guided vehicles , 2011, Robotics Auton. Syst..

[16]  Lydia E. Kavraki,et al.  Motion planning with hybrid dynamics and temporal goals , 2010, 49th IEEE Conference on Decision and Control (CDC).

[17]  Ivana Cerná,et al.  Attraction-based receding horizon path planning with temporal logic constraints , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).