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 precisio Show more