Skip navigation
Skip navigation

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

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

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator