Skip to Main content Skip to Navigation
Journal articles

Unfolding-based Diagnosis of Systems with an Evolving Topology

Abstract : We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge, we exploit the unfolding as a compact data structure to store them, along the lines of previous work dealing with Petri net models. Given a model of a system and an observation, the explanations can be constructed by unfolding the model constrained by the observation, and then removing incomplete explanations in a pruning phase. The theory is formalised in a general categorical setting: constraining the system by the observation corresponds to taking a product in the chosen category of graph grammars, so that the correctness of the procedure can be proved by using the fact that the unfolding is a right adjoint and thus it preserves products. The theory should hence be easily applicable to a wide class of system models, including graph grammars and Petri nets.
Document type :
Journal articles
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/inria-00638204
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Friday, November 4, 2011 - 11:49:19 AM
Last modification on : Monday, April 26, 2021 - 4:24:01 PM
Long-term archiving on: : Sunday, February 5, 2012 - 2:21:53 AM

File

BCHK-icomp10.pdf
Files produced by the author(s)

Identifiers

Citation

Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. Unfolding-based Diagnosis of Systems with an Evolving Topology. Information and Computation, Elsevier, 2010, 10, pp.1169-1192. ⟨10.1016/j.ic.2009.11.009⟩. ⟨inria-00638204⟩

Share

Metrics

Record views

456

Files downloads

679