Modular Modelling for the Diagnostic of Complex Discrete-Event Systems - Archive ouverte HAL Access content directly
Journal Articles IEEE Transactions on Automation Science and Engineering Year : 2013

Modular Modelling for the Diagnostic of Complex Discrete-Event Systems

Abstract

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.
Not file

Dates and versions

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

Identifiers

Cite

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⟩
144 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More