Professional Documents
Culture Documents
2002 Cubic Stiffness ISMA
2002 Cubic Stiffness ISMA
Abstract
This paper addresses the problem of system identification and fault detection in a two DOF nonlinear system
characterized by cubic stiffness. System identification is based upon Nonlinear ARX (NARX) models, while
a novel Functional Model Based Method is employed, for the first time within the context of a nonlinear
system, for tackling the combined problem of fault detection, identification (localization), and fault magnitude
estimation. The Functional Model Based Method utilizes Functional NARX (FNARX) models, which are
capable of accurately representing the system in a faulty state for the latter’s continuum of fault magnitudes, as
well as statistical decision theory tools. The results of the study indicate the effectiveness of both NARX based
identification and the Functional Model Based Method in detecting, identifying, and estimating the magnitude
of faults based upon only two measured signals.
!
1 Introduction
( ) 2 3 / 4 0 5 6 78 9 * +- , . / 0 1 / 0
This paper is concerned with the problems of system
identification and fault detection, identification (lo- " #%$'&
calization), and magnitude estimation in a two DOF
(Degree-of-Freedom) system characterized by local
polynomial nonlinearity (cubic stiffness ; figure 1).
The approach postulated is based upon discrete-
time NARX models [1, 2, 3], that is Nonlinear
Figure 1: Two DOF system with cubic stiffness.
AutoRegressive models with eXogenous excitation,
which constitute nonlinear extensions of the conven-
tional linear ARX models [4, 5]. Unlike alternative
nonlinear representations, such as those based upon which has been recently introduced by the authors
Volterra or Wiener series [1, 6, 7], describing func- [10, 11], is used for the first time within the context of
tions [1, 8], or neural networks [1], which are often a nonlinear system, cultivating upon the NARX based
used in identification, NARX models offer a number system representation. The Functional Model Based
of advantages, including accuracy and compactness Method achieves fault detection, identification, and
of representation (the latter leading to improved sta- magnitude estimation in a unified way, based upon
tistical parsimony), physical significance, and direct the novel class of stochastic functional models and
correspondence between the NARX and the physical statistical decision theory tools. The stochastic func-
system parameters. NARX models also feature linear tional models, presently Functional NARX (FNARX)
regression based estimation and the availability of a models, play a very central role, as they are capable
number of tools for model structure selection [9]. of accurately representing the system in a faulty state
Once the feasibility and effectiveness of NARX for the latter’s continuum of fault magnitudes.
based system identification is demonstrated, the com- The rest of this paper is organized as follows: The
bined problem of fault detection, identificaton (lo- system and the considered faults are described in sec-
calization), and magnitude estimation is tackled via tion 2, while NARX based identification is presented
a Functional Model Based Method. This method, in section 3. The Functional Model Based Method
Fault Description
PRQ Q S
mode
G C stiffness changes
3 NARX based identification
P QQ S G C
considered (table 2 and figure 1): The first mode healthy system is based upon the NARX( , )
corresponds to stiffness changes in . Each indi- model of the form of table 3. Estimation is accom-
GC
vidual fault is represented as , with the super- plished via minimization of the quadratic criterion
G
script indicating the fault mode and the subscript
the exact fault magnitude (changes in the range of
1
Lower case/capital bold face symbols designate vec-
tor/matrix quantities, respectively.
Degree ' @¡ ' I¢ ' I£
Par. Monomial Par. Monomial Par. Monomial
AR term ¤n¥§¦`¥ ¨ © ªa e«'¨ ©]¬e¡ ª¤M®¦ ¨ © ªa e«'¨ ©]¬¯£ ªg° «'¨ ©¬<± ª²¤M³®¦³ ¨ © ªa e«'¨ ©¬¢ ªg° «M´ ¨ ©]¬± ª
” ” ¤ ´ ¦ ´ ¨ © ªa e«'¨ ©]¬¯¢ ª¤Mµ®¦µ ¨ © ªa e« ´ ¨ ©¬<± ª ¤ ¶·¦]¶M¨ © ªa e«'¸ ¨ ©¬£ ªg° « ´ ¨ ©]¬± ª
” ” ¤ ¸·¦]¸M¨ © ªa e«'¨ ©]¬¯£ ª ¤M¹®¦¹ ¨ © ªa e« ¨ ©¬<± ª
” ” ¤ º·¦]ºM¨ © ªa e«'¨ ©]¬± ª
X term » ¥¼¦ ¨ © ªa e½¨ ©]¬± ª
AR order: ¾'¤¿ e± X order: ¾]»- e± Delay: Àp e±
AR terms: ÁD¤¿ I X terms: ÁD»- @¡
Î
the parameter vector , this leads to the linear regres- 0.1
sion estimator:
Displacemet (m)
Å ¥ Å 0
Ï Ñ Ñ
Îe Ð Í ¡ Ê Ë ¨ © ªg° ¨ © ª ÔDÕ °nÐ Í ¡ Ê Ë ¨ © ªg° «'¨ © ª Ô
¥'Ò -Ò Ó ¥'Ò
−0.1
Å (6) −0.2
ÏÖ × ´ ¡ Ñ Ê Ë
Í ÌÏ ´ ¨ © ª (7) −0.3
¥ −0.4
0.1
tions and prediction errors) is, for a segment of that 0
signal, presented in figure 3. As it may be readily −0.1
observed, the model-based predictions practically co- −0.2
incide with the system response and the prediction er- −0.3
(a)
rors are very small.
−7
x 10
1
Residuals (m)
1
ý ñ Þ ë 2 ë í í í Þ `
ä ç 2 . à ë 2 ë í í í à ä 2 - 3 ä`ç 4gä 5 6 /. ë 0
..
(8)
Based upon these, a proper mathematical descrip-
and % designating Kronecker product [13, pp. 27-28].
(14)
tion of the fault mode may be constructed in the form
of a stochastic Functional Model (presently Func- For model parameter estimation, the FNARX
tional NARX – FNARX – model). A FNARX model, equation (12) gives, following substitution of the data
being a generalization of a NARX model (5), is of the [equation (8)] corresponding to a single fault magni-
ü â
789 ÷ õ ã ù é : ; 897 + õ ã ù é : ;
form: tude :
ø ýaú>þÿ÷ õ ã ö aé ñ õ ã ö é dø ânú õ ã ö
é â
789 õ ã ù é : ;
(9) ã . < ñ
..
..
ã < ý= ã
..
< (15)
õ÷ óDé õ+ óðé
.
õ .óðé
dø ânú = Þ ë ø ânúaí í í Þ ä`ç ø ânú ... à ë ø ânú'í í í à ä ø ânú
(10) ñ?>A@ õ ñCB õ ý=ED õ (16)
ôaõ ã ö é ÷ õ ã ö é
yields:
,
is defined analogously to [equation (3)],
designate the corresponding measured ex- @ñCB ý=ED
(17)
õ ãö é
citation and resulting response signals, respectively,
788 @ ë : ;; 788 B¿ë : ;; 788 Dgë : ;;
with:
and the corresponding stochastic model resid-
ual (one-step-ahead prediction error). For an accu-
89 @ ì ; 89 Bpì ; 89 Dnì ;
rate model, the residual sequence is zero-mean, un-
correlated, with variance ì ø ânú
, and uncrosscorre- F@ ñ ... < L B ñ . <
.. *D ñ ... <
G - K @ H îI J - K G 3B H I î J G - K D H îI J
lated with the corresponding excitation. Residual se-
î . ë0 î . ä>ç 4aä 5 6 0 î . ë0
quences corresponding to different fault magnitudes
are assumed uncrosscorrelated.
As equation (11) indicates, the AR and X parame-
Þ å ø ânú à å ø âgú Parameter estimation (determination of the param-
ý
ters , are modeled as explicit functions of
â
the fault magnitude , belonging to a -dimensional eter vector ) may be then based upon the Ordinary
ë ø ânú ß í í í ß ø ânú
functional space spanned by the (mutually indepen- Least Squares (OLS) criterion:
K
M O î OP ãö
Þ å à å ã
dent) functions (functional basis).
The constants , designate the AR and X, respec- ñ Trace CN ov Dnéañ õ ìõ é
tively, coefficients of projection. ë ë (18)
Q RST
in which Cov designates sample covariance of the W m ul o n a u s c g e [ R i T& [ p q&r d ed S V l n j ]^ (23)
VXU W$Y Z
[)Z,\]?^ S Z_[`W
indicated vector. This leads to the estimators:
f ^ q
d d
] ^ d d Vl
with R i T defined by equation (3) and designating
W$a
c d b e c g e R i T [ R i T j S a=c d b e c g e R i T k R i T j (19) the chosen fault mode’s vector of coefficients of pro-
^*f ^h h ^Xf ^h Since the healthy system corresponds to q
jection [of the form of equation (14)].
W ,
d
m?l o/n p q&r Wtu s c g e v l n R i T for q W q ^ w x x x w q (20) fault
detection may be based upon the hypothesis test-
f ^ b ing
: q/ W (No fault has occurred).
problem:
V l estimator is asymptotically (uzy|{ )
^ : q
W (A fault has occurred).
The
q m on
mode. Toward this end consider the re-parametrized has been detected, fault localization is based upon
(in terms of , , which are the parameters to be esti- the successive estimation and validation of the re-
qn
mated) FNARX model corresponding to the stiffness parametrized FNARX models [of the form of equa-
fault mode [notice that the basis functions and co- tion (21)] corresponding to the various fault modes.
efficients of projection are those of the chosen fault The procedure stops as soon as a particular model is
mode model; compare with equations (9) and (12)]:
p q w mo n r kR i T W [ R i T&S
p q&r v R i T W successfully validated; the corresponding fault mode
is then identified as current.
W$ ,[ R i T/ [ p qr S V v R i T (21) Model validation may be based upon statistical
tests examining the hypothesis of excitation and resid-
ual sequence uncrosscorrelatedness, as well as resid-
The estimation of q , m o n based upon the current ex- =
ual uncorrelatedness. The latter is presently examined
via the statistical hypothesis testing problem:
¨ ^ W ¨ n W S S S W ¨/© W
citation and response signals is achieved via the non-
linear regression (Nonlinear Least Squares – NLS) es- :
(the fault mode is¤
timator (realized via golden search and parabolic in-
terpolation [15]): ^ /
¨ ª
W
« E
¤ ¬ r
identified as current).
d cg e v
: Some (1
d m l n c g e v l nd ed ]?^
estimated as:
u designates the residual signal length (in
m?l n W u o a u s Ri T j W l
number of samples), ¨/ª the sample normalized resid-
in which
¬
f ^/ L
q ual autocorrelation, and the maximum lag, follows
5.847 −3.844
5 Fault detection and identifica-
5.846 −3.846
tion results
α3(k)
α2(k)
5.845 −3.848
5.844 −3.85
5.1 Baseline and fault mode modeling
5.843 −3.852
5.842 −3.854
(a-priori phase).
−40 −20 0 20 40 −40 −20 0 20 40
ÛÜÒ Û)Ý
k (%)
x 10
−11
k (%) Baseline modeling. The identification of the baseline
5
(healthy) system via a NARX( ) model of the
0.953
4
form of table 3 has been discussed in section 3.
0.952
α4(k)
b1(k)
±
² ² ³
Fault mode modeling. Fault mode modeling is
0.951
pursued only for the fault mode characterized by
°/· ±_² ² »
3
0.95
Þ Ê Âß
changes in the stiffness (notice that the fault
0.949 2
−40 −20 0 20 40 −40 −20 0 20 40 mode is not presently modeled). A total of
k (%) k (%)
° Ê ½¶ °·
experiments, one corresponding to the healthy sys-
±
² ² ³
Figure 4: Theoretical (- - -) and FNARX estimated tem ( variation in ) and the rest corre-
¹&Ò ½ ½ ½
nitude (fault mode ). ; increment ), are carried
æ Ü ç=è?é ê æ
out. The signals obtained are, in all cases,
long.
è Ê ¹
tional basis consisting of the first two (0th and 1st
± ´ ² ³ (µ ¶
I No fault (healthy system)
II reduction in stiffness ) °/· degree, thus ) Chebyshev Type II polynomials
±_· ² ¸ ³ (¹ º ¶ °· [17]. The theoretical and FNARX-based estimates of
± ´ ² ¼ » (µ ½ ¶
III reduction in stiffness )
IV reduction in stiffness ) °/¾ °
certain of the model parameter trajectories (as func-
tions of the fault magnitude ) are compared in figure
Table 4: The four test cases. 4, from which excellent agreement is observed.
¿·
a chi-square ( ) distribution with degrees of ÀXÁCÂ 5.2 Fault detection and identification
(inspection phase).
Ã
freedom.
½
This leads to the test (at the risk level): Four test cases, as indicated in table 4, are presently
considered via Monte Carlo experiments ( runs per
Ì ¼ is rejected
(fault mode is current). presented in figure 5, fault identification (localization)
Else Ê?Ë results in figure 6, and a summary of the fault mag-
nitude estimation results (averages over runs per ½
(fault mode not current).
Ã Ê ½&Õ ½ Ö
case) is presented in table 5. In all statistical tests the
selected risk level is . Comments on each
Fault magnitude estimation. Once the current
test case follow.
fault mode has been determined, the interval esti-
° Ê ½
Test Case I (healthy system). In this case the fault
° Í Î Í ²· Î ·
mate of the fault magnitude is constructed based upon
½
magnitude interval estimate includes the value
Ï Ð °?Ò Ó Ô
Ñ Ä
Gaussianity and the , estimates [equations (22),
in each one of the runs [figure 5(a)], thus no fault
(23)] obtained from the model [equation
½
is (rightly) detected. In addition, the value of the
(21)] of the identified fault mode. Thus:
°
statistic is, for all runs, below the critical point [fig-
Ã Ê ½&Õ ½/Ö ): ½
ure 6(a)]. The excellent accuracy of the estimates is
×
Fault magnitude interval estimate (
°=Í Á Â Õ º Ø Î Í ² Ò °_Í ÙÂ Õ º Ø Î Í ² Ú
confirmed by the average (over the runs) point and
± ´² ³ µ ¶ °/·
standard deviation estimates presented in table 5.
Test Case II (fault – reduction in the
½
stiffness). This is a small magnitude fault, yet fault de-
tection is accurate in all runs [the fault magnitude
0.2
Fault magn.
k (%)
(a)
−0.2
3.5
Fault magn.
k (%)
(b)
2.5
29.5
Fault magn.
k (%)
29
(c)
28.5
Fault magn.
0.6
k (%)
0.4
0.2
(d)
0
1 2 3 4 5 6 7 8 9 10
Monte Carlo experiment
ë
î ì í
ë
ï ì ð í ë_î ì ò ñ
Figure 5: Fault detection results: (a) Test case I (healthy system); (b) test case II (fault ); (c) test case III
óô¯õ/ö õ/÷
(fault ); (d) test case IV (fault ) [10 Monte Carlo runs per case; the solid horizontal lines designate true
fault magnitude, the circles corresponding point estimates, and the boxes interval estimates at the
level].
þý ì
Test Case Fault True Fault Average Point Average Standard
ø/ù,ú ûü øý î ï
ë òì í
Magnitude Estimate Deviation Estimate
ÿ /ö ÷ õ 7.20 õ ï
ë
î ì í
I 0
7.12 õ ï
ë
ï ì ð í
II 3 3.02
III 29 29.02 7.18 õ
Table 5: Fault magnitude estimation results (averages over 10 Monte Carlo runs).
øôõ ë_ï ì ð í
– û øï
ë
ì ì í
interval estimates do not include the value; fig- Test Case III (fault reduction in the
õ õ
ure 5(b)]. The fault mode is also correctly iden- stiffness). This is a larger magnitude fault, the detec-
tified, as the value of the
statistic is, for all runs, tion of which is also without problems in all runs
ø øô$õ
below the critical point [figure 6(b)]. The excellent [the fault magnitude interval estimates do not include
õ
accuracy of the estimates is, once again, confirmed the value; figure 5(c)]. Fault mode identifica-
by the average (over the runs) point and standard tion is also accurate, as the value of the
statistic is
deviation estimates presented in table 5. õ
below the critical point for all runs [figure 6(c)].
60
Q−statistic
40
20
(a)
0
60
Q−statistic
40
20
(b)
0
60
Q−statistic
40
20
(c)
0
2000
Q−statistic
1000
(d)
0
1 2 3 4 5 6 7 8 9 10
Monte Carlo experiment
Figure 6: Fault identification results: statistic (bars) and the critical point (- - -) at the
level (the
fault mode is identified as current if is lower than the critical point). (a) Test case I (healthy system); (b)
Test case II (fault ); (c) test case III (fault ); (d) test case IV (fault ) [10 Monte Carlo runs per case;
].