Unfolding-Based Diagnosis of Systems with an Evolving Topology
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.
KeywordsDiscrete Event System Type Graph Graph Grammar Variable Topology Typing Morphism
Unable to display preview. Download preview PDF.
- 4.Baldan, P., Chatain, T., Haar, S., König, B.: Unfolding-based diagnosis of systems with an evolving topology. Technical Report 2008-2, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen (2008)Google Scholar
- 8.Chatain, T., Jard, C.: Models for the supervision of web services orchestration with dynamic changes. In: AICT/SAPIR/ELETE, pp. 446–451. IEEE, Los Alamitos (2005)Google Scholar
- 11.Haar, S., Benveniste, A., Fabre, E., Jard, C.: Partial order diagnosability of discrete event systems using Petri net unfoldings. In: Proc. 42nd IEEE Conf. on Decision and Control (CDC) (2003)Google Scholar
- 12.Lack, S., Sobociński, P.: Adhesive and quasiadhesive categories. RAIRO – Theoretical Informatics and Applications 39(3) (2005)Google Scholar
- 14.Löwe, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In: Sleep, M.R., Plasmeijer, M.J., van Eekelen, M.C. (eds.) Term Graph Rewriting: Theory and Practice, pp. 185–199. Wiley, Chichester (1993)Google Scholar