Program > Technical program

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

Monday, August 27, 2018 ›

12:00

13:00

14:00

15:00

16:00

17:00

18:00

›12:00 (2h)

Lunch

12:00 - 14:00 (2h)

Lunch

›14:00 (30min)

DX'18 Opening

14:00 - 14:30 (30min)

DX'18 Opening

›14:30 (2h)

Formal theories for diagnosis

14:30 - 16:30 (2h)

Formal theories for diagnosis

› Diagnosing Hybrid-Systems using Consistency-Based Methods - Gregory Provan 14:30-15:00 (30min)

› Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory - Alexander Diedrich, Oliver Niggemann 15:00-15:30 (30min)

› Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults - Valentin Bouziat, Xavier Pucel, Stéphanie Roussel, Louise Travé-Massuyès 15:30-16:00 (30min)

› Using LNT Formal Descriptions for Model-Based Diagnosis - Franz Wotawa, Birgit Hofer, Radu Mateescu, Wendelin Serwe 16:00-16:30 (30min)

›16:30 (30min)

Tea & Coffee break

16:30 - 17:00 (30min)

Tea & Coffee break

›17:00 (1h30)

Event based diagnosis

17:00 - 18:30 (1h30)

Event based diagnosis

› Estimating Information Loss with Incomplete Queries - Lior Chen, Meir Kalech, Roni Stern, Dennis Potashnik 17:00-17:30 (30min)

› Alarm Correlation in Mobile Telecommunication Networks Based on Dice Coefficient - Artur Maździarz 17:30-18:00 (30min)

› Anomaly Detection in Discrete Manufacturing Systems using Event Relationship Tables - Emil Laftchiev, Xinmaio Sun, Hoang-Anh Dau, Daniel Nikovski 18:00-18:30 (30min)

Session

Speech

Logistics

Break

Tour

Online user: 1