Supervision Patterns: Formal Diagnosability Checking by Petri Net Unfolding

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

“…A supervision pattern is a formal model (automaton, Petri net, etc.) whose language is the set of trajectories to be diagnosed (Jéron et al, 2006;Gougam et al, 2013a). It is general enough to cover a broad class of diagnosis objectives found in the literature, e.g., diagnosis of multiple and repeated faults, sequences of significant events, repair of faults, etc.…”

“…Supervision patterns extend the expressiveness of faulty models by introducing more complex faulty behaviors (Gougam et al, 2013b), being useful in the generalization of the diagnosis definitions and to clarify the separation between the diagnosis objectives and the system specifications. In this regard, the results obtained from the diagnosis task can be simply re-utilized to deal with similar diagnosis issues, due to their generic nature (Lamperti and Zanella, 2004).…”

“…Gougam et al (2014) discuss the discriminability 7 of supervision patterns in a Petri net framework (in that work, both the system model and patterns are Petri net models). The diagnosability of Petri net patterns has also been discussed in Gougam et al (2013b) and Gougam et al (2017). In Pencolé and Subias (2018), the diagnosis of patterns is formulated as a pattern matching problem, and to this end, they use bounded and labeled prioritized Petri nets and tackle this problem using model checking techniques.…”

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

“…In Jéron et al (2006) a pattern is modeled as an automaton that must describe the full event set of the system and must be complete (from any automaton's state, any event of the system must be associated with exactly one output transition of the state). In Gougam et al (2013), the presented patterns require completeness so they are also more dependent from the system. Definition 4 proposes a more concise way to model pattern that also reinforces the separation between the system and the diagnosis objectives.…”

Discriminability Analysis of Supervision Patterns by Net Unfoldings

“…The notion of pattern discriminability is obviously related to the notion of pattern diagnosability and their respective analyses (Jiang et al (2003), Jéron et al (2006), Yoo and Garcia (2008), Gougam et al (2013)), however the point of view is di erent. The result of a diagnosability analysis states whether any considered pattern is always detectable or not.…”