Abstract:Efficient coordination and planning is essential for large-scale multi-agent systems that collaborate in a shared dynamic environment. Heuristic search methods or learning-based approaches often lack the guarantee on correctness and performance. Moreover, when the collaborative tasks contain both spatial and temporal requirements, e.g., as Linear Temporal Logic (LTL) formulas, formal methods provide a verifiable framework for task planning. However, since the planning complexity grows exponentially with the number of agents and the length of the task formula, existing studies are mostly limited to small artificial cases. To address this issue, a new planning paradigm is proposed in this work for system-wide temporal task formulas that are released online and continually. It avoids two common bottlenecks in the traditional methods, i.e., (i) the direct translation of the complete task formula to the associated Büchi automaton; and (ii) the synchronized product between the Büchi automaton and the transition models of all agents. Instead, an adaptive planning algorithm is proposed that computes the product of relaxed partially-ordered sets (R-posets) on-the-fly, and assigns these subtasks to the agents subject to the ordering constraints. It is shown that the first valid plan can be derived with a polynomial time and memory complexity w.r.t. the system size and the formula length. Our method can take into account task formulas with a length of more than 400 and a fleet with more than $400$ agents, while most existing methods fail at the formula length of 25 within a reasonable duration. The proposed method is validated on large fleets of service robots in both simulation and hardware experiments.

Decentralized Motion Planning for Multiagent Collaboration under Coupled LTL Task Specifications

Distributed Cooperative Motion Planning for Multiple Articulated Robots

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

Multi-Agent Motion Planning From Signal Temporal Logic Specifications

Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications

Distributed motion coordination for multi-robot systems under LTL specifications

Balancing Computation Speed and Quality: A Decentralized Motion Planning Method for Cooperative Lane Changes of Connected and Automated Vehicles.

Distributed Receding Horizon Control for Multi-agent Systems with Conflicting Siganl Temporal Logic Tasks

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

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

Optimal Control-Based Online Motion Planning For Cooperative Lane Changes Of Connected And Automated Vehicles

Multi-agent Coordination Under Temporal Logic Tasks and Team-Wise Intermittent Communication

Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications

Decentralized Velocity-Aware Motion Planning for Multi-agent Coordination

Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances

Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems

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

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

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

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Decentralized Lifelong Path Planning for Multiple Ackerman Car-Like Robots