Academic Catalog

EE551 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 SCHMDT
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.