čeština

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í

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

Metody vyučování zahrnují přednášky a cvičení na počítači. V rámci cvičení jsou vypracovávány testy pro ověření znalostí. Student odevzdává tři samostatné úlohy.

Cvičení. projekt/testy na cvičení. Max. 30 bodů.
Písemná 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 projektu na cvičení.

1. Systémy a modely
2. Automaty, základní koncepty
3. Jazyky a jejich vztah k automatu
4. Petriho sítě
5. Časované systémy
6. Hybridní systémy
7. Stochastické časované automaty
8. Řízení systémů diskrétních událostí
9. Markovovy řetězce s diskrétním časem
10. Markovovy procesy se spojitým časem
11. Systémy hromadné obsluhy
12. Řízení Markovovských řetězců a systémů hromadné obsluhy
13.Simulace systémů diskrétních událostí

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í stanoví každoročně aktualizovaná vyhláška garanta předmětu.

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

Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, Springer, 2007 (EN)