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.

Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints

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

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

Multi-Agent Motion Planning From Signal Temporal Logic Specifications

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

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

Time Minimization and Online Synchronization for Multi-Agent Systems under Collaborative Temporal Logic Tasks

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Optimal Multi-Robot Path Planning for Cyclic Tasks using Petri Nets

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

Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks

DT*: Temporal Logic Path Planning in a Dynamic Environment

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

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

Sampling-based path planning under temporal logic constraints with real-time adaptation

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

A coordinated scheduling approach for task assignment and multi-agent path planning

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems

Model-based motion planning in POMDPs with temporal logic specifications