Academic Catalog

EE7551 DISCRETE EVENT SYSTEMS: MODELING AND CONTROL

Course Code:	5677551
METU Credit (Theoretical-Laboratory hours/week):	3(3-0)
ECTS Credit:	8.0
Department:	Electrical And Electronics Engineering
Language of Instruction:	English
Level of Study:	Graduate
Course Coordinator:	Prof.Dr. KLAUS VERNER SCHMÝDT
Offered Semester:	Fall Semesters.

Course Content

Introduction to discrete event systems, modeling, regular languages, finite state automata, state minimization , supervisory control loop, controllability, nonblocking, maximally permissive supervision, state attraction, optimal attraction, modular control, locally modular control, nonconflict, abstraction-based nonblocking verification, abstractiob-based supervisory control, natural observer, local control consistency, failure diagnosis, diagnosis automaton, diagnosability verification, analysis algorithms, synthesis algorithms.