Verifying the Precision of Diagnostic Algorithms
Date
2014
Authors
Su, Xing yu
Grastien, Alban
Journal Title
Journal ISSN
Volume Title
Publisher
IOS Press
Abstract
Diagnosis of discrete event systems requires to decide whether the system model allows for certain types of executions to take place. Because this problem is hard, incomplete yet faster algorithms may be needed. This however can lead to a loss of precisio
Description
Keywords
Citation
Collections
Source
ECAI 2014
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description