Monday, August 27, 2012
Time | Event | |
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 |