EE Department Intranet -
Close window CTRL+W

ELEC97025 (EE4-57) Discrete-event Systems

Lecturer(s): Dr David Angeli


Introduce the basic techniques involved in the modeling, analysis and control of discrete event systems.

Learning Outcomes

Recognize a system which is suitable for modeling in a discrete-event set-up.
Choose the appropriate class of systems and build a discrete-event model.
Analyze the structural properties of the model.
Design algorithms for the qualitative and quantitative analysis of Discrete Event Systems.
Design a supervisory controller.
Design an observer automaton.
Perform input diagnosis.
Simulate a discrete event system.
Assess the performance of the system in a deterministic and stochastic set-up.


Finite state Automata: deterministic and non-deterministic.
Timed Automata: stochastic and deterministic.
Markov Chains.
Supervisory Control.
Exam Duration: 3:00hrs
Coursework contribution: 25%

Term: Spring

Closed or Open Book (end of year exam): Closed

Coursework Requirement:

Oral Exam Required (as final assessment): N/A

Prerequisite module(s): None required

Course Homepage: unavailable

Book List:
1.Introduction to Discrete Event Systems, C.G. Cassandras and S. Lafortune, Springer, 2nd edition.