Skip navigation
Skip navigation

A Decentralised Symbolic Diagnosis Approach

Schumann, Anika; Pencole, Yannick; Thiebaux, Sylvie

Description

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
URI: http://hdl.handle.net/1885/61055
Source: Proceedings of the European Conference on Artificial Intelligence (ECAI-2010)
DOI: 10.3233/978-1-60750-606-5-99

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator