| Vol-1507 urn:nbn:de:0074-1507-1 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# DX 2015
Principles of Diagnosis

### Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015)
co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015)

### Paris, France, August 31 - September 3, 2015.

Edited by

### Yannick Pencolé *
Louise Travé-Massuyès *
Philippe Dague **

* Laboratoire d'Analyse et d'Architecture des Systèmes, Université de Toulouse, 7 avenue du colonel Roche, F-31400 Toulouse, France
** Laboratoire de Recherche en Informatique, Université Paris-Sud, rue Noetzlin, F-91190 Gif-sur-Yvette, France

## Table of Contents

- Full proceedings (ebook)

- Foreword

### Regular papers

- A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis 3-10
  Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz
- A Robust Alternative to Correlation Networks for Identifying Faulty Systems 11-18
  Patrick Traxler, Pablo Gómez, Tanja Grill
- Applied Multi-Layer Clustering to the Diagnosis of Complex Agro-Systems 19-26
  Elisa Roux, Louise Travé-Massuyès, Marie-Véronique Le Lann
- A Bayesian Framework for Fault Diagnosis of Hybrid Linear Systems 27-34
  Gan Zhou, Gautam Biswas, Wenquan Feng, Hongbo Zhao, Xiumei Guan
- ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication 35-42
  Cédric Herpson, Vincent Corruble, Amal El Fallah Seghrouchni
- Data Driven Modeling for System-Level Condition Monitoring on Wind Power Plants 43-50
  Jens Eickmeyer, Peng Li, Omid Givehchi, Florian Pethig, Oliver Niggemann
- Using Incremental SAT for Testing Diagnosability of Distributed DES 51-58
  Hassan Ibrahim, Philippe Dague, Laurent Simon
- Improving Fault Isolation and Identification for Hybrid Systems with Hybrid Possible Conflicts 59-66
  Anibal Bregon, Carlos Alonso-González, Belarmino Pulido
- State Estimation and Fault Detection using Box Particle Filtering with Stochastic Measurements 67-74
  Joaquim Blesa, Françoise Le Gall, Carine Jauberthie, Louise Travé-Massuyès
- Minimal Structurally Overdetermined Sets Selection for Distributed Fault Detection 75-82
  Hamed Khorasgani, Gautam Biswas, Daniel Jung
- Condition-based Monitoring and Prognosis in an Error-Bounded Framework 83-90
  Louise Travé-Massuyès, Renaud Pons, Pauline Ribot, Yannick Pencolé, Carine Jauberthie
- Configuration as Diagnosis: Generating Configurations with Conflict-Directed A* - An Application to Training Plan Generation - 91-98
  Florian Grigoleit, Peter Struss
- Decentralised Fault Diagnosis of Large-Scale Systems: Application to Water Transport Networks 99-104
  Vicenç Puig, Carlos Ocampo-Martinez
- Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems 105-112
  Alban Grastien
- Implementing Troubleshooting with Batch Repair 113-118
  Roni Stern, Meir Kalech, Hilla Shinitzky
- Formulating Event-Based Critical Observations in Diagnostic Problems 119-126
  Cody Christopher, Alban Grastien
- A Framework For Assessing Diagnostics Model Fidelity 127-134
  Gregory Provan, Alexander Feldman

### Posters

- A General Process Model: Application to Unanticipated Fault Diagnosis 137-144
  Jiongqi Wang, Zhangming He, Haiyin Zhou, Shuxing Li
- A SCADA Expansion for Leak Detection in a Pipeline 145-152
  Rolando Carrera, Cristina Verde, Raúl Cayetano
- Automatic Model Generation to Diagnose Autonomous Systems 153-158
  Jorge Santos Simón, Clemens Mühlbacher, Gerald Steinbauer
- Methodology and Application of Meta-Diagnosis on Avionics Test Benches 159-166
  Ronan Cossé, Denis Berdjag, Sylvain Piechowiak, David Duvivier, Christian Gaurel
- SAT-Based Abductive Diagnosis 167-176
  Roxane Koitz, Franz Wotawa
- Fault Tolerant Control for a 4-Wheel Skid Steering Mobile Robot 177-184
  George Fourlas, George Karras, Kostas Kyriakopoulos
- Data-Driven Monitoring of Cyber-Physical Systems Leveraging on Big Data and the Internet-of-Things for Diagnosis and Control 185-192
  Oliver Niggemann, Gautam Biswas, John Kinnebrew, Hamed Khorasgani, Sören Volgmann, Andreas Bunte
- Diagnosing Advanced Persistent Threats: A Position Paper 193-200
  Rui Abreu, Daniel Bobrow, Hoda Eldardiry, Alexander Feldman, John Hanley, Tomonori Honda, Johan de Kleer, Alexandre Perez, Dave Archer, David Burke
- A Structural Model Decomposition Framework for Hybrid Systems Diagnosis 201-208
  Matthew Daigle, Anibal Bregon, Indranil Roychoudhury
- Device Health Estimation by Combining Contextual Control Information with Sensor Data 209-216
  Tomonori Honda, Linxia Liao, Hoda Eldardiry, Bhaskar Saha, Rui Abreu, Radu Pavel, Jonathan Iverson
- On the Learning of Timing Behavior for Anomaly Detection in Cyber-Physical Production Systems 217-224
  Alexander Maier, Oliver Niggemann, Jens Eickmeyer
- The Case for a Hybrid Approach to Diagnosis: A Railway Switch 225-234
  Ion Matei, Anurag Ganguli, Tomonori Honda, Johan de Kleer
- Design of PD Observer-Based Fault Estimator using a Descriptor Approach 235-240
  Dušan Krokavec, Anna Filasová, Pavol Liščinský, Vladimír Serbák
- Chronicle Based Alarm Management in Startup and Shutdown Stages 241-246
  John William Vasquez, Louise Travé-Massuyès, Audine Subias, Fernando Jimenez, Carlos Agudelo
- Data-Augmented Software Diagnosis 247-252
  Amir Elmishali, Roni Stern, Meir Kalech
- Faults Isolation and Identification of Heat-Exchanger/ Reactor with Parameter Uncertainties 253-260
  Mei Zhang, Boutaïeb Dahhou, Michel Cabassud, Ze-Tao Li
- LPV Subspace Identification for Robust Fault Detection using a Set-Membership Approach: Application to the Wind Turbine Benchmark 261-268
  Houda Chouiref, Boumedyen Boussaid, Mohamed Naceur Abdelkrim, Vicenç Puig, Christophe Aubrun
- Processing Measure Uncertainty into Fuzzy Classifier 269-274
  Thomas Monrousseau, Louise Travé-Massuyès, Marie-Véronique Le Lann

### Tools/Benchmarks

- Random Generator of k-Diagnosable Discrete Event Systems 277-280
  Yannick Pencolé
- HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems 281-284
  Elodie Chanthery, Yannick Pencolé, Pauline Ribot, Louise Travé-Massuyès

2015-11-10: submitted by Yannick Pencolé, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-11: published on CEUR-WS.org |valid HTML5|