Skip navigation
Skip navigation

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

Grastien, Alban; Haslum, Patrik; Thiebaux, Sylvie


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
Source: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012


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

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