The 26th International Workshop on Principles of Diagnosis

Mon. 31

Tue. 01

Wed. 02

Thu. 03

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

20:00

21:00

22:00

23:00

DX registration

12:00 - 12:30 (30min)

DX registration

Main entrance of ENSAM

Lunch

12:30 - 13:45 (1h15)

Lunch

Cours Pinel

Opening Session

13:45 - 14:00 (15min)

Opening Session

Amphi Pinel

DX15 chairs

Discrete Event System Diagnosis

14:00 - 16:00 (2h)

Discrete Event System Diagnosis

Amphi Pinel

› Formulating Event-Based Critical Observations in Diagnostic Problems - Cody Christopher, National ICT Australia, Australian National University - Alban Grastien, National ICT Australia, Australian National University 14:00-14:30 (30min)

› Using Incremental SAT for Testing Diagnosability of Distributed DES - Hassan IBRAHIM, Laboratoire de Recherche en Informatique 14:30-15:00 (30min)

› Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems - Alban Grastien, National ICT Australia 15:00-15:30 (30min)

› Random generator of k-diagnosable discrete event systems - Yannick Pencolé, Laboratoire d'analyse et d'architecture des systèmes [Toulouse] 15:30-16:00 (30min)

Coffee break

16:00 - 16:30 (30min)

Coffee break

Cours Pinel

Consistency-based Diagnosis

16:30 - 18:30 (2h)

Consistency-based Diagnosis

Amphi Pinel

› A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis - Kostyantyn Shchekotykhin, Alpen-Adria University Klagenfurt - Dietmar Jannach, TU Dortmund - Thomas Schmitz, TU Dortmund 16:30-17:00 (30min)

› ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication - Cédric Herpson, Laboratoire d'Informatique de Paris 6 17:00-17:30 (30min)

› Configuration as Diagnosis: Generating Configurations with Conflict-Directed A* - An Application to Training Plan Generation - - Florian Grigoleit, Technische Universtät München - Peter Struss, Technische Universtät München 17:30-18:00 (30min)

› Implementing Troubleshooting with Batch Repair - Roni Stern, Ben Gurion University of the Negev - Meir Kalech, Ben Gurion University of the Negev - Hilla Shinitzky, Ben Gurion University of the Negev 18:00-18:30 (30min)

Diagnosis and Current Trends in the Automotive Industry

8:30 - 9:30 (1h)

Diagnosis and Current Trends in the Automotive Industry

Amphi Pinel

Jérome Thomas

Diagnosis with Error-Bounded Models

9:30 - 10:30 (1h)

Diagnosis with Error-Bounded Models

Amphi Pinel

› State estimation and fault detection using box particle filtering with stochastic measurements - Joaquim Blesa, Institut de Robotica i Informatica Industrial 09:30-10:00 (30min)

› Condition-based Monitoring and Prognosis in an Error-Bounded Framework - Louise Travé-Massuyès, Laboratoire d'analyse et d'architecture des systèmes [Toulouse] 10:00-10:30 (30min)

Coffee break

10:30 - 11:00 (30min)

Coffee break

Cours Pinel

Hybrid System Diagnosis

11:00 - 12:30 (1h30)

Hybrid System Diagnosis

› A Bayesian Framework for Fault diagnosis of Hybrid Linear Systems - Gan Zhou, Beihang University 11:00-11:30 (30min)

› Improving Fault Isolation and Identification for Hybrid Systems with Hybrid Possible Conflicts - Anibal Bregon, Departamento de Informática, Universidad de Valladolid 11:30-12:00 (30min)

› HyDiag: extended diagnosis and prognosis for hybrid systems - Yannick Pencolé, CNRS-LAAS, Université de Toulouse 12:00-12:30 (30min)

Lunch

12:30 - 13:30 (1h)

Lunch

Cours Pinel

Somewhere

13:30 - 19:00 (5h30)

Somewhere

Dinner

19:00 - 23:00 (4h)

Dinner

SAFEPROCESS Opening Session

8:30 - 8:50 (20min)

SAFEPROCESS Opening Session

Grand Amphi

SAFEPROCESS chairs

Distributed System Diagnosis

8:50 - 9:50 (1h)

Distributed System Diagnosis

Amphi Pinel

› Minimal Structurally Overdetermined Sets Selection for Distributed Fault Detection - Gautam Biswas, Vanderbilt University 08:50-09:20 (30min)

› Decentralised fault diagnosis of large-scale systems: Application to water transport networks - vicenç puig, Universitat Politècnica de Catalunya 09:20-09:50 (30min)

Coffee break

9:50 - 10:10 (20min)

Coffee break

Cours Pinel

Posters 1

10:10 - 11:50 (1h40)

Posters 1

Library

› Chronicle based alarm management in startup and shutdown stages - John William Vasquez, Andes University, Laboratoire d'analyse et d'architecture des systèmes - Louise Travé-Massuyès, Laboratoire d'analyse et d'architecture des systèmes - Audine Subias, Laboratoire d'analyse et d'architecture des systèmes - Fernando Jimenez, Andes University - Carlos Agudelo, ECOPETROL 10:10-11:50 (1h40)

› Data-Driven Monitoring of Cyber-Physical Systems Leveraging on Big Data and the Internet-of-Things for Diagnosis and Control - 10:10-11:50 (1h40)

› Device Health Estimation by Combining Contextual Control Information with Sensor Data - Tomonori Honda, Palo Alto Research Center 10:10-11:50 (1h40)

› On the Learning of Timing Behavior for Anomaly Detection in Cyber-Physical Production Systems - Jens Eickmeyer, Fraunhofer Application Center Industrial Automation 10:10-11:50 (1h40)

› Processing measure uncertainty into fuzzy classifier - 10:10-11:50 (1h40)

› The Case for a Hybrid Approach to Diagnosis: A Railway Switch - Johan de Kleer, Palo Alto Research Center 10:10-11:50 (1h40)

Lunch

11:50 - 14:00 (2h10)

Lunch

TownHall Paris Area 13

Diagnosis and Diagnosability of Discrete Event Systems Using Petri Nets

14:00 - 15:00 (1h)

Diagnosis and Diagnosability of Discrete Event Systems Using Petri Nets

Amphi Bézier

Alessandro Guia

Posters 2

15:10 - 16:50 (1h40)

Posters 2

Library

› A Structural Model Decomposition Framework for Hybrid Systems Diagnosis - Anibal Bregon, Universidad de Valladolid 15:10-16:50 (1h40)

› Automatic Model Generation to Diagnose Autonomous Systems - Jorge Santos Simón, Institute for Software Technology [Graz] - Clemens Mühlbacher, Institute for Software Technology [Graz] - Gerald Steinbaer, Institute for Software Technology [Graz] 15:10-16:50 (1h40)

› Data-Augmented Software Diagnosis - Amir Mishali, Ben Gurion University of the Negev - Roni Stern, Ben Gurion University of the Negev - Meir Kalech, Ben Gurion University of the Negev 15:10-16:50 (1h40)

› Diagnosing Advanced Persistent Threats: A Position Paper - Rui Abreu, Palo Alto Research Center - Alexandre Perez, Palo Alto Research Center 15:10-16:50 (1h40)

› Methodology and Application of Meta-Diagnosis on Avionics Test Benches - Ronan Cossé, Laboratoire d'automatique et de mécanique industrielles et humaines, Airbus Helicopters 15:10-16:50 (1h40)

› SAT-Based Abductive Diagnosis - Roxane Koitz, Institute for Software Technology [Graz] - Franz Wotawa, Institute for Software Technology [Graz] 15:10-16:50 (1h40)

Coffee break

16:50 - 17:10 (20min)

Coffee break

Cours Pinel

Posters 3

17:10 - 18:50 (1h40)

Posters 3

Library

› A General Process Model: Application to Unanticipated Fault Diagnosis - Jiongqi WANG, National University of Defense Technology 17:10-18:50 (1h40)

› A SCADA Expansion for Leak Detection in a Pipeline - Rolando Carrera, Universidad Nacional Autónoma de México 17:10-18:50 (1h40)

› Design of PD observer-based fault estimator using a descriptor approach - Dusan Krokavec, Technical University of Kosice 17:10-18:50 (1h40)

› Fault Tolerant Control for a 4-Wheel Skid Steering Mobile Robot - George Fourlas, Department of Computer Engineering, Technological Educational Institute (T. E. I.) of Central Greece, Lamia, Greece 17:10-18:50 (1h40)

› Faults isolation and identification of Heat-exchanger/ Reactor with parameter uncertainties - Mei ZHANG, PHD student 17:10-18:50 (1h40)

› LPV subspace identification for robust fault detection using a set-membership approach: Application to the wind turbine benchmark - houda chouiref, ecole nationale d'ingénieurs de gabès - boumedyen boussaid, ecole nationale d'ingénieurs de gabès - mohamed naceur Abdelkrim, ecole nationale d'ingénieurs de gabès 17:10-18:50 (1h40)

Cocktail

19:00 - 20:30 (1h30)

Cocktail

Hall Grand Amphi

The Importance of Physical System Modeling to Industry: System Models That Could Have Prevented Some Costly Mistakes

8:30 - 9:30 (1h)

The Importance of Physical System Modeling to Industry: System Models That Could Have Prevented Some Costly Mistakes

Grand Amphi

Coffee break

9:30 - 9:50 (20min)

Coffee break

Cours Pinel

Learning and Model Evaluations

9:50 - 11:50 (2h)

Learning and Model Evaluations

Amphi Pinel

› Applied multi-layer clustering to the diagnosis of complex agro-systems - ELISA ROUX, Laboratoire d'analyse et d'architecture des systèmes [Toulouse] 09:50-10:20 (30min)

› A Robust Alternative to Correlation Networks for Identifying Faulty Systems - Patrick Traxler, Software Competence Center Hagenberg - Pablo Gomez, Institute of Applied Knowledge Processing, Johannes Kepler University, Linz, Austria 10:20-10:50 (30min)

› Data Driven Modeling for System-Level Condition Monitoring on Wind Power Plants - Jens Eickmeyer, Fraunhofer Application Center Industrial Automation - Peng Li, Institute Industrial Information Technologies - Oliver Niggemann, Institute Industrial Information Technologies, Fraunhofer Application Center Industrial Automation 10:50-11:20 (30min)

› A Framework For Assessing Diagnostics Model Fidelity - Gregory Provan, Computer Science Department, University College Cork 11:20-11:50 (30min)

Business Meeting and closing session

12:00 - 13:00 (1h)

Business Meeting and closing session