Title | ||
---|---|---|
An Experimental Comparison Of Two Approaches For Diagnosability Analysis Of Discrete Event Systems - A Railway Case-Study |
Abstract | ||
---|---|---|
In this paper, two approaches for diagnosability analysis of discrete event systems are discussed and experimentally evaluated. The considered approaches are the diagnoser-based approach proposed in [1,2] and the model-checking reformulation approach proposed in [3,4]. Experiments are performed on a level crossing benchmark, using the software tools integrating the considered approaches. These two approaches show different features in terms of state-space building and procedure for analyzing diagnosability. Based on the obtained results through the benchmark, a comparative discussion is provided particularly regarding the generated state-spaces and the time consumption for analyzing diagnosability. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/978-3-319-66176-6_7 | VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2017 |
Keywords | DocType | Volume |
Discrete event systems, Diagnosability analysis, Fault diagnosis, Model-checking | Conference | 10466 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Abderraouf Boussif | 1 | 0 | 0.34 |
Mohamed Ghazel | 2 | 59 | 11.13 |