A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure

Résumé

In this paper, an approach to analyze diagnosability of intermittent failures in discrete-event systems (DESs) is developed. The analysis is performed based on the twin-plant structure generated from the input model, which is a finite state automaton (FSA), where states are partitioned according to the predefined failure conditions of the system. Two definitions of diagnosability, regarding the occurrence of failures and their normalization (i.e., the disappearance of failures) are discussed. Necessary and sufficient conditions for diagnosability are developed and proved. Then, an incremental algorithm to actually check such conditions is elaborated. Finally, a benchmark is given to both illustrate the various concepts discussed and assess the efficiency of the proposed approach.
Fichier non déposé

Dates et versions

hal-01374116 , version 1 (29-09-2016)

Identifiants

Citer

Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩. ⟨hal-01374116⟩
60 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More