DX 2015
Principles of Diagnosis

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