|
14:00 - 14:15
|
Introduction - Yannick Pencolé |
|
|
14:15 - 15:15
|
Model/Algorithm interfacing |
|
| 14:15 - 14:45 |
› A 3-Valued Logic for Diagnostic Applications - Antoni Ligęza, AGH University of Science and Technology [Pologne] |
|
| 14:45 - 15:15 |
› Modeling and diagnosis dynamic system from timed observations - Ismail Fakhfakh, Laboratoire des Sciences de l'Information et des Systèmes |
|
|
15:15 - 15:45
|
Detectability, diagnosability max-fault min-cardinality, fault distinguishability, finite tractability, adaptability |
|
| 15:15 - 15:45 |
› Computing Manifestations of Max-Size Min-Cardinality Ambiguity Groups - Alexander Feldman, University College Cork |
|
|
15:45 - 16:15
|
Coffee break |
|
|
16:15 - 17:15
|
Performance metrics, Diagnosis accuracy |
|
| 16:15 - 16:45 |
› Fault Diagnosis in Discrete-Event Systems: How to Analyse Algorithm Performance? - Yannick Pencolé, CNRS-LAAS, Université de Toulouse |
|
| 16:45 - 17:15 |
› Comparison of Distributed Diagnosis Methods on Networks with Different Properties - Alban Grastien, National ICT Australia, Australian National University |
|
|
17:15 - 18:00
|
Open discussion: synthesis, new challenges, roadmaps.... - Everybody |
|
