› 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)
› 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)
› 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)
› 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)
› 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)
› 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)
› 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)
› 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)
› 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)