| 1 |
Opening |
Francesco Basile , Università di Salerno |
Sunday 14:20 - 14:30 |
| 2 |
Introduction: Modeling, Analysis, and Control of DES |
Stéphane Lafortune, University of Michigan |
Sunday 14:30 - 16:20 |
| 3 |
Coffee_Break - Bar Lounge |
|
Sunday 16:20 - 16:50 |
| 4 |
Petri nets: Modeling and Applications |
Maria Pia Fanti, Politecnico di Bari |
Sunday 16:50 - 18:40 |
| 5 |
Supervisory Control: Calculating Supervisors, the What and the How |
Martin Fabian, Chalmers University of Technology |
Monday 08:30 - 10:20 |
| 6 |
Coffee_Break - Bar Lounge |
|
Monday 10:20 - 10:50 |
| 7 |
Formal Methods for Provably-Correct Control Design for Cyber-Physical Systems |
Necmiye Ozay, University of Michigan |
Monday 10:50 - 12:40 |
| 8 |
Lunch - Ristorante Gouache |
|
Monday 12:40 - 14:30 |
| 9 |
State Estimation and Event Inference: Applications to Fault Diagnosis and Opacity Verification |
Christoforos N. Hadjicostis, University of Cyprus |
Monday 14:30 - 16:20 |
| 10 |
Coffee_Break - Bar Lounge |
|
Monday 16:20 - 16:50 |
| 11 |
Analysis and Control of Petri Nets |
Alessandro Giua, University of Cagliari |
Monday 16:50 - 18:40 |
| 12 |
Social dinner at Saporì Seiano, Vico Equense |
|
Monday 19:45 - 22:00 |
| 13 |
Distributed and Timed Observation and Control Problems |
Stavros Tripakis, Aalto University and University of California |
Tuesday 08:30 - 10:20 |
| 14 |
Coffee_Break - Bar Lounge |
|
Tuesday 10:20 - 10:50 |
| 15 |
DES-based Modeling, Analysis and Control of Complex Resource Allocation Systems |
Spyros Reveliotis, Georgia Institute of Technology |
Tuesday 10:50 - 12:40 |
| 16 |
Lunch - Ristorante Gouache |
|
Tuesday 12:40 - 14:30 |
| 17 |
Stochastic DES and Towards Hybrid Systems |
Christos G. Cassandras, Boston University |
Tuesday 14:30 - 16:20 |
| 18 |
Coffee_Break - Bar Lounge |
|
Tuesday 16:20 - 16:50 |
| 19 |
Applications and concluding remarks |
Maria Pia Fanti and Stéphane Lafortune |
Tuesday 16:50 - 18:40 |