JAROLÍM, A. Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Studentovi se nakonec podařilo úspěšně proniknout do obtížné problematiky POMDP syntézy kontrolérů pro pro steady-state vlastnosti. Zásadní body zadání byly splněny. Realizační část je poměrně slabá, jelikož studentovi nezbyl čas na implementaci navržených metod, které k syntéze využívají protipříklady. Na druhou stranu oceňuji poměrně široké experimentální vyhodnocení, kde student přišel se svými modely – ačkoliv jsou modely poměrně malé a neumožnují dostatečné vyhodnocení škálovatelnosti, dobře demonstrují danou problematiku. Celkově práci hodnotím jako mírně nadprůměrnou a doporučuji hodnotit známkou C.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Jedná se o průměrně obtížné zadání, které vyžaduje pochopení pokročilých technik pro řešení Markovských rozhodovacích procesů s částečným pozorováním. Zadání umožnuje poměrně široké možnosti realizace, ale student se zaměřil pouze na základní body zadání. V tomto kontextu mohu konstatovat, že student splnil zadání. S dosaženými výsledky jsem spokojen pouze částečně. Student implementoval rozšíření nástroje PAYNT, které umožnuje syntetizovat kontroléry, které splňují tzv. steady-state vlastnosti. | ||
| Práce s literaturou | Práci s literaturou považuji za průměrnou. Student dobře využil doporučenou literaturu, ale neprovedl rozsáhlejší rešerši souvisejících publikací. | ||
| Aktivita během řešení, konzultace, komunikace | V průběhu prvního semestru byl student méně aktivní. V druhém semestru byl již student aktivnější, dodržoval dohodnuté termíny a průběžně prezentoval získané znalosti a dosažené výsledky. | ||
| Aktivita při dokončování | Textová část byla dokončována na poslední chvíli, tudíž jsem neměl prostor dostatečně korigovat kvalitu některých částí. Několik konzultací ale proběhlo a student zapracoval alespoň ty nejdůležitější připomínky. | ||
| Publikační činnost, ocenění | Dosažené výsledky zatím nejsou dostatečné k přípravě publikace. Implementované rozšíření nástroje PAYNT je poměrně malé, ale má potenciál být dále rozvíjeno v rámci syntézy kontrolérů pro steady-state vlastnosti. |
Práce je dle mého názoru velmi kvalitní. Jedná se o náročné téma a dle kvality textu věřím, že do něj student opravdu pronikl. Dále bych rád vyzvihnul velké množství příkladů, které student připravil, aby na nich danou problematiku demonstroval. Škoda poměrně malého rozsahu implementační části, která mi zabraňuje dát lepší hodnocení.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Zadání patří dle mého názoru k obtížnějším, vyžadující pochopení netriviální teorie a pokročilé znalosti v několika oblastech informatiky a matematiky. | ||
| Rozsah splnění požadavků zadání | V průběhu práce se ukázalo, že nástroj už danou funkcionalitu podporuje, proto se student nakonec zaobíral odlišnými úkoly. Drobná výtka je zaměřena na poměrně malý rozsah implementační části. | ||
| Rozsah technické zprávy | Práce je v obvyklém rozsahu, řadí se spíše k delším. Obsahuje vše důležité. | ||
| Prezentační úroveň technické zprávy | 90 | Text je dobře strukturovaný, jednotlivé kapitoly na sebe plynule navazují. V práci se dobře orientuje. Drobná výtka: Na některých místech mi přišlo, že by přišlo vhod více nadpisů oddělující logické bloky od sebe. | |
| Formální úprava technické zprávy | 95 | Text je na velmi dobré jazykové úrovni. Student využívá pestrou škálu spojovacích a odborných výrazů. Narazil jsem na pár drobných chyb, ale vzhledem k celkové délce a kvalitě textu jsou to maličkosti. | |
| Práce s literaturou | 90 | Student využívá vhodné studijný prameny a cituje je v souladu s citačními zvyklostmi a normami. | |
| Realizační výstup | 65 | Bohužel realizační výstup nebyl příliš velkého rozsahu, což je škoda, protože zbytek práce je dle mého názoru velmi kvalitní. | |
| Využitelnost výsledků | Student v práci navrhuje nové postupy, jak řešit problémy v oblasti syntézy kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu. Bohužel tyto nové myšlenky nebyly v plném rozsahu implementovány a otestovány. |
eVSKP id 148615