Keynote (Chair: Jan Lunze)

Marc Antoni

Applications I

(Session Chairs: Jan Richter and Jörg R. Müller)

• "Testing Programmable Logic Controllers from Finite State Machines specification"
  Julien Provost, Jean-Marc Roussel and Jean-Marc Faure
• "Dependability of complex semiconductor systems"
  Mohammed Farouk Bouaziz, Eric Zamai, Frederic Duvivier, Stéphane Hubac
• "Implementation and testing of an online fault isolation methodology in a real industrial scenario"
  Luca Ferrarini, Massimo Allevi, Alessio Dedè
• "Online control reconfiguration for a faulty manufacturing process"
  Yannick Nke, Jan Lunze

SS: Diagnosis of Discrete Event Systems: Application on a Benchmark

(Session Chairs: Alexandre Phillipot and Kleanthis Thramboulidis)

• "Survey on Diagnosis of a Pick and Place Benchmark"
  Alexandre Philippot
• "A comparative study of three model-based FDI approaches for Discrete Event Systems"
  Mickaël Danancher, Matthias Roth, Jean-Jacques Lesage, Lothar Litz
• "Timed Residuals for Fault Detection and Isolation in Discrete Event Systems"
  Stefan Schneider, Mickaël Danancher, Lothar Litz
• "Verifying Functional and Non-Functional Properties of Manufacturing Control Systems"
  Sebastian Preuße, Hans-Michael Hanisch
• "Methodology to obtain local discrete diagnosers"
  Alexandre Philippot, Veronique Carré-Ménétrier

Technical Tour

Völklingen Ironworks

Keynote (Chair: Jean-Marc Faure)

Safety and Reliability I

(Session Chairs: Jean-Jacques Lesage and Edouard Leclercq)

• "Towards Model-driven Safety Analysis"
  Matthias Guedemann, Frank Ortmeier
• "Production, preventive and corrective maintenance planning in manufacturing systems under imperfect repairs"
  Annie Francie Kouedeu, Jean-Pierre Kenne, Victor Songmene
• "Fault Diagnosis Using Consensus on Markov chains"
  Dejan Jovanovic, Philip K. Pollett
• "Expert judgment collecting and modeling: Application to the Integrated Risks Analysis (IRA) methodology"
  Geoffrey Fallet, Carole Duval, Christophe Simon, Philippe Weber, Benoit Iung

Discrete Event Control
(Session Chairs: Maria Pia Fanti and Spyros Reveliotis)

• "Modeling and Control of Nested Manufacturing Processes using Dioid Models"
  Thomas Brunsch, Laurent Hardouin, Jörg Raisch
• "On the Use of Observation Equivalence in Synthesis Abstraction"
  Sahar Mohajerani, Robi Malik, Simon Ware, Martin Fabian
• "Automatic Construction of Diagnoser for Complex Discrete Event Systems"
  Eric Gascard, Zineb Simeu-Abazi
• "SAT-Based Abstraction Refinement for Programmable Logic Controllers"
  Sebastian Biallas, Joerg Brauer, Stefan Kowalewski

Applications II

(Session Chairs: Luca Ferrarini and Sahika Genc)

• "Reliability Estimation using Unscented Transformation"
  Jan Richter
• "Automatic Adaptive Limit and Level Management of Arrhythmia Alarms"
  Sahika Genc, Timothy L. Johnson
• "Hazards in Advising Autonomy"
  Clive Downes, Paul Chung
• "Optimized Scheduling of Complex Resource Allocation Systems through Approximate Dynamic Programming"
  Spyros Reveliotis

Banquet

Casino Restaurant am Staden, Bismarckstraße 47, 66121 Saarbrücken -> Map

Keynote (Chair: Holger Hermanns)

Hermann Kopetz

Safety and Reliability II

(Session Chairs: Jean-François Pétin and Felix Felgner)

• "Reliability Analysis of Multi-source Multi-sink Critical Interacting Systems"
  Andrea Bobbio, Roberta Terruggia, Michele Minichino, Ester Ciancamerla
• "Multi-Phase Markov Models for Functional Safety Prediction"
  Felix Felgner, Georg Frey
• "A Methodology to Upgrade Legacy Industrial Systems to Meet Safety Regulations"
  Kleanthis Thramboulidis, Doaa Soliman,Georg Frey
• "Dynamic adaptation of IEEE 802.11e priorities for improving temporal performance and safety of a Wireless Networked Discrete Control System"
  Gilbert Habib, Jean-François Pétin, Thierry Divoux

Petri Nets

(Session Chairs: Jörg Raisch and Martin Fabian)

• "Identification of Petri Nets using timing information"
  Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Gianmaria De Tommasi
• "Geometric characterization of invariant regions for timed continuous Petri nets with control actions"
  Edouard Leclercq, Dimitri Lefebvre
• "Fault Detection by Labeled Petri Nets and Time Constraints"
  Maria Pia Fanti, Agostino Marcello Mangini, Walter Ukovich
• "Diagnosability Analysis of Partially Observable Deadlock-free Petri Nets"
  Elías Hernández-Flores, Ernesto López-Mellado, Antonio Ramírez-Treviño