Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

minca THE PUBLISHING HOUSE OF THE ROMANIAN ACADEMY PROCEEDINGS OF THE ROMANIAN ACADEMY Series A Volume Number pp ?? APPROCHE DE LA SURVEILLANCE DES SYSTEMES PAR RESEAUX DE PETRI SYNCHRONISES FLOUS Eugenia MINCA Florin FILIP Ryad ZEMOURI Faculté de Génie E

THE PUBLISHING HOUSE OF THE ROMANIAN ACADEMY PROCEEDINGS OF THE ROMANIAN ACADEMY Series A Volume Number pp ?? APPROCHE DE LA SURVEILLANCE DES SYSTEMES PAR RESEAUX DE PETRI SYNCHRONISES FLOUS Eugenia MINCA Florin FILIP Ryad ZEMOURI Faculté de Génie Electrique de l ? Université Valahia Bd Unirii nr Targoviste Roumanie minca valahia ro Académie Roumaine Calea Victoriei Sct Bucure ti Roumanie ?lip acad ro Laboratoire d ? Automatique du CNAM Rue Pinel Paris Ryad Zemouri paris ensam fr Résumé Dans cet article nous proposons un nouvel outil de modélisation des systèmes à évènements discrets avec fonctionnement non autonome qui intègre la logique ou dans un outil de type RdP Ttemporisés Les connaissances incertaines associées à cette activité exigent des raisonnements spéci ?ques et des méthodes de modélisation adaptés à une logique di ?érente de la logique des connaissances précises La logique oue o ?re le cadre pour l ? exploitation des connaissances oues qui du point de vue qualitatif donne des résultats plus ?ns que la logique classique Dans ce contexte le réseau de Petri ou synchronisé ou RdPSinF sera bien adapté dans la modélisation des fonctions détection décision par une approche trasitions-temporisés oue Mots clés détection oue logique oue raisonnement ou réseaux de Petri T-temporisés INTRODUCTION Les connaissances incertaines associées à la surveillance des systèmes à évènements discrets exigent des raisonnements spéci ?ques et des méthodes de modélisation adaptées à une logique di ?érente de la logique classique Dans la catégorie des outils de modélisation le réseau de Petri ou est un outil très approprié pour l ? étude des systèmes à événements discrets décrits par de telles connaissances imprécises Un état de l ? art très complet des di ?érentes approches de réseaux de Petri ous RdPF a été publié par J Cardoso et B Pradin-Chezalviel dans Les di ?érents types de logiques classique linéaire et oue utilisées dans la description des systèmes génèrent deux grandes catégories de modèles RdPF la première classe de modèles est représentée par les Systèmes Experts Flous Dans ce cas le RdPF est interfacé avec le système surveillé par les informations fournies par les capteurs et représente l ? équivalent d ? un contrôleur ou pour un système à évènement discret Une autre classe d ? applications est modélisée par les RdPF qui expriment l ? imprécision ou le ou des connaissances Ce dernier type de RdPF modélise un système physique en appliquant la logique linéaire au niveau des transformations des ressources En général les RdPF utilisent la logique classique au niveau de la sémantique des propositions logiques modélisées Notre contribution se situe dans la première classe de RdPF Pour modéliser la fonction de surveillance on utilise une extension du RdPF qui intègre par l ? aspecte temporelle - l ? instant d ? apparition des défauts dans le système surveillé Le RdPFS est orienté pour la modélisation d ? une base des règles logiques oues qui découle de l ? expression logique de l ? arbre des défaillances ADD identi ?é a