Detail předmětu
Systémy diskrétních událostí
FEKT-LSDUAk. rok: 2017/2018
Systémy diskrétních událostí, typy a příklady, modelování. Modelovací aparát. Petriho sítě, autonomní a barevné Petriho sítě. Sekvenční systémy. Markovovy řetězce a procesy, systémy hromadné obsluhy.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
- analyzovat chování systémů diskrétních událostí
- navrhovat modely pro jednoduché systémy diskrétních událostí
- vyjadřovat modely systémy diskrétnéch událostí pomocí různých reprezentací
- určit základní statistiky systémů hromadné obsluhy
- analyzovat chování jednoduchých Markovovských sítí
Prerekvizity
Plánované vzdělávací činnosti a výukové metody
Způsob a kritéria hodnocení
Kombinovaná zkouška. Max. 70 bodů.
Podmínkou udělení zápočtu je účast na povinné části výuky a získání alespoň 10 bodů z domácích úloh.
Osnovy výuky
Automaty, základní koncepty
Jazyky a jejich vztah k automatu
Petriho sítě
Časované systémy
Hybridní systémy
Stochastické časované automaty
Řízení systémů diskrétních událostí
Markovovy řetězce s diskrétním časem
Markovovy procesy se spojitým časem
Systémy hromadné obsluhy
Řízení Markovovských řetězců a systémů hromadné obsluhy
Simulace systémů diskrétních událostí
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Základní literatura
Zařazení předmětu ve studijních plánech
- Program EEKR-ML1 magisterský navazující
obor ML1-KAM , 2 ročník, zimní semestr, volitelný oborový
- Program EEKR-ML magisterský navazující
obor ML-KAM , 2 ročník, zimní semestr, volitelný oborový
- Program EEKR-CZV celoživotní vzdělávání (není studentem)
obor ET-CZV , 1 ročník, zimní semestr, volitelný oborový
Typ (způsob) výuky
Přednáška
Vyučující / Lektor
Osnova
Automaty, základní koncepty
Jazyky a jejich vztah k automatu
Petriho sítě
Časované systémy
Hybridní systémy
Stochastické časované automaty
Řízení systémů diskrétních událostí
Markovovy řetězce s diskrétním časem
Markovovy procesy se spojitým časem
Systémy hromadné obsluhy
Řízení Markovovských řetězců a systémů hromadné obsluhy
Simulace systémů diskrétních událostí
Cvičení na počítači
Vyučující / Lektor
Osnova
Automaty, základní koncepty
Jazyky a jejich vztah k automatu
Petriho sítě
Časované systémy
Hybridní systémy
Stochastické časované automaty
Řízení systémů diskrétních událostí
Markovovy řetězce s diskrétním časem
Markovovy procesy se spojitým časem
Systémy hromadné obsluhy
Řízení Markovovských řetězců a systémů hromadné obsluhy
Simulace systémů diskrétních událostí