The 1st International SCHOOL on Discrete Event Systems (DES SCHOOL 2018) will be held at Towers Hotel Stabiae Sorrento Coast, Sorrento Coast, Italy, from May 27 to May 29, 2018.
The school is targeted at Ph.D. students (and young researchers) with the opportunity to learn the main concepts as well as the recent results in the field discrete event systems theory and application.
The PhD school will include lectures based on discrete event system modeling (using Petri nets, automata or max-plus algebra), supervisory control including symbolic computation/computational methods in supervisory control, formal methods in control, diagnosis-opacity-privacy-security, discrete event systems approaches to cyber physical systems and Industry 4.0
The course will be organized in nine two-hours lectures and a final discussion and, to meet the didactic objectives, it will require a workload of two ECTS credits .
At the end of the course each participant will receive a simple certificate of attendance.
Participants wishing to obtain ECTS credits must inform the school organizers in the registration phase and pass an exam at the end of the course.
The full program of the school, other information and the registration procedure can be found on the school web site: http://schooldes2018.unisa.it/
The 1st International SCHOOL on Discrete Event Systems is a satellite event of WODES 2018.
Introduction: Modeling, Analysis, and Control of DES - Stéphane Lafortune, University of Michigan
Petri nets: Modeling and Applications - Maria Pia Fanti, University of Bari
Supervisory Control: Calculating Supervisors, the What and the How - Martin Fabian , Chalmers University of Technology
Formal Methods for Provably-Correct Control Design for Cyber-Physical Systems - Necmiye Ozay, University of Michigan
State Estimation and Event Inference: Applications to Fault Diagnosis and Opacity Verification - Christoforos N. Hadjicostis, University of Cyprus
Analysis and Control of Petri Nets - Alessandro Giua, University of Cagliari
Distributed and Timed Observation and Control Problems - Stavros Tripakis , University of California
DES-based Modeling, Analysis and Control of Complex Resource Allocation Systems - Spyros Reveliotis, Georgia Institute of Technology
Stochastic DES and Towards Hybrid Systems - Christos G. Cassandras , Boston University
Registration deadline: March 22, 2018.