Conflict-based diagnosis of discrete event systems: theory and practice
Alban Grastien, Patrik Haslum, Sylvie Thiébaux · ANU Open Research (Australian National University) · 2012
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