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.
A comparison among tools for the diagnosability of discrete event systems
GIUA, ALESSANDRO;SEATZU, CARLA
2012-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.