Enrollment for the course Control of Discrete Event Systems [MW2229] now possible
Discrete event systems are systems find their applications in various contexts and in various scales, from the modeling of a simple queuing system, through communication systems, to large scale distributed manufacturing processes.
The modeling and analysis of discrete event systems requires the understanding of a commonly used set of mathematical formalisms and methods. The mathematical formalisms will be introduced gradually in this course according to their power of expression and their need in the different methods used to model, specify, synthesize and analyze discrete event systems.
These formalisms and methods will also be illustrated using several software tools.
This module is intended to be an introduction course on specification, verificatiThis module is intended to be an introduction course on modeling and specification formalism, as well as synthesis and analysis methods for discrete event systems. The main didactic goal of this lecture is to provide the students with a variety of key formalisms and methods so that interested students should then be able to study the research literature on their own.
Upon successful completion of the course, students will be able to:
- apply discrete mathematics to analyze simple discrete event systems
- explain the behavior of common formalisms used in modeling of discrete event systems, such as finite state automata, formal languages and Petri nets, for their non-timed and timed, basic and extended versions
- express equivalent behaviors using the above mentioned formalisms
- define functional and safety specifications in order to express what a system should do and what should be avoided
- define and analyze different properties of discrete event systems, such as reachability and controllability
- explain important methods used to specify and analyze the behavior of discrete event systems, such as Supervisory Control Theory
- analyze the performance of a system including uncertainties using Markov chains and queuing theory
- use software tools to perform the synthesis of a controller from models of the system and specifications of the desired behavior