Skip navigation
Skip navigation

A Decentralised Symbolic Diagnosis Approach

Schumann, Anika; Pencole, Yannick; Thiebaux, Sylvie


This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given sequence of observations. Several model-based diagnosis approaches deal with this problem but they usually have either poor time performance or result in space explosion. Recent work has shown that both problems can be tackled when encoding diagnosis approaches symbolically by means of binary decision diagrams. This...[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: Proceedings of the European Conference on Artificial Intelligence (ECAI-2010)
DOI: 10.3233/978-1-60750-606-5-99


File Description SizeFormat Image
01_Schumann_A_Decentralised_Symbolic_2010.pdf204.42 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator