Bibliographie & annexes
Présentation
En anglais
Auteur(s)
-
Moamar SAYED MOUCHAWEH : Université de Reims, Centre de Recherche en STIC (URCA-CReSTIC)
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleINTRODUCTION
Un système dynamique est susceptible d'évoluer entre des modes de fonctionnement normaux et défaillants. Un mode de fonctionnement défaillant est atteint suite à l'occurrence d'un défaut.
Le diagnostic des défaillances est défini comme l'opération permettant de détecter un défaut et de localiser son origine. Effectuer un diagnostic consiste à comparer l'information instantanée issue du système à une référence ou un modèle représentant le fonctionnement normal et/ou défaillant.
Lorsque l'on ne s'intéresse qu'à des instants particuliers de l'état du système (événements correspondants par exemple aux débuts et aux fins d'opérations ou à l'occurrence des défauts), les modèles à base d'événements discrets sont utilisés.
Dans cet article, différentes méthodes de diagnostic des Systèmes à événements discrets (SED) sont étudiées et classifiées selon différents critères. Leurs avantages, ainsi que leurs limites, sont ensuite présentés afin d'explorer la complémentarité entre ces méthodes.
De multiples exemples sont utilisés pour illustrer le principe de fonctionnement de ces méthodes.
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Conception et Production
(139 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Conclusion et discussion
En anglais
4. Vérification de diagnosticabilité et codiagnosticabilité
La notion de « diagnosticabilité » permet de vérifier formellement si un ensemble de défauts est diagnosticable dans un délai borné à partir d'un modèle du procédé et d'un ensemble d'événements observables . Selon la structure (centralisée, décentralisée, distribuée) et le modèle de défaut (à base d'événements, à base d'états), plusieurs formes de cette notion peuvent être définies : diagnosticabilité et codiagnosticabilité à base d'événements ou à base d'états.
Afin de définir les différentes formes de cette notion, nous rappelons quelques définitions de base. Chaque automate G engendre un langage L (G ) ⊆ Σ*. Ce langage est un sous-ensemble de l'ensemble de toutes les séquences d'événements possibles Σ* à partir d'un alphabet ou ensemble d'événements Σ. Ce dernier contient les ensembles d'événements observables Σ0 et non observables Σu0 . L'ensemble de défauts Σf à diagnostiquer appartient à Σu0 · ΠF1 ∈ Σf est l'ensemble ou la partition de défauts de type F1. La fonction de projection naturelle
est l'opération qui permet de ne garder que la partie observable de chaque séquence d'événements de Σ*. La fonction de projection naturelle inverse
est l'opération inverse qui permet, à partir d'une séquence d'événements observables :
, de trouver toutes les séquences d'événements appartenant...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Conception et Production
(139 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Vérification de diagnosticabilité et codiagnosticabilité
BIBLIOGRAPHIE
-
(1) - BORREGO (R.), GOMEZ-LOPEZ (M.T.), GASCA (R.M.) - Diagnosing distributed systems using only structural and qualitative information. - International Transactions on Systems Science and Applications, vol. 4, no 3, p. 270-276 (2008).
-
(2) - GENTIL (S.) - Supervision des procédés complexes. - Traité IC2, Série systèmes automatisés (2007).
-
(3) - LAMPERTI (G.), ZANELLA (M.) - On Processing Temporal Observations in Monitoring of Discrete-Event Systems. - Book Chapter, Enterprise Information Systems, vol. 3, no 3, p. 135-146 (2008).
-
(4) - ZWINGELSTEIN (G.) - Diagnostic des défaillances. - Traité des Nouvelles Technologies, série Diagnostic et Maintenance, Hermès (1995).
-
(5) - KULPERS (B.) - Qualitative simulation. - Artificial Intelligence, vol. 29, no 3, p. 289-338 (1986).
-
(6)...
DANS NOS BASES DOCUMENTAIRES
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Conception et Production
(139 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
