Modular Modelling for the Diagnostic of Complex Discrete-Event Systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automation Science and Engineering Année : 2013

Modular Modelling for the Diagnostic of Complex Discrete-Event Systems

Résumé

For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the improvement of the availability, the growth of production and of course, the reduction of maintenance costs. It is a key action in the improvement of performance of industrial feature. This article proposes a new approach which makes it possible to diagnose complex systems thanks to a modular modelling by communicating timed automata. Indeed, each component has been modeled separately, by a timed automaton integrating these various operating modes and the communication between the various components is carried out by the control module. Starting from each module of the complex system, this approach computes a deterministic automaton, called a diagnoser that uses observable events to detect the occurrence of a failure. The steps of the method are described by algorithms and illustrated through a batch neutralization process. The issue of implementation is also discussed.
Fichier non déposé

Dates et versions

hal-00787538 , version 1 (12-02-2013)

Identifiants

Citer

E. Gascard, Zineb Simeu-Abazi. Modular Modelling for the Diagnostic of Complex Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering, 2013, 9 (4), pp.1100-1125. ⟨10.1109/TASE.2012.2229707⟩. ⟨hal-00787538⟩
149 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More