Detail předmětu

Systémy diskrétních událostí

FEKT-LSDUAk. rok: 2019/2020

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

čeština

Počet kreditů

5

Výsledky učení předmětu

Absolvent předmětu je schopen:
- 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

Jsou požadovány znalosti na úrovni bakalářského studia. Základní znalosti modelování systémů na úrovni kurzu BMOD.

Plánované vzdělávací činnosti a výukové metody

Metody vyučování zahrnují tutoriály a cvičení na počítači. Student odevzdává sedm samostatných úloh.

Způsob a kritéria hodnocení

Domácí úlohy 30 bodů
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

Systémy a modely
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

Předmět prezentuje problematiku systémů, které mají ze své podstaty diskrétní charakter (na rozdíl od diskrétního řízení systémů spojitých). Jedná se o systémy kusové výroby, hromadné obsluhy, dopravní systémy apod. Předmět se zabývá modelováním, řízením a optimalizací chování systémů diskrétních událostí. V náplni předmětu je i získání dovedností v práci se simulačním systémem Witness, který je špičkou v oblasti diskrétních simulačních prostředků.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Vymezení kontrolované výuky a způsob jejího provádění stanoví každoročně aktualizovaná vyhláška garanta předmětu.

Základní literatura

Václavek, P.: Systémy diskrétních událostí, příklady. ET VUT FEKT, Brno, 2008. (CS)

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-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

26 hod., nepovinná

Vyučující / Lektor

Osnova

Systémy a modely
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

26 hod., povinná

Vyučující / Lektor

Osnova

Systémy a modely
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í