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