1403
RESUME
ABSTRACT
1 Introduction
Le diagnostic d'un systme physique a comme objectif de
prciser dans quel tat se trouve ce systme : tat normal ou
tat anormal de fonctionnement. La plupart des mthodes
de diagnostic utilisent la connaissance du processus
physique reprsent par son modle mathmatique. La
redondance analytique (due au modle), permet de
comparer les informations issues de plusieurs capteurs avec
celles correspondant aux variables calcules partir des
modles (1) ; cette comparaison se traduit par la gnration
de variables d'cart appeles rsidus. Quand le processus
fonctionne normalement, ces rsidus sont nuls ; leur
dviation par rapport la valeur zro est alors significative
d'une dfaillance.
Dans ce qui suit, on insiste sur la conception du vecteur
parit dont la structure s'tablit partir des quations du
systme. Lorsque celles-ci sont connues avec une certaine
imprcision, le vecteur parit est lui aussi sensible cette
imprcision et il semble donc utile d'en tudier l'influence.
La section 2 de l'expos est un rappel sur la dfinition du
vecteur parit associ un systme certain, puis en section
3, un exemple simple introduit le vecteur parit dans le cas
de systmes modles multiples. La gnration du vecteur
parit pour une classe de systmes paramtres incertains
fait l'objet de la section 4.
2
0
1
0
0
1
2
1 x(k )
1
2
(1)
(2a)
(2b)
(3)
1404
m.n
, D
m. p
(4)
(5)
Wy( k ) = 0
2
0
1
0
0
1
1
1
1
0
2
1 x(k ) + 1 e(k ) + 0
1
1
1
2
1
0
0
0
0 d(k )
1
0
T C = 0
+
+
max f (T F )
(9)
min f ( T F )
+
-1 0 2 -1 0
ce qui permet de
On obtient W =
-2 0 4 0 -1
donner les deux formes du vecteur parit :
y (k) + 2y3 (k ) y 4 (k )
p(k ) = 1
2d1 (k)
(8)
+ +
y( k ) = Cx ( k ) + e ( k ) + F d ( k ) + F d ( k )
(7a)
Ax(k ) = 0
(10)
(11)
(7b)
2.4 Extension
De faon plus gnrale, le concepteur peut souhaiter
disposer d'un vecteur parit sensible certaines dfaillances
d + (k ) dtecter et insensible d'autres dfaillances
1405
q = 0,1, ..., Q
(12)
= w Ce
2
P
p = Wy
(m n) .q
et p m n
...
= ...
T
C( 1 ... p ) d1 d p
P
T
sous la contrainte de normalisation 1 = 0
...
S = ...
1406
4
2
0
-2
-4
50
100
150
200
250
300
350
400
350
400
100
150
200
250
300
p = W y
Cq
50
C() = C0 + qk Ck
k =1
4.3 Exemple
Considrons le systme de mesure :
a 0
C = 0 1
a [0.8 1.2 ]
1 1
La figure 1a reprsente l'volution des mesures issues des
trois capteurs. La figure 1b indique les variations du vecteur
parit (ici rduit un scalaire) ainsi que le seuil adaptatif de
dtection (trac avec son symtrique). Les deux zones
limites par des traits en pointill correspondent au domaine
temporel o des dfauts affectent les capteurs. La dtection
des dfauts est correctement effectue, le vecteur parit
tant suprieur au seuil dans ces zones ; un seuil
d'amplitude fixe n'aurait pu permettre cette dtection.
5 Conclusion
On a montr comment gnrer des quations de
redondance analytique partir des quations d'tat d'un
systme. Lorsque les paramtres de ce systme sont
incertains, les rsidus d'quations de redondance ne sont pas
systmatiquement nuls et on a propos ladaptation du seuil
de dtection de dfaillances afin de limiter l'apparition de
fausses alarmes. Pour des raisons de concision, le cas des
systmes dynamiques n'a pas t prsent ; cependant, les
auteurs ont pris en compte cette situation et d'un point de
vue formel, il se traite de faon semblable lorsqu'on prend
soin de raisonner sur des modles discrets.
6 Rfrences
[1] Brunet M., Jaume D., Labarrre M., Rault A., Verg M.
Dtection et diagnostic de pannes. Trait des nouvelles
technologies, srie diagnostic et maintenance, Herms,
1990.
[2] Frank P.M. Fault diagnosis in dynamical systems using
analytical and knowledge based redundancy - a survey
and some new results. Automatica, 26 (3), p. 459-474,
1990.
[3] Potter J.E., Suman M.C. Thresholdless redundancy
management with arrays of skewed instruments.
Electronic flight control systems, Agardograph 224, p.
2115-2121, 1977.
[4] Staroswiecki M., Hamad M. Validation of
measurements and detection of sensors failures in
control systems. Signal processing III : theory and
applications. I.T. Young editor, Elsevier, 1986.
[5] Ragot J., Maquin D. An algorithm for obtaining the
redundancy equations of LTI systems. Automatica, 30
(9), 1994.
[6] Ritt J., Differential algebra. American Mathematical
Society, Providence, RI, USA, 1950.