Course detail

Discrete event systems

FEKT-NSDUAcad. year: 2015/2016

Discrete event systems and their typical examples, modelling, Basic modeling concepts. Petri nets, definitions, types, purpose, autonomous PN, colored PN. Sequence systems. Markov chains and processes, queueing systems.

Learning outcomes of the course unit

Student can:
- analyse behaviour of discrete event systems
- design models for simple discrete event systems
- write discrete event systems model in different representations
- compute basic statistics for queing systems
- analyse simple Markov networks

Prerequisites

The subject knowledge on the Bachelor´s degree level is requested.

Co-requisites

Not applicable.

Recommended optional programme components

Not applicable.

Recommended or required reading

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

Planned learning activities and teaching methods

Teaching methods include lectures and computer laboratories. Knowledge is verified using tests at exercises. Students have to write three assignments during the course.

Assesment methods and criteria linked to learning outcomes

Lesson. Max. 30 points.
Examination. Max. 70 points.
Conditions for awarding the course-unit credit:
1. Active participation in exercises
2. Minimum of 10 points awarded for projects

Language of instruction

English

Work placements

Not applicable.

Course curriculum

Descrete event systems and models
Automata, basic concepts
Automata and language relation
Petri nets
Timed systems
Hybrid systems
Stochastic timed systems
Discrete event systems control
Discrete time Markov chains
Continuous time Markov processes
Queuing theory
Markov chains control
Discrete event systems simulation

Aims

This subject presents the field of systems with discrete character from its essence (contrary to discrete control of continuous systems). This is the question of systems of piece production, of bulk service, traffic systems etc. The subject is interested in modeling, control and optimization of behavior of discrete events. It deals in details with the formulation of the tasks of operations scheduling in computer, traffic and especially in production systems. It gives the overview of using the Witness simulation system - one of the top solutions in the field of discrete event system simulation.

Specification of controlled education, way of implementation and compensation for absences

The content and forms of instruction in the evaluated course are specified by a regulation issued by the lecturer responsible for the course and updated for every academic year.

Classification of course in study plans

  • Programme EEKR-MN Master's

    branch MN-KAM , 2. year of study, winter semester, 5 credits, optional specialized

Type of course unit

 

Lecture

26 hours, optionally

Teacher / Lecturer

Computer exercise

26 hours, compulsory

Teacher / Lecturer