DocumentCode
2602138
Title
A comparison among tools for the diagnosability of discrete event systems
Author
Cabasino, Maria Paola ; Giua, Alessandro ; Marcias, Laura ; Seatzu, Carla
Author_Institution
Dept. of Electr. & Electron. Eng., Univ. of Cagliari, Cagliari, Italy
fYear
2012
fDate
20-24 Aug. 2012
Firstpage
218
Lastpage
223
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.
Keywords
discrete event systems; failure analysis; manufacturing systems; discrete event systems diagnosability analysis; parametric manufacturing system; Automata; Benchmark testing; Discrete event systems; MATLAB; Mathematical model; Petri nets; Vectors;
fLanguage
English
Publisher
ieee
Conference_Titel
Automation Science and Engineering (CASE), 2012 IEEE International Conference on
Conference_Location
Seoul
ISSN
2161-8070
Print_ISBN
978-1-4673-0429-0
Type
conf
DOI
10.1109/CoASE.2012.6386425
Filename
6386425
Link To Document