Detail předmětu

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

FEKT-MPC-SDUAk. rok: 2022/2023

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ů

6

Garant předmětu

prof. Ing. Pavel Václavek, Ph.D.

Zajišťuje ústav

Ústav automatizace a měřicí techniky (UAMT)

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 BPC-MOD.

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

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.

Způsob a kritéria hodnocení

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

Osnovy výuky

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í

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)

Doporučená literatura

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

Zařazení předmětu ve studijních plánech

  • Program MPC-KAM magisterský navazující, 2. ročník, zimní semestr, povinně volitelný

Typ (způsob) výuky

 

Přednáška

26 hod., nepovinná

Vyučující / Lektor

prof. Ing. Pavel Václavek, Ph.D.

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

Ing. Adam Chromý, Ph.D.

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í