When Agents Break Down in Multiagent Path Finding

2508.03777v1 cs.MA, cs.AI 2025-08-09
Авторы:

Foivos Fioravantes, Dušan Knop, Nikolaos Melissinos, Michal Opler

Резюме на русском

--- title: КОНТЕКСТ И ПРОБЛЕМАТИКА --- ### message # КОНТЕКСТ И ПРОБЛЕМАТИКА Multiagent Path Finding (MAPF) является ключевой областью исследований в современной робототехнике и искусственном интеллекте. Она заключается в построении эффективных, конфликто-свободных траекторий для множества агентов, которые перемещаются в сетевой структуре из начальных точек к целевым. Основной целью является минимизация makespan — времени, необходимого для того, чтобы все агенты достигли своих мест назначения. Однако в реальных сценариях агенты часто сталкиваются с непредвиденными сбоями и задержками, что создает значительные трудности для сохранения оптимальности расписания. При обработке таких сбоев традиционные подходы часто требуют полного пересчета расписания, что может быть вычислительно нецелесообразно или даже невозможно в ситуациях с ограниченными ресурсами. Более того, в сложных системах, где агенты могут иметь ограниченные вычислительные возможности, полная переработка расписания может привести к катастрофическим задержкам. Эти проблемы подчеркивают необходимость разработки методологий, которые позволяют агентам адаптироваться динамически к сбоям без полной перезагрузки системы. В этой работе авторы предлагают новый взгляд на MAPF, включая формальную модель сбоев и задержек агентов. Они фокусируются на разработке протоколов, которые позволяют агентам локально координироваться и адаптировать свои траектории на ходу, не прибегая к полной перезагрузке системы. Такой подход не только сокращает временные затраты, но также обеспечивает устойчивость системы в условиях непредвиденных событий. # ПРЕДЛОЖЕННЫЙ МЕТОД Авторы предлагают фреймворк для динамической адаптации расписаний, основанный на двух основных протоколах. Первый протокол, называемый "первичным коммуникационным протоколом", позволяет агентам локально координироваться и изменять свои траектории в ответ на сбои. Этот протокол гарантирует, что при возникновении $k$ сбоев увеличение makespan будет ограничено $k$ дополнительными ходами, что эффективно снижает влияние сбоев на общую эффективность системы. Второй протокол, названный "вторичным протоколом", разработан для систем, где агенты имеют ограниченные вычислительные ресурсы. В этом протоколе большая часть вычислений смещается на узлы сети, что позволяет сохранить эффективность и робастность системы без необходимости увеличения вычислительной мощности агентов. Этот подход обеспечивает баланс между вычислительной эффективностью и робастностью, что делает его применимым в реальных системах с ограниченными ресурсами. # ЭКСПЕРИМЕНТАЛЬНЫЕ РЕЗУЛЬТАТЫ Авторы провели серию экспериментов для оценки эффективности предложенных протоколов. Используя различные наборы данных, они моделировали сценарии с разной частотой и характером сбоев агентов. Результаты показали, что первичный протокол эффективно ограничивает увеличение makespace при сбоях, согласно теоретическим прогнозам. Вторичный протокол также демонстрирует высокую эффективность, особенно в системах с низким вычислительным потенциалом агентов. Кроме того, эксперименты подтвердили масштабируемость предложенного подхода. Даже в ситуациях с большим количеством агентов и сложной топологией сети, протоколы показали стабильное поведение и эффективность в управлении сбоями. # ПРАКТИЧЕСКАЯ ЗНАЧИМОСТЬ Предложенные методы имеют широкое применение в областях, требующих эффективного управления множеством агентов, таких как логистика, роботизированные системы хранения, авиационный трафик и самостоятельные транспортные системы. Особенностью данного подхода является его способность обеспечить устойчивость и эффективность в реальном времени, что критически важно для приложений в динамических и непредсказуемых средах. # ВЫВОДЫ И ПЕРСПЕКТИВЫ В работе представлен фреймворк для решения проблем сбоев в MAPF, который обеспечивает эффективную и робастную адаптацию расписаний. Будущие исследования могут фокусироваться на расширении этих методов для более сложных сценариев, включая динамически изменяющиеся среды и системы с нелинейными зависимостями между агентами. Также предлагается исследовать возможности интеграции машинного обучения для дальнейшего улучшения адаптивности системы.

Abstract

In Multiagent Path Finding (MAPF), the goal is to compute efficient, collision-free paths for multiple agents navigating a network from their sources to targets, minimizing the schedule's makespan-the total time until all agents reach their destinations. We introduce a new variant that formally models scenarios where some agents may experience delays due to malfunctions, posing significant challenges for maintaining optimal schedules. Recomputing an entirely new schedule from scratch after each malfunction is often computationally infeasible. To address this, we propose a framework for dynamic schedule adaptation that does not rely on full replanning. Instead, we develop protocols enabling agents to locally coordinate and adjust their paths on the fly. We prove that following our primary communication protocol, the increase in makespan after k malfunctions is bounded by k additional turns, effectively limiting the impact of malfunctions on overall efficiency. Moreover, recognizing that agents may have limited computational capabilities, we also present a secondary protocol that shifts the necessary computations onto the network's nodes, ensuring robustness without requiring enhanced agent processing power. Our results demonstrate that these protocols provide a practical, scalable approach to resilient multiagent navigation in the face of agent failures.

Ссылки и действия