|
09:00 - 09:15
|
discours_titre_159632 |
|
|
09:15 - 10:15
|
discours_titre_159631 - Gerald Steinbauer |
|
|
10:15 - 10:45
|
pause_titre_159634 |
|
|
10:45 - 12:15
|
sess_74615 |
|
|
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
|
pause_titre_159638 |
|
|
14:00 - 15:30
|
sess_74616 |
|
|
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
|
pause_titre_159641 |
|
|
16:00 - 17:30
|
sess_74620 |
|
|
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 |
› Diagnosing Resilience - Ingo Pill, Silicon Austria Labs (SAL) |
|
|
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 |
› 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 |
|
|
16:00 - 17:30 |
› How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms - Patrick Rodler, University of Klagenfurt |
|
