# Lectures Lecturer Schedule
1 Introduction: Modeling, Analysis, and Control of DES St├ęphane Lafortune, University of Michigan Sunday 14:30 - 16:30
2 Petri nets: Modeling and Applications Maria Pia Fanti, University of Bari Sunday 16:30 - 18:30
3 Supervisory Control: Calculating Supervisors, the What and the How Martin Fabian, Chalmers University of Technology Monday 08:30 - 10:30
4 Formal Methods for Provably-Correct Control Design for Cyber-Physical Systems Necmiye Ozay, University of Michigan Monday 10:30 - 12:30
5 State Estimation and Event Inference: Applications to Fault Diagnosis and Opacity Verification Christoforos N. Hadjicostis, University of Cyprus Monday 14:30 - 16:30
6 Analysis and Control of Petri Nets Alessandro Giua, University of Cagliari Monday 16:30 - 18:30
7 Distributed and Timed Observation and Control Problems Stavros Tripakis, University of California Tuesday 08:30 - 10:30
8 DES-based Modeling, Analysis and Control of Complex Resource Allocation Systems Spyros Reveliotis, Georgia Institute of Technology Tuesday 10:30 - 12:30
9 Stochastic DES and Towards Hybrid Systems Christos G. Cassandras, Boston University Tuesday 14:30 - 16:30
10 Applications and concluding remarks Maria Pia Fanti and St├ęphane Lafortune Tuesday 16:30 - 18:30