@inproceedings{72722379f783464699d978534b5f3b36,
title = "Verifying the precision of diagnostic algorithms",
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 precision. This paper presents a method to decide whether precision is maintained by such incomplete algorithms. To this end we define the Simulation, which is a modification of the model that simulates how the algorithm works. We then use the twin plant method to decide whether diagnosability is maintained despite the imprecision of the diagnostic algorithm. We illustrate the benefits of this approach on two diagnostic algorithms, namely Independent-Windows Algorithms and Chronicle-based Diagnosis.",
author = "Xingyu Su and Alban Grastien",
note = "Publisher Copyright: {\textcopyright} 2014 The Authors and IOS Press.; 21st European Conference on Artificial Intelligence, ECAI 2014 ; Conference date: 18-08-2014 Through 22-08-2014",
year = "2014",
doi = "10.3233/978-1-61499-419-0-861",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "861--866",
editor = "Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan",
booktitle = "ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings",
address = "Netherlands",
}