Professional Documents
Culture Documents
Stochastic System Identification For Operational Modal Analysis: A Review
Stochastic System Identification For Operational Modal Analysis: A Review
LMS International,
Stochastic System Identification
Interleuvenlaan 68,
B-3001 Leuven, for Operational Modal Analysis:
Belgium
e-mail: bart.peeters@lms.be A Review
Guido De Roeck This paper reviews stochastic system identification methods that have been used to esti-
Department of Civil Engineering, mate the modal parameters of vibrating structures in operational conditions. It is found
K.U. Leuven, that many classical input-output methods have an output-only counterpart. For instance,
Kasteelpark Arenberg 40, the Complex Mode Indication Function (CMIF) can be applied both to Frequency Re-
B-3001 Leuven, sponse Functions and output power and cross spectra. The Polyreference Time Domain
Belgium (PTD) method applied to impulse responses is similar to the Instrumental Variable (IV)
e-mail: guido.deroeck@bwk.kuleuven.ac.be method applied to output covariances. The Eigensystem Realization Algorithm (ERA) is
equivalent to stochastic subspace identification. 关DOI: 10.1115/1.1410370兴
1 Introduction based on 关7兴, tries to fill that gap. Almost all methods discussed in
this paper have successfully been applied to real-life vibration
The application of system identification to vibrating structures
data. These applications are beyond the scope of this paper, but
yielded a new research domain in mechanical engineering, known
can, for instance, be found in 关7–9兴.
as experimental modal analysis. In this case, a modal model, con-
sisting of eigenfrequencies, damping ratios, mode shapes and
modal participation factors, is identified from vibration data. Clas-
sically, one applies an artificial, measurable input to the system 2 Vibrating Structures: Models and Measurement
and one measures the output. From these measurements, the ex- Data
perimental model can be obtained by a variety of parameter esti-
mation methods. However, cases exist where it is rather difficult The aim of this section is to introduce some basic concepts that
to apply an artificial force and where one has to rely upon avail- are most helpful in understanding the similarities and differences
able ambient excitation sources. It is practically impossible to between stochastic system identification methods.
measure this ambient excitation and the outputs are the only in- 2.1 Models. One of the first steps of system identification is
formation that can be passed to the system identification algo- adopting a certain model structure. Afterwards the parameters of
rithms. Because in these cases the deterministic knowledge of the the chosen model are estimated from measurement data. A wide
input is replaced by the assumption that the input is a realization range of model structures is proposed in system identification lit-
of a stochastic process 共white noise兲, one speaks of stochastic erature, see for instance Ljung 关10兴. The general system identifi-
system identification. Specializing to the identification of vibrating cation procedure is to try out several model structures without
structures the terms output-only modal analysis and operational bothering about the underlying physical input-output relations.
modal analysis are used. A common problem of operational modal The aim of this section is to discuss some models that can truly
analysis methods is that if the white noise assumption is violated, represent a vibrating structure excited by white noise. By conse-
for instance if the input contains in addition to white noise also quence, these models are physically meaningful.
some dominant frequency components, these frequency compo-
Physical Model. The dynamic behavior of a discrete mechani-
nents cannot be separated from the eigenfrequencies of the system
cal system consisting of n 2 masses connected through springs and
and will be identified as such.
dampers is described by following matrix differential equation:
The need to perform output-only modal analysis probably
emerged first in civil engineering, where it is very difficult and M q̈ 共 t 兲 ⫹C 2 q̇ 共 t 兲 ⫹Kq 共 t 兲 ⫽ f 共 t 兲 (1)
expensive to excite constructions such as bridges and buildings n 2 ⫻n 2
with a hammer or shaker and to obtain artificially induced vibra- where M ,C 2 ,K苸R are the mass, damping and stiffness ma-
tion levels that exceed the natural vibrations due to traffic or wind. trices; q(t)苸Rn 2 is the displacement vector at continuous time t.
Nevertheless, also in mechanical engineering, operational modal A dot over a time function denotes the derivative with respect to
analysis proved to be very useful: for instance to obtain the modal time. The vector f (t)苸Rn 2 is the excitation force. For systems
parameters of a car during road testing or an aeroplane during with distributed parameters 共e.g., civil engineering structures兲, Eq.
flight tests. 共1兲 is obtained as the Finite Element 共FE兲 approximation of the
Many textbooks exist that give an extensive overview of input- system with only n 2 degrees of freedom 共DOFs兲 left. Although the
output modal parameter estimation methods 关1– 4兴. We should 共nearly兲 physical model 共1兲 is a good representation of a vibrating
also mention some recent efforts to compare input-output system structure, it is not directly useful in an experimental modelling
identification methods for applications in structural dynamics context. First, it is not possible 共and also not necessary兲 to mea-
sure all DOFs of the FE model. Second, this equation is in
关5,6兴. Individual output-only modal parameter estimation methods
continuous-time, whereas measurements are available as discrete
are discussed in several papers, but an overview and comparison
time samples. And finally, there is some noise modelling needed:
of different methods are missing. The present paper, which is
there may be other unknown excitation sources apart from f (t)
1
and measurement noise is always present in real life.
Research performed while working at the Department of Civil Engineering, K.U.
Leuven. Stochastic State-Space Model. It can be shown that, by apply-
Contributed by the Dynamic Systems and Control Division for publication in the
JOURNAL OF DYNAMIC SYSTEMS, MEASUREMENT, AND CONTROL. Manuscript
ing model reduction, sampling and modelling the noise, Eq. 共1兲
received by the Dynamic Systems and Control Division February 7, 2001. Associate can be converted to following discrete-time stochastic state-space
Editor: S. Fassois. model 共see for instance 关7,11兴 for a detailed derivation兲:
Journal of Dynamic Systems, Measurement, and Control DECEMBER 2001, Vol. 123 Õ 659
Copyright © 2001 by ASME
冋冉 冊 册冉 冊
Q S can be any frequency of interest. Matrix G苸Rn⫻l is the next
wp
E 共 w Tq Tq 兲 ⫽ T ␦ pq (3) state—output covariance matrix and R 0 苸Rl⫻l is the zero-lag out-
p S R put covariance matrix:
where E is the expected value operator; ␦ pq is the Kronecker G⫽E关 x k⫹1 y Tk 兴 , R 0 ⫽E关 y k y Tk 兴 (10)
delta.
It is precisely such a stochastic state-space model that will be An in structural dynamics more common form of the output
identified when using so-called subspace identification methods power spectrum matrix is obtained by applying the Laplace trans-
共see Sections 4.2 and 5.1兲. In a second step, the modal parameters form to a continuous-time model and introducing the modal pa-
are obtained from the matrices A and C. The derivation starts with rameters 共see 关7兴 for a detailed derivation兲:
冉兺 冊 冉兺 冊冏
the eigenvalue decomposition of A: n n
1 1
A⫽⌿⌳ d ⌿ ⫺1
(4) S y共 s 兲⫽ 兵 其具 l T典 R u 兵 l 其具 T典
i⫽1 s⫺ i i i i⫽1 s * ⫺ i i i
s⫽ j
where ⌿苸C n⫻n
is the eigenvector matrix and ⌳ d 苸C is a di- n⫻n
(11)
agonal matrix containing the discrete-time eigenvalues. The
eigenfrequencies i and damping ratios i are found from: where s is the Laplace variable; 兵 i 其 苸C is the ith modal vector;
l
冉 冊冉 冊 冉 冊
For details on methods to estimate covariances and spectra
AR polynomial: from measured time data, we refer to the extensive literature that
0 I ¯ 0 exist on the subject; see for instance 关15,16兴.
V V
0 0 ¯ 0 V⌳ d V⌳ d
¯ ¯ ¯ ¯ ¯ ⫽ ¯ ⌳d 3 Frequency-Domain Spectrum-Driven Methods
0 0 ¯ I V⌳ dp⫺2 V⌳ dp⫺2
V⌳ dp⫺1 V⌳ dp⫺1 The presentation order of the identification methods roughly
⫺␣p ⫺ ␣ p⫺1 ¯ ⫺␣1 corresponds to the historical application of stochastic system iden-
(8) tification: from picking the peaks in spectrum plots 共Section 3.1兲
Journal of Dynamic Systems, Measurement, and Control DECEMBER 2001, Vol. 123 Õ 661
extended with the SVD to treat noisy data in 关34兴 and 关35兴. The controllable system, the rank of the li⫻li Toeplitz matrix equals
so-called Eigensystem Realization Algorithm 共ERA兲, developed n, since it is the product of a matrix with n columns and a matrix
by Juang 关36,37兴, is a modal analysis application of these deter- with n rows.
ministic realization algorithms. The stochastic 共output-only兲 real- The actual implementation of SSI-COV consists of estimating
ization problem is solved in 关12,38 – 40兴. Application of stochastic the covariances R i , computing the SVD of T 1 兩 i , truncate the SVD
realization to modal parameter estimation was reported by Ben- to the model order n, estimating O i and ⌫ i by splitting the SVD in
veniste and Fuchs 关32兴. They also proved that their algorithm is two parts and finally estimating A, C, G from O i and ⌫ i . The
robust against nonstationary inputs 共e.g., a white noise sequence modal parameters are found from A and C as indicated in 共4兲 and
with time-varying covariance兲. 共6兲. Implementation details can be found in the above-cited refer-
Stochastic realization relies upon a fundamental property of sto- ences. Again, it is possible to slightly reformulate the SSI-COV
chastic state-space systems. It can be proven 共see for instance method, so that it only needs the covariances between all outputs
关41,42兴兲 that the output covariances R i 共12兲 can be decomposed and a set of references 关7,8兴.
as: In theory, the system order n can be determined by inspecting
R i ⫽CA i⫺1 G (20) the number of nonzero singular values of T 1 兩 i 共21兲. In practice,
however, the estimated covariance Toeplitz matrix is affected by
where G is defined in 共10兲. The covariance sequence R i can be ‘‘noise’’ leading to singular values that are all different from zero.
estimated from measurement data; so it remains to be solved how As typical noise sources we have:
to decompose the covariances as to find A, C, G. Hereto, a block
冉 冊
Toeplitz matrix T 1 兩 i 苸Rli⫻li is formed that consists of covariances: • Modelling inaccuracies. It is possible that the true system that
generated the data cannot be modelled exactly as a stochastic
Ri R i⫺1 ¯ R1 state-space model. An attempt to model this system by a
R i⫹1 Ri ¯ R2 state-space model introduces an error in these cases.
T 1兩i⫽ • Measurement noise: introduced by the sensors and the elec-
¯ ¯ ¯ ¯ tronics of the measurement hardware.
¯ • Computational noise due to the finite precision of any
冉 冊
R 2i⫺1 R 2i⫺2 Ri
computer.
C • The finite number of data. The covariances have to be esti-
CA mated, so that the factorisation property 共20兲 does not hold
⫽ 共 A i⫺1 G¯AG G 兲 ln⫽O i ⌫ i (21)
¯ exactly. As a consequence, the rank of the covariance Toeplitz
CA i⫺1 matrix will not be exactly n.
↔ n
Sometimes it is suggested to look at the ‘‘gap’’ between two
successive singular values. The singular value where the maximal
The second equality follows from applying property 共20兲. The gap occurs yields the model order. This criterion should, however,
definitions of the extended observability matrix O i 苸Rli⫻n and the not be applied too dogmatically, since in most practical cases
reversed extended stochastic controllability matrix ⌫ i 苸Rn⫻li are there is no gap. Other statistical methods to determine the model
obvious from 共21兲. For li⬎n, and in case of an observable and order are discussed in 关43兴.
Journal of Dynamic Systems, Measurement, and Control DECEMBER 2001, Vol. 123 Õ 663
However, to obtain a good model for modal analysis applica- Covariance-Driven Versus Data-Driven Subspace Identification.
tions, it is probably a better idea to construct a stabilization dia- At this point it is useful to discuss the similarities and differences
gram, by identifying a whole set of models with different order. between the SSI-COV 共Section 4.2兲 and the SSI-DATA method
The stabilization diagram was already introduced in Section 4.1. 共Section 5.1兲. First the similarities. Both methods start with a data
In case of the SSI-COV method, an efficient construction of the reduction step. In the SSI-COV algorithm the raw time histories
stabilization diagram is achieved by computing the SVD of the y k , consisting of l channels and N data points 共with N→⬁兲, are
covariance Toeplitz matrix only once. Models of different order converted to the covariances of the Toeplitz matrix 共21兲. The num-
are then obtained by including a different number of singular val- ber of elements is reduced from l⫻N to li⫻li. In the SSI-DATA
ues and vectors in the computation of O i and ⌫ i . A stabilization algorithm a similar reduction is obtained by projecting the row
diagram obtained with the SSI-COV method is shown in Fig. 3. space of the future outputs into the row space of the past outputs.
This projection is computed from the QR factorization of a big
data Hankel matrix; see 关7,11,42兴. A significant data reduction is
5 Time-Domain Data-Driven Methods obtained because only a part of the R factor is needed in the
sequel of the algorithm. Both methods then proceed with an SVD.
5.1 Data-Driven Stochastic Subspace Identification „SSI- This decomposition reveals the order of the system and the col-
DATA…. Recently, a lot of research effort in the system identifi- umn space of O i 共21兲.
cation community was spent to subspace identification as evi- Several variants of stochastic subspace identification exist.
denced by the book of Van Overschee and De Moor 关42兴 and the They differ in the weighting of the data matrices before the appli-
second edition of Ljung’s book 关10兴. Subspace methods identify cation of the SVD. This weighting determines the state-space ba-
state-space models from 共input and兲 output data by applying ro- sis in which the identified model will be identified. Equivalent
bust numerical techniques such as QR factorization, SVD and implementations exist for both SSI-COV and SSI-DATA. More
least squares. As opposed to SSI-COV, the DATA-driven Stochas- details can be found in 关40兴 and 关42兴. Well-known variants are
tic Subspace Identification method 共SSI-DATA兲 avoids the com-
Canonical Variate Analysis 共CVA兲, Principal Components 共PC兲 or
putation of covariances between the outputs. It is replaced by
Unweighted Principal Components 共UPC兲. This last variant is
projecting the row space of future outputs into the row space of
past outputs. In fact, the notions covariances and projections are sometimes also called Balanced Realization 共BR兲.
closely related. They both are aimed to cancel out the 共uncorre- There are also differences between the covariance-driven and
lated兲 noise. The first SSI-DATA algorithms can be found in 关44兴. data-driven approaches. In the SSI-COV method, the covariances
A general overview of data-driven subspace identification 共both can be computed in a very fast way by using the FFT algorithm
deterministic and stochastic兲 is provided in 关42兴. 关15,16兴. The corresponding step in SSI-DATA is the relatively
Although somewhat more involved as compared to previous slow QR factorisation. Therefore SSI-COV is much faster than
methods, it is also possible with SSI-DATA to reduce the dimen- SSI-DATA. In favor of the data-driven method is that it is imple-
sions of the matrices 共and the memory requirements of the algo- mented as a numerically robust square root algorithm: the output
rithm兲 by introducing the idea of the reference sensors. This is data is not squared up as in the covariance-driven algorithm.
demonstrated in 关7,11兴. It is beyond the scope of this paper to We should add that in practical applications of any of the vari-
explain the SSI-DATA method in detail. The interested reader is ants of stochastic subspace identification, no accuracy differences
referred to the above-cited literature. can be observed when looking at the identified modal parameters.
Journal of Dynamic Systems, Measurement, and Control DECEMBER 2001, Vol. 123 Õ 665
Journal of Dynamic Systems, Measurement, and Control DECEMBER 2001, Vol. 123 Õ 667