Conflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice
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
|Collections||ANU Research Publications|
|01_Grastien_Conflict-Based_Diagnosis_of_2012.pdf||355.19 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.