Fifth Project Meeting

Technische Universität (TU) Berlin
Room H0112, Building C, Straße des 17. Juni 115,
Berlin, Germany
September 1-3, 2010

PROGRAM

Wednesday September 1

16:00-16:30 General remarks (A. Giua)

16:30-18:00 WP2

• UGENT: Particle filtering for timed DES and hybrid systems (R. Boel) [30 min]
• UNICA: Modelling Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets (C. Seatzu) [30 min]
• Discussion [30 min]

Thursday September 2

08:50 – 10:30: Workshop with North-American Researchers (Session A)

• A. Giua, L. Ricker, Introductory remarks [10 mi]
• S. Haar (Ecole Normale Superieure de Cachan, France) Diagnosability in concurrent systems [45 min]
• S. Lafortune (University of Michigan Ann-Arbor, USA) Dynamic sensor activation and diagnosability of discrete event systems [45 min]

10:30 - 11:00 Coffee-Break

11:00 - 12:30 Workshop with North-American Researchers (Session B)

• L. Ricker (Mount Allison University, Canada) Structures for calculating properties of decentralized systems [45 min]
• J. Thistle (University of Waterloo, Canada) Blocking in networks of arbitrary size [45 min]

12:30 - 14:00 Lunch

14:00 - 16:00 Workshop with North-American Researchers (Session C)

• K. Schmidt (Cankaya University, Turkey) Dynamically parametrizable communication protocols for the control of distributed discrete event systems [45 min]
• J. van Schuppen (CWI-Amsterdam, The Netherlands) Control of distributed discrete event systems - Overview of the literature of the DISC Project [45 min]
• Discussion [30 min]

16:00 - 16:30 Coffee-Break

16:30 - 18:30 WP5

• UGENT: Application of IPA for Coordinating road traffic network through Fluid Flow model (H. Sutarto) [30 min]
• AKH: An automotive distributed system modeling with Petri Net: Petrol 2 Gas Engine Conversion (A. Solinas) [30 min]
• TUB/CYB: Control of High-Throughput Screening Systems (T. Brunsch) [30 min]
• Discussion [30 min]

20:00 Dinner

Friday September 3

09:00 - 10:30 WP3

• UNIZAR: On Control of Distributed Continuous Petri nets (M. Silva) [30 min]
• UNIZAR/CWI: Control of fluid Petri nets (R. Vazquez) [30 min]
• CWI: WP3 Discussion and plan (J. van Schuppen) [30 min]

10:30 - 11:00 Coffee beak

11:00 - 12:30 WP4

• AKH: Software platform and demo (L. Contini) [60 min]
• Discussion [30 min]

12:30 - 13:30 Lunch

13:30 - 15:00 DISC General Assembly

Web: http://www.disc-project.eu