Discrete Event Systems: Modeling and Control

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.