Abstract:The International Journal of Robotics Research, Ahead of Print. Existing methods for the task allocation and planning (TAP) of multi-robot systems with temporal logic specifications mainly rely on optimization-based approaches or graph search techniques applied to the product automaton. However, these methods suffer from high computational cost and scale poorly with the number of robots and the complexity of temporal logic tasks, thus limiting the applicability in real-time implementation, especially for large multi-robot systems. To address these challenges, this work develops a novel TAP framework that can solve reactive temporal logic planning problems for large-scale heterogeneous multi-robot systems (HMRS) in real time. Specifically, we develop a planning decision tree (PDT) to represent the task progression and task allocation specialized for HMRS with temporal logic specifications. Based on the PDT, we develop two key search algorithms—the planning decision tree search (PDTS) and the interactive planning decision tree search (IPDTS)—where PDTS generates an offline plan which will be modified online by PDTS and IPDTS jointly to enable fast reactive planning if environmental changes or temporary tasks occur. Such a design can generate satisfying plan for HMRS with multiple orders of magnitude more robots than those that existing methods can manipulate. Rigorous analysis shows that the PDT-based planning is feasible (i.e., the generated plan is applicable) and complete (i.e., a feasible plan, if exits, is guaranteed to be found). The algorithm complexity further indicates that the solution time is only linearly proportional to the robot numbers and types. Simulation and experiment results demonstrate that reactive plan can be generated for large HMRS in real-time, which outperforms the state-of-the-art methods.

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications

Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications

Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications

Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications

Automated Formation Control Synthesis from Temporal Logic Specifications

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Distributed motion coordination for multi-robot systems under LTL specifications

Temporal Logic Task Planning for Autonomous Systems with Active Acquisition of Information

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps

Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications

Multi-agent System Motion Planning under Temporal Logic Specifications and Control Barrier Function

Synthesis of Failure-Robust Plans for Multi-Robot Systems under Temporal Logic Specifications

Temporal Logic Task and Motion Planning of a Smart Robot-Towards a Smart Substation Environment.

Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products

Distributed Model Predictive Control for Multi‐robot Systems with Conflicting Signal Temporal Logic Tasks

Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

Robust Temporal Logic Task Planning for Multirobot Systems under Permanent Robot Failures