Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework

Résumé

In this paper, a formal verification approach for diagnosability analysis of intermittent faults is proposed. In this approach, the industrial systems are abstracted as discrete-event systems (DES) and modeled by finite state automata (FSA), then a model-checking framework is set to deal with diagnosability issues. Intermittent faults are defined as faults that can automatically recover once they occur. We first revisit two existing definitions of diagnosability of intermittent faults, regarding the occurrence of faults and their normalization (i.e., disappearance of faults). Then, necessary and sufficient conditions are developed based on the twin plant construction, and reformulated as linear temporal logic (LTL) formulas in order to use model-checking for actual verification. A benchmark is used to illustrate the contributions discussed and to assess the efficiency and the scalability of the proposed approach.
Fichier non déposé

Dates et versions

hal-01646340 , version 1 (23-11-2017)

Identifiants

Citer

Abderraouf Boussif, Mohamed Ghazel. Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework. ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩. ⟨hal-01646340⟩
26 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More