Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults
Diagnostic à base de modèle préférentiel pour fautes intermittentes et permanentes
Résumé
In this paper we consider the diagnosis of intermittent and permanent faults in discrete event systems. We present a logic based modeling approach associated with conditional preferences in order to produce a single diagnosis at each time step. Like all incomplete diagnosis approaches, ours is subject to deadlocks between the system and its diagnoser. In this paper, we address the detection of such deadlocks at design time with the rich semantic model-checker ELECTRUM.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...