Reactive Task Allocation and Planning of A Heterogeneous Multi-Robot System

This paper takes the first step towards a reactive, hierarchical multi-robot task allocation and planning framework given a global Linear Temporal Logic specification. In our scenario, legged and wheeled robots collaborate in a heterogeneous team to accomplish a variety of navigation and delivery tasks. However, all robots are susceptible to different types of disturbances including locomotion failures, human interventions, and obstructions from the environment. To address these disturbances, we propose task-level local and global reallocation strategies to efficiently generate updated action-state sequences online while guaranteeing the completion of the original task. In addition, these task reallocation approaches eliminate reconstructing the entire plan or resynthesizing a new task. Lastly, a Behavior Tree execution layer monitors different types of disturbances and employs the reallocation methods to make corresponding recovery strategies. To evaluate this planning framework, dynamic simulations are conducted in a realistic hospital environment with a heterogeneous robot team consisting of quadrupeds and wheeled robots for delivery tasks.

[1]  Stefan Schaal,et al.  The Playful Software Platform: Reactive Programming for Orchestrating Robotic Behavior , 2018, IEEE Robotics & Automation Magazine.

[2]  Enrique Coronado,et al.  Robots Meet Children, Development of Semi-Autonomous Control Systems for Children-Robot Interaction in the Wild , 2019, 2019 IEEE 4th International Conference on Advanced Robotics and Mechatronics (ICARM).

[3]  Dimos V. Dimarogonas,et al.  Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications , 2013, 52nd IEEE Conference on Decision and Control.

[4]  Wolfram Burgard,et al.  The dynamic window approach to collision avoidance , 1997, IEEE Robotics Autom. Mag..

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

[6]  Peter Stone,et al.  An Architecture for Person-Following using Active Target Search , 2018, ArXiv.

[7]  Calin Belta,et al.  Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints , 2013, Int. J. Robotics Res..

[8]  Michael M. Zavlanos,et al.  STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems , 2018, Int. J. Robotics Res..

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

[10]  Austin Jones,et al.  Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams , 2020, ArXiv.

[11]  Tong Heng Lee,et al.  Autonomous task planning and acting for micro aerial vehicles , 2019, 2019 IEEE 15th International Conference on Control and Automation (ICCA).

[12]  Magnus Egerstedt,et al.  Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization , 2020, 2020 IEEE International Conference on Robotics and Automation (ICRA).

[13]  Rahib H. Abiyev,et al.  Robot Soccer Control Using Behaviour Trees and Fuzzy Logic , 2016 .

[14]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[15]  Danica Kragic,et al.  Maximally satisfying LTL action planning , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

[17]  Nicholas Roy,et al.  Reactive Task and Motion Planning under Temporal Logic Specifications , 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA).

[18]  Nikolay Atanasov,et al.  Temporal Logic Guided Locomotion Planning and Control in Cluttered Environments , 2020, 2020 American Control Conference (ACC).

[19]  Jean-Claude Latombe,et al.  A General Framework for Assembly Planning: The Motion Space Approach , 1998, SCG '98.

[20]  Dimos V. Dimarogonas,et al.  Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..

[21]  Petter Ögren,et al.  Towards Blended Reactive Planning and Acting using Behavior Trees , 2016, 2019 International Conference on Robotics and Automation (ICRA).

[22]  Joel W. Burdick,et al.  Backtracking temporal logic synthesis for uncertain environments , 2012, 2012 IEEE International Conference on Robotics and Automation.

[23]  Prases K. Mohanty,et al.  Development of quadruped walking robots: A review , 2020 .

[24]  Petter Ögren,et al.  Behavior Trees in Robotics and AI: An Introduction , 2017, ArXiv.

[25]  Sangbae Kim,et al.  Dynamic Locomotion in the MIT Cheetah 3 Through Convex Model-Predictive Control , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[26]  Ye Zhao,et al.  Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution , 2022, 2022 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

[27]  V DimarogonasDimos,et al.  Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems , 2018 .

[28]  Karl Henrik Johansson,et al.  Revising motion planning under Linear Temporal Logic specifications in partially known workspaces , 2013, 2013 IEEE International Conference on Robotics and Automation.

[29]  Nick Hawes,et al.  Simultaneous Task Allocation and Planning Under Uncertainty , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[30]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[31]  Donghyun Kim,et al.  Highly Dynamic Quadruped Locomotion via Whole-Body Impulse Control and Model Predictive Control , 2019, ArXiv.

[32]  Ye Zhao,et al.  Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments , 2018, Int. J. Robotics Res..

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

[34]  Paulo Tabuada,et al.  Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[35]  Dimos V. Dimarogonas,et al.  Multi-objective search for optimal multi-robot planning with finite LTL specifications and resource constraints , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).

[36]  Hadas Kress-Gazit,et al.  Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems , 2015, ISRR.

[37]  Michael M. Zavlanos,et al.  Temporal Logic Task Allocation in Heterogeneous Multirobot Systems , 2021, IEEE Transactions on Robotics.

[38]  Yushan Chen,et al.  Formal Approach to the Deployment of Distributed Robotic Teams , 2012, IEEE Transactions on Robotics.

[39]  Ye Zhao,et al.  Towards Safe Locomotion Navigation in Partially Observable Environments with Uneven Terrain , 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

[40]  G. Whelan,et al.  Cooperative search and rescue with a team of mobile robots , 1997, 1997 8th International Conference on Advanced Robotics. Proceedings. ICAR'97.

[41]  Dimos V. Dimarogonas,et al.  A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks , 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE).