The 26th International Workshop on Principles of Diagnosis

›8:30 (20min)

SAFEPROCESS Opening Session
SAFEPROCESS chairs

› Grand Amphi

8:30 - 8:50 (20min)

SAFEPROCESS Opening Session

Grand Amphi

SAFEPROCESS chairs

›8:50 (1h)

Distributed System Diagnosis

› Amphi Pinel

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)

›9:50 (20min)

Coffee break

› Cours Pinel

9:50 - 10:10 (20min)

Coffee break

Cours Pinel

›10:10 (1h40)

Posters 1

› Library

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)

›11:50 (2h10)

Lunch

› TownHall Paris Area 13

11:50 - 14:00 (2h10)

Lunch

TownHall Paris Area 13

›14:00 (1h)

Diagnosis and Diagnosability of Discrete Event Systems Using Petri Nets
Alessandro Guia

› Amphi Bézier

14:00 - 15:00 (1h)

Diagnosis and Diagnosability of Discrete Event Systems Using Petri Nets

Amphi Bézier

Alessandro Guia

›15:10 (1h40)

Posters 2

› Library

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)

›16:50 (20min)

Coffee break

› Cours Pinel

16:50 - 17:10 (20min)

Coffee break

Cours Pinel

›17:10 (1h40)

Posters 3

› Library

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)

›19:00 (1h30)

Cocktail

› Hall Grand Amphi

19:00 - 20:30 (1h30)

Cocktail

Hall Grand Amphi