MAPFsimulator Namespace |
[Missing <summary> documentation for "N:MAPFsimulator"]
Class | Description | |
---|---|---|
![]() | Agent |
Trida popisujici agenta. Kazdy agent ma svuj pocatecni a cilovy vrchol a svuj identifikator.
|
![]() | AgentsLoading |
Trida zobrazujici nove okno s moznosti vyberu poctu agentu pridavanych do grafu.
Instance se vytvari po vyberu souboru s pozicemi agentu (.scen) v hlavnim menu.
|
![]() | AlternativeK_rob |
Konkretni implementace robustnosti pomoci contingency planning - alternativni k-robustnost.
|
![]() | AStar |
Trida s implementaci (rozsireneho) prohledavaciho algortimu A*.
|
![]() | AStarLowLevelNode |
Trida s reprezentaci uzlu, ktery pouzivame v ramci algoritmu A*.
Uzel obsahuje informaci o vrcholu, case, predchudci a hodnote sve funkce g.
|
![]() | AStarForContingencyPlan |
Upravena verze algoritmu, kterou pouzivame pri hledani alternativnich planu.
|
![]() | AStarForModifiedMapf |
Upraveny algoritmus A*, kterym hledame cesty pro modifikovany MAPF problem v ramci strikni alternativnu k-robustnosti.
|
![]() | BenchmarksRuns |
Trida zajistujici provadeni testu.
|
![]() | CBSsolverT |
Implementace algoritmu CBS pro MAPF s ucelovou funkci T.
|
![]() | CBSsolverTCBSNode |
Trida s implementaci uzlu, ktery pouzivame v algoritmu CBS.
Kazdy uzel obsahuje mnozinu podminek, (castecne) reseni, a cenu vypocitanou dle ucelove funkce.
|
![]() | CBSsolverForModifiedMapfT |
Trida s implementaci CBS algoritmu pro modifikovany MAPF problem.
Detekuje vrcholovy konflikt a konflikt vymeny vrcholu.
|
![]() | CBSwithSwappingT |
Trida rozsirujici tridu CBSsolver o detekci konfliktu vymeny vrcholu.
|
![]() | Conflict |
Trida reprezentujici vrcholovy konflikt.
Konflikt je vzdy mezi dvema agenty (agentID1 a agentID2) v urcitem case (time), vrcholu (vertex) s dobou trvani (duration).
|
![]() | Constraint |
Trida reprezentujici podminku, kterou si vynucuji vrcholove (a k-delay) konflikty.
|
![]() | ContigencyExecution |
Exekuce planu, s upravami pro stromove plany.
Oproti klasicke exekuci musime hlidat vypocet abstraktnich pozic nasledniku - v normalnim pripade se jedna vzdy o posun o 1,
zde to muze byt vic (pri presunu z hlavni na alternativni cestu)
|
![]() | ContigencyRobustness |
Trida s implementaci algoritmu na hledani robustnich planu zalozenych na technice contingency planning.
Cast je spolecna pro alternativni k-robustnost a semi k-robustnost.
|
![]() | ContingencyPlan |
Plan s alternativami - trida rozsirujici puvodni sekvenci plan na plan se stromovou strukturou.
Vyuziva ho alternatvni a semi k-robustnost.
|
![]() | DoubleGenerator |
Trida s jedinou instanci generatoru desetinnych cisel.
Pouzivame v exekuci pri rozhodovani, zda nastalo zpozdeni.
|
![]() | DoubleToInt | |
![]() | Execution |
Trida zajistujici provadeni planu.
Simuluje exekuci planu s urcitou pravdepodobnosti zpozdeni a detekuje vrcholove konflikty a konflikty vymeny vrcholu.
|
![]() | Form1 |
Main class designer.
|
![]() | Graph |
Reprezentace grafu, ve kterem se agenti pohybuji.
|
![]() | I_k_CBSsolverT |
Trida rozsirujici CBSsolver o detekci k-delay konfliktu.
Timto algoritmem hledame k-robustni plany.
|
![]() | IntGenerator |
Trida s jedinou instanci generatoru prirozenych cisel.
Pouzivame k nahodnemu vyberu agentu do instanci.
|
![]() | Makespan |
Ucelova funkce makespan - maximum z delek planu jednotlivych agentu.
|
![]() | MapfModel |
Trida sdruzujici data MAPF problemu.
Obsahuje graf, agenty s pocatecnimi a cilovymi vrcholy a reseni (pokud bylo nalezeno).
|
![]() | MapfView |
Trida poskytujici grafickou reprezentaci dat o MAPF problemu.
|
![]() | Min_MaxRobustExecution |
Exekuce planu, s upravami min/max robustnost.
Oproti klasicke exekuci pouzivame notaci poradove cislo vrcholu + cast hrany.
Dale take umoznujeme menit rychlost, se kterou se agenti v grafu pohybuji.
|
![]() | ModifiedMakespan |
Makespan pro modifikovany MAPF problem - cas dokonceni nejpozdejsiho planu.
|
![]() | PicatSolving |
Trida pro hledani reseni MAPF problemu v deklarativnim jazyce Picat.
|
![]() | PicatTimeWindow | |
![]() | Plan |
Datova struktura uchovavajici plan agenta v MAPF problemu.
Plan je List vrcholu (struktura Vertex).
|
![]() | PlanProcessing |
Trida pro pocitani datovych struktur, ktera nas zajimaji pro tvorbe robustnich planu zalozanych na planovani s alternativami.
|
![]() | PlanTable |
Trida s oknem zobrazujici konkretni exekuci planu v ramci okna s benchmarky.
|
![]() | Program | |
![]() | RegularBinaryHeapValue |
Implementace binarni haldy.
Pouziti v algoritmech CBS a A*.
Jedná se o upravenou implementaci haldy z volne dostupneho projektu dostupneho na adrese http://www.ms.mff.cuni.cz/~truno7am/cvikoUI1/Sokoban.zip.
|
![]() | RegularBinaryHeapValueTreeNodeKey, TheValue | |
![]() | Reservation |
Trida spravujici casove intervaly jednotlivych agentu - pouziti pro jednotlive vrcholy grafu.
|
![]() | SemiK_rob |
Konkretni implementace robustnosti pomoci contingency planning - semi k-robustnost.
|
![]() | SetOfColors |
Trida obsahujici mnoziny barev pro agenty.
|
![]() | Settings |
Trida definujici okno, ktere se zobrazi po stisku polozky Soubor -> Nastaveni v Menu programu.
|
![]() | SumOfCosts |
Ucelova funkce SoC - soucet delek planu jednotlivych agentu.
|
![]() | SwapConflict |
Trida reprezentujici konflikt vymeny vrcholu
Tento konflikt je odvozen od vrcholoveho konfliktu (trida Conflict), navic pridavame informaci o predchudci vrcholu vertex.
|
![]() | SwapConstraint |
Trida reprezentujici podminku, kterou si vynucuji konflikty vymeny vrcholu.
|
![]() | TestConstraint |
Omezeni pouzivane pouze v ramci algoritmu A* - umoznuje rychle eliminovat kandidaty na nasledniky vrcholu.
|
![]() | WaitAddingRobustness |
Trida s implementaci algoritmu, ktery zajistuje robustnost pomoci pridani wait akci.
|
Structure | Description | |
---|---|---|
![]() | Condition |
Podminka na vybrani alternativniho planu.
Pouziti: z vrcholu x lze jit do vrcholu s poradovym cislem successor, pokud je zpozdeni v intervalu [min, max].
|
![]() | SafeSpace |
Struktura uchovavajici udaj o delce bezpecneho intervalu agenta v danem case a vrcholu.
|
![]() | Vertex |
Dvojice - pouziti pro souradnice grafu
|
Interface | Description | |
---|---|---|
![]() | CostFunction | |
![]() | IHeapKey, Value |
Interface pro datovou strukturu halda
|
Enumeration | Description | |
---|---|---|
![]() | RobustnessType |
Vycet dostupnych typu robustnich planu.
|
![]() | Solver |
Vycet s dostupnymi resici.
|
![]() | State |
Vycet stavu, kterymi prochazi program (pri reseni MAPF v hlavnim okne aplikace).
|