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.
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.
Exam Duration: 3:00hrs
Coursework contribution: 25%
Closed or Open Book (end of year exam): Closed
Oral Exam Required (as final assessment): N/A
Prerequisite module(s): None required
Course Homepage: unavailable