Monday, August 31, 2015

Time Event  
12:00 - 12:30 DX registration - Main entrance of ENSAM  
12:30 - 13:45 Lunch (Cours Pinel)  
13:45 - 14:00 Opening Session (Amphi Pinel) - DX15 chairs  
14:00 - 16:00 Discrete Event System Diagnosis (Amphi Pinel)  
14:00 - 14:30 › 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:30 - 15:00 › Using Incremental SAT for Testing Diagnosability of Distributed DES - Hassan IBRAHIM, Laboratoire de Recherche en Informatique  
15:00 - 15:30 › Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems - Alban Grastien, National ICT Australia  
15:30 - 16:00 › Random generator of k-diagnosable discrete event systems - Yannick Pencolé, Laboratoire d'analyse et d'architecture des systèmes [Toulouse]  
16:00 - 16:30 Coffee break (Cours Pinel)  
16:30 - 18:30 Consistency-based Diagnosis (Amphi Pinel)  
16:30 - 17:00 › 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  
17:00 - 17:30 › ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication - Cédric Herpson, Laboratoire d'Informatique de Paris 6  
17:30 - 18:00 › 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  
18:00 - 18:30 › 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  

Tuesday, September 1, 2015

Time Event  
08:30 - 09:30 Diagnosis and Current Trends in the Automotive Industry (Amphi Pinel) - Jérome Thomas  
09:30 - 10:30 Diagnosis with Error-Bounded Models (Amphi Pinel)  
09:30 - 10:00 › State estimation and fault detection using box particle filtering with stochastic measurements - Joaquim Blesa, Institut de Robotica i Informatica Industrial  
10:00 - 10:30 › 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:30 - 11:00 Coffee break (Cours Pinel)  
11:00 - 12:30 Hybrid System Diagnosis  
11:00 - 11:30 › A Bayesian Framework for Fault diagnosis of Hybrid Linear Systems - Gan Zhou, Beihang University  
11:30 - 12:00 › Improving Fault Isolation and Identification for Hybrid Systems with Hybrid Possible Conflicts - Anibal Bregon, Departamento de Informática, Universidad de Valladolid  
12:00 - 12:30 › HyDiag: extended diagnosis and prognosis for hybrid systems - Yannick Pencolé, CNRS-LAAS, Université de Toulouse  
12:30 - 13:30 Lunch (Cours Pinel)  
13:30 - 19:00 Somewhere - in Paris  
19:00 - 23:00 Dinner  

Wednesday, September 2, 2015

Time Event  
08:30 - 08:50 SAFEPROCESS Opening Session (Grand Amphi) - SAFEPROCESS chairs  
08:50 - 09:50 Distributed System Diagnosis (Amphi Pinel)  
08:50 - 09:20 › Minimal Structurally Overdetermined Sets Selection for Distributed Fault Detection - Gautam Biswas, Vanderbilt University  
09:20 - 09:50 › Decentralised fault diagnosis of large-scale systems: Application to water transport networks - vicenç puig, Universitat Politècnica de Catalunya  
09:50 - 10:10 Coffee break (Cours Pinel)  
10:10 - 11:50 Posters 1 (Library)  
10:10 - 11:50 › 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 › Data-Driven Monitoring of Cyber-Physical Systems Leveraging on Big Data and the Internet-of-Things for Diagnosis and Control  
10:10 - 11:50 › Device Health Estimation by Combining Contextual Control Information with Sensor Data - Tomonori Honda, Palo Alto Research Center  
10:10 - 11:50 › 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 › Processing measure uncertainty into fuzzy classifier  
10:10 - 11:50 › The Case for a Hybrid Approach to Diagnosis: A Railway Switch - Johan de Kleer, Palo Alto Research Center  
11:50 - 14:00 Lunch (TownHall Paris Area 13)  
14:00 - 15:00 Diagnosis and Diagnosability of Discrete Event Systems Using Petri Nets (Amphi Bézier) - Alessandro Guia  
15:10 - 16:50 Posters 2 (Library)  
15:10 - 16:50 › A Structural Model Decomposition Framework for Hybrid Systems Diagnosis - Anibal Bregon, Universidad de Valladolid  
15:10 - 16:50 › 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 › 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 › Diagnosing Advanced Persistent Threats: A Position Paper - Rui Abreu, Palo Alto Research Center - Alexandre Perez, Palo Alto Research Center  
15:10 - 16:50 › 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 › SAT-Based Abductive Diagnosis - Roxane Koitz, Institute for Software Technology [Graz] - Franz Wotawa, Institute for Software Technology [Graz]  
16:50 - 17:10 Coffee break (Cours Pinel)  
17:10 - 18:50 Posters 3 (Library)  
17:10 - 18:50 › A General Process Model: Application to Unanticipated Fault Diagnosis - Jiongqi WANG, National University of Defense Technology  
17:10 - 18:50 › A SCADA Expansion for Leak Detection in a Pipeline - Rolando Carrera, Universidad Nacional Autónoma de México  
17:10 - 18:50 › Design of PD observer-based fault estimator using a descriptor approach - Dusan Krokavec, Technical University of Kosice  
17:10 - 18:50 › 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 › Faults isolation and identification of Heat-exchanger/ Reactor with parameter uncertainties - Mei ZHANG, PHD student  
17:10 - 18:50 › 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  
19:00 - 20:30 Cocktail (Hall Grand Amphi)  

Thursday, September 3, 2015

Time Event  
08:30 - 09:30 The Importance of Physical System Modeling to Industry: System Models That Could Have Prevented Some Costly Mistakes (Grand Amphi)  
09:30 - 09:50 Coffee break (Cours Pinel)  
09:50 - 11:50 Learning and Model Evaluations (Amphi Pinel)  
09:50 - 10:20 › Applied multi-layer clustering to the diagnosis of complex agro-systems - ELISA ROUX, Laboratoire d'analyse et d'architecture des systèmes [Toulouse]  
10:20 - 10:50 › 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:50 - 11:20 › 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  
11:20 - 11:50 › A Framework For Assessing Diagnostics Model Fidelity - Gregory Provan, Computer Science Department, University College Cork  
12:00 - 13:00 Business Meeting and closing session - Business Meeting and closing session