Professional Documents
Culture Documents
S. Lalot1 , G. Mercère2
1
Université de Valenciennes et du Hainaut Cambrésis, Laboratoire de Mécanique et d’Energétique
Le Mont Houy, 59313 Valenciennes Cedex 9, FRANCE
sylvain.lalot@univ-valenciennes.fr
2
Université de Poitiers, Laboratoire d’Automatique et d’Informatique Industrielle
40, avenue du recteur Pineau, 86022 Poitiers, FRANCE
guillaume.mercere@univ-poitiers.fr
100
stainless steel) separating the cold fluid and the hot
both fluids. It has been verified that the time step is Hot fluid
It has also been verified that the size of the cells is Sample #
30
correct (in terms of boundary layer description, and 1 1.05 1.1 1.15 1.2 1.25 1.3 1.35 1.4 1.45 1.5
4
x 10
in terms of length/width ratio), and of course that the
outlet temperatures during steady states are correctly
determined. Fig. 2.: Outlet temperatures and mass flow rates for
100
the hot and cold sides (partial view).
Inlet temperatures (°C)
90 Hot fluid
routine is used in the CFD software which represents
80 a fouling scenario.
This fouling factor is plotted (Fig. 3) versus dimen-
70
sionless time; the latter is defined as the ratio of the
60
sample number to the total number of samples during
the fouling period. It can be seen that the variation
50 is similar to the variation observed (after a slight de-
crease which is not taken into account here) in (Hays,
40
et al., 2005), (Fahiminia, et al., 2005) or (Mwaba,
Cold fluid
30
Sample #
et al., 2006).
1 1.05 1.1 1.15 1.2 1.25 1.3 1.35 1.4 1.45 1.5
4
x 10
−3
x 10
Mass flow rates (kg/s)
2
Fouling factor (m².K / W)
1.8
0.25
1.6
0.2
Cold fluid 1.4
1.2
0.15
1 0.949
0.6
0.05
0.4
0.663
Sample # Rf = 0.0001
0.2
0
1 1.05 1.1 1.15 1.2 1.25 1.3 1.35 1.4 1.45 1.5
4
x 10 0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Dimensionless time
Fig. 1.: Inlet temperatures and mass flow rates for the
hot and cold sides (partial view). Fig. 3.: Fouling factor versus dimensionless time.
To take account of the measurement noise during Typical values of the fouling factor can be found in
on-field tests as recommended by e.g. the European e.g. (Çengel, 1997) or (Incropera & DeWitt, 2002).
Commission in (2006), it has been considered nec- For water, the fouling factor is typically comprised in
essary to add a +/-1.5o C (for the temperatures) and the range [0.0001, 0.0007]. This interval is smaller than
a +/-2% (for the mass flow rates) normally distributed the interval covered by the variation of the thermal
random noise to all values (inputs and outputs). Fig. 1 conductivity, and corresponds to the [0.663, 0.949] in-
and 2 show partial views of the data that are actually terval of the dimensionless time (Fig. 3). To be effi-
used. cient and useful, the detection technique has to detect
To simulate fouling, the thermal conductivity of the fouling before this upper limit.
inner tube has been continuously decreased; a sub- As for any detection technique, it is necessary to
The 19th International Symposium on Transport Phenomena
17-21 August, 2008, Reykjavik, ICELAND
Pt
get data for a clean exchanger before being able to be denoted by R̂ab (t) = k=1 λt−k a(k)bT (k), where
detect fouling. Hence, the database is composed of 0 < λ ≤ 1 is a forgetting factor.
two sets: the first set corresponds to a clean period, The key problem of OSIM is the consistent estima-
and the second set corresponds to the progressively tion of the extended observability matrix column space
fouled heat exchanger. defined as (f is a user fixed integer chosen such as
f > nx )
SUBSPACE IDENTIFICATION OVERVIEW h T iT
Subspace-based approach for system identification is Γf = CT (CA)T · · · CAf −1
a particular field of experimental modeling which has
from measured I/O samples (Viberg, 1995). It is in-
reached a definite maturity from now on, as shown by
deed relatively straightforward to extract the state-
numerous reference articles (Larimore, 1990), (Ver-
space matrices (up to a similarity transformation) from
haegen, 1994), (Van Overschee & De Moor, 1994),
Γf by exploiting particular properties of this matrix
(Viberg, 1995), (Bauer, 2005) and various applica-
such as its shift invariance (see e.g. (Katayama, 2005)
tion papers (Verhaegen, et al., 1994), (Kukreja, et al.,
for an overview of the the state-space matrices esti-
1995), (Abdelghani, et al., 1998), (Mevel, et al., 1999),
mation techniques).
(Favoreel, et al., 2000). Offline subspace identifi-
cation methods (OSIM) are attractive since a multi-
Basic idea of subspace identification
input multi-output (MIMO) state-space realization can
The starting point of the OSIM for the estimation of the
be directly estimated from input/output (I/O) data with-
column space of Γf is the so called ”data equation”
out non linear optimization. Furthermore, these tech-
(Viberg, 1995)
niques are characterized by the use of robust numeri-
cal tools such as the RQ factorization and SVD which Yf (τ ) = Γf X(τ ) + Hf Uf (τ ) + Gf Ef (τ )
make them attractive from a numerical point of view.
where Uf , Yf , Wf and Vf are Hankel matrices de-
fined as follows
Problem formulation and assumptions
Consider the following linear time-invariant system in u(t) ··· u(t + M − 1)
u(t + 1) ··· u(t + M )
its innovation form
Uf (τ ) = .. . . (1)
. . . .
.
x(t + 1) = Ax(t) + Bu(t) + Ke(t)
u(t + f − 1) · · · u(t + f + M − 2)
y(t) = Cx(t) + Du(t) + e(t)
with M >> f > nx and τ = t + M − 1, where Hf
with nu inputs u, ny outputs y, a nx dimensional state and Gf are the block Toeplitz matrices of the impulse
vector x and an innovation process noise e. The goal response respectively from u to y and from e to y
of subspace identification methods is to estimate the
D 0 ··· 0
system matrices [A, B, C, D], up to a similarity trans- CB D ··· 0
formation, given a sequence of the measured input
Hf =
CAB CB ··· 0
and output signals. For that, the following assump- .. .. .. .
tions are required . . . ..
CAf −2 B CAf −3 B ··· D
• the system is asymptotically stable,
I 0 ··· 0
• the pair {A, C} is observable, CK
I ··· 0
Gf = CAK
CK ··· 0
• the input and the innovation are jointly stationary .. .. .. ..
and uncorrelated i.e.
. . . .
CAf −2 K CAf −3 K ··· I
T
Ē{e(k)e (l)} = Re δ(k, l)
and where X = x(t) · · · x(t + M − 1) . On the
T
Ē{e(k)u (l)} = 0 for k > l basis of this data equation, it is easy to show that
where δ(k, l) denotes the Kronecker delta func- spancol {Yf } ⊆ spancol {Γf } +
tion and spancol {Hf } + spancol {Bf } .
N
1 X The identification problem is then to isolate the
Ē [·] = lim E [·] subspace spancol {Γf } from the knowledge of
N →∞ N
t=1
spancol {Yf }. A number of OSIM have been devel-
with E{•} the mathematical expectation. oped to work out accurate estimates of the column
space of the observability matrix from the available I/O
In the following, with some abuse of notations, the data. Most of them are based on three major steps:
cross
covariance
matrix will be denoted as Rab = projection, model reduction and parameter estimation
Ē a(t)bT (t) while estimates of signal correlations will (Qin, 2006).
The 19th International Symposium on Transport Phenomena
17-21 August, 2008, Reykjavik, ICELAND
global complexity load is reduced in comparison with supplying a decomposition of the observation space
the batch approach. into two complementary subspaces via the use of a
simple linear operator.
Updating of the RQ factorization More particularly, assuming that the system is ob-
The basic idea of this approach is to consider the RQ servable, the observability matrix has, at least, nx lin-
decomposition 2 and its update at each new acqui- early independent rows. Under the hypothesis that the
sition (Lovera, et al., 2000). More precisely, when a order nx is a priori known, it is possible to build a per-
new I/O couple is acquired, this decomposition is com- mutation matrix S ∈ Rny f ×ny f such that the extended
pleted as follows observability matrix can be decomposed in the follow-
R (τ ) 0 ing way
√ 11 0 u (τ +1) f Q1 (τ ) 0
λ R21 (τ ) R22 (τ ) 0 ξ(τ +1) Q2 (τ ) 0 Γ }Rnx ×nx
R31 (τ ) R32 (τ ) R33 (τ ) yf (τ +1) 0 1 SΓf = f1
Γf2 }Rny f −nx ×nx
where λ is a forgetting factor used to weight the past where Γf1 is the block of nx independent rows and
informations. Two sequences of Givens rotations G1 Γf2 the matrix of the ny f − nx others. By construc-
and G2 can then be used to annihilate the stacked tion, Γf2 can be expressed as a linear combination
input vector and the instruments and bring back the of Γf1 . More particularly, there is a unique opera-
factor R to a block lower triangular form (Golub & Van tor Pf ∈ Rnx ×ny f −nx named propagator such that
Loan, 1996) Γf2 = PTf Γf1 . It is also easy to verify that
R11 (τ ) 0 0 uf (τ +1) Γf1 Γf1 I
= nTx Γf1 .
√
λ R21 (τ ) R22 (τ )
0 ξ(τ +1) G1 (τ +1)G2 (τ +1) = SΓf = =
R31 (τ ) R32 (τ ) R33 (τ ) yf (τ +1) Γf2 PTf Γf1 Pf
| {z }
R11 (τ +1) 0 0 i 0
Eo
R21 (τ +1) √λ R22 (τ ) 0 ξ̌(τ +1) G2 (τ +1) =
R31 (τ +1) R32 (τ ) R33 (τ ) žf (τ +1)
R11 (τ +1) This proves that the columns of SΓf are linear com-
0 0 0
binations of Eo . Now, since rank (Γf1 ) = nx ,
R21 (τ +1) R22 (τ +1) 0 0 .
√
R31 (τ +1) R32 (τ +1) λR33 (τ ) ˇ
žf (τ +1) spancol (SΓf ) = spancol (Eo ). This relation implies
that it is possible to determine the observability ma-
(Mercère, et al., 2008) have shown that trix in a particular basis from Eo . Hence, the compu-
tation of such a matrix only requires to estimate the
R32 (t)RT32 (t) = λR32 (t − 1)RT32 (t − 1)+ propagator. Thus, assuming that the order nx is a pri-
T ori known and the system is observable, an estimate
žf (t)žTf (t) − ˇ
žf (t)ˇ
žf (t). (4)
of the subspace spanned by the observability matrix
Now, according to Eq. 3, we have is available by estimating Pf . For that, consider the
relation
1 1
lim R32 RT32 = lim Γf XXT ΓTf . R̂zf = Γf Rx ΓTf
M→∞ M M→∞ M
introduced in the previous Subsection (see Eq. 5 and
Thus, it follows that
6), Then, in the propagator basis, we have
n o
T
E žf (t)žTf (t) − žˇf (t)ˇ
žf (t) = Γf Rx ΓTf . (5) I
R̂zf = nTx Γf1 Rx ΓTf1 Inx Pf
Pf | {z }
This last relation points out that Eq. 4 asymptotically Rx̄
leads to a covariance matrix from which the subspace By construction,
spanned by the columns of the extended observability
Ržf (t)−Rˇž (t) Ržf žf (t)−Rˇž ˇž (t)
matrix can be extracted. In the following, this covari- f1
R̂zf = Rž ž (t)−Rˇ ˇ (t)
1 1 2 f1 f2
Rž −Rˇ (t)
ance matrix will be denoted as R̂zf . In practice, the f2 f1 žf žf
2 1 f2 žf
2
1
Indeed, by assuming that the involved inverse matri-
0.97
sively estimate this optimum. The algorithm intro- 0.92 Clean period←→Fouling
0.9
possible to apply a simple statistical test to detect foul-
0.8 ing. Indeed, the drift is clearly seen in Fig. 5. The data
0.7
are analysed using the Cusum test (see e.g. (Navidi,
2006)).
0.6
This test has been preferred to the Shewhart test
0.5
due to the fact that it is more sensitive to small shifts,
0.4 as stated in (NIST / SEMATECH, 2006). It is defined
0.3 as follows
0.2 Clean period←→Fouling
Cush (k) = max (0, v̄ − v̄ref − gσ + Cush (k − 1))
0.1
350
proach will be more particularly considered to get pa-
Cus_h
300
rameters having a physical meaning.
T. Katayama (2005). Subspace methods for system W. Navidi (2006). Statistics for engineers and scien-
identification. Springer. tists. McGraw-Hill, International Edition.
S. Kukreja, et al. (1995). ‘Subspace identification NIST / SEMATECH (2006). ‘e-Handbook of Statistical
method for ankle mechanics’. IEEE Engineering in Methods’. http://www.itl.nist.gov/div898/handbook/.
Medecine and Biology Society 17:1413–1414.
S. Qin (2006). ‘An overview of subspace identi-
D. Kukulka & M. Devgun (2007). ‘Fluid temperature fication’. Computers and Chemical Engineering
and velocity effect on fouling’. Applied Thermal En- 30:1502–1513.
gineering 27:2732–2744. R. Rosmaninho & L. Melo (2007). ‘Effect of proteins
on calcium phosphate deposition in turbulent flow
S. Lalot, et al. (2007). ‘Comparison of neural networks
as a function of surface properties’. Experimental
and Kalman filters performances for fouling detec-
Thermal and Fluid Science 32:375–386.
tion in a heat exchanger’. International Journal of
Heat Exchangers 8:151–168. B. Spinner & E. Fabre (2003). ‘Action Con-
W. Larimore (1990). ‘Canonical variate analysis in certée ENERGIE du CNRS et du Ministère de
identification, filtering and adaptive control’. In Pro- la Recherche et des Nouvelles Technologies’.
ceedings of the 29th IEEE Conference on Decision http://www.energie.cnrs.fr.
and Control, Honolulu, Hawaii, USA.
P. Van Overschee & B. De Moor (1994). ‘N4SID:
L. Ljung (1999). System identification. Theory for the subspace algorithms for the identification of com-
user. PTR Prentice Hall Information and System bined deterministic stochastic systems’. Automat-
Sciences Series. T. Kailath, Series Editor, Upper ica 30:75–93.
Saddle River, 2nd edn.
M. Verhaegen (1994). ‘Identification of the determin-
M. Lovera, et al. (2000). ‘Recursive subspace identi- istic part of MIMO state space models given in in-
fication of linear and non linear Wiener state space novations form from input output data’. Automatica
models’. Automatica 36:1639–1650. 30:61–74.
G. Mercère, et al. (2008). ‘Propagator-based methods M. Verhaegen, et al. (1994). ‘Some experience with
for recursive subspace model identification’. Signal the MOESP class of subspace model identification
Processing 88:468–491. methods in identifying the BO105 helicopter’. Tech.
rep., German Aerospace Research Establishment,
G. Mercère & M. Lovera (2007). ‘Convergence anal-
Laboratory for Flight Systems Dynamics, Wessling,
ysis of instrumental variable recursive subspace
Germany.
identification algorithms’. Automatica 43:1377–
1386. M. Verhaegen & V. Verdult (2007). Filtering and sys-
L. Mevel, et al. (1999). ‘On the application of tem identification: a least squares approach. Cam-
subspace-based fault detection methods to indus- bridge University Press.
trial structures’. Mechanical Systems and Signal M. Viberg (1995). ‘Subspace-based methods for the
Processing 13:823–838. identification of linear time-invariant systems’. Au-
J. Munier & G. Delisle (1991). ‘Spatial analysis using tomatica 31:1835–1851.
new properties of the cross spectral matrix’. IEEE
P. Withers (1996). ‘Ultrasonic, acoustic and optical
Transactions on Signal Processing 39:746–749.
techniques for the non invasive detection of fouling
M. Mwaba, et al. (2006). ‘A semi-empirical correla- in food processing equipment’. Trends in Food Sci-
tion for crystallization fouling on heat exchange sur- ence and Technology 7:293–298.
faces’. Applied Thermal Engineering 26:440–447.