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.