Wednesday, September 14, 2022

Time Event (+)
09:00 - 09:15 Opening words
 
09:15 - 10:15 Dependable Robots through Model-Based Techniques - Gerald Steinbauer
 
10:15 - 10:45 Coffee break  
10:45 - 12:15 Session 1 (+)  
10:45 - 11:15 › From Safety Assessment Models to Operational Diagnosis Models - Nikolena Christofi, Equipe Réseaux, Informatique, Systèmes de Confiance, IRT Saint Exupéry - Institut de Recherche Technologique - Xavier Pucel, ONERA / DTIS / Université de Toulouse  
11:15 - 11:45 › Modeling complex systems with Heterogeneous Petri Nets (HtPN)  
11:45 - 12:15 › A control approach to fault disambiguation - Johan de Kleer, PARC  
12:15 - 14:00 Lunch  
14:00 - 15:30 Session 2 (+)  
14:00 - 14:30 › Deviation tracking with incomplete and distorted data - Application to motion trajectories of industrial robots - Charlotte Lacoquelle, LAAS-CNRS, ANITI, Vitesco Technologies  
14:30 - 15:00 › A Survey on Diagnosis Methods Combining Dynamic Systems Structural Analysis and Machine Learning - Louis Goupil, Laboratoire d'analyse et d'architecture des systèmes, Atos  
15:00 - 15:30 › Water network benchmarks for structural analysis algorithms in fault diagnosis - Anna Sztyber, Warsaw University of Technology [Warsaw]  
15:30 - 16:00 Coffee break  
16:00 - 17:30 Poster (+)  
16:00 - 17:30 › A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit - Alexander Feldman, Palo Alto Research Center - Johan de Kleer, Palo Alto Research Center - Ion Matei, Palo Alto Research Center  
16:00 - 17:30 › Diagnosing Resilience - Ingo Pill, Silicon Austria Labs (SAL)  
16:00 - 17:30 › Diagnosis of Intermittent Faults in Multi-Agent Systems: an SFL approach - Avraham Natan, Ben-Gurion University of the Negev  
16:00 - 17:30 › How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms - Patrick Rodler, University of Klagenfurt  
16:00 - 17:30 › On a Uniform Causality Model for Industrial Automation - Maria Krantz, Helmut Schmidt University/University of the Armed Forces, Hamburg, Germany - Alexander Windmann, Helmut Schmidt University/University of the Armed Forces, Hamburg, Germany  

Thursday, September 15, 2022

Time Event (+)
09:00 - 10:00 Session 3 (+)  
09:00 - 09:30 › Diagnosability and Predictability of pattern in Labelled Petri Nets - Eric LUBAT, LAAS-CNRS - Camille COQUAND, LAAS-CNRS  
09:30 - 10:00 › Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable - Philippe Dague, LMF  
10:00 - 10:30 Coffee break  
10:30 - 12:00 Session 4 (+)  
10:30 - 11:00 › Safe Learning and Repairing of Numeric Action Models for Planning - Roni Stern, Ben Gurion University of the Negev  
11:00 - 11:30 › Planning Domain Repair as a Diagnosis Problem - Lin Songtuan, Australian National University - Alban Grastien, National ICT Australia, Australian National University  
11:30 - 12:00 › Application of a Model-based Reconfiguration Approach for the ISS COLUMBUS Environmental Control and Life Support System (ECLSS) - Benjamin Kelm, Institute of Aeronautical Engineering, Universität der Bundswehr München  
12:00 - 14:00 Lunch  
16:00 - 17:30 Visit of the Aescopia Museum  
19:00 - 22:00 Gala dinner in the Occitania boat  

Friday, September 16, 2022

Time Event (+)
09:00 - 10:00 Logic-Based Explainability in Machine Learning - Joao Marques-Silva
 
10:00 - 10:30 Coffee break  
10:30 - 12:00 Session 5 (+)  
10:30 - 11:00 › Learning Causal System Descriptions for Diagnosing Cyber-Physical Systems - Alexander Diedrich, Fraunhofer IOSB-INA  
11:00 - 11:30 › SeC-GAN: Generative Adversarial Network for Just-in-Time Defect Prediction - shir cohen, Shir Cohen  
11:30 - 12:00 › OSCLUS: Combining Clustering and Component-Sensitive Algorithm for Cross-Project Software Fault Prediction - Inbal Roshanski, Ben-Gurion University of the Negev  
12:00 - 12:15 Closing words  
12:15 - 14:00 Lunch