III.1 Introduction :
Le diagnostic de défauts à base d’observateurs est basé sur le principe de génération de résidus
ou indicateur de défauts, en comparant les grandeurs disponibles du système physique réel aux
grandeurs estimées issues d’un modèle mathématique du procédé (issues de l’observateur d’état).
Il arrive souvent que toutes les variables d’état d’un système ne soient pas accessibles à la
mesure. L’idée est donc de reconstruire l’état du système à partir des informations disponibles, c’est-
à-dire les sorties ou mesures y(t) et les entrées ou commandes u(t). On utilise pour cela, un système
dynamique permettant d’approximer 𝐱̂(𝐭) et 𝐲̂(𝐭) : C’est le rôle de l’observateur d’état.
L’observateur d’état d’un système joue un rôle important dans le diagnostic des systèmes, car
il permet de générer des symptômes de défaillance du système à partir d’une comparaison entre les
mesurées réelles issues du système à leurs estimées issues de l’observateur.
Mr MECHAT Nabil 1
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Avec :
Et :
Pour un système décrit dans l’espace d’état, il existe des propriétés comme la stabilité et
l’observabilité qui jouent un rôle important dans les problèmes de synthèse d’observateurs.
a-1) Stabilité :
Un système est stable si ses états x(t) tendent vers des valeurs finies lorsque le temps t tend
vers l’infini. Ce qui implique qu’un système est stable si toutes les valeurs propres de la matrice d’état
« A » sont à partie réelle strictement négative.
Mr MECHAT Nabil 2
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
a-2) Observabilité :
Il arrive souvent que toutes les variables d’état d’un système ne soient pas accessibles à la
mesure. L’idée est de reconstruire l’état 𝐱̂(𝐭) et 𝐲̂(𝐭) à partir de la commande u(t) et de la mesure y(t),
c’est le rôle de l’observateur ou estimateur d’état. L’existence de cet observateur est liée à la condition
d’observabilité d’un système :
𝐂
𝐂𝐀
𝐑𝐚𝐧𝐠 [ ] = 𝐧 (Ordre du système)
⋮
𝐂𝐀𝐧−𝟏
b) Observateur de Luenberger :
Une solution simple et optimale au problème de l’estimation de l’état des systèmes linéaires a
été proposée par David Luenberger dans le cas déterministe. La représentation d’état d’un observateur
de Luenberger est donnée par :
D’où :
Mr MECHAT Nabil 3
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Avant toute synthèse d’un observateur d’état, il faut vérifier l’existence de cet observateur, liée
à la condition d’observabilité, c’est-à-dire s’il est possible de déterminer son état a un instant t0
donnée. La condition d’observabilité est vérifier par :
𝐂
𝐂𝐀
𝐑𝐚𝐧𝐠 [ ] = 𝐧 (Ordre du système)
⋮
𝐂𝐀𝐧−𝟏
Pour une meilleure estimation de l’état, la dynamique de l’observateur est choisie plus rapide
que celle du système. Pour cela, on fixe les valeurs propres de l’observateur de sorte que leurs parties
réelles soient plus grandes en valeur absolue que celles de la matrice d’état « A ». En général, les pôles
de l’observateur seront choisies 5 à 6 fois plus rapides que les pôles du système. Sachant l’équation
caractéristique d’un observateur de Luenberger est donnée par :
Mr MECHAT Nabil 4
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
1) Calculer la matrice Ob :
𝐓
𝐇 = [𝐏. 𝐃−𝟏 . 𝐪𝟎 (𝐀𝐓 ) ]
Le schéma blocs d’un générateur de résidus à base d’observateur de Luenberger est comme suit :
Mr MECHAT Nabil 5
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
L’objectif ici est de déterminer un vecteur de résidus 𝐫(𝐭) = 𝐲(𝐭) − 𝐲̂(𝐭), indicateur de défauts,
de sorte que ces résidus tendent vers zéro en état normal et s’éloignent de zéro en présence de
défauts.
Remarque : A cause de la présence d’erreurs de modélisation et des perturbations, les résidus ne sont
jamais nuls, même en fonctionnement normal. Ainsi, la prise de décision sur la détection de défauts
nécessite de faire une évaluation des résidus calculés par des tests statistiques ou par comparaison
des résidus à certains seuils obtenus de manière empirique ou théorique. Le résidu devient alors une
variable binaire :
𝑆𝑖 𝐫(𝐭) = 𝟏 ; 𝑃𝑟é𝑠𝑒𝑛𝑐𝑒 𝑑𝑒 𝑑é𝑓𝑎𝑢𝑡.
{
𝑆𝑖 𝐫(𝐭) = 𝟎 ; 𝐴𝑏𝑠𝑒𝑛𝑐𝑒 𝑑𝑒 𝑑é𝑓𝑎𝑢𝑡.
lim ε(t) = 0
t→∞
Mr MECHAT Nabil 6
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Notons qu’en pratique il est impossible de générer cette erreur d’estimation de l’état ε(t), car
l’état réel du système n’est pas toujours connu.
L’erreur d’estimation de la sortie r(t) est prise comme vecteur de résidus indicateur de présence
ou d’absence de défauts.
La présence d’un défaut capteur affecte les sorties du système, dont le modèle d’état peut se
mettre sous la forme suivante :
fC1 (t)
f (t)
Avec : fC (t) = C2 (Vecteur illustrant les défauts capteurs ∈ Rq).
⋮
[fCq (t)]
Et :
Les erreurs d’estimation de l’état et de la sortie évoluent selon les relations suivantes :
La présence d’un défaut d’actionneur affecte l’équation d’état du système, dont le modèle
d’état peut se mettre sous la forme suivante :
Mr MECHAT Nabil 7
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
fa1 (t)
f (t)
Avec : fa (t) = a2 (Vecteur illustrant les défauts actionneurs ∈ Rq).
⋮
[faq (t)]
Et :
Les erreurs d’estimation de l’état et de la sortie évoluent selon les relations suivantes :
L’influence des défauts capteurs et des défauts actionneurs apparaît clairement sur les erreurs
d’estimation. L’erreur d’estimation de la sortie sera donc utilisée comme Résidu permettant
la détection d’éventuels défauts.
Bien que l’observateur de Luenberger est plus simple, et facile pour la mise en œuvre, mais il
ne donne pas des résultats satisfaisantes dans le cas d’un système dynamique bruité.
Mr MECHAT Nabil 8
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
-Remarque :
L’objectif est l’estimation complète du vecteur d’état malgré la présence des entrées
inconnues d(t). Soit un observateur à entrées inconnues ou UIO décrit par sa représentation d’état
suivante :
Où :
z(t) Є Rn : Vecteur d’état de l’UIO.
Mr MECHAT Nabil 9
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
D’où :
Donc :
-Il faut vérifier que ε(t) tende asymptotiquement vers zéro lorsque t → ∞.
Mr MECHAT Nabil 10
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Donc : 𝑯 = 𝑬(𝑪𝑬)+
L’existence de [(CE)T (CE)]−1, donc de (CE)+ dépend de la condition suivante : Rang(CE) = Rang(E).
Donc : 𝐓 = (𝐈 − 𝐇𝐂)
Alors : A − HCA − F + 𝐾2 C − KC = 0
A − HCA − F − 𝐾1 C = 0
F = A − HCA − K1 C
F = (I − HC)A − K1 C ; On pose : 𝐀𝟏 = (𝐈 − 𝐇𝐂)𝐀 = 𝐓𝐀
Alors : 𝐅 = 𝐀𝟏 − 𝐊 𝟏 𝐂
La matrice K1 est déterminée par placement de pôles à condition que la paire (A1 , C) soit observable.
C
CA1
La paire (A1 , C) soit observable si le : 𝑅𝑎𝑛𝑔 [ ⋮ ] = n (Ordre du système)
CA1 𝐧−𝟏
L’entrée inconnue d(t) n’intervient pas dans ε(t) et r(t), n’est pas donc détectable.
Mr MECHAT Nabil 11
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Avec :
ε(t) = x(t) − x̂(t) ; Avec : x̂(t) = z(t) + Hy(t) et y(t) = Cx(t) + Lc fc (t)
ε̇ (t) = (I − HC)[Ax(t) + Bu(t) + Ed(t) + Bfa (t)] − [Fz(t) + TBu(t) + Ky(t)] − HLc fċ (t)
ε̇ (t) = Ax(t) − HCAx(t) + (I − HC)Bu(t) + (I − HC)Ed(t) + (I − HC)Bfa (t) − F[(I − HC)x(t) −
ε(t) − HLc fc (t)] − TBu(t) − KCx(t) − KLc fc (t) − HLc fċ (t)
Après un simple développement nous arrivons à :
Nous remarquons l’influence des défauts capteurs et d’actionneurs sur ε(t), donc sur le résidu
r(t), donc les défauts capteurs et d’actionneurs sont détectable.
Nous remarquons aussi que l’entrée inconnue d(t) n’intervient pas dans ε(t) et dans r(t), donc
l’entrée inconnue d(t) n’est pas détectable.
Mr MECHAT Nabil 12
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Ainsi dans l’optique d’assurer une bonne isolation des défauts, à l’aide de résidus structurés, des
batteries d’observateurs sont mises en place. Chaque observateur génère un résidu sensible à des
défauts particulier et insensible aux autres. Une réponse différente sera donnée par chacun des
observateurs, ce qui permettra un meilleur découplage des résidus.
a) Résidus structurés :
Les résidus structurés sont conçus de manière à être sensibles à un sous-ensemble de défauts et
insensibles par rapport aux défauts restants. Lorsqu’un défaut apparaît, seul un sous-ensemble de
résidus réagit. Les informations de sensibilité souhaitées pour les résidus sont représentées dans
une table binaire, appelée table des signatures théoriques ou encore table de codage du vote
logique. La localisation des défauts est alors facilitée. Les valeurs des résidus sont à chaque instant
comparées à des seuils. Les tests peuvent être réalisés en parallèle et chaque décision issue de ces
tests conduit à une variable booléenne : 0 correspond à la valeur du résidu en dessous du seuil ; et 1
celle ou le résidu a dépassé le seuil fixé.
Lorsque la table des signatures théoriques est construite, une procédure de détection,
appliquée à chaque résidu, permet d’obtenir la signature réelle des résidus à un instant donné. Si cette
signature est nulle, alors aucun résidu ne permet de détecter le défaut. Le système sera donc déclaré
sain. Si un défaut survient, au moins un résidu le détectera, la signature réelle deviendra non nulle. La
procédure de localisation consistera alors à comparer la signature booléenne du résidu expérimentale
aux signatures de la table des signatures théoriques. L’hypothèse de défaut la plus vraisemblable est
désignée par la signature de défaut théorique la plus proche de la signature expérimentale.
Exemple : Supposons que nous avons généré trois résidus r1, r2 et r3 à partir d’un système soumis à
trois défauts f1, f2 et f3. Les tableaux représentent deux types de table de signatures théoriques ayant
des propriétés d’isolabilité différentes.
f1 f2 f3
r1 1 1 0
r2 1 1 1
r3 1 1 1
Non-localisante
f1 f2 f3
r1 1 1 0
r2 1 0 1
r3 0 1 0
Localisante
Les schémas permettant de générer des résidus structurés dépendent des propriétés souhaitées
pour la table des signatures théoriques. On distingue les schémas DOS (Dedicated Observer Scheme)
Mr MECHAT Nabil 13
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
et GOS (Generalized Observer Scheme). Les schémas DOS et GOS sont constitués par des bancs de
générateurs de résidus et peuvent être définis par rapport aux entrées (Actionneurs) ou par rapport
aux sorties (Capteurs). Les tableaux représentent les tables de signatures théoriques correspondant
aux deux structures DOS et GOS pour le cas capteur.
f1 f2 f3
r1 1 0 0
r2 0 1 0
r3 0 0 1
Structure DOS pour capteur
f1 f2 f3
r1 0 1 1
r2 1 0 1
r3 1 1 0
Structure GOS pour capteur
Les résidus généralisés : le résidu ri dépend de tous les défauts sauf le iéme .
Mr MECHAT Nabil 14
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Cas des défauts capteurs (Tous les actionneurs sont supposés être sans défauts)
Défauts Capteurs
Commandes Mesures
y1(t)
u1(t)
Actionneurs Système y2(t)
Capteurs
u2(t) Physique
⋮
⋮ yp(t)
um(t)
𝐱̂𝐨𝐛𝐬𝟏(𝐭)
Observateur
1 𝐲̂𝐨𝐛𝐬𝟏(𝐭)
𝐱̂𝐨𝐛𝐬𝟐(𝐭)
Observateur
2 𝐲̂𝐨𝐛𝐬𝟐(𝐭)
⋮ ⋮ ⋮
𝐱̂𝐨𝐛𝐬"𝐩"(𝐭)
Observateur
p 𝐲̂𝐨𝐛𝐬"𝐩"(𝐭)
𝐲𝐢(𝐭)
+
- Résidu sensible au défaut capteur « i »
𝐲̂𝐨𝐛𝐬"𝐢"(𝐭)
Le 𝑖 é𝑚𝑒 observateur est piloté par la 𝑖 é𝑚𝑒 sortie et toutes les entrées. Ainsi, la sortie de cet
observateur sera sensible seulement au défaut affectant le 𝑖 é𝑚𝑒 capteur et insensible aux défauts
affectant les sorties non utilisées.
Mr MECHAT Nabil 15
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
-Pour chaque 𝑖 é𝑚𝑒 observateur de la structure DOS nous devons lui faire sa propre synthèse suivant la
procédure suivante :
1) Définir la matrice : 𝐂𝐢(𝐩𝐱𝐧) (En annulant toute les lignes de la matrice C sauf la 𝑖 é𝑚𝑒 ligne ;
i=1,2,…,p).
2) Définir la matrice : 𝐇𝐢(𝐧𝐱𝐩) (En annulant toute les colonnes de la matrice H sauf la 𝑖 é𝑚𝑒
colonne ; i=1,2,…, p).
3) 𝐓𝐢 = 𝐈 − 𝐇𝐢 . 𝐂𝐢
4) 𝐀𝐢 = 𝐓𝐢 . 𝐀
5) Vérifier l’observabilité de la paire (𝐀𝐢 , 𝐂𝐢 ).
6) Calcul de 𝐊 𝐢𝟏 par placement de pôles.
7) 𝐅𝐢 = 𝐀𝐢 − 𝐊 𝐢𝟏 . 𝐂𝐢
8) 𝐊 𝐢𝟐 = 𝐅𝐢 . 𝐇𝐢
9) 𝐊 𝐢 = 𝐊 𝐢𝟏 + 𝐊 𝐢𝟐
Cas des défauts actionneurs (Tous les capteurs sont supposés être sans défauts)
Défauts Actionneurs
Commandes Mesures
y1(t)
u1(t)
Système y2(t)
u2(t) Actionneurs Capteurs
⋮ Physique ⋮
um(t)
yp(t)
Observateur 𝐱̂𝐨𝐛𝐬𝟏(𝐭)
1 𝐲̂𝐨𝐛𝐬𝟏(𝐭)
Observateur 𝐱̂𝐨𝐛𝐬𝟐(𝐭)
2 𝐲̂𝐨𝐛𝐬𝟐(𝐭)
⋮ ⋮ ⋮
𝐱̂𝐨𝐛𝐬"𝐦"(𝐭)
Observateur
m 𝐲̂𝐨𝐛𝐬"𝐦"(𝐭)
Mr MECHAT Nabil 16
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Le 𝑖 é𝑚𝑒 observateur est piloté par la 𝑖 é𝑚𝑒 entrée et toutes les sorties. Ainsi, la sortie de cet
observateur sera insensible aux défauts affectant les entrées non utilisées.
Pour l’actionneur1 par exemple nous pouvons réécrire l’équation d’état de la manière suivante :
u1(t)
u2(t)
ẋ (t) = A. x(t) + [b1 b2 b3 ⋯ bm]. [ ] + E. d(t)
⋮
um(t)
= A. x(t) + b1. u1(t) + b2. u2(t) + ⋯ + bm. um(t) + E. d(t)
u2(t)
u3(t)
= A. x(t) + b1. u1(t) + [b2 b3 … bm]. [ ] + E. d(t)
⋮
um(t)
u2(t)
u3(t)
= A. x(t) + b1. u1(t) + B1. [ ] + E. d(t)
⋮
um(t)
d(t)
u2(t)
= A. x(t) + b1. u1(t) + [E B1]. u3(t)
⋮
[um(t)]
d(t)
u2(t)
= A. x(t) + b1u1(t) + E1. u3(t)
⋮
[um(t)]
Cette réécriture de l’équation d’état va être faite pour chaque actionneur, alors nous pouvons
proposer l’algorithme DOS pour actionneurs de la manière suivante :
-Pour chaque 𝑖 é𝑚𝑒 observateur de la structure DOS nous devons lui faire sa propre synthèse suivant
la procédure suivante :
1) Déterminer la matrice : 𝐁𝐢(𝐧𝐱(𝐦−𝟏)) (En enlevant dans la matrice B la colonne qui correspond
au 𝑖 é𝑚𝑒 actionneur ; i=1,2,…, m).
2) Calcul de la nouvelle matrice : 𝐄𝐢 = [𝐄 𝐁𝐢 ]
3) Vérifier la condition d’existence de Hi : 𝐑𝐚𝐧𝐠(𝐂. 𝐄𝐢 ) = 𝐑𝐚𝐧𝐠(𝐄𝐢 )
4) 𝐇𝐢 = 𝐄𝐢 . [(𝐂. 𝐄𝐢 )𝐓 . (𝐂. 𝐄𝐢 )]−𝟏 . (𝐂. 𝐄𝐢 )𝐓
5) 𝐓𝐢 = 𝐈 − 𝐇𝐢 . 𝐂
6) 𝐀𝐢 = 𝐓𝐢 . 𝐀
Mr MECHAT Nabil 17
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Cas des défauts capteurs (Tous les actionneurs sont supposés être sans défauts) :
Défauts Capteurs
Commandes Mesures
y1(t)
u1(t)
Actionneurs Système y2(t)
Capteurs
u2(t) Physique
⋮
⋮ yp(t)
um(t)
𝐱̂𝐨𝐛𝐬𝟏(𝐭)
Observateur
1 𝐲̂𝐨𝐛𝐬𝟏(𝐭)
𝐱̂𝐨𝐛𝐬𝟐(𝐭)
Observateur
2 𝐲̂𝐨𝐛𝐬𝟐(𝐭)
⋮ ⋮ ⋮
̂𝐨𝐛𝐬"𝐩"(𝐭)
𝐱
Observateur
p 𝐲̂𝐨𝐛𝐬"𝐩"(𝐭)
Le 𝑖 é𝑚𝑒 observateur est piloté par toutes les sorties sauf la 𝑖 é𝑚𝑒 et toutes les entrées. Ainsi la sortie
de cet observateur sera sensible aux défauts affectant toutes les sorties sauf la 𝑖 é𝑚𝑒 .
Mr MECHAT Nabil 18
USTHB/FEI Cours Diagnostic 2eme année Master AIP/AS
Remarque :
-Les algorithmes de la structure GOS pour les défauts capteurs ou d’actionneurs, sont synthétisés à
partir des algorithmes de la structure DOS pour les défauts capteurs respectivement DOS pour les
défauts d’actionneurs, c’est les procédures inverses.
Mr MECHAT Nabil 19