A comparison among tools for the diagnosability of discrete event systems

In this paper we compare three tools for the diagnosability analysis of discrete event systems. After introducing the notion of diagnosability, we recall for each tool the main theoretical results on which it is based. A benchmark that describes a parametric manufacturing system is defined and used for comparison. We report the numerical results obtained for different values of the parameters and draw some general conclusions on the advantages and possible improvements of these tools.