Table of Contents
Fetching ...

Conflict Mitigation in Shared Environments using Flow-Aware Multi-Agent Path Finding

Lukas Heuer, Yufei Zhu, Luigi Palmieri, Andrey Rudenko, Anna Mannucci, Sven Koenig, Martin Magnusson

Abstract

Deploying multi-robot systems in environments shared with dynamic and uncontrollable agents presents significant challenges, especially for large robot fleets. In such environments, individual robot operations can be delayed due to unforeseen conflicts with uncontrollable agents. While existing research primarily focuses on preserving the completeness of Multi-Agent Path Finding (MAPF) solutions considering delays, there is limited emphasis on utilizing additional environmental information to enhance solution quality in the presence of other dynamic agents. To this end, we propose Flow-Aware Multi-Agent Path Finding (FA-MAPF), a novel framework that integrates learned motion patterns of uncontrollable agents into centralized MAPF algorithms. Our evaluation, conducted on a diverse set of benchmark maps with simulated uncontrollable agents and on a real-world map with recorded human trajectories, demonstrates the effectiveness of FA-MAPF compared to state-of-the-art baselines. The experimental results show that FA-MAPF can consistently reduce conflicts with uncontrollable agents, up to 55%, without compromising task efficiency.

Conflict Mitigation in Shared Environments using Flow-Aware Multi-Agent Path Finding

Abstract

Deploying multi-robot systems in environments shared with dynamic and uncontrollable agents presents significant challenges, especially for large robot fleets. In such environments, individual robot operations can be delayed due to unforeseen conflicts with uncontrollable agents. While existing research primarily focuses on preserving the completeness of Multi-Agent Path Finding (MAPF) solutions considering delays, there is limited emphasis on utilizing additional environmental information to enhance solution quality in the presence of other dynamic agents. To this end, we propose Flow-Aware Multi-Agent Path Finding (FA-MAPF), a novel framework that integrates learned motion patterns of uncontrollable agents into centralized MAPF algorithms. Our evaluation, conducted on a diverse set of benchmark maps with simulated uncontrollable agents and on a real-world map with recorded human trajectories, demonstrates the effectiveness of FA-MAPF compared to state-of-the-art baselines. The experimental results show that FA-MAPF can consistently reduce conflicts with uncontrollable agents, up to 55%, without compromising task efficiency.
Paper Structure (22 sections, 1 theorem, 10 equations, 9 figures, 1 table)

This paper contains 22 sections, 1 theorem, 10 equations, 9 figures, 1 table.

Key Result

Lemma 1

If $g_f$ is positive finite in the entire search space such that $\max_{a\in A, v \in V}(g_f(a, M(v))) \leq \omega_2~g_s$, then the cost of a $\omega_1$-bounded suboptimal path $\psi$, $\sum_{\psi}g_s + \sum_{\psi}g_f$, has the upper bound $(\omega_1 + \omega_1~\omega_2)\sum_{\psi^*}g_s$ with $\omeg

Figures (9)

  • Figure 1: The cost for an edge transition for every location in the den312d-map, for each move action respectively. It is computed using the MoD in Figure \ref{['fig:mod_areas']} and shows how FA-MAPF translates motion patterns into a semantic cost-landscape for the MAPF algorithm.
  • Figure 2: Left: A visualization of an SWGMM, obtained from an MoD, that represents the likelihood of UA movement for a specific location in a map. The colored arrows represent the set of possible actions of a MAPF agent. Right: Flow cost calculated using Eq. \ref{['eq:malahanobis_distance']} representing the distance from an action to the SWGMM.
  • Figure 3: Left: It shows the areas from which the start and goal points are sampled for directed UA movement. The numbers indicate the corresponding areas. Right: The corresponding CLiFF-map of dynamics, with the arrows representing the means of the SWGMM mixture components, and color indicates their direction in radians.
  • Figure 4: Result of one-shot EECBS on the different benchmark maps (see Table \ref{['table:maptable']} for the map names), for different UA movement types (as described in Section \ref{['sec:evaluation']}). x-axis is the number of MAPF agents. y-axis shows either the percentage (top) of instances solved (out of 25) or the average runtime (bottom). The runtime cutoff is 5 seconds.
  • Figure 5: Results of running RHCR on the den312d-map. x-axis is the number of MAPF agents, y-axis the respective metric value. UA movement type is directed.
  • ...and 4 more figures

Theorems & Definitions (3)

  • Remark
  • Lemma 1
  • proof