Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

Discrete Event Systems

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
RM35SDU Z,ZK 6 2P+2L Czech
Lecturer:
Pavel Burget (guarantor)
Tutor:
Pavel Burget (guarantor)
Supervisor:
Department of Control Engineering
Synopsis:

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.

Requirements:
Syllabus of lectures:

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

Syllabus of tutorials:

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.

Study Objective:
Study materials:

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.

Note:
Time-table for winter semester 2018/2019:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
Fri
Thu
roomKN:E-s109
Burget P.
09:15–10:45
(lecture parallel1
parallel nr.102)

Karlovo nám.
Laboratoř ŘS
roomKN:E-24
Burget P.
15:15–17:00
(lecture parallel1)
Karlovo nám.
Laboratoř TŘ1
roomKN:E-s109
Burget P.
13:30–15:15
(lecture parallel1
parallel nr.101)

Karlovo nám.
Laboratoř ŘS
Fri
Time-table for summer semester 2018/2019:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2019-07-21
For updated information see http://bilakniha.cvut.cz/en/predmet4875306.html