Prohlížení katedra počítačů dle autora "Chrpa Lukáš"
-
Grafický editor a vizualizace ATB-DCK pro doménově nezávislé automatické plánování
Autor: Martin Hruška; Vedoucí práce: Chrpa Lukáš; Oponent práce: Barták Roman
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-13)V doménově nezávislém automatickém plánování je specifikace plánovací úlohy oddělena od její implementace, kterou poskytují doménově nezávislé plánovače. Tento přístup nabízí vysoký stupeň flexibility, protože plánovače ... -
Kombinace time-triggered a event-triggered rozvrhování
Autor: Marek Jaroš; Vedoucí práce: Vlk Marek; Oponent práce: Chrpa Lukáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-09)Time-triggered (TT) systémy poskytují spolehlivé chování, zatímco event-triggered (ET) systémy poskytují vyšší flexibilitu a efektivněji využívají časovou šířku pásma. Tato práce formuluje framework kombinující ET a TT ... -
Reversibilita nedeterministických akcí
Autor: Jakub Med; Vedoucí práce: Chrpa Lukáš; Oponent práce: Morak Michael
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)Automatické plánování je podobor počítačových věd zabývající se formální specifikací problému, která je následována algoritmickým rozhodnutím, zda-li je některá cílová konfigurace dosažitelná z dané počáteční konfigurace. ... -
Škálovatelné pravděpodobnostní plánování nezávislých úloh pomocí multi-agentní dekompozice
Autor: Starý Jan; Vedoucí práce: Štolba Michal; Oponent práce: Chrpa Lukáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-09)Multi-agentní nedeterministické plánování má obecně problémy se škálovatelností. Tato práce se zabývá řešením řešením škálovatelnosti multi-agentních problémů s oddělenými úlohami. Vybrali jsme skupinu problémů vyznačujících ...