Abstract:We investigate the multirobot task planning problem for intricate tasks specified by linear temporal logic (LTL) formulae. While most studies on this topic assume flawless robot performance, it is crucial to recognize that failures can always occur in the real world due to errors or disturbances. Therefore, to enhance the robustness of task planning for multirobot systems (MRSs), one must take the unexpected robot failures into account. In this article, we formulate and solve a new type of failure-aware multirobot task planning problem. Specifically, we aim to find a failure-robust plan that ensures the LTL task can always be accomplished, even if a maximum number of robots fail at any instant during the execution, where a failed robot can no longer contribute to the satisfaction of the LTL task. To achieve this, we extend the mixed-integer linear programming (MILP) approach to the failure-robust setting. To overcome the computational complexity, we identify a fragment of LTL formulae called the free-union-closed LTL, which allows for more scalable synthesis without considering the global combinatorial issue. We provide a systematic method to check this property, as well as several commonly used patterns as instances. We demonstrate the effectiveness of our approach through simulation and real-world experiments, showcasing our failure-robust plans and the efficiency of our simplified algorithm. Our approach offers an optimal and efficient way to achieve robustness in multirobot path planning under unforeseen failure events.

Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks

Optimal Path Planning with Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers

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

DT*: Temporal Logic Path Planning in a Dynamic Environment

Temporal Logic Robot Task Planning with Active Acquisition of Information.

Optimal Multi-agent Collision-Free Path Planning with Temporal Logic Constraints

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications

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

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

Synthesis of output feedback control for motion planning based on LTL specifications

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

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

Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning

Resilient Temporal Logic Planning in the Presence of Robot Failures

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

Physics-based Motion Planning with Temporal Logic Specifications

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

NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots

Autonomous Vehicles Path Planning under Temporal Logic Specifications

Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications.

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints