EE4-57 Discrete-event Systems
Lecturer(s): Dr David AngeliAims:
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 a supervisory controller.
Design an observer automaton.
Perform input diagnosis.
Simulate a discrete event system.
Assess the performance of the system.
Syllabus:
Finite state Automata: deterministic and non-deterministic.
Timed Automata: stochastic and deterministic.
Markov Chains.
Petri-Nets.
Supervisory Control.
Assessment:
Coursework contribution: 0%
Term: Autumn
Closed or Open Book (end of year exam): Closed
Coursework Requirement
N/A
Oral Exam Required (as final assessment): N/A
Prerequisite: None required
Course Homepage: unavailable
|
|