Day 1Programme_Day_1.html
Day 2Programme_Day_2.html

8:00

  Registration - Foyer Abbrescia

9:15

  Plenary 3: Chair: J.M. Faure -> Room Abbrescia


                “Model Based Safety Analysis”


                
  Wolfgang Reif    (info)



10:15

 
Coffee break - Gallery


10:45

  FM1 -> Room Abbrescia FM2 -> Room Japigia


10:50 - [7] - Synthesis of Restart States for Manufacturing Cell Controllers. Kristin Andersson, Bengt Lennartson, Martin Fabian


11:15 - [75] - Reconfiguration of a Distributed Information Fusion System - a case study. Eric benoit,Marc-Philippe Huget,

                        Patrice Moreaux, Olivier Passalacqua


11:40 - [38] - Verification of functional constraints for safe product driven control. Pascale Marange, David Gouyon,

                        Jean-François Petin, Bernard Riera


12:05 - [53] - Functional Safety of Component-based Embedded Control Systems. Atef Gharbi, Mohamed Khalgui,

                        Hans-Michael Hanisch



10:50 - [40] - An Algorithm for Active Diagnosis of Hybrid Systems Casted in the DES Framework. Mehdi Bayoudh,

                        Louise Travé-Massuyès


11:15 - [44] - Active Probing for Diagnosis of Emergent Faults. Timothy L. Johnson, Sahika Genc, Stephen F. Bush


11:40 - [12] - Test sequence construction from SFC specification. Julien Provost, Jean-Marc Roussel,  Jean-Marc Faure


12:05 - [35] - A residual inspired approach for fault localization in DES. Matthias Roth, Jean-Jacques Lesage, Lothar Litz



12:30

  Closing session - Room Abbrescia


12:45

 
Lunch (not included in the registration fees)


14:00 -> 20:00

   
  Guided tour of Alberobello (not included in the registration fees)