Supervision patterns in discrete event systems

摘要: In this paper, we are interested in the diagnosis of discrete-event systems modeled by finite tranistion systems. We propose a model supervision patterns general enough to capture past occurrences particular trajectories system. Modeling diagnois objective allows us generalize properties be diagnosed and render them independent description first formally define problem context. then derive techniques for construction diagnoser verification diagnosticability based on standard operations transition show that these express solve unified way broad class problems found literature, e.g. diagnosing permanent faults, multiple faults sequences some intermittent failures.