Skip navigation
Skip navigation

Conflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice

Request a Copy

link to publisher version

Grastien, Alban; Haslum, Patrik; Thiebaux, Sylvie

Description

We present a conflict-based approach to diagnosing Discrete Event Systems (DES) which generalises Reiter's Diagnose algorithm to a much broader class of problems. This approach obviates the need to explicitly reconstruct the system's behaviors that are co

CollectionsANU Research Publications
Date published: 2012
Type: Conference paper
URI: http://hdl.handle.net/1885/27993
Source: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012

Download

File Description SizeFormat Image
01_Grastien_Conflict-Based_Diagnosis_of_2012.pdf355.19 kBAdobe PDF    Request a copy
Show full item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator