Conflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice
Date
2012
Authors
Grastien, Alban
Haslum, Patrik
Thiebaux, Sylvie
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
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
Description
Keywords
Citation
Collections
Source
13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description