DREAMAP 2012 - Sciencesconf.org

Introduction

Yannick Pencolé

Model/Algorithm interfacing

› A 3-Valued Logic for Diagnostic Applications - Antoni Ligęza, AGH University of Science and Technology [Pologne] 14:15-14:45 (30min)

› Modeling and diagnosis dynamic system from timed observations - Ismail Fakhfakh, Laboratoire des Sciences de l'Information et des Systèmes 14:45-15:15 (30min)

Detectability, diagnosability max-fault min-cardinality, fault distinguishability, finite tractability, adaptability

› Computing Manifestations of Max-Size Min-Cardinality Ambiguity Groups - Alexander Feldman, University College Cork 15:15-15:45 (30min)

Coffee break

Performance metrics, Diagnosis accuracy

› Fault Diagnosis in Discrete-Event Systems: How to Analyse Algorithm Performance? - Yannick Pencolé, CNRS-LAAS, Université de Toulouse 16:15-16:45 (30min)

› Comparison of Distributed Diagnosis Methods on Networks with Different Properties - Alban Grastien, National ICT Australia, Australian National University 16:45-17:15 (30min)

Open discussion: synthesis, new challenges, roadmaps....

Everybody