6.1 Modal Analysis of Civil Engineering Structures
6.1 Modal Analysis of Civil Engineering Structures
6.1 Modal Analysis of Civil Engineering Structures
Structures
In section 6.1, it is shown how to obtain the modal parameters on the basis of an
estimated discrete-time model. Further, by using the prediction error estimation
approach, it is possible to estimate the uncertainties of the modal parameters
associated with the identification of these. In some applications this additional
information is very important. This will be the subject of section 6.2. In section 3.1.4,
it was described how the dynamic properties of a continuous-time system can be
illustrated by plotting the spectral densities of the system. In a similar manner, it is
possible to visualize the spectral densities of the system by means of the estimated
discrete-time model. The spectral density estimation using discrete-time stochastic
models is the subject of section 6.3. One of the difficulties of modal analysis of
ambient excited structures is that an identified model of such a system will contain
physical as well as nonphysical modes. It is therefore necessary to assess whether an
identified mode has physical origin or not. In section 6.4, it is shown how various
approaches can be applied as an aid for this assessment.
Assume that the modal parameters of interest are the modal frequencies and the
modal damping. Further, assume that all modes of interest of a structural system can
be observed using only one sensor and that the system is subjected to an unknown
ambient excitation. In such a case the system identification should be performed
using an ARMA model according to the parsimony principle. The question is whether
the information already obtained from such a system identification can be used if the
mode shapes at a later state are desired. In most cases, it is in fact possible to use this
information instead of performing a completely new system identification with an
ARMAV model. In section 6.5, it is described how estimated ARMA models
combined with FFT estimation of the covariance function of the measured system
response can be used to obtain estimates of the mode shapes.
This section shows how to modally decompose a p-variate linear and time-invariant
discrete-time system, represented by an arbitrary parametrized m-dimensional state
space realization. Since this analysis only concerns the free vibrations of the system,
it is unimportant whether the realization is of the innovation form or not. In any case
the free vibrations are described by
x( tk1 )
A x( tk )
(6.1)
y( tk )
C x( tk )
where the dimensions of the state vector x(tk) and the output vector y(t k) are m × 1
and p × 1, respectively. The solution of this system is assumed to be of the form
x( t k )
5 µ k (6.2)
5 µ k 1
A 5 µ k
(6.3)
y( tk )
C 5 µ k
showing that (6.2) only is a solution if and only if 5 is a solution to the first-order
eigenvalue problem
Iµ A 5
0 (6.4)
is satisfied. The order of this real-valued polynomial is m. Thus, there will be m roots
µ j that are the eigenvalues of A. For each of these eigenvalues there is a non-trivial
solution vector 5j which is the corresponding eigenvector. The mode shape 0j, which
is the observable part of the eigenvector, is then trivially obtained from the
observation equation of (6.3) as
0j
C 5j , j
1, 2, ... , m (6.6)
This matrix diagonalizes A into a diagonal matrix µ that contains the m eigenvalues.
In other words
4 1A 4
µ , µ
diag { µ j } , j
1, 2, ... , m (6.8)
A
4 µ 4 1 (6.9)
If the state dimension m divided by the number of outputs p equals an integral value
n, and if the system is observable, then it is possible to represent the free vibrations
of (6.1) by an nth order p-variate auto-regressive matrix polynomial. According to
(2.40), the auto-regressive coefficient matrices satisfies the relation
0
C An A1C An 1 ... An 1C A AnC (6.10)
0
C 4 µn 4 1 A1C 4 µn 1 4 1 ... An 1C 4 µ 4 1 AnC
(6.11)
C 4 µn A1C 4 µn 1 ... An 1C 4 µ AnC 4
The last equation can be decomposed into m separate relations. Each of these has the
form
n n 1
0
C 5j µ j A1C 5j µ j ... An 1C 5j µ j AnC 5j
n n 1
I µ j A1 µ j ... An 1µ j An C 5j (6.12)
n n 1
I µ j A1 µ j ... An 1µ j An 0j , j
1, 2, ... , m
and is seen to be an nth order eigenvalue problem for the auto-regressive matrix
polynomial with µ j being the eigenvalue and the mode shape 0j being the solution
vector.
If the state space system (6.1) is an observability canonical realization, see section
2.5.2, then the transition matrix A will be in companion form, see Gohberg et al. [30].
By comparing the jth eigenvalue problem in (6.12) with the structure of the
companion matrix, see e.g. theorem 2.4, it is the easy to verify that the associated
eigenvector is given by
0j
µ j 0j
.
5j
(6.13)
.
n 2
µj 0j
n 1
µj 0j
and that the complex modal matrix 4 will be a Vandermonde matrix, see Gohberg
et al. [30]. As seen, the modal decomposition of this realization resembles the modal
decomposition of the combined continuous-time system (3.46). This system is also
realised in the observability canonical form.
/ How do the discrete-time eigenvalues and mode shapes relate to the modal
parameters that describe the continuous-time system?
A question that must be answered before the modal decomposed discrete-time system
can be interpreted in terms of the modal parameters.
From this relation, it is seen that the complex modal matrices 4A and 4 are
equivalent, except for an arbitrary scaling. Since the observation matrix of the
discrete-time system is equal to the observation matrix of the combined continuous-
time system, and since the mode shapes can be obtained as
01 02 . . . 0m
C 4 (6.15)
it also follows, that the mode shapes of the discrete-time system are equivalent to the
mode shapes of the continuous-time system, except for an arbitrary scaling. Finally,
from (6.14) it is seen that the m eigenvalues of the two systems are related as
j T
µj
e , j
1, 2, ... , m (6.16)
log ( µ j )
j
T
7j
|j |
|j | j
1, 3, ... , 2s 1 (6.17)
fj
2%
Re ( j )
j
|j |
P̂( ˆ N )
R 1( ˆ N ) (6.18)
where RN( ˆ N ) is obtained from the approximated Hessian, which is calculated of the
basis of the measurements and the estimated parameters.
This section investigates how to transform the estimation errors represented by the
covariance matrix P̂( ˆ N ) to estimate uncertainties of the modal parameters. This
additional information can be important in different applications. In the next section,
one of these applications will be illustrated. In any case, having a qualitative measure
of the accuracy of the estimated modal parameters makes it possible to assess their
quality. The modal decomposition of the homogeneous part of any discrete-time
system is simply a convenient change of parameterization of the model since the
modal parameters can be interpreted physically. This is impossible to do for the
model parameters ˆ N . In general this change of parameterization from a set of model
parameters given in an m × 1 dimensional vector to another set of physical
parameters given in an n × 1 dimensional vector can be performed by a known n-
dimensional functional relation
f() (6.19)
f ( )
ˆ N ˆ N
ˆ
N (6.20)
ˆ N J( ˆ N ) ˆ N
which should be evaluated at the operating point ˆ N . The deviation of the estimate ˆ N
from the true parameters 0 can as such be evaluated from (6.20) as
0 ˆ N
J( ˆ N ) 0 ˆ N (6.22)
implying that the covariance matrix P( ˆ N ) of the deviation of ˆ N from the true
parameters can be estimated by
P̂( ˆ N )
E 0 ˆ N 0 ˆ N T
T
J( ˆ N ) E 0 ˆ N 0 ˆ N JT( ˆ N ) (6.23)
J( ˆ N ) P( ˆ N ) JT( ˆ N )
The estimated covariance matrix P̂( ˆ N ) obtained from (6.18) can then be inserted
instead of P( ˆ N ). This expression will only be accurate if P̂( ˆ N ) is a good estimate
It is usually only the estimated standard deviations of the modal parameters that are
of interest. This simplifies the calculation of the Jacobian matrix, since the
calculations of the standard deviations of the natural eigenfrequencies and damping
ratios can be separated from the calculations of the standard deviations of the scaled
mode shapes. Define the elements of ˆ N as the estimated natural eigenfrequencies
and associated damping ratios of the model. These parameters were obtained in
(6.17) in section 6.1.2, under the assumption that s complex conjugated pairs of
eigenvalues describe the s structural modes of the model. In other words
ˆ N
f1 1 f2 2 . . . fs s T
(6.24)
The functional relationship between these parameters and the model parameters is
given by the eigenvalue problem (6.4) in section 6.1.1, followed by the calculation
of the modal parameters given in (6.17). This means that the resulting functional
relation between the model and modal parameters is highly nonlinear. A reasonable
way to calculate the Jacobian is by use of numerical differentiation using the central
H
difference theorem. The ith column of the 2s × m matrix J( ˆ N ) can then be
calculated by
H H
H f( ˆ N P ) f( ˆ N P )
Ji ( ˆ N )
(6.25)
2Pi
where P is an m × 1 vector whose elements all are zero except the ith element Pi that
contains a small number. This number results in a small perturbation of the ith
H
element of ˆ N . The modal decomposition and the calculation of the modal
parameters must therefore be repeated 2m times. The estimated covariance matrix of
the modal parameters P̂( ˆ N ) is the obtained from (6.23), and the standard deviations
can be extracted from the diagonal elements.
As with the natural eigenfrequencies and the associated damping ratios, it is also
possible to estimate the standard deviations of scaled mode shapes. The additional
computational effort in doing this is insignificant since the repeated number of modal
decompositions are performed anyway in the estimation of the standard deviations
of the natural eigenfrequencies and damping ratios. The vector ˆ N is now defined in
terms of the normalized mode shapes 1j as
T T T T
ˆ N
11 12 . . . 1s (6.26)
These mode shapes are obtained from the p × 1 scaled mode shapes 0j by normaliza-
tion of 0j with respect to one of its p coordinates, i.e.
1
1j
0 , i
1, p (6.27)
0j,i j
In this way the uncertainty of the coordinates of the mode shapes is relative to the
fixed deterministic ith coordinate. Due to the otherwise arbitrary scaling of the mode
shapes, this is a necessary step before the Jacobian matrix can be calculated using the
numerical differentiation approach. There will as such be s elements of ˆ N that are
deterministic. This means that s rows and columns of the estimated covariance matrix
H
P̂( ˆ N ) will be zero because s rows of the sp × m matrix J( ˆ N ) will be zero. The
square roots of the diagonal elements of P̂( ˆ N ) will then be the standard deviations
of the mode shape coordinates relative to the fixed coordinate. In the first experimen-
tal case in chapter 8, which is a simulation study, the performance of the above
techniques for estimation of the uncertainties of the estimated modal parameters will
be analysed for a multivariate case.
For ambient excited structures it is usually only possible to estimate the spectral
densities of the system response, since the actual excitation is unknown. In this case
the spectral densities of an estimated parametric model provides a good alternative
to any FFT-based approach. Since the parametric models are estimated directly in
time domain, and since they do not assume periodic data, no leakage will occur and
windowing will as such be unnecessary. This results in more accurate modal
frequencies and better estimates of the modal damping, see e.g. Pandit [84] and
Pandit et al. [89]. Further, due to the parametric nature of the discrete-time models,
and the fact that they also account for the presence of noise, there will not be the
same limitations of the frequency resolution as experienced with the FFT. If the
identified parametric model is covariance equivalent with the true system, the
spectral densities will also be correct compared to those of the true system due to the
Wiener-Khinchin relation, see e.g. Bendat et al. [14]. Further, since the system is
described by parameters the spectral densities will be described by polynomials, and
will as such have a smooth appearance.
The improved estimates of modal parameters and spectral densities do not come for
free. The computational effort in obtaining these estimates is significantly larger, both
in computational time and memory requirements. Further, the use of FFT is simple
compared to discrete-time modelling. This is due to the somewhat iterative process
needed to determine the optimal model. Therefore, it must be emphasized, that the
use of e.g. ARMAV models in modal and spectrum analysis, should not regarded as
a replacement of the traditional FFT-based techniques. It should merely be taken as
an additional tool that in some cases can provide a more accurate description of the
dynamics of a system. For this reason, modal and spectrum analysis of sampled data
should always start by an examination of results obtained using the FFT. Plotting the
FFT-based spectral densities together with the spectral densities obtained from the
parametric model provides an efficient validation tool for the adequacy of the
identified model. Therefore, it is in this section shown how to obtain the spectral
densities of an identified discrete-time parametric model.
C $( 0 ) C T , s
0
(( s )
(6.29)
C As 1M , s > 0
where M is defined by
M
A $( 0 ) C T K (6.30)
and the covariance matrix $(0) being a positive definite solution of the Lyapunov
equation
$( 0 )
A $( 0 ) A T K KT (6.31)
For a p-variate system, the spectral densities of the output y(tk) will be described by
p × p spectral matrices Syy(7), where 7 is an arbitrary, angular frequency. As a
consequence of the Wiener-Khinchin relation, the spectral densities can be obtained
from the covariance function by a Fourier transformation of (6.29) to yield
1 1
Syy( 7 )
C I e i7 A K I C I e i7 A
H
K I (6.32)
The diagonal elements of Syy(7) are the auto-spectral densities, whereas the off-
diagonal elements are the cross-spectral densities which are complex in general. As
it is the case of the covariance function, the following relation holds for the spectral
H
densities S yy(7)
S yy ( 7) . The superscript H signifies Hermitan transpose, i.e.
transposition and complex conjugation. Since the eigenvalues of A are assumed to
be inside the complex unit circle the spectral densities of all frequencies 7 can be
calculated. This is because the Fourier transform is evaluated on the complex unit
circle. However, if the absolute value of 7 exceeds the Nyquist frequency, aliasing
will occur. The second-order properties given in frequency domain will also provide
a full description of the system response. Plotting the spectral densities of the
response is therefore a strong graphical tool for investigation of the dynamics of the
combined system. This is especially true when lightly damped systems are
represented by parametric models. In these cases the modes of the system will be
sharp peaks and even closely spaced modes will have distinct peaks.
/ Is the estimated damping of the mode not more than a few per cent?
/ Is the mode described by a complex conjugated pair of eigenvalues?
If the answers are affirmative there is a strong indication that the mode is of physical
origin, since it is underdamped. These physical modes may be considered as the
fundamental dynamic properties of the system, since most of the energy of the system
is concentrated around these modes.
Assume that the identified models are sorted with respect to increasing state space
dimension or AR order. It is then easy to identify the fundamental modes by plotting
the increasing model orders versus the estimated eigenfrequencies. Such a plot is
called a stability diagram, since it is easy to identify the stabilized, i.e. fundamental,
modes contained in the models. Identified models that have been rejected by e.g. the
Akaike’s FPE test, see chapter 5, can as such provide valuable information in the
selection of the structural modes of the optimal model.
In figure 6.1 a stability diagram with eight different ARMAV models is shown. All
modes are marked with a dot and all modes having damping ratios less than 10% are
marked with circles.
ARMAV(8,8)
ARMAV(7,7)
ARMAV(6,6)
ARMAV(5,5)
ARMAV(4,4)
ARMAV(3,3)
ARMAV(2,2)
ARMAV(1,1)
Figure 6.1: Frequency stability diagram using eight different ARMAV models. [o] -
A mode having a damping ratios less than 10%. [] - All identified
modes of the models.
The stability diagram can be refined by incorporating a priori knowledge into it. This
a priori knowledge could e.g. be the amount of damping. If the damping ratio is less
than a few per cent the mode could e.g. be plotted with another symbol. In this way
the stability diagram will reveal all fundamental underdamped modes. The stability
diagram is therefore a powerful visual tool for identification of the structural modes.
So far all selection criteria have been based on the estimated eigenvalues. If
multivariate models are estimated, the mode shapes will also provide some important
geometrical knowledge about the modes. If a spatial model of the system is
constructed and if it is animated by the complex mode shapes then it is possible to
find at least the lower structural modes among the nonphysical modes. As the
eigenfrequencies of the fundamental modes will repeat themselves when estimating
several models with increasing state space dimension so will their scaled mode
shapes. This means that the fundamental modes can be identified additionally by the
agreement of the mode shapes of the different models. By introducing a measure of
agreement between two vectors, it is possible to visualize using a stability diagram.
The measure of agreement can e.g. be the Modal Assurance Criterion (MAC), see
Allemang et al. [3]. Consider two p-variate models having the state space dimensions
n and m, respectively. Denote the complex modal matrices, obtained by modal
decomposition of the models, by 41 and 42. 41 will as such have the dimension p ×
n and include the n scaled mode shapes 0j, 1 of the first model. 42 will in a similar
which is a real number between 0 and 1, see Allemang et al. [3]. If the MAC(i,j) is
close to 1 there is a strong correlation between the two mode shapes, i.e. there is a
strong possibility that they represent the same mode. If m > n the maximum MAC
number of each of the m columns of the MAC matrix then shows how well the mode
shapes of the second model correlate with some of the mode shapes of the first
model. The procedure can then be repeated for a third model, where the is calculated
between the second and the third model. The result is a vector of maximum MAC
numbers between the mode shapes of the current and the previous model. These
MAC numbers can then be used to construct a stability diagram. All that is needed
are at least two identified models. If the MAC value of a mode exceeds a threshold
of e.g. 0.9 the value can be plotted by a symbol that is different from the symbol that
would be used if the value was below the threshold. In this way it is easy to identify
the fundamental modes on the basis of the mode shapes. Figure 6.6 shows how the
MAC can be used to form a stability diagram.
MAC Stability Diagram - Threshold is 0.97
ARMAV(8,8)
ARMAV(7,7)
ARMAV(6,6)
ARMAV(5,5)
ARMAV(4,4)
ARMAV(3,3)
ARMAV(2,2)
ARMAV(1,1)
Figure 6.2: MAC stability diagram using eight different ARMAV models. [o] - A
mode shape having a MAC value higher than 0.95 with a mode shape of
the previously identified model. [] - All identified modes of the models.
Many other mode indicator functions exist. If the structural system e.g. is lightly
damped, the corresponding mode shapes should be almost normal, i.e. the phase
angles should be either 0 or ±180. This can e.g. be checked by the Modal Phase
Colinearity index (MPC), see Juang et al. [47]. Another type of indicator function is
the so-called Modal Confidence Factor (MCF), see Ibrahim [40] and Vold et al.
[110]. This indicator will be close to unity for structural mode shapes, whereas
nonphysical modes will have an MCF of arbitrary phase and amplitude.
Assume that a multivariate parametric model has been applied to the identification
of a structural system having closely spaced modes. Such a structural system could
e.g. be an axisymmetric building. Closely spaced modes are used here as synonyms
for the more mathematically correct term, which is repeated or pseudo-repeated
eigenvalues. The Singular Value Decomposition (SVD) provides an efficient tool for
the identification of closely spaced modes.
By taking the SVD of the spectral density matrix Syy(7) in (6.32), which was given
section 6.3.1, the number of significant modes at the frequency 7 can be detected. In
the valleys of the spectral density plots there will be many significant singular values,
since a lot of different modes play a role. However, around the peaks there will only
be as many significant singular values as there are modes having resonance at that
particular peak frequency. This provides a way of determining how many modes a
certain peak is based on, i.e. a simple way of visual detection of closely spaced
modes. In figure 6.3 the singular values of the spectral densities of a 2-channel
ARMAV(5,5) model are plotted. The plot reveals a total of five significant modes.
As seen there are two sets of closely spaced modes.
101
100
10-1
10-2
10-3
10-4
10-5
10-6
0 2 4 6 8 10 12 14 16
Plotting of the spectral densities of the multivariate models with a high frequency
resolution will usually reveal any closely spaced modes. Especially, amplitude plots
of cross-spectral densities. However, the SVD approach provides an efficient way of
counting the actual number of closely spaced modes. It is also possible to combine
e.g. the MAC and the SVD in the search for closely spaced modes, see Philips et al.
[90].
If the structure has well-separated modes, it is not necessary to use the multivariate
models. However, caution must be taken to place the sensor at a location where all
the modes of interest are observable. In other words, the sensor must not be located
at the node points of any of these modes. Now assume that an ARMA model has been
applied to determine the eigenfrequencies and damping ratios of a structure as a
consequence of e.g. a satisfaction of the parsimony principle. The question is then
whether this result can be used later on to determine the mode shapes of the structure
in a simple way, if e.g. more measurement records at other locations become
available, or whether it is necessary to identify an ARMAV model in order to obtain
this extra information.
This section will show how the information already obtained using the ARMA model
can be used as part of an estimation of the mode shapes by use of the new informa-
tion obtained at other sensor locations. In the following it is assumed that p
measurement records are available, and that an adequate ARMA model has been
identified. From this model, it is then assumed that n complex conjugated pairs of
eigenvalues {µ j,µ j+1} that correspond to the structural modes are obtained. These can
e.g. be determined using the techniques described in section 6.3.
The mode shapes can then be determined on the basis of the covariance function
((k), for k 0, of the response of the structure. This covariance function can e.g. be
estimated from the p measured records by using an unbiased FFT approach, see
Bendat et al. [14] or Brincker et al. [18], and its dimension will as such be p × p. The
covariance function can be expressed directly in terms of the modally decomposed
system, see e.g. Brincker et al. [17] and Pandit [84]
2n
k
(( k )
M )j µ j (6.34)
j
1
where )j are p × p modal weight matrices. The ith row of )j can be shown to be
proportional to the ith mode shape 0i, see Pandit [84]. Therefore, if the weight
matrices )j can be determined from ((k) the p scaled mode shapes can be estimated
(( 0 )
I I . . I I )1
I µ1 I µ2 . . I µ 2n 1 I µ 2n )2
(( 1 )
. . . . . . . .
. . . . . . (6.35)
. .
m 2 m 2 m 2 m 2
(( m 2 ) I µ1 I µ2 . . I µ 2n 1 I µ 2n )2n 1
(( m 1 ) m 1
I µ1
m 1
I µ2
m 1 m 1
. . I µ 2n 1 I µ 2n )2n
The weights can then be found as W = M-1S. The inverse of the matrix M can only
be calculated for m = 2n. If m > 2n the inverse is replaced by the pseudo-inverse of
M. The result is 2n estimates of the p scaled mode shapes. These 2n estimates can
then be averaged to increase the numerical accuracy. This way of obtaining the mode
shapes on the basis of an ARMA model and estimates of the covariance function
from the measured records is in Brincker et al. [17] referred to as a hybrid ARMA
approach for modal analysis, and it is concluded that this approach works well if the
modes are well separated.
6.6 Summary
The purpose of this chapter has been to describe modal analysis using discrete-time
parametric time domain models in the field of civil engineering. It has been described
how to modally decompose a general discrete-time parametric model and how to
obtain the modal parameters on the basis of this decomposition. In this context, it has
been verified that the modal decomposition of a general state space realization is also
the modal decomposition of the corresponding ARMAV model. In some applications,
it is important to have an idea about the accuracy of the estimated modal parameters.
It has therefore been shown how to estimate the standard deviations of the estimated
natural eigenfrequencies, damping ratios, and mode shapes. These uncertainty
measures rely on the estimated covariance matrix of the model parameters. This
covariance matrix is easy to estimate using a PEM identification approach.
One of the difficulties in using parametric models for system identification is that the
selection of physical and nonphysical modes in general must be performed by the
user. In this context, it has been considered how to distinguish between these two
types of modes. It has been shown that one of the most efficient ways to determine
128 Summary
physically related modes is by plotting all estimated models in a stability diagram.
Such a diagram can e.g. incorporate a priori knowledge about e.g. the maximum
damping of the structural modes. It can also incorporate information about the mode
shapes through e.g. the MAC.
Finally, it might be that at some prior state a modal analysis of a structure have been
made using an univariate parametric model. One reason could be, that only one
sensor has been mounted on the structure in the prior analysis. However, if a more
complex analysis is desired at a later state using several sensors, then all modal
parameters can be estimated in a fast way by using the prior information about the
structural eigenvalues. If this prior information is combined with a covariance
estimation approach applied to the new measurements, then the mode shapes of the
structural modes can be estimated rapidly. A way to obtain the covariance estimates
is by using an unbiased FFT approach. This modal analysis approach is referred to
as a hybrid approach, since it involves ARMA model estimation as well as
covariance estimation using e.g. FFT.