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