Automatic Construction of Diagnoser for Complex Discrete Event Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Automatic Construction of Diagnoser for Complex Discrete Event Systems

Résumé

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.
Fichier principal
Vignette du fichier
article_diagnoser.pdf (194.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00676764 , version 1 (06-03-2012)

Identifiants

  • HAL Id : hal-00676764 , version 1

Citer

E. Gascard, Zineb Simeu-Abazi. Automatic Construction of Diagnoser for Complex Discrete Event Systems. International workshop on Dependable Control of Discrete systems, Jun 2011, Saarbrucken, Germany. pp.112-1125. ⟨hal-00676764⟩
443 Consultations
284 Téléchargements

Partager

Gmail Facebook X LinkedIn More