Lost password ? Create account

Home
CFP & Main dates ▼
- Call for papers
- Main dates
Committees
Authors ▼
Program ▼
Participants ▼
Contacts
Awards
DX series
Safeprocess'18

Program > Technical program

Week Mon. 27 Tue. 28 Wed. 29 Thu. 30 List

‹ Wednesday, August 29, 2018 ›

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

20:00

21:00

22:00

23:00

›8:00 (30min)

DX-SAFEPROCESS JOINT DAY All sessions are open

8:00 - 8:30 (30min)

DX-SAFEPROCESS JOINT DAY All sessions are open

›8:30 (15min)

Safeprocess Opening Ceremony

8:30 - 8:45 (15min)

Safeprocess Opening Ceremony

For all DX participants

›8:45 (1h)

Safeprocess Plenary talk by Gautam Biswas

8:45 - 9:45 (1h)

Safeprocess Plenary talk by Gautam Biswas

For all DX participants

›9:45 (15min)

Tea & Coffee break

9:45 - 10:00 (15min)

Tea & Coffee break

›10:00 (2h)

Models and processes for diagnosis

10:00 - 12:00 (2h)

Models and processes for diagnosis

› Model-based Gait Analysis for Juvenile Idiopathic Arthritis Patients - Peter Struss, Robert Reiser, Florian Kreuzpointner 10:00-10:30 (30min)

› QR-Augmented Spectrum-based Fault Localization - Alexandre Perez, Rui Abreu 10:30-11:00 (30min)

› StaticHS: Stateful Iterative Hitting Set Computation for Sequential Diagnosis - Patrick Rodler, University of Klagenfurt 11:00-11:30 (30min)

› A Non-intrusive Fault Diagnosis System for Robotic Platforms - Youssef Youssef, Paul Plöger 11:30-12:00 (30min)

›12:00 (1h30)

Joint DX-Safeprocess Lunch

12:00 - 13:30 (1h30)

Joint DX-Safeprocess Lunch

›13:30 (45min)

Safeprocess Semi-Plenaries

13:30 - 14:15 (45min)

Safeprocess Semi-Plenaries

For all DX participants

›14:15 (15min)

Tea & Coffee break

14:15 - 14:30 (15min)

Tea & Coffee break

›14:30 (2h)

Learning models and enhancing diagnosis

14:30 - 16:30 (2h)

Learning models and enhancing diagnosis

› On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation - Ingo Pill, Franz Wotawa 14:30-15:00 (30min)

› Safe Partial Diagnosis from Normal Observations - Roni Stern, Brendan Juba 15:00-15:30 (30min)

› Analytic Redundancy Relations Guided Parameter Estimation for Model-Based Diagnosis - Ion Matei, Maksym Zhenirovskyy, Alexander Feldman, Johan de Kleer 15:30-16:00 (30min)

› Analog Accelerator for Simulation and Diagnostics - Alexander Feldman, Ion Matei, Emil Totev, Johan de Kleer 16:00-16:30 (30min)

›16:30 (2h)

Poster session

16:30 - 18:30 (2h)

Poster session

› Analysis of applicability of deep learning methods in compressor fault diagnosis - Anna Sztyber, Łukasz Chechliński, Michał Syfert, Paweł Wnuk, Piotr Lipnicki, Daniel Lewandowski 16:30-18:30 (2h)

› Comparing Physics-Based Methods for Distinguishing Attacks from Faults - Gregory Provan, Riccardo Orizio 16:30-18:30 (2h)

› DeBGUer: A Tool for Bug Prediction and Diagnosis @ BGU - Amir Elmishali, Meir Kalech, Roni Stern 16:30-18:30 (2h)

› Deploying Robots in Everyday Environments: Towards Dependable and Practical Robotic Systems - Alex Mitrevski, Santosh Thoduka, Argentina Ortega Sainz, Maximilian Schöbel, Patrick Nagel, Paul Plöger, Erwin Prassler 16:30-18:30 (2h)

› Fault Isolation of a power hydraulic system through parameter estimation using temporal infor-mation and Genetic Algorithm - Sanjoy Kumar Ghoshal, Sawan Kumar, Subhamay Das, J. Das 16:30-18:30 (2h)

› Milling diagnosis using machine learning techniques toward Industry 4.0 - Lorraine Codjo, Mohamed Jaafar, Hamid Makich, Dominique Knittel, Mohammed Nouari 16:30-18:30 (2h)

› Model-based diagnosis: a frequency domain view - Ion Matei, Alexander Feldman, Johan de Kleer 16:30-18:30 (2h)

› Moving Window ICA Method with Adaptive Thresholds for Fault Detection - Mingguang Liu, Xiangshun Li, Jiang Jin, Wei Chen 16:30-18:30 (2h)

› Multiple model adaptive estimation for blocked wheel fault detection on mobile robots - Mahmoud Almasri, Nicolas Tricot, Roland Lenain 16:30-18:30 (2h)

› On the Superiority of Conflict-Driven Search in MUS Enumeration - Roxane Koitz-Hristov, Franz Wotawa 16:30-18:30 (2h)

› SCADA Data Based Wind Turbine Fault Diagnosis - Christian Tutiven, Yolanda Vidal, Francesc Pozo 16:30-18:30 (2h)

› Survey of fault diagnosis and accommodation of unmanned underwater vehicles - Andreas Nioras, George Karras, George Fourlas, Georges Stamoulis 16:30-18:30 (2h)

›19:00 (4h)

Small tour & DX'18 Dinner

19:00 - 23:00 (4h)

Small tour & DX'18 Dinner

Session

Speech

Logistics

Break

Tour

Online user: 1