Hledání robustních cest pro více agentů
Robust multi-agent path finding
rigorózní práce (UZNÁNO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/196040Identifikátory
SIS: 278143
Kolekce
- Kvalifikační práce [11240]
Autor
Vedoucí práce
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Informatika - Umělá inteligence
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
10. 12. 2024
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Uznáno
Klíčová slova (česky)
MAPF, robustnost, plánování s alternativami, změna rychlostiKlíčová slova (anglicky)
MAPF, robustness, contingency planning, speed changePráce se věnuje hledání robustních nekonfliktních cest v multi-agent path finding (MAPF). Představíme zde několik nových technik pro konstrukci těchto cest a popíšeme jejich vlastnosti. Budeme se zabývat použitím techniky plánování s alternativami, na základě níž vytvoříme pro agenty stromový plán, přičemž konkrétní průchod si agenti zvolí na základě aktuálního zpoždění během cesty. Dále představíme algoritmus zvyšující robustnost při zachování původní délky řešení a zkombinujeme ho s předchozím přístupem. Věnovat se budeme také metodě zvyšující robustnost pomocí změn rychlosti agentů. Následně experimentálně ověříme použitelnost všech technik na různých typech grafů. Ukážeme, že navržené metody jsou výrazně robustnější než klasické řešení a jisté výhody mají i oproti doposud známým konstrukcím robustních plánů.
The thesis is devoted to finding robust non-conflict paths in multi-agent path finding (MAPF). We propose several new techniques for the construction of these types of paths and describe their properties. We deal with the use of contingency planning and we create a tree plan for the agents where the specific path is chosen by the agents during the execution based on the current delay. Next we present an algorithm that increases robustness while maintaining the original length of the solution and we combine it with the previous approach. Then we will focus on the method of increasing robustness by changing the speed of agents. Finally we experimentally verify the applicability of these techniques on different types of graphs. We will show that all the proposed methods are significantly more robust than the classic solution and they also have certain advantages over previously known constructions of robust plans.