Unfolding-based Diagnosis of Systems with an Evolving Topology - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

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 thus should be easily applicable to a wide class of system models, including graph grammars and Petri nets.

Domains

Other [cs.OH]

Dates and versions

inria-00638300 , version 1 (04-11-2011)

Identifiers

Cite

Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. Unfolding-based Diagnosis of Systems with an Evolving Topology. Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), 2008, Toronto, Canada, Canada. pp.203-217, ⟨10.1007/978-3-540-85361-9_19⟩. ⟨inria-00638300⟩
142 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More