2008-02: Unfolding-based Diagnosis of Systems with an Evolving Topology

Derivate 20167

498.2 KB in one file, last changed at 22.11.2012

File list / details

FileFiles changed onSize
tr_dbg_2008_2.pdf03.07.2008 16:54:17498.2 KB
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.
Bookmark:
Permalink | Share/Save
Dokumententyp:
Wissenschaftliche Texte » Heft, Band
Fakultät / Institut:
Fakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Dewey Dezimal-Klassifikation:
000 Informatik, Informationswissenschaft, allgemeine Werke » 000 Informatik, Wissen, Systeme » 004 Datenverarbeitung; Informatik
Keywords:
diagnosis, unfolding, graph transformation
Language:
Englisch
Collection / Status:
E-Publications / Document published
Document created on:
02.07.2008
Files changed on:
22.11.2012
Medientyp:
Text
Source:
Technischer Bericht Nr. 2008-02 ISSN 1863-8554 Abteilung für Informatik und Angewandte Kognitionswissenschaft Fakultät für Ingenieurwissenschaften Universität Duisburg-Essen