Fakulta elektrotechnická

České vysoké učení technické v Praze

ČVUT v Praze

Popis předmětu - BE3M35SDU

Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
BE3M35SDU Discrete Event Systems Rozsah výuky:2P+2L
Garanti:Burget P. Role:PO,PV Zakončení:Z,ZK
Vyučující:Burget P.
Zodpovědná katedra:13135 Kreditů:6 Semestr:Z

Anotace:

Discrete event systems (DES) will be defined formally regarding their description and modelling. Students will learn to understand and use several ways of DES modelling and verification. The acquired knowledge will be evaluated at real (in most cases) industrial applications.

Osnovy přednášek:

1. Discrete event systems (DES), their models and basic qualities.
2. Parallel composition of automata, state observer.
3. Supervisory control of DES.
4. Design and realisation of supervisory control.
5. Controllability, observability, state blocking.
6. Petri nets as another way how to describe DES.
7. Timed and stochastic automata and Petri nets.
8. (max,plus) algebra.
9. Communication systems described as DES.
10. Modelling and analysis of communication systems properties.
11. Manufacturing systems as DES.
12. Modelling and analysis of manufacturing systems properties.
13. Verification of DES properties.
14. Hybrid systems

Osnovy cvičení:

The exercise will be focused on practical aspects of DES modelling. A modelling environment will be available that allows checking and verifying DES properties. In a series of smaller tasks students will practice basic principles of DES design, ways how time and stochastic variables are introduced. In the other part of the course students will be assigned a more complex problem (such as a communication protocol, a robotic production line etc.) that will be modeled in a given way such as state machine, Petri net, (max,plus) algebra. Such a model will be verified to check if the given property rules are fulfilled.

Literatura:

Cassandras, Ch., Lafortune, S. Introduction to Discrete Event Systems, 2nd edition. 2008. Hrúz, B., Zhou, M. Ch. Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools. 2007.

Požadavky:

Předmět je zahrnut do těchto studijních plánů:

Plán Obor Role Dop. semestr
MEKYR5_2016 Kybernetika a robotika PV 1
MEKYR3_2016 Systémy a řízení PO 1
MEKYR2_2016 Senzory a přístrojová technika PV 3
MEKYR1_2016 Robotika PV 3
MEKYR4_2016 Letecké a kosmické systémy PV 3


Stránka vytvořena 20.11.2017 17:47:25, semestry: L/2016-7, Z,L/2017-8, Z/2018-9, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)
Za obsah odpovídá: doc. Ing. Ivan Jelínek, CSc.