Surveillance par rseaux de Ptri flous: application un brleur fuel

Anis MHALLA,Kamel BEN OTHMAN ,Mohamed BENREJEB Ecole National dIngnieurs de Monastir, Rue Ibn Eljazar 5019 Tunisie,Fax :(+216)73500514 ;email :( anis_mhalla2003@yahoo.fr, Kamel.benothman@enim.rnu.tn,) Mohamed.benrejeb@enit.rnu.tn

Rsum
Le prsent article concerne lapplication de la surveillance par rseaux de Ptri flous un brleur fuel.. Aprs avoir modlis le fonctionnement du brleur par un rseau de Ptri objet (RdPTO) nous avons dtermin son arbre des dfauts et on a construit son rseau de Ptri flous de surveillance (RdPFS). Pour lvaluation de la gravit des dfauts et du degr de vrit de l'implication logique, on propose une mthode de calcul utilisant les oprateurs ET flou et OU flou ddis au calcul de la valeur floue pour la place de sortie et pour la transition quivalente. Une tude comparative entre lapproche propose et celle de MINCA pour le calcul de la gravit du dfaut et du degr de vrit de l'implication logique est ralise. Les deux mthodes proposes sont testes diffrents instants, pour un spectre de dfauts bien dfini.

Mots cls : arbre de dfaillance, rseau de Ptri objet, rseau de Ptri flous, gravit du dfaut, degr de vrit, 1/INTRODUCTION Lutilisation des rseaux de ptri pour la modlisation des systmes vnements discrets a t tendue au domaine de diagnostic par association la logique floue. Les rseaux de ptri flous sont orients vers la modlisation des raisonnements flous sur la base des rgles logiques statiques. Pour donner un aspect dynamique la surveillance des systmes les rseaux de ptri flous pour la surveillance ont t tudis rcemment Nous considrons lhypothse que le systme surveill est modlis par un rseau de Ptri Temporel Objet (RdPTO).Nous proposons ainsi un rseau de Ptri flou pour la surveillance (RdPFS) qui modlise la propagation des dfauts du systme surveill , exprime par un outil descriptif de type arbre de dfaillance (ADD). La propagation des dfauts est value par des sections temporelles du marquage du RdPFS. Loutil propos est capable de faire lanalyse des dfauts et de dclencher laction qui corrige le fonctionnement en mode dgrad dfaillant ou interdit du systme surveill. 2. MODELISATION DU SYSTEME SURVEILLE PAR OBJET (RDPTO) RESEAU DE PETRI TEMPOREL

La modlisation du systme surveill fait appel deux Rseaux de Ptri Temporels Objets (RdPTO), sur le modle de Combacau [2]. Un des rseaux modlise les tats de fonctionnement correct du systme et reprsente le rseau de rfrence. Ce rseau sert de rfrence pour le systme de commande modlis par un autre RdPTO appel rseau de commande. Les deux rseaux sont en collaboration troite, Figure1. Laspect temporel [5] orient objet consiste en laffectation de linstant de franchissement dune transition en tant quattribut fondamental du jeton.

Surveillance par rseaux de Ptri flous: application un brleur fuel

Symptome 1
TG1

[1, 1]
<p>

Tdeb_com1
<p>

Tdeb_ref
<p>

Pd_e
<p>

TG2

[2, 2]

<p>

ai en cours

Pd_s

Tdeb_com2 ai en cours Tfin_com1

<p>

Symptome 2

Tfin_ref

Pf_e Pf_s
<p>

Rseau de rfrence

Tfin_com2
Rseau de commande

Figure 1. Modlisation du systme surveill par RdPTO. Intgration de la dtection dans le modle, par lintermdiaire des symptmes des dfauts.

3. RESEAUX DE PETRI FLOUS POUR LA SURVEILLANCE : Lutilisation des RdP pour la dtection des dfauts dans les systmes vnement discrets (SED) et la modlisation de la propagation, et ladaptation de la logique floue pour la reprsentation des systmes de surveillance complexes ou mal dfinis, amne proposer un rseau de Ptri flou pour la surveillance. Cet outil est orient vers la modlisation des raisonnements flous, sur la base des rgles logiques statiques [3], [4] Afin de modliser les fonctions de dtection/diagnostic, nous dfinissons un modle flou RdPFS, capable dintgrer linstant dapparition des dfauts du systme surveill. Le modle RdPFS est bas sur une expression qui dfinit lenchanement logique des dfauts, en fonction de leur propagation. Les dfauts considrs dans cette expression logique (similaire aux expressions logiques gnres par un arbre de dfaillance) portent le nom de dfauts de base d . Leur apparition est signale par lensemble des signaux de synchronisation si avec le modle RdPTO du systme surveill. Les dfauts drivs d sont des combinaisons logiques de dfauts de base ou/et de dfauts drivs antcdents. Lensemble de tous ces dfauts est D = D D {d1, d2, .dm.,ds1 ,ds2,dsn} o les dfauts drivs sont dfinis par les fonctions logiques de conjonction et/ou disjonction de dfauts dj existants. Les combinaisons logiques de dfauts sont exprimes par la base des rgles R. Dans le systme vnements discrets surveill (modle RdPTO), linstant de franchissement t de la transition associe une activit ai surveille (faisant lobjet dune dtection directe) peut tre modlis par la fonction dappartenance FN correspondant une activit normale ou par la fonction dappartenance F correspondant lapparition dun dfaut dexcution, Figure 2. La dtection directe implante dans le modle RdPTO du systme, surveille ainsi l'apparition des dfauts par un mcanisme de type chien de garde (CG). La communication et la synchronisation entre les modles du systme (RdPTO) et le modle de surveillance (RdPFS) se fait par lintermdiaire de symptmes de type signaux de synchronisation (nots par !?s)

Surveillance par rseaux de Ptri flous: application un brleur fuel

Symptme de dfaut
!si

Chemin critique

!rk
<p>

ai
<p>

j i = F(t)
i

Ti
FN F

pj

<p>

t tp

Rseau de Ptri Temporel Objet RdPTO pour la modlisation du systme de surveillance et la dtection directe

Rseau de Ptri Flou pour la Surveillance RdPFS Pour la modlisation de la propagation des dfauts ( partir de l'arbre de dfaillance du systme) et le pronostic

Figure 2. Principe de modlisation de la propagation de dfauts daprs Minca

3.1 .Dfinition du RdPFS Le RdPFS est un outil dfini [5] comme tant le n-uplet RdPFS = < P, T, D, I, O, F, ?S, !R, , > , avec : P = {p1, p2,..pn} ensemble fini des places qui modlisent les dfauts possibles du systme : dfauts de base et dfauts drivs. T = {t1, t2,..tn} ensemble fini des transitions qui modlisent lvolution des dfauts, en conformit avec un ensemble des rgles logiques floues R. Chaque transition est associe une rgle ; D = {d1, d2,..dn} ensemble fini de propositions logiques qui dfinissent la base des rgles R; I:TP fonction dentre dans les places ; O : P T fonction de sortie des places ; f : T F fonction qui associe la chaque rgle modlise par une transition, une fonction dappartenance F qui dcrit le degr de crdibilit = F(t) de la rgle. Linstant t correspond la dtection dun symptme de dfaut ; : P [0,1] fonction associative qui tablit une valeur de crdibilit i (nombre flou) pour les places correspondantes aux propositions logiques diD. Ce paramtre reprsente la possibilit dapparition du dfaut associ la place pi ; : P [0,1] fonction qui associe une place piP, une valeur de seuil i dacceptabilit/permissivit pour le dfaut correspondant, du point de vue de laction de reprise. i correspond au seuil davertissement du paramtre . Le paramtre i est associ uniquement aux places symbolisant les dfauts drivs ; !?S = {s1, s2,, sl} ensemble des signaux des symptmes des dfauts envoys (!) ou reus (?) par le systme surveill respectivement le systme de surveillance. Ils arrivent sur les transitions charges avec l'information temporelle (l'instant t) aussi avec la valeur qui dcrit la gravit du dfaut; !R = {r1, r2,, rl} ensemble des signaux de reprise mis par le systme de surveillance; 0 Marquage initial qui correspond aux jetons assigns aux places correspondant aux dfauts de base. Chaque transition Ti du RdPFS correspond une rgle floue qui dcrit la propagation des dfauts. Elle est associe la fonction = F (t) qui exprime le degr de crdibilit de la rgle de propagation des dfauts modlise par la transition concerne. Cette fonction associe chaque rgle une crdibilit dynamique [6].

Surveillance par rseaux de Ptri flous: application un brleur fuel

Chaque place du RdPFS correspond un dfaut (ou une dgradation) du systme surveill. Le marquage dune place pj, correspondant un dfaut de base, figure 2. A chaque place est associ une valeur floue j appartenant lintervalle [0,1] de crdibilit (gravit) du dfaut de base observ. 4. SURVEILLANCE PAR RESEAUX DE PETRI FLOUS: APPLICATION A UN BRULEUR A FUEL 4.1 Fonctionnement d'un brleur fuel et sa modlisation par un RDPTO Les brleurs sont intgrs essentiellement dans des chaudires pour le chauffage de l'eau et la production de vapeur. Le brleur fuel a pour fonction de mlanger, dans des proportions correctes, l'air comburant et le fuel pour permettre la combustion,figure 3.
Alimentation lectrique Moteur lectrique Pompe Electrovannes Transformateur haute Tension Coffret de commande et de scurit Ventilateur Alimentation Air Alimentation Fuel lectrodes Dtection flamme + Fuel + Etincelle = Flamme Air

Figure 3. Principe de fonctionnement d'un brleur fuel.

L'alimentation en fuel est assure par une pompe qui puise dans le rservoir. La pompe a galement pour mission de maintenir, via un rgulateur, une pression suffisante au fuel pour permettre sa pulvrisation. L'lectrovanne a pour rle de librer le combustible au moment dtermin par la programmation. Un gicleur assure la pulvrisation du fuel en des gouttelettes et le rglage du dbit de fuel. On parle donc de "brleur pulvrisation. Le modle du brleur est reprsent par la figure 4 :

t 1 Mise sous tension

t 2 fin temporisation

t 3 dtection flamme

t4 fin temporisation

t 7 flamme non dtecte

10s
t 5 arrt t 6 extinction flamme t 8 Action sur BP rarmement

Figure 4. Rseau de Ptri objet associ un brleur fuel

Surveillance par rseaux de Ptri flous: application un brleur fuel

Le rseau de Ptri de commande modlise les tats de bon fonctionnement du systme. Loccurrence dun vnement interne ou externe fait voluer le rseau vers un tat (le marquage du rseau) qui sera identifi par les tats dsirables du systme. 4.2 Construction de larbre des dfauts du brleur fuel Larbre de dfaillance intgre des divers types de dfauts qui se classent comme suit [7] : -dfauts permis : peuvent tre corrigs sans arrter le systme et sans interventions sur le systme de commande. -dfauts autoriss : caractriss par un certain degr de risque qui demande une intervention obligatoire au niveau de la commande. -dfauts interdits : provoquent des tats interdits du systme. Dans ce cas, une action de reprise est impossible. L'expression de lvnement indsirable F0 est une combinaison des : -dfauts de base - et des dfauts drives qui sont issues de dfauts de base ou/et de dfauts drivs antcdents Larbre de dfaillance du brleur fuel que nous avons construit ,figure 5, intgre les capteurs placs sur la chaudire qui sont en relation directe avec le brleur. Ces lments de contrle commande sont : -deux capteurs de tempratures (sonde 1, sonde 2) -un capteur de pression (contact mercure)
Le brleur est dfaillant

F0

F4
Rglages des tempratures et sondes

F1
Dfaut dans la boite de contrle

ou

F2
Dfaut dans le circuit fuel

F3
Dfaut au niveau du transformateur
w

ou

Sondes dfaillantes

ou
a b

ET ou
m n

Contact auxiliaire Contact mercure

Sonde 1(T) Dchet du fuel Microcoupure

Sonde 2 (T)
s j v

le gicleur est dfaillant

voir la citerne

Pompe fuel est dfaillante

ou
e f

La pompe Nourrissante du fuel est dfaillante

pr filtre entre du brleur est dfaillant ou

lectrovannes dfaillantes

ET

1 re lectrovanne 2 me lectrovanne

ou

Dfaut lectrique

Dfaut pneumatique

Pas d tincelle
y

tincelle mais pas de ventilation

z

Niveau du fuel bas

c

Crepine bouche
d g

ET
h k

ET
l

Transformateur hors service

lectrodes

Moteur de ventilation dfaillant

Le volet et ses accessoires

Figure 5. Arbre de dfaillance dun brleur fuel

Surveillance par rseaux de Ptri flous: application un brleur fuel

4.3 Construction du RdPFS Le RdPFS modlise lexpression de lvnement indsirable F0 (brleur dfaillant) en mettant en forme chaque implication lmentaire de type di d j . On considre lexpression logique F0 de la propagation des dfauts dans un arbre de dfaillance associ un brleur fuel [1]. Les oprateurs + et * reprsentent la runion ou lintersection des variables logiques. Lexpression logique F0 de lvnement indsirable partir de larbre de dfaillance est : F0 = F1 + F2+ F3+ F4 = (a + b + c + d + e+ f + I + j+ s+ o+ p) + (q* r) + (g * h) + (k * l) + (m * n) =ds0+ ds1+ds2+ds3+ ds4 Avec : ds0 = (a + b + c + d + e+ f + I + j+ s+ o+ p) ds1 = (q* r) ds2 = (g * h) ds3 = (k * l) ds4 = (m * n) ds5 =(a + b + c + d + e+ f + I + j+ s+ o+ p) + (q* r) + (g * h) + (k * l) + (m * n) = F0 Pour chaque transition qui modlise une rgle correspondante une opration logique de larbre de dfaillance, nous avons conu les fonctions Fi dappartenance de linstant t aux classes apparition des dfauts di, dk .A chaque instant t , on identifie les diffrents degrs de crdibilit. a , b , c , d , e , f , g , h , i , j , k , l , m , n , o , p , q , r , s
a t b c d e f i j s t t
f a

T1 t
b

Sa Sb
c

T2 T3

t
t

Sc

T4
Sd

s0 s5

T5

!rx0 !rF0

Se

T6
Sf
i

t tt tt
t
j

T7
Si

T20

T8
Sj

T9

t
t

Ss

T10
0

t t t
t
p

So

t q

T11 Sp

t r g h k l

T12 Sq

s1

T16 Sr

t
t

t
g

T13

s2

Sg Sh

T17

t t

t t
t
l

T14

s3

Sk
Sl

T18
s4

m n

t t

Sm
n

T15 Sn

T19

t0

Figure 6 . Reprsentation de lexpression F0 par le RdPFS Surveillance par rseaux de Ptri flous: application un brleur fuel

5. CALCUL DE LA GRAVIT DES DFAUTS ET DU DEGR DE VRIT DE L'IMPLICATION LOGIQUE 5.1 Mthode propose par Minca pour le calcul de la gravit de la dfaillance Pour les transitions qui modlisent une implication avec plusieurs variables en antcdence et/ou plusieurs en consquence [6], on applique les formules suivantes, figure 7.
di i pi dj j pj ?sj [i , j] ?si pk dj j pj ?sj dk, pi di i ?si j pk i dk, !r k

a)

b)

k = [min( i , j ). max( i , j )]

k = [max( i , j ). min( i , j )]

Figure 7: calcul de la gravit de la dfaillance a)cas dune conjonction en antcdence b) cas dune disjonction en consquence

Nous proposons la base de rgles suivante, dcrivant lenchanement des dfauts associs lexpression logique de F0 :
R1 : ( a b c d e f i j s o p ) ds 0 R 2 : (q r ) ds 1 R3 : (g h) ds 2 R 4 : (k l ) ds 3 R 5 : (m n ) ds 4 R 6 : ds 0 ds 1 ds 2 ds 3 ds 4 ds 5

(1) (2) (3) (4) (5) (6)

Calcul de

s0 :

Pour R1 on applique la formule suivante :

R1 : ( a b c d e f i j s o p ) ds 0 a ds 0 b ds 0 c ds 0 d ds 0 e ds 0 f ds 0 i ds 0 j ds 0 s ds 0 o ds 0 p ds 0

s 0 = max( a , b , c , d , e , f , i , j , s , o , p ) * min( a , b , c , d , e , f , i , j , s , o , p )

Application : On suppose qu linstant t1 on a : a = 0.7 ; b = 0.8 ; c = 0.6 ; d = 0.9 ; e = 0.9 ; f = 0.8 ; i =0.8; j = 0.9 ; s = 0.8; =0 .9 ; p = 0.7; o a = 1 ; b = 1 ; c = 1 ; d = 1 ; e = 1 ; f = 1 ; i =1 ; j = 1 ; s =1 ; o= 1 ; p = 1
s0=

0.9
s1 :
1 1

Calcul de
q ds
s1

R 2 : ( q r ) ds
1

r ds
r )*

= min(

q,

max (q , r ) ;
s1

Application : Pour :
q

= 0.9
= 0.7

r=

0.7

; q = 1

; r = 1

Surveillance par rseaux de Ptri flous: application un brleur fuel

De la mme manire on peut retrouver

Calcul de s2 : = min( g , h)* max (g , h)

s2,

s3

et

s4

s2

Application : Pour :
g

=0.7
s2

= 0.8

g =1

; h = 1

=0.7

Calcul de s3 : = min ( k , l)* max (k , l) s3 Application : Pour :

s3

= 0.6

= 0.95 ;

k = 1

; l = 1

=0.6
s4 :

Calcul de
s4

= min (

m,

n)*

max (m , n)

Application: Pour :
m

= 0.8
s4

= 0.9

; m = 1 ; n =

=0.8
F0 :

Calcul de

R 6 : ds 0 ds 1 ds 2 ds 3 ds 4 ds 5 ds 0 ds 5 ds 1 ds 5 ds 2 ds 5 ds 3 ds 5 ds 4 ds 5
F0 =

max (

s0 ,

s1 ,

s2 ;

s3 ;

s4 )*1

F0 =0.9

5.2 Mthode propose pour le calcul de la gravit du dfaut et degr de vrit de l'implication logique Puis que les rseaux de Ptri flous font partie des outils de surveillance gnriques, faciles modliser, capables de prendre en compte lincertain, et dont la validation est envisageable grce loutil mathmatique associ, nous proposons des Oprateurs ET flou et OU flou ddis au calcul de la valeur floue pour la place de sortie et pour la transition quivalente. Ils s'appliquent uniquement pour les couples place/transition qui reoivent les signaux de synchronisation. Les oprateurs ET flou et OU flou proposs sont des oprateurs combins entre l'oprateur minimum et la moyenne arithmtique [1]. L'oprateur ET flou est dfini par: E(z)=A et B(z)= min [A(x),B(y)] + [(1- )/2] [A(x)+B(y)] (7) (8) Pour l'oprateur OU flou [1] que nous proposons, il est formul comme suit : O(z)=A ou B(z)=(1- )max [A(x),B(y)] + [ /2] [A(x)+B(y)]

Surveillance par rseaux de Ptri flous: application un brleur fuel

Avec le facteur

[0,1].

5.3 Application de lapproche propose suivant les typologies des rgles modlises par RDPFS Le RdPFS est spcialis dans la surveillance des systmes de production et plus particulirement, la modlisation des rgles logiques qui dcrivent la propagation des dfauts [8]. En utilisant cet outil, on peut donc reprsenter les typologies suivantes de rgles logiques.
Conjonction dans lantcdence :

( A B C ( A C ) (B C ) )
Disjonction dans lantcdence:

( A B C ( A C ) (B C ) )
Conjonction dans la consquence:

( A B C ( A B ) (A C ) )
Disjonction dans la consquence:

(A

BC

) (A

B ) ( A C)

Les places amont dune transition modlisent des dfauts de base ou des dfauts drivs. Dans le RdPFS, un dfaut de base se trouve toujours associ un signal de type symptme reu du systme surveill. a/ cas des propositions logiques de type implication floue avec conjonction en antcdence Pour une transition,qui a plusieurs (m) places amont qui modlisent des dfauts de base d

(d1 d 2 ................ d m d k ) et plusieurs (n) places amont qui modlisent des dfauts
drivs d ( d s1 d s 2 ................ d sn d k ) . En conformit avec une base de rgles R, le coefficient de vrit correspondant la transition associe l'ensemble des dfauts concurrents D i D prend la valeur [1] : =(1- ).max[1,2,,m,s1,s2,,sn]+[ La valeur de crdibilit
k=.[ k

/(n+m)].[1+2+m+s1+s2+...sn]

(9)

de la conclusion est donne par lexpression suivante : )/(n+m)].[

1 2++ m s1+ sn]]

.min[

2....... m

s1..., sn]+[(1-

(10)

b/ cas des propositions logiques de type implication floue avec disjonction en antcdence Le coefficient de vrit , correspondant la transition associe l'ensemble des dfauts disjonctifs Di D ( d1 d 2 .......... d m d s1 d s 2 ...........d sn ) d k ) prend la valeur [1] : = .min[1,2,,m,s1,s2,,sn]+[(1- )/(n+m)].[1+2+..m+s1++sn] (11)

Pour lapproche propose la valeur de crdibilit de la conclusion est donne par lexpression suivante :
k=.[(1-

).max[

2..... m

s1..., sn]+[(

)/(n+m)].[

2++ m+.

sn]]

(12)

5.4 Application de la mthode propose Les valeurs floues correspondantes aux places du RdPFS linstant t, ne reprsente pas une incertitude des connaissances mais la possibilit didentification dun certain scnario. La
Surveillance par rseaux de Ptri flous: application un brleur fuel

premire tape consiste dterminer les valeurs floues correspondant aux places intermdiaires en fonction de la base de rgles logiques proposes (voir formule 1, 2, 3, 4,5 et 6) : Pour les transitions qui modlisent une implication avec plusieurs variables en antcdence et/ou plusieurs en consquence, on applique les formules suivantes en respectant les formules gnralises prsentes dans cet article :
R1 : ( a b c d e f i j s o p ) ds 0 a ds 0 b ds 0 c ds 0 d ds 0 e ds 0 f ds 0 i ds 0 j ds 0 s ds 0 o ds 0 p ds 0

s 0 = [(1 ) max( a , b , c , d , e , f , i , j , s , o , p ) + *[ min( a , b , c , d , e , f , i , j , s , o , p ) +

( ) ( a + b + c + d + e + f + i + j + s + o + p )] 11

(1 ) ( a + b + c + d + e + f + i + j + s + o + p )] 11
s0

On obtient le tableau suivant qui calcule les diffrentes valeurs de : =0 =0.25 =0.5 =0.75
s1

pour les divers valeurs de

=1 0.7

0.8

0.775

0.75
s0

0.725
en fonction de

Tableau 1. Variation de
R2 : (q r) ds1 q ds1 r ds1

s1

= [ min( q , r ) + (

1 )( q + r )] * [( 1 ) max( a , b ) + ( )( q + r )] 2 2

On obtient le tableau suivant :

=0
s0

=0.25 0.875

=0.5 0.85
s1

=0.75 0.825

=1 0.8

0.9

Tableau 2. Variation de

en fonction de

De la mme manire on peut retrouver

s2,

s3

et

s4

5.5 Rsultats de la comparaison entre lapproche propose et lapproche de MINCA Dans cette partie, on compare les rsultats de lapproche propose et celle de MINCA pour le calcul de la gravit du dfaut et du degr de vrit de l'implication logique [1]. Les rsultats dtermins par les deux approches sont reprsents dans le tableau 3.
Approche propose
s0 s1 s2 s3 s4 F0

=0 =0.25 =0.5 =0.75 =1

0.9 0.875 0.85 0.825 0.8 0.9

0.8 0.775 0.75 0.725 0.7 0.7

0.75 0.775 0.7375 0.73125 0.725 0.6875 0.7125 0.6437 0.7 0.6 Approch de MINCA 0.7 0.6
si

0.85 0.8375 0.825 0.8125 0.8 0.8

0.9 0.854 0.808 0.763 0.72 0.9

Tableau 3 . Tableau comparatif des valeurs des

pour les deux approches

Le degr de gravit si dtermin par Minca est constant. Le mme degr dtermin par notre mthode diffre en fonction de la valeur de . La variation du paramtre permet de retrouver des probabilits dapparition des diffrents dfauts gales ceux dtermines par Minca ( =0).
Surveillance par rseaux de Ptri flous: application un brleur fuel

10

Les probabilits dapparition de lvnement indsirable (F0) sont strictement infrieurs ceux dtermins par Minca ( =0.25; =0.5 ; =0.75 ; =1).Un tel rsultat permet dviter les fausses alarmes. 6. CONCLUSION Aprs avoir modlis le fonctionnement du brleur par un rseau de Ptri temporel objet et dtermin son arbre de dfauts nous lavons converti en un rseau de Ptri flou pour la surveillance. Pour le calcul de la gravit des dfauts drivs une mthode est propose. Sa comparaison avec la mthode de Minca montre que notre proposition permet priori dviter les fausses alarmes. Lactivation du rseau de Ptri flou pour la maintenance est ralise partir de la comparaison des valeurs de crdibilit i avec les taux dacceptabilit du dfaut fournis par un expert. Afin dassurer la fonction de maintenance, il faut concevoir un modle capable dutiliser les signaux flous quil reoit du RdPFS pour dclencher une ou plusieurs actions prventives ou de correction Limplantation de telle surveillance est intressante mais pour quelle puisse fonctionner il faut faire appel lexpertise humaine qui dtient des connaissances approfondies dans ce domaine et qui est capable de formuler et de transmettre son savoir faire. REFERENCES [1] A. MHALLA, "Supervision par rseaux de Ptri flous:application un brleur fuel". Mmoire de master l Ecole National dIngnieurs de Monastir, 6 juin 2006 [2] Combacau, M., "Commande et Surveillance des Systmes a vnements Discrets Complexes : Application aux Ateliers Flexibles ". Thse de doctorat, Universit Paul Sabatier, Toulouse, dcembre 1991. [3] Chen S.-M., Ke J.-S., Chang J.-F., "Knowledge Representation Using Fuzzy Petri Nets ", IEEE Transaction on knowledge and data engineering,Vol. 2, No.3, septembre 1990.pp59-61 [4] Looney C.G., "Fuzzy Petri nets for rule-based Decision making", IEEE Trans. on Systems Man and Cybernetics, Jan-Feb 1988, vol. 18, N1, pp 178-183. [5] Minca E., contribution la supervision des systmes de production laide des rseaux de Ptri flous : Application la e-maintenance Thse de Doctorat, Universit VALAHIA de Targoviste, ROUMANIE .Laboratoire dAutomatique de Besanon , 2004 [6] Minca E., Racoceanu D., Zerhouni N., "Monitoring Systems Modeling and Analysis Using Fuzzy Petri Nets ", Studies in Informatics and Control Journal, Institut National de Recherche et de Dveloppement en Informatique, Vol 11,N 4, Bucarest.2002 [7] PROOS S., Analyse des dfaillances des systmes industriels, Rapport de DEA Informatique, Automatique et Productique, LAB (Besanon), sept. 2001 [8] Racoceanu D, Contribution la surveillance des Systmes de Production en utilisant les Techniques de lIntelligence Artificielle habilitation, Universit de FRANCHE-COMT de Besanon , 2006

Surveillance par rseaux de Ptri flous: application un brleur fuel

11