{"id":629,"date":"2021-01-03T17:42:17","date_gmt":"2021-01-03T16:42:17","guid":{"rendered":"https:\/\/www.hsu-hh.de\/imb\/?page_id=629"},"modified":"2021-09-10T10:26:52","modified_gmt":"2021-09-10T08:26:52","slug":"program","status":"publish","type":"page","link":"https:\/\/www.hsu-hh.de\/imb\/en\/organized-events\/dx-2021\/program","title":{"rendered":"Program"},"content":{"rendered":"\n
\n
\n

Dear participants, the following schedules are not final yet and may change.
The DX-21 workshop is free of charge.<\/p>\n\n\n\n

Day 0<\/h2>\n\n\n\n

16:00 – 18:00 Welcome reception at the workshop location<\/a><\/strong> (6th floor of the building, follow the sings on site)<\/p>\n\n\n\n

Day 1<\/h2>\n\n\n\n

09:00 – 09:15 Opening Words<\/strong><\/p>\n\n\n\n

09:15 – 10:00 Keynote: <\/strong> by Dr. Markus Durstewitz<\/p>\n\n\n\n

10:00 – 13:00 MBD Workshop<\/strong> – Chair: Alexander Diedrich
10:00<\/strong> A SAT-Based Encoding for Finding a Minimal Automated Test Pattern Generation Test-Suite<\/a><\/strong>
Alexander Feldman, Mikolas Janota, Alexandre Perez and Johan de Kleer
10:40<\/strong> Integrating multiple observation sets into consistency-based diagnosis<\/a><\/strong>
Franz Wotawa
11:20<\/strong> A Holistic Advanced Diagnosis Approach For Systems Under Uncertainty<\/a><\/strong>
Amaury Vignolles, Elodie Chanthery and Pauline Ribot
12:00<\/strong> Diagnosis of hidden faults in the RCLL<\/a><\/strong>
Marco De Bortoli, Stalin Mu\u00f1oz Guti\u00e9rrez and Gerald Steinbauer<\/p>\n\n\n\n

13:00 – 14:00 Lunch at the workshop location<\/strong><\/p>\n\n\n\n

14:00 – 16:00 Data Based Workshop<\/strong><\/strong> – Chair: Kaja Balzereit
14:00<\/strong> Clustering of Similar Historical Alarm Subsequences Using Alarm Series and Characteristic Coactivations<\/a><\/strong>
Gianluca Manca, Marcel Dix and Alexander Fay
14:40<\/strong> Automata Learning Enabling Model-Based Diagnosis<\/a><\/strong>
Edi Muskardin, Ingo Pill, Martin Tappler and Bernhard K. Aichernig
15:20<\/strong> Deep Learning vs. Classical Model-Based Fault Detection in Industrial Heating-Cooling Systems<\/a><\/strong>
Klaus Ren\u00e9 Garcia Rosas, Martin Zimmer and Bernhard Nebel<\/p>\n\n\n\n

17:00 – 18:00 Guided tour of the St. Michael’s church and organ<\/a><\/strong>
18:30 – 21:00 Dinner at the Old Commercial Room<\/a><\/strong><\/p>\n\n\n\n

Day 2<\/h2>\n\n\n\n

09:00 – 09:45 Keynote: \u201eIntegration of structural and process knowledge to improve the diagnosis in industrial plants\u201d<\/strong> by Prof. Dr.-Ing. Alexander Fay<\/p>\n\n\n\n

10:00 – 13:00 Software Workshop<\/strong><\/strong><\/strong> – Chair: Samim Multaheb
10:00<\/strong> Cross-Project Smell-Based Defect Prediction<\/a><\/strong>
Bruno Sotto-Mayor and Meir Kalech
10:40<\/strong> Bugs Assignment for Workload Distribution<\/a><\/strong>
Argaman Mordoch, Avraham Natan, Amir Elmishali and Meir Kalech
11:20<\/strong> Issue-Driven Features for Software Fault Prediction<\/a><\/strong>
Amir Elmishali and Meir Kalech
12:00<\/strong> On using distributed representations of source code for the detection of C security vulnerabilities<\/a><\/strong>
David Coimbra, Sofia Reis, Rui Abreu, Corina Pasareanu and Hakan Erdogmus<\/p>\n\n\n\n

13:00 – 14:00 Lunch at <\/strong>L’Osteria<\/strong> Hamburg Fischmarkt<\/strong><\/a><\/p>\n\n\n\n

14:00 – 16:00 New Approaches<\/strong><\/strong> Workshop<\/strong> – Chair: Steven Dehlan
14:00<\/strong> A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets<\/a><\/strong>
Yannick Pencol\u00e9, Audine Subias and Camille Coquand
14:40<\/strong> Generating Diagnosis Models using Integrated Physics-Based\/Machine Learning Techniques: A Critical Comparison<\/a><\/strong>
Gregory Provan
15:20<\/strong> Leakage localization in water distribution system using heuristic method<\/a><\/strong>
Anna Sztyber, Jan Ko\u015bcielny and Bart\u0142omiej Fajdek<\/p>\n\n\n\n

16:30 – 18:30 Harbour boat tour starting from the event location pier<\/a><\/strong><\/p>\n\n\n\n

Day 3<\/h2>\n\n\n\n

09:00 – 12:00 Control Systems Workshop<\/strong><\/strong><\/strong> – Chair: Bernd Zimmering
09:00<\/strong> Comparative study of fault distinguishability based on bi- and three-valued diagnostic signals<\/a><\/strong>
Jan Koscielny and Michal Bartys
09:40<\/strong> Adaptive Model-based Control with Reinforcement Learning for Fault Tolerance<\/a><\/strong>
Luke Bhan, Marcos Quinones-Grueiro and Gautam Biswas
10:20<\/strong> Policy reuse for transfer reinforcement learning in fault-tolerant control<\/a><\/strong>
Ibrahim Ahmed, Marcos Quinones-Grueiro and Gautam Biswas
11:00<\/strong> Sound and Complete Reconfiguration for a Class of Hybrid Systems<\/a><\/strong>
Kaja Balzereit and Oliver Niggemann<\/p>\n\n\n\n

12:00 – 13:00 Lunch<\/strong> at the workshop location<\/strong><\/p>\n\n\n\n

<\/h2>\n\n\n\n

<\/p>\n<\/div>\n\n\n\n

\n
\"DX21\"<\/figure>\n\n\n\n

Quick links<\/h2>\n\n\n\n

Home<\/a><\/p>\n\n\n\n

Call for papers<\/a><\/p>\n\n\n\n

Committees<\/a><\/p>\n\n\n\n

Authors<\/a><\/p>\n\n\n\n

Program<\/a><\/p>\n\n\n\n

Participants<\/a><\/p>\n\n\n\n

DX Series<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

Dear participants, the following schedules are not final yet and may change.The DX-21 workshop is free of charge. Day 0 16:00 – 18:00 Welcome reception at the workshop location (6th […]<\/p>\n","protected":false},"author":2852,"featured_media":0,"parent":576,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"categories":[54],"tags":[],"class_list":["post-629","page","type-page","status-publish","hentry","category-event"],"_links":{"self":[{"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/pages\/629","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/users\/2852"}],"replies":[{"embeddable":true,"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/comments?post=629"}],"version-history":[{"count":35,"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/pages\/629\/revisions"}],"predecessor-version":[{"id":1280,"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/pages\/629\/revisions\/1280"}],"up":[{"embeddable":true,"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/pages\/576"}],"wp:attachment":[{"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/media?parent=629"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/categories?post=629"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.hsu-hh.de\/imb\/wp-json\/wp\/v2\/tags?post=629"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}