Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization

In this paper, we propose a graph-based search method to optimally allocate tasks to a team of robots given a global task specification. In particular, we define these agents as discrete transition systems. In order to allocate tasks to the team of robots, we decompose finite linear temporal logic (LTL) specifications and consider agent specific cost functions. We propose to use the stochastic optimization technique, cross entropy, to optimize over this cost function. The multi-agent task allocation cross-entropy (MTAC-E) algorithm is developed to determine both when it is optimal to switch to a new agent to complete a task and minimize the costs associated with individual agent trajectories. The proposed algorithm is verified in simulation and experimental results are included.

[1]  Christopher M. Bishop,et al.  Pattern Recognition and Machine Learning (Information Science and Statistics) , 2006 .

[2]  Hadas Kress-Gazit,et al.  Verifiable Control of Robotic Swarm from High-level Specifications , 2018, AAMAS.

[3]  Vijay Kumar,et al.  Minimum snap trajectory generation and control for quadrotors , 2011, 2011 IEEE International Conference on Robotics and Automation.

[4]  Marco Montali,et al.  Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness , 2014, AAAI.

[5]  Katia P. Sycara,et al.  Distributed algorithm design for multi-robot task assignment with deadlines for tasks , 2013, 2013 IEEE International Conference on Robotics and Automation.

[6]  Martin Leucker,et al.  Runtime Verification for LTL and TLTL , 2011, TSEM.

[7]  Marin Kobilarov,et al.  Cross-entropy motion planning , 2012, Int. J. Robotics Res..

[8]  Calin Belta,et al.  Optimal path planning for surveillance with temporal-logic constraints* , 2011, Int. J. Robotics Res..

[9]  Giuseppe De Giacomo,et al.  Linear Temporal Logic and Linear Dynamic Logic on Finite Traces , 2013, IJCAI.

[10]  Patrik Haslum,et al.  Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners , 2009, Artif. Intell..

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

[12]  K.J. Kyriakopoulos,et al.  Automated Planning of Motion Tasks for Multi-Robot Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[13]  Dimos V. Dimarogonas,et al.  Multi-agent planning under local LTL specifications and event-based synchronization , 2016, Autom..

[14]  K.J. Kyriakopoulos,et al.  Automatic synthesis of multi-agent motion tasks based on LTL specifications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[15]  Dimos V. Dimarogonas,et al.  Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning , 2016, DARS.

[16]  Anthony Stentz,et al.  A comprehensive taxonomy for multi-robot task allocation , 2013, Int. J. Robotics Res..

[17]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[18]  Katia P. Sycara,et al.  Human Interaction With Robot Swarms: A Survey , 2016, IEEE Transactions on Human-Machine Systems.

[19]  Li Wang,et al.  Safe Learning of Quadrotor Dynamics Using Barrier Certificates , 2017, 2018 IEEE International Conference on Robotics and Automation (ICRA).

[20]  Dimos V. Dimarogonas,et al.  Improving Multi-Robot Behavior Using Learning-Based Receding Horizon Task Allocation , 2018, Robotics: Science and Systems.

[21]  Ahmed M. Elmogy,et al.  Multi-robot Task Allocation: A Review of the State-of-the-Art , 2015, Advances in Social Media Analysis.

[22]  M. Egerstedt,et al.  Motion probes for fault detection and recovery in networked control systems , 2008, 2008 American Control Conference.