EE Department Intranet - intranet.ee.ic.ac.uk
Close window CTRL+W

ELEC97025 (EE4-57) Discrete-event Systems


Lecturer(s): Dr David Angeli

Aims

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.

Syllabus

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

Term: Spring

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

Coursework Requirement:
         N/A

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

Prerequisite module(s): None required

Course Homepage: unavailable

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