DISC School Program
Here the pdf file containing the whole program.
Here the abstracts of all lectures and the pdf files of the presentations.
Monday June 6
9.00–9.30 Introduction
9.30–10.15 Modeling by automata – 1, Joerg Raish
10.30–11.15 Modeling by automata – 2, Joerg Raish
11.15–11.45 Coffee Break
11.45–13.00 Introduction to Petri nets, Manuel Silva and Jose Manuel Colom
13.00–15.00 Lunch
15.00–15.45 Languages, Decidability and Complexity I, Stefan Haar
16.00–16.45 Languages, Decidability and Complexity II, Stefan Haar
17.00–18.30 Presentations by participants
Tuesday June 7
9.00–9.45 Reachability and languages in Petri nets, Alessandro Giua
10.00–10.45 Supervisory control with complete observation, Jan H. van Schuppen
10.45–11.15 Coffee Break
11.15–12.00 Supervisory control with partial observation, Jan Komenda
12.15–13.00 Supervisory control with Petri nets, Alessandro Giua
13.00–15.00 Lunch
15.00–15.45 Observability of Petri nets, Carla Seatzu
16.00–18.00 Tool Session – 1
Wednesday June 8
9.00–9.45 Observers and diagnosis of monolithic systems using automata, Eric Fabre
10.00–10.45 Observers and diagnosis of distributed systems using automata, Eric Fabre
10.45–11.15 Coffee Break
11.15–12.00 DES in a Dioid Framework -- Modelling and Analysis, Joerg Raisch
12.15–13.00 DES in a Dioid Framework -- Control, Olivier Boutin
13.00–14.00 Lunch
14.00–14.45 Fluid Petri nets, Manuel Silva
15.00–16.00 Presentations by participants
16.00–22.30 Socio-cultural activity and social dinner
Thursday June 9
9.00–9.45 Observability and observers of fluid Petri nets, Cristian Mahulea
10.00–10.45 Time and timed Petri nets, Serge Haddad
10.45–11.15 Coffee Break
11.15–12.00 Diagnosis of Petri nets, Rene Boel
12.15–13.00 Distributed and coordination control on automata, Jan Komenda and Jan van Schuppen
13.00–15.00 Lunch
15.00–15.45 Control of distributed systems with communications, Laurie Ricker
16.00–18.00 Tool Session – 2
Friday June 10
9.00–9.45 Relationships between timed automata and timed Petri nets, Serge Haddad
10.00–10.45 Case study 1: Diagnosis of automotive systems, Maria Paola Cabasino
10.45–11.15 Coffee Break
11.15–12.00 Controllability and control of fluid Petri nets, Jorge Julvez
12.15–13.00 Case study 2: hybrid automata for traffic modeling, Rene Boel
13.00–15.00 Lunch
15.00–16.30 Tool Session – 3
16.45–18.30 Presentations by participants