•   Home

  •   Team
  •   Project Summary
  •   Meetings
  •   Publications
  •   Deliverables
  •   Software Platform
  •   DISC PhD School
  •   Contact

Third Project Meeting

Edificio Paraninfo
Plaza Basilio Paraiso
Zaragoza, Spain
September 14-15, 2009


PROGRAM

Monday September 14

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

11:30-13:20 WP1 - Hierarchical modelling and abstraction

  • 1.2. P. Spacek and J. Komenda: Modeling of timed DES using synchronous product of max-plus and interval automata and corresponding classes of time(d) Petri nets (CAS)
  • 1.3. M. Zarnay: On the Route from Coloured Petri Nets to Continuous P/T Net Models (ZAR)
  • 1.3. A. Giua: IPA for optimization of fluid Petri nets (CAG)
  • Discussion on the plan for presentation at DISC Review Meeting next October 2009 (10 mins)

13:30 - 15:00 Lunch

15:00 - 16:30 WP2 - Fault detection and state observer algorithms for embedded systems

  • General comments from chair (to be presented by Herman Sutarto or Jan van Schup-pen), including a brief report on cooperation between Stefan Haar and Rene Boel on fault detection for probabilistic DES.
  • 2.2. Cristian Mahulea: Observability and Fault detection for fluid Petri nets (ZAR in cooperation with CAG)
  • 2.2. M. P. Cabasino: Distributed diagnosis of Petri nets (CAG)

16:30 - 17:00 WP4 - Software platform

  • 4.1. A. Solinas: Software Platform Specification (Akhela)

17:00 - 17:30 Coffee beak

17:30 - 18:30 General assembly

21.00 Join Dinner


Tuesday September 15

09:00 - 11:00 WP3 - Coordination control of modular and decentralized systems

  • General comments from chair
  • 3.1. J. Komenda (speaker) and Jan H. van Schuppen: Coordination control of DES (CAS, in cooperation with CWI)
  • 3.1. J. Komenda: Perspective on modular control of timed systems (CAS)
  • 3.3. R. Su: Efficient Nonconflict Check by Using Automaton Abstractions (CWI)
  • 3.0. J.H. van Schuppen (CWI; workpackage leader)
    • SWP3.1 Coordination control - Overview and plan
    • SWP3.2 Modular control - Plan
      • Subprojects at teams - Overview
    • Plan for WP3.1 cooperation
    • Plan for presentation at DISC Review Meeting in October 2009, slides

11:00 - 11:30 Coffee beak

11:30 - 13:45 WP5 - Case studies

  • J. Raisch: General remarks on WP5 (TUB)
  • 5.1. H. Sutarto (UGhent): Fluid flow models for road traffic control
  • 5.1. R. Vázquez (UNIZAR): Modeling traffic systems with hybrid Petri nets (in cooperation with UGhent)
  • 5.2. T. Brunsch (TUB): Max-plus modelling and control of high throughput screen-ing (HTS) systems
  • 5.3. A. Solinas (Akhela): Fault model for automotive with Petri Nets

13:45 - 15:15 Lunch break

15:15 - 16:30 Preparation of first review meeting (I)

16:30 - 17:00 Coffee beak

17:00 - 18:00 Preparation of first review meeting (II)

USEFUL INFORMATION

The meeting will take place in the two days immediately before the 3rd IFAC Conference on Analysis and Design of Hybrid Systems - ADHS'09. Thus, a series of useful information on Venue, Travel and Hotels are availabe in the web site of ADHS'09.


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



Last Update: September 1, 2009