Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems

Abstract-In this paper a new attempt for fault detection and isolation in discrete event systems is proposed. An identified model constitutes a timed observer of the fault-free system behavior. Non-acceptable plant operation is detected by comparing the behavior of the model with the observed system output. For fault isolation, timed residuals and generic fault symptoms -early and late events -are introduced. Time bounds are composed using Boolean conditions and statistical analysis. In case of a fault, timed and untimed residuals are concluded in order to refine a set of potential faulty candidates. The method is applied to the given benchmark system of a virtual production plant with an external controller.

show abstract

“…The logic condition does not hold for 3 x . The list of potential successive states is thus reduced to 2 x .…”

Section: E Illustrative Examplementioning

confidence: 99%

“…This class of models is studied in detail in [1] and an extension to dense-time automata is given in [2]. A Boolean decentralized structure with timed diagnosers is presented in [3] and an approach to timed FDI using fault-free models and template language is proposed in [4].…”

Section: Introductionmentioning

confidence: 99%

Timed residuals for fault detection and isolation in discrete event systems

Schneider

Litz

Danancher

2011

2011 3rd International Workshop on Dependable Control of Discrete Systems

View full text Add to dashboard Cite

show abstract

“…To handle large DES, there exist methods relying on a decentralised model [15] such as [10], [11]. These decentralised diagnoser approaches compute a diagnosis for each component of the system (local diagnosis) and then build a diagnosis of the whole system (global diagnosis) by merging these local diagnoses.…”

Section: Introductionmentioning

confidence: 99%

Automatic construction of diagnoser for complex discrete event systems

Gascard

Simeu-Abazi

2011

2011 3rd International Workshop on Dependable Control of Discrete Systems

View full text Add to dashboard Cite

Abstract-This paper deals with the problem of fault diagnosis of complex discrete event systems in the context of communicating timed automata. Indeed, for the diagnosis, this kind of systems can be represented by timed models whose components communicate through channels. This paper starts with a description of our modelling methodology of discrete event systems as communicating timed automata. The proposed approach for diagnosis (detection and isolation) is based on the methodology known as the diagnoser approach. This paper extends the approach of diagnoser through the taking into account of the various communicating synchronized automata representing the components of the system. It proposes an automatic step of construction of the global model. The application of the proposed algorithm allows to obtain the diagnoser of the studied system. Starting from a model of the complex system, this approach computes a deterministic automaton, called a diagnoser, which uses observable events to detect the occurrence of a failure. The different steps of the proposed method are described by algorithms and illustrated through a batch process.

show abstract

“…A fault is detected if there are missing or wrong reactions in the process. Sayed-Mouchaweh et al (2008) presented a combination of these two kinds of approaches that is adapted for fault diagnosis of manufacturing systems. Instead of one central diagnoser, a set of decentralized diagnosers is developed that delivers diagnosis information according to special rules.…”

Section: Introductionmentioning

confidence: 99%