The course will review the main classes of discrete event systems: languages and automata, Petrinets, markovian models, queuing systems. For each of such classes, the representational power, and the principal properties will be presented and discussed. Besides, the main analysis tools will be introduced. Logical (untimed), timed and hybrid models will be considered. Deterministic and stochastic models will be dealt with.The course will include also a brief introduction to supervisory control methods and discrete event simulation techniques.
The lecture notes will be made available to students.
Ricevimento: It is possible to meet the professor, on request, at different times.
RICCARDO MINCIARDI (President)
MICHELE AICARDI
GIORGIO CANNATA
DAVIDE GIGLIO
SIMONA SACONE
DISCRETE EVENT SYSTEMS
Written and oral
The capability of using the most interesting and effective approaches to model and analyze discrete event systems.
