Course detail

Discrete event systems

FEKT-MSDUAcad. year: 2012/2013

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.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Guarantor

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

Department

Department of Control and Instrumentation (UAMT)

Learning outcomes of the course unit

To be able made design and solving discrete event systems.

Prerequisites

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

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Teaching methods depend on the type of course unit as specified in the article 7 of BUT Rules for Studies and Examinations.

Assesment methods and criteria linked to learning outcomes

Lesson. Max. 30 points.
Examination. Max. 70 points.

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

Work placements

Not applicable.

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.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

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

Recommended reading

Not applicable.

Classification of course in study plans

  • Programme EEKR-M Master's

    branch M-KAM , 2 year of study, winter semester, elective specialised

  • Programme EEKR-M Master's

    branch M-KAM , 2 year of study, winter semester, elective specialised

  • Programme EEKR-CZV lifelong learning

    branch EE-FLE , 1 year of study, winter semester, elective specialised

Type of course unit

 

Lecture

26 hod., optionally

Teacher / Lecturer

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

Syllabus

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

Exercise in computer lab

26 hod., compulsory

Teacher / Lecturer

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

Syllabus

Discrete event systems examples, random variables generation
Introduction to Witness simulation system
Production systems modelling
Transport systems modelling
Discrete event system optimization
Data visualistion in Witness
Work on the project
Petri nets applications
Petri nets and GRAFCET
Markov chains
Markov processes
Queueing systems, statistics evaluation
Simulation of queueing systems in Witness