Beruflich Dokumente
Kultur Dokumente
il':',jri,;,'
ir,,:',t#
I a
$1
ij,ii
F, . r I
i
j::
1,;'
1, :l-
.:i
.-ffi,
Other titles published in this series:
A Springer- t 00 2 I 5
)
7?
u7t
Da, Hassan Noura, PhD Abbas Chamseddine, PhD
United Arab Emirates lJniversity Universit6 Paul C6zanne, Aix Marseille III
Department of Electrical Engineering Domaine lJniversitaire de Saint-J6r6me
P.O. Box I7555 Laboratoire des Sciences de l'Information
Al-Ain et des Systdmes
UAE Avenue Escadrille Normandie-Niemen
hnoura@uaeu.ac.ae 13397 Marseille cedex 2O
France
abbas.chamseddine @ lsis. org
rssN 1430-949r
rsBN 978- L-84882-652-6 e-ISBN 978- 1-84882-653-3
DOr 10.rooT/978- t-84882-653-3
Springer Dordrecht Heidelberg London New York
MATLAB@ and Simulink@ are registered trademarks of The MathWorks, Inc., 3 Apple Hill Drive,
Natick, MA O1760-2098, USA. http://www.mathworks.com
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as
permirted under the Copyright, Designs and Patents Act 1988, this publication may only be
reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of
the publishers, or in the case of reprographic reproduction in accordance with the terrns of licences
issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms
should be sent to the publishers.
The use of registered names, trademarks, etc. in this publication does not imply, even in the absence of
a specific statement, that such names are exempt from the relevant laws and regulations and therefore
free for general use.
The publisher makes no representation, express or implied, with regard to the accuracy of the
informatio. n contained in this book and cannot accept any legal responsibility or liability for any errors
or omissions that may be made.
Series Editors
Professor S. Engell
Lehrstuhl ftir Anlagensteuerungstechnik
Fachbereich Chemietechnik
Universitiit Dortmund
44221Dortmund
Germany
Professor G. Goodwin
Department of Electrical and Computer Engineering
The University of Newcastle
Callaghan
NS\M 2308
Australia
Professor G. Olsson
Department of Industrial Electrical Engineering and Automation
Lund Institute of Technology
Box I 18
S-22I OOLund
Sweden
Professor A. Ray
Department of Mechanical Engineering
Pennsylvania State University
0329 Reber Building
University Park
PA 16802
USA
Professor I. Yamamoto
Department of Mechanical Systems and Environmental Engineering
The University of Kitakyushu
Faculty of Environmental Engineering
1- 1, Hibikino,Wakamatsu-ku, I(itakyushu, Fukuoka, 8O8-O135
Japan
To our farnilies and parents
Series Editors' Foreword
The series Aduances 'in Industrial Control airns to report and encourage tech-
nology transfer in control engineering. The rapid developrnent of control tech-
nology has an irnpact on all areas of the control discipline. New theory, new
controllers, actuators, sensors, new industrial processes, computer methods,
new applications) new philosophies..., new challenges. Much of this develop-
ment work resides in industrial reports, feasibility study papers, and the re-
ports of advanced collaborative projects. The series offers an opportunity for
researchers to present an extended exposition of such new work in all aspects
of industrial control for wider and rapid dissemination.
Control system design and technology continues to develop in many dif-
ferent directions. One theme that the Ad,uarrces i,n Ind,ustrial Control series
is following is the application of nonlinear control design rnethods, and the
series has some interesting new cornrnissions in progress. However, another
theme of interest is how to endow the industrial controller with the ability
to overcome faults and process degradation. Fault detection and isolation is
a broad field with a research literature spanning several decades. lfhis topic
deals with three questions:
Flowever, there has been less focus on the question of how to use the control
system to accommodate and overcome the performance deterioration caused
by the identified sensor or actuator fault.
One approach to all these issues is to institute a rigorous programrne of
process and controller monitoring to minimize the actual occurrence of fault
situations altogether, so-called preventative maintenance. The response of the
control community to these questions has been a little diffuse with no method
promoted as a clear winner; for exarnple, for a period the method of "reliable
control" featured in the literature and at control conferences. This approach
Series Editors' Foreword
relaxes the control to accommodate fault failures but the cost is degraded
performance. Another approach was that of "reconfigurable control" in which
the controller is restructured to use the remaining available sensors and actu-
ators and to use any available knowledge of the changes that have occurred
to the process or system.
llowever, from this diversity of approaches, the industrial control engineer
or the process engineer is quite likely to ask "But do any of these methods
work and what is the online industrial overhead for the application of these
methods?" One way to find out is to study this new volume Fault-tolerant
Control Systems: Design and Practi,cal Appli.cat'ions by lfassan Noura, Didier
Theilliol, Jean-Christophe Ponsart, and Abbas Chamseddine. This monograph
is a little different from some in the Aduances 'in Industrial Control series, for
it is a very focused study of the application of fault-tolerant control (FTC) to
three increasingly complex processes. It has the objective of showing the reader
all the steps in design, implementation, and assessment for some laboratory-
scale and industrial applications of FTC.
The monograph opens with a brief introductory chapter, but it is in Chap.
2 where all the components of FTC design are presented. Six sections of the
chapter build up the design systernatically by introducing process rnodels (lin-
ear and nonlinear), fault descriptions (both actuators and sensors), the nom-
inal tracking control design, fault diagnosis methods (using residual genera-
tion), fault effect and size estirnation and controller cornpensation mechanisrns
to accommodate the fault. All this is brought together and presented in the
final section as a generic FTC system architecture. Three extended case-study
chapters, which give this rnonograph its distinctive character, follow this fo-
cussed presentation of the methods to be used. The three process applications
are a laboratory-scale winding machine that characterises "simple" complex-
ity, a laboratory-scale three-tank process that represents "middle-level" com-
plexity, and finally "complex" complexity is represented by an industry-grade
automotive active suspension system. The value of these case studies lies in
their fully documented thoroughness that gives the reader a good practical
insight into how the methods work and allows the possibility of replicating
the three studies thernselves.
ifhe practical emphasis of the monograph and its case studies will appeal
to a wide range of academic researchers and industrial control and process
engineers. Academics and students will be able to repeat the case studies on
in-house laboratory equipment, whilst the industrial engineer should obtain a
better insight as to how FTC can be implernented on industrial processes.
This is a growing field and the Adaances 'in Industri,al Control series
has a nurnber of volumes available on FTC and related subjects. It is per-
haps worth mentioning Soft Sensors for Moni,toring and Control of Indus-
trial Processes by Luigi Fortuna and colleagues (ISBN 978-1-84628-479-3,
2OO7), Process Control Perforrn(rrlce Assessm.ent edited by Andrzej W. Ordys
and colleagues (ISBN 978-t-84628-623-O,2OO7), D'iagnos'is of Process Non-
li,neari,t,ies and Value St'ict'ion by M.A.A. Shoukat Choudhury and colleagues
Series Editors' Foreword xi
(ISBN 978-3-540-79223-9, 2008), and finally Guillaume Ducard's monograph
Fault-tolerant Fli'ght Control and, Gui,d,anceSysterns (ISBN g78-L-84882-560-4,
2009). Clearly, t}'e Adaarlces i,n fnd,ustrial Control series has some very srrong
entries to this growing technical field and the ed.itors are pleased to see the
rTlonograp}. Fault-tolerant Control Systerns by Hassan Noura and colleagues
join the collection.
We want to thank our colleagues who have been working with us for many
years of research in FDI and FTC topics- Our special thanks go to Professor
D. Sauter for purchasing the winding machine and the three-tank system to
be used in teaching and research.
We would also like to thank Master and PhD students who contributed
to this book through their work in different ways: M. Adam-Medina, T. Bas-
togne, v. Begotto, v. Dardinier, c. Gaubert, J-M. Hitinger, c. Join and M.
Rodrigues. Our thanks also go to Dr. H. Hejase and R. Hejase for their useful
comments and corrections.
Contents
Contents
Contents xxi
6 Conclusion ...2A9
References. . ..219
Index . . .229
1
The diagnosis of such problems from raw data trends is ofben diffficult.
However, quantitative or qualitative model-based FDI techniques are consid-
ered and combined to supervise the process and to ensure appropriate re-
liability and safety in industry. Short historical revibw of model-based FDI
can be found in [43,70,86] and current developments are reviewed in [44].
Among quantitative models, FDI for linear/nonlinear systems remains a chal-
lenge due to the problern of discriminating between disturbances and faults
through a wide range of operating conditions. Nlodel-based FDI methods have
been developed for exact and uncertain iinear/nonlinear mathematical de-
scription of systems based on observer schemes, parameter estimation algo-
rithms, or parity space techniques. Severai books are dedicated to these topics
such as 122,24,53] or more recently [31]. For fault isolation, various techniques
based on an exact knowledge of the nonlinear model allow us to generate
residuals sensitive to specific faults and insensitive to others using decoupling
methods [49,80] or geometric approaches [60, 10U.
Based on the large diversity of advanced model-based methods for auto-
mated FDI, the problem of actuator orf and sensor fault detection (which
is one of the main targets of this book) is of basic importance. Nevertheless,
due to difficulties inherent in the on-line identification of closed-loop systems,
pararneter estimation techniques are not always suitable. The parity space
technique is suitable to distinguish between different faults in the presence of
uncertain parameters, but is not useful for fault magnitude estimation. How-
ever, the observer-based method is more appropriate to achieve this objective.
Classical decoupled techniques, such as unknown input observer or dedicated
filter devoted to detect and estimate faults (considered as unknown inputs),
can be synthesized for solving the FDI problem in certain cases. It should be
highlighted that the fault magnitude estimation is necessary to ensure an ac-
curate fault monitoring in order to provide an effi.cient maintenance operation
and to ensure the safety of the environment.
Moreover, many accidents with airplanes or in nuclear power plants have
dramatically illustrated the very important step of FDI to inform the opera-
tors about the system's status. However, it appears clear that detecting and
isolating a fault is not sufficient if no subsequent action occurs once a fault
has been identified.
As recently proposed by 114,59], an FTC system, based on fault isolation
and magnitude estimation, can be envisioned to maintain control objectives
despite the occurrence of a fault.
Much effort has been made in the field of FTC in the presence of faults in the
functioning of the nuclear and avionics industries, chemical or petrochemical
plants, etc. The various studies dealing with this problem are based on hard-
fl*
Farrlt-tolerant cntrnl
rD
Passive Acdve
(J
?<
H
f; Nqpqinal perforffiance
€9{
OJ
tr
*
'€C&
7 t
E F
c)
E
'5o
$6
9t
$
E &
f"
rd
(f
(-)
{J
e
R
"Ei
:E
.*t
E.IJ (J ?t
= ( D
J # # fi -l
Fault severity
Fig. 1.1. FTC strategies
ing to the considered fault representation. Two main approaches have been
developed. One is based on a model matching principle where the control gain
is completely re-computed on-line, and the other method is based on adding
fault compensation to the nominal control law. In the first approach, the con-
trol system can be designed so that the faulty system performance is recovered
and the new systern behaves as originally specified. Gao and Antsaklis
147]
suggest a basic approach based on what they called the pseudo-inverse method
(PIM). Rather than tkrc eract m.od,el rnatch'ing method proposed by
l48,ILT|
has recently proposed an extended PINI method to develop an ad,rni.ssi,ble
model rnatch'ing approach. These gain redesign methods are not considered in
this book which is completely dedicated to the method based on the additive
control law. From a general point of view, one objective of this book is to show
the development of complete FTC methods where the control law is modified
once a fault has been detected, isolated, and estimated. Another objective
is to show the application of these methods to real laboratory-scale systems
taking into account the constraintsbf the reai applications.
In Chap. 2, the study is developed showing the various steps oT active
methods according to the severity of the faults and the ability of the system
to tolerate them. First, actuators and sensors are considered to operate badly
but they are still able to achieve part of the original system performance.
Then a complete loss of a sensor and an actuator are analyzed. The complete
Ioss of an actuator is a rnajor failure which leads to a large decrease in sys-
tem performance. Thus, it is necessary to restructure the control objectives
with degraded performance. It is shown that, according to the classification
described previously, the strategy to adopt and the level of performance to
recover depend on:
. The process itself
o The degree of the available (hardware andf or analyticat) redundancy in
the system
o The severity of the fault or the failure
. The level of desired performance
In this chapter, linear and nonlinear systems are considered. A nominal
control law is described for both cases. For the case of linear or linearized
systems, the notion of an operating point is detailed. Actually, this notion
is not always very well understood and needs to be highlighted. Nominal
tracking control and model-based fault diagnostic techniques are described in
detail and used in the design of the FTC. These methods will be illustrated
by applying them to different systems as wiil be detailed in the following
chapters
Chapter 3 is dedicated to the application of the FTC methods described
in Chap. 2 to a laboratory-scale system representing a winding machine. This
electro-mechanical system is a nonlinear system and its model and parameters
are not easy to obtain. Therefore, a model linearized around an operating point
is obtained experimentally as a black box rnodel. Later, a multiple model
6 1 Introduction to Model-based Fault Diagnosis and Fault-tolerant Control
technique is described to allow the system to range over the whole operating
region.
In Chap. 4, tlte well known three-tank system is used to illustrate FTC
methods and resuits. For this system, the physical equations are easily ob-
tained ailowing us to write a nonlinear rnodel of the system. This model is
first linearized around an operating point and used in the design and the ap-
plication of FDI and FTC methods. Later in this chapter, the nonlinear model
is used to deal with the case of major actuator faults such as actuator loss.
In this case, the system is driven outside the linearized zorre and the linear
model is no longer valid, yielding a bad performance of the control system.
Chapter 5 considers a nonlinear complex system represented by a car active
suspension. {Jnfortunately, a real active suspension system is not availabie,
but the physical model is described according to papers from the literature
and validated on real systems. This system is considered to be complex due
to its large number of variables. lfhe originality of the work presented in this
chapter is in the breakdorrin of this system to interconnected subsystems. Each
subsystem has its own local controller and its own fault dlagnostic module.
A higher level module coordinates the information issued from these locai
modules. Simulation results are performed to iliustrate the performance of an
FTC method in the presence of sensor faults for complex systems. Moreover,
as the number of state variables is large, the nurnber of sensors to use for such
systems is analyzed and existing sensors in industry are discussed.
2
Actuator and Sensor Fault-tolerant Control
Design
2.L Introduction
I i(t):
1
f (*(t),u(t))
' (2-1)
t a(t) : h(r(t),u(t))
or in discrete-time domain by recursive equations:
( r ( k + 1 ) : f (r(k),u(k))
(2.2)
I u(k): h ( r ( k ) , u ( k ) ) '
where r € U?2 is the state vector, u € $?- is the control input vector, and
g € $?q is the system output vector. / and h are nonlinear functions.
B 2 Actuator and Sensor Fault-tolerant Control Design
These forms are much more general than their standard linear counterparts
which are described in the next section.
There is a particular class of nonlinear systems - named input-linear or
affine systems - which is often considered, as many real systems can be de-
scribed by these equations:
( . 3
II r ( r ) : f ( " ( t ) )+ > G i @ ( t ) ) u i ( t ) )
: r@(t))*';;,(t))u(t) Q 3)
1
fs,(t):hi(r(t)), L<i<q
f (r) and gi(r) can be represented in the form of n-dimensional vector of
real-valued functions of the real variables rr,....Tn. namely
hn(r) - h . i ( * r , .. . . : r n ) . (2.5)
lfhe corresponding discrete-time representation is
( ^
,,* + 1) : f a('(k)) + I(g a,(r(k))ui@)
|
I ":l (2-6)
I : fa(r(k))+Go@&))"(k)
I s ' ( r ): h a @ ( k ) )
,.1
il
*
2.2 Plant Models
Control
inputs Outputs Measurements
System
Y
Fig. 2.1. Systern representation considering the whoie operating zone
Fig. 2-2- Systern representation taking into account the operating point
Then the model describing the relationship between the input z and the
output A car' be given by a Laplace transfer function for single-input single-
output (SISOIsystems:
@ ( ":) #
u l,s )
(2.s)
or by a state-space representation given in continuous-time for SISO or
multiple-input multiple-output (MIMO) systems:
To illustrate the notion of the operating point, let us consider the following
example. In the tank presented in Fig. 2.3, the objective is to study the be-
havior of the water level L and the outlet water temperature To. An inlet flow
F.!e11.
I
i
Outputs Measurements
Actuators
Y
Fig. 2.1. System representation considering the whole operating zone
Fig- 2-2- Systern representation taking into account the operating point
Then the model describing the relationship between the input 7r and the
output A car' be given by a Laplace transfer function for single-input single-
output (SJSO) systems:
/ \
o("): -u{l*s,) (2.8)
or by a state-space representation given in continuous-time for SISO or
multiple-input multiple-output (MIMO) systems:
1) : Aar(k) + Bau(k)
[ "fr + (2.10)
I s ( O : C a r ( k )+ D a u ( k ) '
Aa, Ba, Ca, and D4 are the matrices of the discrete-time system of appro-
priate dimensions.
In the sequel, linear systems will be described in discrete-time, whereas
nonlinear systems will be considered in continuous-time. For the simplicity of
notation and without loss of generality, matrix Da is taken as a zero matrix,
and the subscript d is removed.
To illustrate the notion of the operating point, let us consider the following
example. In the tank presented in Fig. 2.3, the objective is to study the be-
havior of the water level L and the outlet water temperature
[. An inlet flow
fl
10 2 Actuator and Sensor Fault-tolerant Cont.ot O."igrt
Q". T"
The outputs of this MIMO system are L and To. The control inputs are
Q; and, P.,. The block diagram of this system is given in Fig. 2.4.
a
*Yt
Assuming that the outlet flow rate Qo is proportional to the square root
of the water level |n the tank (Qo : oJT), the water IeveLL will be given by
the following nonlinear differential equation:
d L (t)
dt
: !{a,(r)- e"eD: }{o,e)- o L(t)). (2.11)
2.2 PLant Models 11
dl(t) I-
: n,(r\ _ ___g t, ,(at )\ ' (2'14)
dt s = " -" 2 s h
Similarly, the linearization of (2.I2) around the operating point OP is
given by
dt.(t) Too - Tt
qt.(t) *
dt SLo
- 7 r3 \( sP -/o, . - Q.r 5)
-#%e)
Considering the following state vector ,: lI to'l?, the linearized state-
space representation of this system around the operating point is then given
by
l . [E ol I eo(t).l
I i(t) -- Irrtl"l
L ' " ( tI) lI - af f i boJ l::(),1 d) l n - ( t )) (2.16)
I
where
a(t) : I r(r)I
L t " ( t )l
Ir o
L0 1l
l I r t r lI
Lr"(r)l
1 00 2 B 5
F
tr
I
l'.
Nurnerical Application
Study the response of the system to the uariati.on of the 'input uari,ables as
follows: Qt.: L0 I /h and P,. : 2 kW. The numerical values of the system lead
to the following state-space representation:
I :
i <
,{
ar{
r$0 foCI 3$$ 40s 580 1{'0 ]{rS 300 4SO iEO
tirne (s) tirne {s}
variation ofthe ler.eI I variarion c.frh€ tempereture ta
lJ.t
s
s
lo
-5
-s
a
-10
t 1
It can be seen that initial values of these variables are zero. The zero here
corresponds to the value of the operating point. I{owever, the real variables
Qt, Pu, L, and To are shown in Fig. 2.6.
Later on, if a state-feedback control has to be designed, it should be based
on the linearized equations given bV (2.16).
lii
$'i
;;
s
2.3 Fault Description 13
Qi* + 1O t":
I Pu'i= 3
{(
t.5
* 1
a
L
0,5
Qie l ) ^
. €:t
6,
-tl
-lrJ
Ta-11
Lq
. L L
tOS :00 300 .1OO )OS o 100 200 309 400 30s
tirne {s) tirne {s}
During the system operation, faults or failures may affect the sensors, the
actuators, or the system components. These faults can occur as additive or
multiplicative faults due to a malfunction or equiprnent aging.
For FDI, a distinction is usually made between additive and multiplicative
faults. However, in FTC, the objective is to compensate for the fault effect on
the system regardless of the nature of the fault.
The faults affecting a system are often represented by a variation of system
parameters. Thus, in the presence of a fault, the system model can be written
AS
Uf : fU *U|o, (2.2o)
where
. [/ is the global control input applied to the system
o U S is the giobal faulty control input
. z is the variation of the control input around the operating point [/s,
(u:U-Uo,uf:Uf-Uo)
o [/7o corresponds to the effect of an additive actuator fault
o f[/ represents the effect of a multiplicative actuator fault
with f :d.iag(a).a:
lot
(Jfo: ufoi uforn]t. lfn. zth actuator is faulty if at t' 7 ot
luyor
uyoo l0 as presented in Table 2.1 where different types of actuator faults are
described.
-- '.
a(k) cr(k) I
N
ir,
*
sl
F]
e
ffi-'
| " ( t ' + 1 ) : A r ( k ) + B u ( k ) + B [ ( 1 -- r ) U ( k ) + U r o ]
L Y(r) : Cr(k)
By defining fo(k) as an unknown input vector corresponding to actuator
faults, (2.18) can be represented as follows:
( * &' + 1 ) : A r ( k ) + B u ( k ) + F . f . ( k )
' (2'23)
t a(k;:cr(k)
where Fo - ,B and fo : (1- - I)U + U1s. If the zth actuator is declared to be
faulty, then f| corresponds to the zth column of mat rix B and, f o corresponds
to the magnitude of the fault affecting this actuator.
In the nonlinear case and in the presence of actuatol faults, (2.3) can be
described by the following continuous-time state-space representation:
I g.
i(t) : f (r(t)) + \@
..13_.
i @ ( t ) ) u i Q ) ) + / , ( F . , i ( r ( t ) )f " , i ( t ) )
(2.24)
I
j:I j:l )
y e ( t )- h ; . ( r ( t ) ) L < i < q
where F.,i@(t)) corresponds to the 7th column of matrix G(n(t)) in (2.3) and
f corresponds to the magnitude of the fault affecting the 7th actuator.
",iQ1
2.3.2 Sensor Faults
f t f q : f @ ( t ) )+ c 1 r 1t ) ) u ( t )
- hi@(t)) * F",if",i(t)
I ut?)
where F",z is the ith row of matrix -Fl and -f,,2 is the fault magnitude affecting
the zth sensor.
This description of actuator and sensor faults is a structured representation
of these faults. Matrices -F| and .F} are assumed to be known and fo a:nd.
/" correspond, respectively, to the rnagnitudes of the actuator fault and the
sensor fault.
16 2 Actuator and Sensor Fault-tolerant Control Design
The first step in designing an F'TC method is the setup of a nominal control.
In the sequel, a multi-variable linear tracking control is first addressed, then
a case of nonlinear svsterns is presented.
The objective in this section is to describe a nominal tracking control law abie
to make the system outputs follow pre-defined reference inputs.
Consider a MIMO system given by the following discrete-time state-space
representation:
:
I ,(n + 1) Ar(k) + Bu(k) ) (2.27)
I :
a(k) cr(k)
where r € $t" is the state vector, u € Ut- is the control input vector, and y €
U?qis the output vector. A, B, and C are matrices of appropriate dimensions.
The tracking control law requires that the number of outputs to be con-
trolled must be less than or equal to the number of the control inputs available
on the system [29].
If the nurnber of outputs is greater than the number of control inputs,
the designer of the control law selects the outputs that must be tracked and
breaks down the output vector g/ as follows:
: Iy'(r)l
f r't 1
a,(k)-at(k):O. (2.2e)
To achieve this objective, a comparator and integrator vector z € $?p is
added to satisfy the following relation:
+ 1 ): z ( k ) i T " ( a , ( k ) - a t ( k ) ) (2.30)
'
: z(k) t T"(a"(k) - Cp(k))
{"@
where ?" is the sample period to be chosen properly. Careful consideration
should be given to the choice of ?i . If T" is too small, the processor will not
,€ry'1'
have enough time to calculate the control law. The system may be unstable if
7' is too high because the systern is operating in open-loop during a sample
period.
The open-loop system is governed by the augmented state and output
equations, where 4 ir an identity matrix of dimension p and 0"r,o is a nutl
matrix of n rows and p columns:
u ( k :) - r { x ( k ): - l N , N , l l : [ f , ] l ( 23 3 )
I{ : lI{t K2 ] is the feedback gain matrix obtained, for instance, using a
pole placement technique, linear-quadratic (LQ) optimization, and so on
16,78,
II9,L25,130,133]. To achieve this control law, the state variables are assumed
to be available for rneasurement. Moreover, the state-space considered here is
that where the outputs are the state variables (C is the identity mat rix I,-).
Otherwise, the control law is computed using the estimated state variables
obtained, for instance, by an observer or a Kalman filter.
Figure 2-7 summarizes the design of the nominal tracking control taking
into account the operating point with r : Ar.
Plant
yo
",f
Fig. 2.7. Norninal tracking control taking into account the operating point
F
f
The need for nonlinear control theory arises from the fact that systems are
nonlinear in practice. Although linear rnodels are simple and easy to ana-
Iyze, they are not valid except around a certain operating region. Outside
this region, the linear model is not valid and the linear representation of
the process is insufficient. Control of nonlinear systems has been extensively
considered in the literature where plenty of approaches have been proposed
for deterministic, stochastic, and uncertain nonlinear systems (see for in-
stance 146,52,58,116]).In this book, two control methods are used: the exact
input-output linearization and the sliding mode controller (SMC).
Defi.nition 2.I. Let (rr,rr, ,r,n) be the set of the relat'iue degree per roLU
of (2.3) such as
r t : { m ' i n I € N / = j € [ 1 ,. . . , r n f , L n , L t l r n n l r l t l ) + o ] , ( 2.34)
L r h n ( ,: ) i . t , @ ) 9o-rh@n)'' (2'35)
=r""
The operation L1, Lie d.erivative in the d.irection of f , can be iterated. Llh
i.s defi.ned for any k > 0 bv
Definitiort 2.2. If attri erist (i,: I rn), the follorui,ng rnatrir A i's called
"decoupl'ing rnatrir" of (2.3):
I
F
s
f
&
*,
I*
As(r):
| "?'n'@)f
| , I (2.38)
n,-@)
l-L?* )
According to the previous definition, the nonlinear control is designed as
follows.
Theorern:
a) The systern defined ba (Z.S) i.s stati,calty d,ecouplableon a subset Ms of ftn
i.f and only i,f
rank A(r) : rrl, Yr € JVIg. (2.3s)
b) The control lau cornputed usi,ng the state-feedback i,s defined bg
r
I o@) - - a- 1rS/.s1r7
{ (2.4r)
I g @ ): a - r ( r )
Th'is control lata is able to d,ecoupte (Z.S) on Ms.
c) Thi's closed-Ioop system has a Linearinput-output behau,ior d,escribed, by
is built using linear control theory 129].The simplest feedback consists of using
a pole placement associated with Ti such as
ai(s) _ ( 2.43)
U,eSt(s) (L + r6s)'o
where aref ,i is the reference input associated with output y;.
The advantage of this approach is that the feedback controllers are de-
signed independently of each other. Indeed, nonlinear feedback (2.40) is built
from model (2.3) according to the theorem stated previously. The stabilized
feedback giving a closed-loop behavior described by (2.43) is designed from
tll'e rn decoupled linear equivalent subsystems (2.42) written in the Brunovsky
canonicai form f65l such as
2 . i , ( t ): A;zt(t) + Biui(t\
' Vze [1,...,ffi], ( 2.44)
at,(t) : C,i.zt(t)
with
A , : [
0
frr-l
.l ri Bt: Ci:lr
z(t) : A@(t)) where z(t) rs the state vector of the decoupled linear system
written in the controllability canonical form.
When there is no unobservable state subspace, the diffeomorphism is de-
fined by
a1@(t)) t h1(r(t))
I L?'-L nr1r1t77
:
L
z(t) = a@(t)) : : : ( 2.46)
h,- ( r ( t) )
:
a,.@(t)) :
Lv-r n-,1r1t11
The exact linearization and decoupling input-output controller with both
state-feedback control laws rnay be illustrated in Fig. 2.8.
E4EFr
i""'-"-"""""'.-
i m decoupled linear equivalent
subsystems
The main advantage of the SIvIC over the other nonlinear control laws is its
robustness to external disturbances, model uncertainties, and variations in
system parameters [135, 136].In order to explain the SMC concept, consider
a SISO second order input affi.ne nonlinear system:
-fr2
(2.48)
: f (r, i) + g(r, i)u * dr
{::
If the desired trajectory is given as rf , then the error between the actual
u 1 and the desired trajectory r! can be written as
e:it-i|-12-*1. (2.50)
The switching surface s is conventionally defined for second order systems
as a cornbination of the error variables e and e:
s-e*),e, (2.57)
where ) sets the dynamics in the sliding phase (s : 0).
The control input u should be chosen so that trajectories approach the
switching surface and then stay on it for all future time instants. lfhus, the
time derivative of s is given by
F
li'
22 2 Actuator and Sensor Fault-tolerant Control Design
i
The control input is expressed as the sum of two terms [114]. lfhe fi.rst one,
called the equivalent control, is chosen using the nominal plant parameters
(dr:0), so as to make s:0 when s:0. It is given by l7l4l
This condition states that the squared distance to the switching surface,
as measured by s2, decreases along all system trajectories. However, this con-
dition is not feasible in practice because the switching of real components is
not instantaneous and this leads to an undesired phenomenon known as chat-
tering in the direction of the switching surface. Thus (2.57) is expanded by a
boundary layer in which the controller switching is not required:
s s < - q l s l. (2.58)
Afber designing the norninal control law, it is important to monitor the be-
havior of the systern in order to detect and isolate any malfunction as soon as
possible- The FDI allows us to avoid critical consequences and helps in taking
appropriate decisions either on shutting down the system safely or continuing
the operation in degraded mode in spite of the presence of the fault.
The fault diagnostic problem from raw data trends is often difficult. How-
ever, model-based FDI techniques are considered and combined to supervise
the process and to ensure appropriate reliability and safety in industry. The
aim of a diagnostic procedure is to perform two main tasks: fault detection,
which consists of deciding whether a fault has occurred or not, and fault iso-
Iation, which consists of deciding which element(s) of the system has (have)
indeed failed. The general procedure comprises the following three steps:
This implies the design of residuals r that are close to zero in the fault-free
situations (,f :0), while they will clearly deviate from zero in the presence
of faults (f + O). They will possess the ability to discriminate between all
possible modes of faults, which explains the use of the term isolation. A short
historical review of FDI can also be found in [71] and current developments
are reviewed in 144].
While a single residual may be enough to detect a fault, a set of structured
residuals is required for fault isolation . In order to isolate a fault, sorne resid-
uals with particular sensitivity properties are established. This means that
r : 0 if f" : 0 and r + O if f* I O regardless of the other faults defined
through fo :0. In this context, in order to isolate and to estimate both actu-
ator and sensor faults, a bank of structured residuals is considered where each
residual vector r rrray be used to detect a fault according to a statistical test.
Consequently, it involves the use of statistical tests such as the Page-Hinkley
test, limit checking test, generalized likelihood ratio test, and trend analysis
test [8].
An output vector of the statistical test, called coherence uector ,S., can
then be built from the bank of z residual generators:
where ,S(llt: ll) represents a symptom associated with the norm of the residual
vector r3.It is equal to 0 in the fault-free case and set to 1 when a fault is
detected.
The coherence vector is then compared to the fault signature vector S,.f ,Ji
associated with the 7th fault according to the residual generators built to
produce a signal sensitive to all faults except one as represented in Table 2.2.
: : : : . :
s (l l r . l l ) 0 1 I o 1
The decision is then made according to an elementary logic test [86] that
can be described as follows: an indicator t (f i) is equal to 1 if S. is equal to
the 7th column of the incidence matrix (5,"f ,fi) and otherwise it is equal to
0. The element associated with the indicator equals to 1 is then declared to
be faulty.
Moreover, the FDI module can also be exploited in order to estimate the
fauit magnitude.
Based on a large diversity of advanced modei-based rnethods for automated
F.DI 122,31,53,69], the problem of actuator and/or sensor fault detection and
rnagnitude estimation for both linear time-invariant (LTI) and nonlinear sys-
tems has been considered in the last few decades. Indeed, due to diffi.culties
inherent in the on-line identification of closed-loop systems, parameter esti-
mation techniques are not considered in this book. lfhe parity space technique
is suitable to distinguish between different faults in the presence of uncertain
parameters, but is not useful for fault magnitude estimation.
In this section, the FDI problem is first considered, then in Sect. 2.6 the
fauit estirnation is treated before investigating the FTC problem in Sect. 2.7.
Ar(k)+Bu(k)+F.f.(k)
["f*+1): ) (2.62)
t a ( k ): Cr(k) + F"f,(k)
where rnatrices FL and F] are assurned to be known and fo and /" correspond
to the magnitude of the actuator and the sensor faults, respectively. The
ffifl-'
:
| *& + 1) Ar(k) + Bu(k) + F,f (k)
a&) : cr(k) + Fsf (k) ' (2.63)
I
where f : lf[ f?]' € u?' (, : nt + q) is a cornmon representation of sensor
and actuator faults.F. € S?'x'and F, € ftcx, are respectively the actuator
and sensor faults matrices with F, : lB on*q) and Fo :
loq*n rnl.
The objective is to isolate faults. This is achieved by generating residuals
sensitive to certain faults and insensitive to others, commonly called struc-
tured residuals . The fault vector f in (2-63) can be split into two parts. The
first part contains tlne "d" faults to be isolated fo e U?d. In the second part,
(cI)'-
the other d" faults aregathered in avector f* esn,-d. Then, the system
can be written by the following equations:
| , ( n + 1 ) : A r ( k ) + B u ( k ) + F : f o ( , k ) + F &; fo- ( k )
, r z - \ :- cr(k)
7 n - ' r , - t +r Ftfo(k)
'o r r ^ r , - F;f-(k) Q'64)
\ "auc) "o + ;*;*;,-r
Matrices {, F;, F3., and f}, assumed to be known, characterize tlte
distribution matrices of /* and /o acting directly on the system dynamics
and on the measurements, respectively.
As indicated previously, an FDI procedure is developed to enable the de-
tection and the isolation of a particular fault lfo among several others. In order
to build a set of residuals required for fault isolation; a residual generation
using an unknown input decoupled scheme is considered such that the resid-
uals are sensitive to fault vector /* and insensitive to /o. Only a single fault
(actuator or sensor fault) is assumed to occur at a given time, because simul-
taneous faults can hardly be isolated. lrence, vector -fo is a scalar (d :1) and
it is considered as an unknown input. It shouid be noted that the necessary
condition of the existence of decoupled residual generator is fulfilled according
to Hou and Muller [66]: the nurnber of unknown inputs must be less than the
number of rneasurements (d < q).
In case of an zth actuator fault, the system can be represented according
b (2.6a) by
*
I " & + 1 ) : A r ( k ) + B u ( k ) + B r f o ( t c )+ l B t o'"nl.f (k) (2.65)
I a @ ) : c r ( k ) + l o q x ( p - r ) r n ] f* ( k )
where Bi is the zth column of matrix -B and B; is matrix B without the zth
column.
In order to generate a unique representation, (2.65) can be described as:
l
26 2 Actuator and Sensor Fault-tolerant Control Design 1
f , @ + 1 ) : A r ( k ) + B u ( k ) * F a f a ( , k )+ F ; f - ( k ) I
I y(,t): Cr(k) + ry f- @)
where -fo i" denoted as fa.
Simiiarly, for a 7th sensor fault, the system is described as follows:
, ( r + 1 ): A r ( k ) + B u ( k ) + l B 0 n x ( q - 1 ) ] / - ( , k )
! ) (2.67)
I a ( k ): c r ( k ) + E i f o ( k ) + l o n , o E i f - ( k )
where Ej :JO --.1--.0]t represents the jth sensor fault effect on the output
vector andES is the identity matrix without the 7th column.
According to Park et al. 1100], a system affected by a sensor fault can be
written as a system represented by an actuator fault. Assume the dynamic of
a sensor fault is described as
where { defines the sensor error input and 4 is the sampling period.
From (2.67) and (2.68), . new system representation including the auxil-
iary state can be introduced:
Il o-* 'l
lr(k+l).1
f ^ '
L/"(k+1)l
l : l
| a 0,"xrl I t(t)
Lot",., 1 I lfo(n l,l +
,
Il
|
n
LUr"tt' ] "t*l *
L
r "
-
er*l
t 0 ' . r . t q - r ) l f ** ( k
* [^
Lo t * , . 0 r * ( q - r ) I "
a(k) : r
lC Ej I
[ ' ( r ) l - I o n * , . , E" j ) f - ( k )
L/o(k).1
(2.6e)
Consequently, for actuator or sensor faults representation ((2.65) and
(2.69)), a unique state-space representation can be established to describe
the faulty system as follows:
F;f-(k)
I *@ + 1): Ar(k) + Bu(k) * Fafa(k)+ (2.7o)
I a(k):cr(k)+F;f-(k)
where f a is the unknown input vector. For simplicity, the same notation for
vectors and matrices has been used in (2.66) and (2.70).
Under the FTC framework, once the FDI module indicates which sensor or
actuator is fauity, the fault magnitude should be estirnated and a new control
law will be set up in order to compensate for the fault effect on the system.
As sensor and actuator faults have different effects on the system, the
control law should be modified according to the nature of the fault. In this
book, only one fault is assumed to occur at a given time. The presence of
simultaneous multiple fauits is still rare) and the FDI probiern in this case
is considered as a specific topic and is dealt with in the literature. llere, the
objective is to deal with a complete FTC probiern for a single fault.
w*"
2.5 Model-based Fault Diagnosis 27
:
I -Qt + 1) Eu(k) +TBu(k) + Ny@)
i&) : u(k) + Hy(k) ) (2.77)
I
where f is the estimated state vector and u is the state of this full-order
observer.E,T,lf, and H are matrices to be designed for achieving unknown
input decoupling requirements. The state estimation error vector (e : i - r)
of the observer goes to zero asymptotically, regardless of the presence of the
unknown input in the system. The design of the unknown input observer is
achieved by solving the following equations:
Grc-r)Fa:9, (2.72)
T : f - I{C, (2.73)
E:A-I{CA-I{tC, (2.74)
I{z : EI{, (2.75)
and
ff-I{r*I{2. (2.76)
E must be a stable matrix in order to guarantee a state error estimation
equal to zero.
The system defined by (2-71) is an unknown input observer for the system
given by (2.7O) if the necessary and sufficient conditions are fulfilled:
. Rank(CFa) : rank(Fa)
. (C, At) is a detectable pair, where Ar : E + I{rC
i(t) : f(r(t)) * I g i @ Q D u i ( t )+ t
j:r
F i @ ( t ) )f i G )
(2.77)
- hi(r(t)). L<i, q
ar(t)
i t ( t ) : 7 r @ r ( t ) , r 2 ( t ) )+
+ (2.78)
iz(t) : |r@r(t).iz(t)) +
"l
w h e r e 7 (t1 : [ '' (t) : a y @ Q ) ,u ( t ) ) .
l'"e))
The diffeomorphism @y is defined by
TTZ
t fi e) : o
u(t))x Fi@eD
t@(t), (2.7e)
;_ 1 ffi*
This transformation is solved using the Fhobenius theorern [73]. Equation
(2-79) is not always satisfied. In order to simplify the way to solve this trans-
formation, only one component fi(t) of the fault vector / is considered with
the objective of building a bank of observers. Each observer is dedicated to
one single fault .f3 as proposed in the generalized observer scherne.
ffir'
I un(t) I I
i(t) : A7,@(t), u(t)) l n1(t) | I uo(t) | |
|- /.\|
I ' l l (281)
Laf'- Irl -l I
I r->ltl I
de(r(t), u(t)))
It is always possible to find Si(r(t), u(t)) satisfy 'ing the following conditions
[41]:
'r:[:]
rank
| . Il
l dim(r(t)), ( 2.82)
lor':'(r)
-l
[- dr(r(t), u(t)) )
- d
where is independentot f1(t).
V @i(r(t),u(t)))
System (2.77) can now be written by means of the new coordinates system
defined in (2.81) and a subsystem insensitive to fi can be represented as
: 6r(rt(t),iz(t),u(t))
I "r@ (2.83)
'
\ afrl :io(ar(t),,z(t))
where Tt(t) is the output vector gr(t) without the ith component
ar,(t).72(t) is
considered as an input vector for (2.S3).
Considering all bhe components of the fault vector f (t), a bank of observers
is built where each observer is insensitive to a unique fault
f 5. Nonlinear
subsystem (2.83), which is insensitive to .fi, is used in order to synthesize a
nonlinear observer as an extended Luenberger observer
lgrl.
Based on [rOO], the proposed decoupled observer rnethod applied to an
affine system also provides an efficient FDI technique for sensor faults as
developed in the linear case. In the presence of a sensor fault, the observer
insensitive to the fault estimates state vector ir(t) and consequently estimates
the output corrupted by the fault. On the other hand. no estimation of an
actuator fault can be computed from (2.S3).
30 2 Actuator and Sensor Fault-tolerant Control Design
Y
Fault Diagnosis Filter Design
i(k + 1) A i ( k ) + B u ( k ) + ( r { e + I { c ) ( a ( n )- c e ( k ) )
(2.84)
g(k) ce @)
wlrere
. I{a should be defined in order to obtain AFa - I{eCFa - 0, so f(a is
equivalent to
I{A : co=, (2.85)
I i(k + L)
g(k)
(A - I{ C) C( k) + Bu( k) * I{ eau * I{ VY;
ci(k)
(2.87)
\
ii
i
w h e r eA : A I I FaFC] and C:VC.
The gain 1{ is calculated using the eigenstructure assignrnent method such
that (A - I<C) is stable.
$
ii'
a
l]
F
ii:
:i
F
€
g
E
&
W-
The gain breakdown I{e-l I{c and associated definitions involve the fol-
lowing matrices properties:
According to the fault isolation, the fault magnitude estimation of the cor-
rupted element is extracted directly from the 7th unknown input observer
which is built to be insensitive to the 7th fault (f-(k) - 0). Based on the
unknown input observer, the substitution of the state estimation in the faulty
description (2.70) ieads to
i, (k\1
i(k) : ui(k) -- u I l - ^ '
' l
(2.e2)
l i r ( k )) '
A : LI-I AU lA"( k) A'r(k)1
: : t - (2.e3)
L A " ( k ) A " r ( k )) '
li
32 2 Actuator and Sensor Fault-tolerant Control Design
;
1
and
B:(J-rB: IE' (,k)
I (2.s4)
L B 2 ( k))'
B a s e d o n ( 2 . 9 1 ) . t h e e s t i m a t i o n o f t h e a c t u a t o r fault magnitude is defined
AS
For a sensor fault, the fault estirnation F(k) is the last component of the
estimated augmented state vectol i(k) as defined in (2.69).
Based on the projected residual p(k), an estirrration of input vector a(k) (which
corresponds to the fault rnagnitude with a delay of one sample) should be di-
rectly exploited for fault detection. Indeed. a residual evaluation algorithm
can be performed by the direct fault magnitude evaluation through a statisti-
cal test in order to monitor the process. It should be highlighted that the first
component of projector vector (2.89), denoted 1@), can be considered as a
quality indicator of the FDI module. If a fault is not equal to fa then the mean
of tlre indicator will not equal zero. As previously, sensor fault estimation can
be also provided bv the last component of the augrnented state-space
Anothel method to estirnate the actuator and sensor faults is based on SVD
which will be described in this section.
f ''r'
lr(k+t)l | ,qo-.olI'Qil -' I B
l-Z"C, r, I Lr(r)l lor,"n
t t t : l
l.(k + 1)l
+
[?]f . ( k )
It;fu,(n)- ' (2.e6)
a ( k ) : l C o n , r )i , ( t )I
l,(n)
where f| corresponds to the itl' coiumn of matrix B in case the ith actuator
is faulty.
2.6 Actuator and Sensor Faults Estirnation 33
E o X o ( k + 1 ) : A o X o ( k ) + B . A ( D + G . s , ( k ), (2.s7)
where
f r. o -F.f I e o o-l
Eo : '6 A o : ' B o lp ol
-
Lg 3 ]' L - t " " g3 ] L s; ]
r ( k ) ' l
G o- [l ro" rl , l , x . 1 k:7|
r
a ( D: l r r i ( I , r , ]
L o J ; jl .) |._,l
L f"*;(.ki _
The estimation of the fault magnitud" f. can then be obtained using the
SVD of matrix E. if it is of full column rank [91.
Consider the SVD of matrix Eo:
l -q l
Eo-tL;)*'. with r:lTrrrl
z and M are orthonorrnal rnatrices such that: TT7- - r , M M7: : 1, and
.9 is a diagonal nonsingular matrix.
Substituting the SVD of Eo in (2.g7) leads to
/ :
:
I x" (k + 1) AoXo(k) + B.U(k) * G.y"(k)
I - _ ' (2'98)
I o : AoX o(k) + BoU (k) * Goa,(k)
where
to zero. Hence, in the presence of a sensor fault, the control law must be r
prevented from reacting, unlike the case of an actuator fault. This can be
achieved by cancelling the fault effect on the control input.
For sensor faults, the output equation given in (2.25) is broken down ac-
cording to (2.28), and can be written as
y(k) : Cr(k) + r: f
"(k)
: : Is:)'(k)-
l'":ir)] lff;] f "(k). (2.100) $
t
In this case, attention should be paid to the integral error vector z which ;
will be affected by the fault as well. The integral error vector can then be
described as follows:
E
u < -
It- o o l
l0
l
I e 0 | ' A"
L C o F "_
-
l
-
|
A
-r"",
L o o
o
re
o
-T,rlr
l
|;
o l
B" :iill
G" : t':rl . \, (l^\ --
a@,:1,(r'?
I '
t;[g] 1 )j
t A s\tu,/
[ o l
The sensor fault magnitud" -f, can then be estimated using the SVD of
matrix E if this matrix is of full column rank.
"
A new control law uo44 should be calculated and added to the nominal
one in order to cornpensate for the fault effect on the system. Therefore, the
total control law applied to the systern is given by
From this last equatiorr, the additive control law ?tad,d.must be computed
such that the faulty system is as close as possible to the norninal one. In other
words, uad.d.must satisfy
Remark 2.L. Matrix B is of full row rank if the number of control inputs is
equal to the number of state variables. In this case, -B is inwertible.
In the case when matrix .B is not of full row rank ('i..., the number of sys-
tem inputs is less than the nurnber of systern states), the designer chooses to
maintain as many priority outputs as available control inputs to the detriment
of other secondary outputs. To be as close as possible to the original systern,
these priority outputs are cornposed of the tracked outputs and of other re-
maining outputs. This is achieved at the control law design stage using, if
necessary, a transformation matrix P such that
T
$
36 2 Actuator and Sensor Fault-tolerant Control Design $
t
:11:; - [E:)"u)*
Il::[f,ii]l i::ll::i1l [Z:) f.(k)
*i
i:
I : l';tlf: ",I::[i]l
a(k) ,
(2.108)
where index p represents the priority variables and s corresponds to the sec-
ondary variables. In this w&y, Bo is a nonsingular square matrix. If the state-
feedbackgain matrix 1(1 is broken down into 1{1 : lI{o 11"), the control law
is then given by
The main goal is to eliminate the effect of the fault on the priority outputs.
This is realized by choosing the transformation matrix P such that
o I
cr ' : lc"1
Lc r z r c r z z) '
Although that the secondary outputs are not compensated for, they must
remain stable in the faulty case. Let us exarnine these secondary variables.
Replacing (2.113) in (2.1L1) yields
2-7 Actuator and sensor Faurt-tolerance principles 3z
r,(k + 1) : (A ,, - B " B ;t Ao,) *"( k) - B"I{ 22( k)
t- (A " p - B " I{)%( k) + ( f;, _ B,B;r F.) i.( k) . (2.1r4)
It is easy to see that the secondary variables are stable if and only
if the
eigenvalues of matrix (A"" - B,B;, Ar") belong to the unit circle.
As for actuator faults, two main approaches have been proposed to eliminate
the sensor fault effect which may occur on the system. One is based
on the
design of a software sensor where an estimated variable is used rather
than
the faulty measurement of this variable. The other rnethod is based on-
addino
-------^o
a new control law to the nominal one.
:
( u { D c r ( k ) : _ c r o ( k )+ F " f " ( k )
, @ ) - z s ( k )+ f ( k ) 1 (2.116)
1
| /(k) : -
fU"- 1) T"F"tf,(k - L)
where 26 and zg a'rQthe fault-free values of r and z and y
is tfre integral of
-F'r/"' Assuming that matrix C : f , these equations lead the control law
tcr
be written as follows:
lfhe sensor fault effect on the control law and on the system can be can-
celled by computing the additive control law uad.d.such that
u .d d( k) : I{ tF,f + I{ zf ( k) . (2.118)
"( /r )
Rernark 2.2.In the case when matrix C + I-, the control law can be calculated
using the estimated state vector which is affected by the fault as well. The
fault compensation will be achieved in a similar way to that given by (2.I17)
and (2.118).
It has been shown that the new control law added to the nominal one is
not the same in the case of an actuator or sensor fault. Thus, the abilities of
this FTC method to compensate for faults depend on the results given by the
FDI module concerning the decision as to whether a sensor or an actuator
fault has occurred.
Afber having presented the different modules composing a general FTC ar-
chitecture, the general concept of this approach is summarized in Fig. 2.9
in the linear framework, which is easily extended to the nonlinear case. The
FDI module consists of residual generation, residual evaluation, and finally
the decision as to which sensor or actuator is faulty. The fault estimation and
compensation module starts the computation of the additive control law and
is only able to reduce the fault effect on the system once the fault is detected
and isolated. Obviously, the fault detection and isolation must be achieved as
soon as possible to avoid huge losses in systern performance or catastrophic
conseouences.
Estirnation
Fault diagnosis
Conrperrsation
Plant
,-,0I Ya
The general FTC method described here addresses actuator and sensor faults,
which ofben affect highly automated systems. These faults correspond to a loss
of actuator effectiveness or inaccurate sensor measurements.
The complete loss of a sensor can be overcome by using the compensa-
tion method presented previously, provided that the system is still observ-
able. Actually, after the loss of a sensor, the observability property allows the
estimation of the lost measurement using the other available measurements.
However, the limits of this method are reached when there is a complete loss of
an actuator; in this case, the controilability of the systern should be checked.
Very often, only a hardware duplication is effective to ensure performance
reliability.
The possibility and the necessity of designing an FTC system in the pres-
ence of a major actuator failure such as a complete loss or a blocking of an
actuator shouid be studied in a differenlt way. For these kinds of failures, the
use of multiple-model techniques is appropriate, since the number of failures
is not too large. Some recent studies have used these techniques [104,137,139].
It is important to note that the strategy to implement and the level of
achieved performance in the event of failures differ according to the type of
process, the allocated degrees of freedom, and the severity of the failures . In
this case, it is necessary to restructure the control objectives with a degraded
performance. A complete active FTC scheme can be designed according to
the previous classification illustrated in Fig. 1.1. This scheme is composed
of the nominai.control associated with the FDI module which aims to give
information about the nature of the fault and its severity. According to this
information, a reconfiguration or a restructuring strategy is activated. It is
obvious that the success of the FTC system is strongly related to the relia-
bility of the information issued from the FDI module. In the reconfiguration
step, the fault magnitude is estimated. This estimation could, be used as re-
dundant information to that issued from the FDI module. The objective of
this redundancy is to enhance the reliability of the diagnosis information. The
complete FTC scheme discussed here is summarized in Fig. 2.ro.
2.9 Conclusion
The FDI and the FTC problems are addressed in this chapter. The complete
strategy to design an FTC system is presented. For this purpose, since many
real systems are nonlinear, both nonlinear and linear techniques are shown.
The linear techniques are used in case the system is linearized around an
operating point.
The study presented here is based on the fault detection, the fault isolation,
the fault estirnation, and the cornpensation for the fault effect on the systern.
All these steps are taken into consideration. If this fault allows us to keep
40 2 Actuator and Sensor Fault-tolerant Control Desien
Restrucluring
Choice:of
Adequate Model Possibility to
aod:Cortfofler Continue Operati
with:Safe Actuators
Far/t Dia;4nosi,r
I
- s
I
l l
I I
Itc fcrcncc
-\ctuatoG
(ienemtor
using all the sensors and actlrators, a method based on adding a new control
law to the nominal one is described in order bo compensate for the fault
effect. For actuator faults, the objective of this new control law is to boost the
control inputs in order to keep the performance of the faulty system close to
the nominal system performance. Regarding sensor faults, the additive control
Iaw aims at preventing the total control inputs from reacting when these faults
occur.
In case a major fault occurs on the system, such as the loss of an actuator,
tlre consequences are more critical. This case is analyzed and the system should
be restructured in order to use the healthy actuators and to redefine the
objectives to reach. Therefore, the system will perforrn in degraded mode.
The following chapters are dedicated to the application of the linear and
nonlinear methods described above to a laboratory-scale winding machine, a
three-tank system, and finally in simulation of a full car active suspension sys-
tem which is considered as a complex system. tured in order to use the healthy
actuators and to redefine the objectives to reach. Therefore, the system will
perform in degraded rnode.
The following chapters are dedicated to the application of the linear and
nonlinear methods described above to a iaboratory-scale winding machine, a
three-tank system, and finaily in simulation to a full car active suspension
system which is considered as a complex system.
w-
3
Application to a Winding Vfachine
3.1 Introduction
t n ! \ t r a n s p od i rretc t i o n
I i 'u, @
tracting li \\
welding motor s w l
I
...r".u
i S l
'.ll 3,
.'. tu--.4m
unroller \
iri
fry
-':"
i
'. FEia
'
d
1
b
i
'
\I i " f roller
dancer
rollers
The control of such a system must take into account the characteristics of
the product to be transported.
Moreover, web transport systems are multi-variable and coupled systems,
the process pararneters of which vary during operation. The pararneter vari-
ation is due to the reels radius variation during unwinding.
The variation of the reels radius significantly modifi.es the dynarnic behav-
ior of the system during the complete process of unwinding. So, the control
performances deteriorate. The strategy of industrial control consists in leav-
ing a margin of sufficient stability by reducing the required performances, and
more particularly by decreasing the linear velocity of the web-
w""-
Sbip Tersircrn
T'
SbipTensiur
The control inputs of the three motors are U1, U2, and Us. U1 and U3
correspond to the current set-points 11 and 13 of the local controller as shown
in Fig. 3.4. Uz is the input voltage of motor M2.In winding processes, the main
goai usualiy consists of controlling tensions n and 73 and the linear velocity
of the strip. Here the linear velocity is not available for measurement, but
since the traction reel radius is constant, the linear velocity can be controlled
by the angular velocity Q2.
_ _ : : _ _ _ _ ,
!
a
II
I
I
I UNWINDING
parameters of the system which are time-variant due to the variation of the
unwinding and rewinding reel radii. To design a control law for this winding
machine, a model describing the nominal behavior is required. This will be
described in the next section provided that some assumptions are fulfitted.
Velocity reference
PC with
DSPACE board
i:
ll
tl
3.3 Linear Case *t;
ii
lr
3.3.1 Systern Modeling i'
i
i:
Winding processes are generally continuous and nonlinear processes. In prac-
tice, the system modeling phase is a tedious and time consuming task and re-
quires a good knowledge of the physical parameters which are often unknown
and unmeasurable. Several studies have dealt with the modeling problem of
winding systems. Since this is not the main objective of this book, an "aver-
age" Iinear model of the system identified with a norninal working conditions
in a small operating zone is considered. For a detailed study of the modeling
of this winding machine, the reader can refer to [10].
In the first step, the aim ls to consider a linear model around an operating
point. Then a rnulti-linear approach will be considered.
For the linear case, an operating zone is taken around the rniddle of the
strip, i,.e., tlne radius of the unwinding reel is almost equal to the radius of
the rewinding. The experiments are then conducted in less than 2 rni,n. lfhis
is enough to illustrate the control, FDI, and FTC methods while the model
can be still considered as iinear.
A "black-box" identification of the winding piiot-plant is used considering
a model for each output as a multiple-input single-output (MISO) model. The
corresponding analytical model is obtained using an auto-regressive with ex-
ternal inputs (ARX) structure. This model describes the dynamical behavior
of the system in terms of input/output variations (u, g) around the operating
point (Uo, Yo):
(Jo: yo : (3.1)
[-O.rS 0.55 O.rS]?; [0.6 0.5 o.4l' .
To get this model and to identify the system parameters, pseudo-random
binary sequence (PRBS) signals, considered as variations of the control inputs
around the operating point, are applied to the system at a sampiing period
T" : 0.1 s (Fig. 3.6). The rnagnitude of these signals should be taken such
that the system is still operating properly within the operating zorue where it
is considered as linear. Using the dSPACE@ board, the collected signals are
-F1] corresponding to
given in the interval [-1 [-1O V +1O I/].
The response of the system to these input signals is shown in Fig. 3.7.
Afber removing the mean value of these signals, and considering the ARX
structure, the model for each output is given as
Tt(k + 1) ayTl(k) * a s T s ( k ) + b r t u t ( k ) + b r z u z ( , k )+ b 6 u 3 ( k )
O2(k + 1) a217!1(k) * a z z Q z ( k ) * a 2 s T 3 ( , k + ) b21u1(k)
(3.2)
* bzzuz( ,k)+ bzzuz( k)
T s ( k + 1 ) : a z t T t ( k ) * a y T s ( k ) + b z t u r ( , k ) + b s z u z ( , k +) b s 3 u 3 ( k )
@'
-o.2
o.l
o.6
. a l
;:) o.5
o.2
F o.l
U 20 40 60 80
Tirne[s]
Fig. 3.6. PRBS signals
al
20 40 60
Tirne[s]
Fig. 3.7. Systern outputs in response to the PRBS signals
48 3 Application to a Winding Machine
r(k+1):Ar(k)+Bu(k)
) (3.3)
a(k) : Cr(k)
with
l-nl lurl f o.+rza o -o.o1e6l
tr:lnrlt ?L:lu, I, A- | o.ossoa . s 2 o-r0 . 0 a 11 3;
L7-.J LY' I L-o.o1o1 o o-257rJ
and
-t.rzza o.o6e6o.o734l
|
B - | 0.0928 0 . 4 6 5 8 0 . 1 0 5 1| .
l-o.oaz+ -o.oe32.orb2
)
C is the identity matrix -I3. The reader can easily check that the system
described by these matrices is completely observable and controllable.
The next step before going on to the design of the control consists of
validating this model. To achieve this task, another experiment should be
conducted around the same operating point. Then a cross validation is done
and the model given by (3.2) and (3.3) is declared to describe the linear
behavior of the system around the selected operating point.
a,(k)-a(k):o. (3.4)
Figure 3.8 shows the real-tirne irnplementation of the designed control law
around the selected operating point using Simulink@ and dSPACE@. \Mhett
the program is compiled and runs in real-time, it is driven in open-loop until
reaching the operating zorre close to the selected operating point. Then, the
closed-loop is switched on using the trigger "gt-."
The block 'lReference vector" corresponds to the reference vector A, tllrat
the system outputs have to track. Actually, this reference vector contains
uctriat'ions of the real references around the operating point Ye. The block
3.3 Linear Case 49
It'fcr<rrqucnts
Mcasru'aucrtts
DS I IO2ADI
Filter
DS I lO:DA
Remark 3.1. The negative values of U2 mean that the motor is rotating in the
opposite sense so U2 is always equal to zero in our application. The negative
values of Ut and [/3 correspond to a resistant torque.
Remark 3.2. The block "saturations" and the block "Control inputs" could
be combined into one block, but separating them highlights the fact that the
saturations should not be forgotten.
r @
The application of this control law to the winding machine for a given reference
vector close to the operating point leads to the following results illustrated by
Figs. 3.11 and 3.72.
o.8
20 40 60
TirneIsl
F i g . 3 . 1 1 . O u t p u t s response of the closed-loop systern
52 3 Application to a Winding Machine
o.5
' f ! -
a
o.4
a\a
r h
1 ^-'ff\iw6\,
(-)
- o.2
20 40 60 80
Tirne[sl
Fig. 3.12. Inputs response of the closed-loop systern
After the design of the nominal control law, the performances of the FTC
methods developed in Chap. 2 are tested by simulating actuator and sensor
faults according to the description given in Sects. 2.3.1 and 2.3.2. The sim-
ulation of the sensor faults consists of modifying the data acquired from the
sensors in the Simulink@ program, while the simulation of the actuator faults
consists of modifying the control inputs to apply to the actuators.
Loss of Effectiweness
Remark 3.3. To simulate an actuator fault, the global control input [/6 shouid
be considered rather than the variation of the control input around the oper-
ating point u;.
Saturation2
The fault is not considered from the beginning of the experiment. This
means that a3 is equal to 1 at the beginning and when the fault occurs at
time ts, az is switched to 0.3. In the following experiments, the fault occurs
at tS :32 s.
The actuator fault acts on the system as a disturbance. Thus, in the nom-
inal tracking control law considered in thls application, the presence of the
integrator in the controller compensates for the fault effect in steady-state:
the output vector will reach its reference value in steady-state. Flowever, it is
obvious that the dynamical behavior of the system will be affected and the
system responses will be slower than those in the nominal case.
In order to compensate for this actuator fault effect, the fault magnitude
should be estimated and then a new control law uo46 added to the nominal
one. In the following, the application of the fault estimation based on the
SVD technique described in Sect. 2.6.3 is presented. Let us recall the system
equations in the presence of an actuator fault:
l , ( n + 1 ) l:_ l a o s , sl .*lG ) j
l n - l u(k)
l,tn+ lil l-r." ;;"1 *
l;iijl Lo.,l
* lff;if u,@
- ldl),.rr> (3.8)
y(k): lc os,s
I l:[I]]
It is possible to consider Fo - B; then
/. will be a vector composed of
three components. The zth component corresponds to the fault on the ith
actuator.
These equations can be rewritten in the following form:
[r' o
3l t:ll
- FL ( a
I _ l A 0
Lsf 0 Ao:
E-'
u(tr -
l; l-f"C I3 Bo-
0 I L o 0
\Ja -
t+l x.1k1:
1,.?ir) r)
l,
_l
u Q , )IL:vu(t")
&+ , ) ]
The following lines show a section of the IVIATLAB@ program that calcu-
lates the necessarv matrices to solve the fault estimation problem as described
in Sect. 2.6.3.
% A c t u a t o r F a u l t E sti,m at'io n
A-bar-a:[A zeros (3) zeros(3,3)
-T s *C eye(3) zeros (3,3)
zeros (3) zeros ( 3 ) zeros(3,3)];
B -b ar -a: [B zeros (3
zeros (3) zeros ( 3
zeros (3) eye(3)
G _bar_a: lzeros (3 )
Tsxeye ( 3 )
zeros (3)] ;
EHa: IEu,;Hr ] ;
lneha ,meha]:size (EHa);
% neh: rL + p + p, % rneh
I T 1 a , S 1 a , M 1 a ]: s w d ( E H a ) ;
% EHz-T1rS1*M1' % But 'ue need T'xEHxIWSl
Once these matrices are calculated, the actuator fault fo can be estimated
by solving the system equations given in (2.9S). The real-time actuator fault
estimation is added to the Simutink@ nominal control program as shown in
Fig. 3-fZ. tne additive control law is then calculated according to (2.1O7).
Aritd
The global actuator FTC is then built as illustrated by the Simulink@ program
(Fig- 3.15). The complete program is then compiled and executed in real-time
for the abrupt actuator fault described above.
The FTC approach enables the compensation for this loss in the dynamical
performance of the system outputs corrupted by this fault as illustrated in
Fig. 3.16. This fault depends directly on the accommodated input z3 (Fig.
3 . 17 ) .
56 3 Application to a Winding Machine
Trigger
cT l cv2 cT.f
Merurem ents
- -- reference
- with fault compensation
- without fault compensation
o 2 0 4 c - 6 0 8 0
Tirne [sl
Fig. 3.16. Tirne evolution of the systern output 73
Figure 3.18 shows the estimation of the faults components associated with
each actuator. It can be easily seen that the third cornponent associated with
the faulty actuator is only different from zero afier the fault occurrence. The
estimation of this fault is also compared to its theoretical value after the fault
has occurred: io : (or - L)Us.
In addition to the visual analysis of the results, the norm of the tracking
error € : A, - y (Table 3.1) can be calculated and analyzed. The norm em-
phasizes the performances of the FTC method for actuator faults. It can be
W*
3.3 Linear Case 57
0.6
E 0.4
20 40 60
Tirne [s]
Fig. 3.1-7. Tirne evolution of the systern input Us
o_2
Fault occurence
-4.4
-0.6
o 2A 40 60 80
Tirne [s]
F i g . 3 . 1 8 . A c t u a t o r fault rnagnitude estirnation
58 3 Application to a Winding Machine
easily noted that the norm of the tracking error for the strip tension 7s afber
fault compensation ls much less than that without fault compensation.
Saturation 1
Saturation2
S aturation3
ki Integrator
F
o.45
o.35
20 40 60
Tirne [sl
F i g . 3 . 2 O . T i r n e evolution of the systern output 7s
4.2
Fault occlrrence
q)
HN
-4.?
-0.4
Let us now examine the influence of sensor faults on the winding machine and
the way to compensate for their effect. The sensor faults can appear as a bias,
a drift, or a complete loss of the sensor.
:r:sr(k)-73(k)-0.1. (3.11)
sensor_fault
Fig. 3.22. Sensor fault on 7-3
The value of the sensor fault is initializedto zero and is switched to -0.1
on-line. In this experiment, the fault occurs at tirne instant tf :32 s.
In the presence of this fault, the controller receives the faulty measurement
while the true value is still equal to its reference value. The tracking error
between the measuremenl Tzf and its reference value is no longer equal to
zero. Therefore, the nominal control law tries to bring back the steady-state
error to zero. The variation of the control input causes the strip tension 7e to
increase by the same value of the bias on the faulty sensor as it can be seen
in Fig. 3.23.
If the bias is larger than 0.1, the real strip tension will be larger which
rrreans that the strip may be broken. This shows the importance of taking
into consideration the potential sensor fault while designing the control law.
Therefore, the control law is computed according to the method presented in
Sect. 2.7 .2 aiming at preventing the nominal control law from reacting in the
presence of this fault. This method is based on the sensor fault estimation
3.3 Linear Case 61
reference
rneasured
real
E o.-s
a
u(9
F
o.4
o 2 0 4 0 6 0 8 0
Tirne [sl
Fig- 3-23. Time evolution of the strip tension ?3 without fault cornpensation
which is taken into account in the calculation of the control law in order to
prevent it from reacting when a sensor fault occurs.
rn the presence of sensor faults, the integral error vector z is also affected
bv the fault:
The sensor fault magnitude can be estimated in a way similar to the ac-
tuator fault, by rearranging the augrnented system in the form
D
D S -
[r#i] Ar:
l e
| -r""
L o
o
ft
0
o l
-r"F" |;
o j
B " i-o; r'-l
31,
I
The estimation of the fault magnitude is then obtained using the SVD
"f"
of matrix E".
The estimation of the fault affecting the sensor measuring the strip tension
7s is shown in Fig. 3.24.
0.05
reference
estirration
0.
q)
b!
-o.o5
-U.I
-0.15
40 60 80
Tirne [sl
F i g . 3 . 2 4 . T i m e evolution of the fault magnitude
The compensation for the sensor fault effect makes use of the sensor fault
estimation .frs. Figure 3.25 shows the norninal control law without taking the
fault into account and the new control law able to rnaintain the real strip
tension to its reference value as shown in Fig. 3-26.
3.3 Linear Case 63
0.25
with faqlt cornpensation
r***------^
'-€ n ')
f i
t-)
v'! .: J {r
l l I \
o zo _10 60 80
Tirne [sl
Fig. 3.25. Time evolution of the control input Us without a,nd with fault compen-
sation
0.6
f
"tdi i'lisy W',r atu,aa)a 1j,*a r di,4l$ff1ar'n
:I ti
i
I .
t
o o.4 . _ .{trs&
a
.9.
F
reference
measured
real
o.2
o 2 0 4 0 6 0 8 0
Tirne [sl
Fig. 3.26. Tirne evolution of the strip tension ?a with fault cornpensation
64 3 Application to a Winding Machine
Incipient faults may also affect the sensors in industrial systems which are
mainly due to ageing. These faults cannot always be easily detected because
of their slow development. They can be detected when their effect on the
system becomes visible. Sometimes this is unacceptable.
The presence of the integrator in the nominal tracking control law leads to
a constant nonzero steady-state error between the measurement issued from
the sensor and the reference value. At the same time the real measurement
deviates slowly from its reference value until the control input reaches the
physical limits of the system. In this case the system should be stopped im-
mediately.
'
An experiment has been conducted by emulating a drifb of slope 0.01 on
the sensor measuring the strip tension 23. Figure 3.27 shows the behavior of
the strip tension ?s in the presence of the fauit.
l\i
u)
.9
Fr
reference
rneasured
System stopped
real
Tirne [sl
Fig. 3.27. Strip tension 73 with ramp fault
Using the rnethod presented previously, while taking into account the ramp
fault sensor, ailows the estimation of the sensor fault magnitude (Fig. 3.28).
This estimation is used in order to prevent the control input [/3 from moving
face to the fault occurrence as can be seen in Fig. 3.29, which keeps the real
value of the strip tension close to its reference value (Fig. 3.30).
3.3 Linear Case 65
o.6
reference
estirration
o.4
+f
tr o.2
EA
q)
r-.
o
-o.2
20 40 60 80
Tirne [s]
},
.".'s::,".+<-o.:::r':", ;<-*,ij;::
20 40 60
Tirne [sl
Fig. 3.29. Control input [/s for rarnp sensor fault
66 3 Application to a Winding Machine
reference
measured
o.8 real
Fr
o 4.6
a
.e)
r-
f_,._*::i::;i.rjil{:,i; l:.il'.3;
l )
.il
o.4 ll
{..!...i+ristiiraf !:s; j!.+,+:r:.lnJti::
o.2
20
Tirne [sl
Fig. 3.3O. Strip tension 7s with rarnp fault accommodation
Modeling
During the process of unwinding and rewinding, the radius and inertia of the
reels vary. In order to take into account these variations, the system model is
defined according to the unwinding reel radius (denoted R) which is a time-
varying parameter.
In this case, the dynamic behavior of a winding machine cannot be de-
scribed using a MIMO linear state-space representation as is done around a
particular radius lOO,f 11]. Indeed, if a complete rolling is performed, the ra-
dius variation should be considered and the linear assumption is no longer
satisfied.
So the system model can be described by the following nonlinear repre-
sentation:
where /(.) and 9(.) representthe nonlinear functions and € : I?r d)z Tz R]".
Only state variables lf, Q2 ] depend on the control input vector u.
"3
The radi,us is governed by the following equation:
3.4 Nonlinear Case 67
R ( k ) : 0 . 5 5 ( J ? ( k- r ) - 1 . 2 2 Q z ( k ) ) . (3.15)
Therefore' the system (3-14) can be broken down into two independent
subsysterns when a specific operating point Ar"f : Q;f T;"f ]t i"
lr["f
considered. State variable Q2 is then considered as an input for radius evolu-
tion described by (3.15).
Then a discrete linear time-varying (LTV) model, where the time-varying
parameter is the unwinding reel radius -R (not measured). is obtained such as
where a : tr : lT, {)z fu)', u : lut u2 u"f', and r(k) : r(kT"). z} i"
the sampiing period.
If an operating point is considered for the unwinding strip, it can be noted
bhat this operating point depends on the nonlinearity introduced by the radius
^R. The effect of the radius can be considered with the nominal control input
(Fie. 3.31a), as well as with the nominal output (Fig. 3.31b).
t o(R)
-***---->
a b
The aim is to control the system outputs, 'i'.e.,to control this system around
a constant Ao. Thus the representation given in Fig. 3.31a is chosen since the
evolution of the outputs does not depend on the radius .R.
In order to obtain a model as in (3.16), an identification procedure is
established.
Identification
The division of the strip into various operating zones (as represented in
Fig. 3.32)
O An open-loop identification
a A closed-loop identification
a A polynomial interpolation synthesis
68 3 Application to a Winding Machine
Data orqarrization
: 45s
:**__*-' **->
r-_-_-_-_--_____]
m _s, I'Ioclel 1
'tO
"
: - - - - _ _ _ - - _ - + i l
: f + - - - = ]
ta
a
?
_-.--V
N'{odel i
$
!r
a
a
i
a t
<'
. rl
-\..
i
"'> ---V Mocleln
i
Clo nrpl ete unr.vincling
R:?10mnr R:70 mm
Tlre LTV model (3.16) is obtained after considering 24O operating zones
(as represented in Fig. 3.32), where each operatingzone can be modeled with
an L:fI model. Experiments of 45 s for each operating zor.e are used in order
to consider an LTI representation; i,.e., the radius is considered to be constant
(variation between 1 and 4 rnrn) and is manually measured (no sensor is
available), with a sarnpling period 7-" :0.1 s.
The second step, dedicated to the open-loop identification of each oper-
ating zorre, fbllowing the same methodology as presented in the linear case,
allows to obtain 24O analytical models using a classical ARX structure [90,99].
In order to identify each LTI model parameter, a PRBS is added as an ex-
ternal input to the nominal control input u,orn.: [-O.OS O.4 0.15]? (the
system inputs and outputs are given in the interval l-1 *1.1 corresponding
to [-Lov +10r/]).
'lfhe
rneasured outputs vary with the radius -R of the strip roll over the
whole operating range as shown in Fig. 3.33.
The final goal is to design a control law for angular velocity A2 and strip
tensions 7r and Zs. Therefore, the system must be characterized for constant
measured outputs as proposed in Fig. 3.31a. Thus, an elementary and classical
LQ *1|- integrator control law l 5] is synthesized and implernented for each
ry
3.4 Nonlinear Case 69
- Tension T,
80
- Aogularspeedf),
-*'*' Tension T.
70
50
40
P
0 30
c)
2 ?0
io
Tirne[s]
F i g - 3 . 3 3 . Me a su re do u tp u ts w ith constantinputs ,unom: o.4 0.15]?
l- o.os
LTI model identified above (i,.e., for each operating zone). Since there is an
integrator in the control law, the measured outputs are constant and equal to
the reference inputs which are chosen to be equal to
ano"n: lo.z o.4 0.5-]?.
The third step consists of a closed-loop identification of rn f-ff model tor
each operatin g zorre by means of a direct solution
130]. It can be noted that the
results are biased since the plant input signal z is correlated with the output
noise disturbance and because no noise model is specified. But this solution
is kept in the first approach. It can also be noted that since the controller
is completely known for each LTI model, an indirect solution could also be
applied.
The last step is the acquisition of one LTV model. TLre 24O LTI models
are considered and a polynomial interpolation, dependent on the radius -R, of
each component of matrices A and B has been synthesized to approximate the
dynamic behavior of the LTV system. Then, each coefficient in these rnatrices
i s e x p r e s s e d i n t h e f o l l o w i n g f o r m ( V i . ,j : 1,... ,3):
optimai sixth order polynomial function of the radius ,R. Figures 3.34 and 3.35
validate the previous results.
' q) 5 o
:F - -- polynomialapproxirnation
q)
*---" measurement
r l
- l
polynomial approxirnation
"{
------- measurement
q)
-r lsS.\#;r*')&",
(J
'F
:F
q) ',Ji r'r +€L{ty:?\-.,'.zt*^J,c,rf;*"ii?r'
-.)
100 l?0 140 r60 180 200 220
R:rdius (rnrn)
The winding process model presented previously is linear with a variable pa-
rameter and is available around the operating point ([/s, Ye). Moreover, the
number of measured outputs is equal to the nurnber of control inputs. This
model is completely suitable to design a control law using nonlinear techniques
by linearization presented in Sect. 2.4.2.In this section, the input-output lin-
earizing control, developed within the frarnework of the continuous systems is
considered in discrete-tirne
3.4 Nonlinear Case 7l
o.,s
q) ++ LTI models
0.3 _ LPV model
:\
t-{ o)
on
c)
200
0.6
t
- 0.5
= ++ LTI rnodels
0.4
q)
a! 40 60 80 100 1?O 140 160 180 200
q) 22Q
A L
q ) G a.?
I ++ LTI rnodels --.-*-"-LPV rnodel
t r | r L** .$- +€il++l-
o c q 0.1 t+ d *+
E tj- 5
+- Stsri
' d )
*-*.-.efJi
_,* r * . - *__T.:ii.+ +.l___
1t
ao {._**-+- +*+* is-
f +
The definitions and the theorem of Sect. 2.4.2 can be applied to the LTV
model of the winding machine (3.16) with f (") : A(R)r(k), g(r) : B(R),
and h(r) : Cr(k) [102].
According to the methodology described in Sect. 2.4.2, the first step cor-
responds to the calculation of the relative degrees. All are equal to 1. lfhe
linearizing state-feedback is thus written as
u ( k ) - - B - r ( R )A ( R ) r ( k ) + B - L ( n 7 u 1 n 1 . (3.18)
Note that this feedback is nonlinear since it depends on J?. B-r (R) can be
verified off-line in order to guarantee the stability of the system. The linearized
systern is then decoupled and three SISO subsystems can be considered for
the description of the input-output behavior, each one being equivalent to an
exact delay such as
&
72 3 Application to a Winding Machine
where 1{.; allows adjustment of the stability dynarnic and Uref ,i is the reference
input.
The closed-loop system can be represented by Fig. 3.36. In this study,
all the states are available through the measurements; thus no observer is
required to estimate the states.
The control law described above is valid if and only if the rnodel of the con-
sidered process is exact. In the presence of modeling errors, which is generally
the case in practice, some steady-state errors will appear on the controlled
outputs. The modeling errors can be considered as a disturbance input d.
Thus, (3.16) can be written in the following form:
*fr+ 1 ) : A ( R ) r ( k ) + B @ ) ( u ( r c )+ d ( k ) )
[ (3.21)
I Y(t) : z(k)
In order to reject rnodeling errors, a disturbance rejection control is used
as proposed in [103].In the presence of this disturbance input d, and with the
linearizing state-feedback (3.1S), the subsystern ff will not be strictly equiva-
lent to r;. A component, uo441, which will be added to r,t, must be determined
in order to verify (3.19). Theoretical output f(k) obtained in the presence of
an eract decoupling, is considered and estirnated. For the winding system,
this estimation is obtained via a classical Luenberger observer of a system
equivalent to an exact delay, such as
w h e r ee n ( k ): a r . ( k )- f u ( k ) , V ' i € [ 1 , . . . , 3 ] .
So, each component of uo44 is defined by
Figure 3.38 shows the Simulink@ program of the designed nonlinear con-
trol iaw. In order to implement it and test it using dSPACE@ software, the
"Winding Machine" block must be replaced by input and output ports con-
nected to the input-output card.
Figure 3-39 shows the details of the disturbance rejection block associated
with (3.22)-(3.24).
In the following tests, the various signals are only represented on part of
the cornplete unwinding strip for legibility.
74 3 Application to a Winding Machine
r/'e€itrrres
v(k)
First, the decoupling control law (3.18) is walidated in simulation (as pre-
sented in Figs. 3.4O-3.42 using the discrete-time LTV model estirnated in Sect.
3.4-I. Steps of magnitude SOVo are added successively to thereference inputs.
It can be noticed that the outputs follow the reference inputs and that they
are decoupled from each other.
80
- . - reference
- output
C (ro
r-i
2 s o
.(D
Fr
40
30
20 100 120 r40 160 180
Tirne[s]
Fig. 3.4O. Sirnulated output 7-r based on the linearizing control Iaw
3.4 Nonlinear Case 75
80
I I
I
I
\v
I
a{
G 6 0
q)
c)
a
4
F s 0
trtr i\
40
- ' ' reference
- ouQut
30
0 20 40 60 80 100 1?o 140 160 180 200
Tirne[s]
80
x(-,
60
0
f; -50
t-
40
reference
output
Figures 3.43-3.45 check the integral action added to the control of the real
system. Indeed, it can be verified that the steady-state errors are canceled.
Moreover, the outputs are decoupled. Nevertheless, a significant noise affects
the measurements.
r-s
reference
output
:\ -)
x
Y-, 50
s
q)
.Q
F + U
_l-s
2--s
9_-{0 1000 1050 1100
TirneIsl
Fig. 3.43. ReaI output Zr based on the linearizing control law
6*s
60
t T
, t t
I I t
55 , t l
T I t
t I ,
l I
al 50 , I ,
I I
I I I
I ,
I t I
{) I
q) 4-s I I
I t
t t
a t 1
I \
li
40
a!
3_5
30 reference
output
z5
950 1000 lo_50 I loo
Tirne[s]
F i e . 3-44- Real output f2z based on the linearizing control law
65
60
55
E
t ;j !
50
I
!
, ;!
i l
u)
45 fii i i ! i
l: ;
lt': :
t:
40
r i ; i i
.Q,
Fr
i! ! ',
li i i\
3_s lk{fiiFd i:
30
25
950 1000 lo50 1100
Tirne[s]
F i g . 3 . 4 5 - Real output 73 based on the linearizing control law
7 8 3 Application to a Winding Machine
80
7-s - psfsrence
I
outtr)ut
70
65
<-, 60 $
F\-
r 55
'a
t r 5 0
.9
t-
45
40
3-i
3()
-s60 570 580 590 600 610 620 630 640 650
l
550
Tirne[sl
F i s . 3 . 4 6 . Control Iaw perforrrrances with a Kalrnan fiIter: rrreasured output Tt
80
?_5
, t
I
I t
70 t
t t
I ,
65 I t
A\
I I
, t
al t I
I I ,
L.) IJ
t I
t I
I I
q)
I t
t \
u) t , I
50 t I
\ \
\
EA
4_s
40
reference
35 output
30
550 --s60 -s70 580 590 600 610 6jo 630 640 6_sO
Tirne[sl
Fig. 3.47. Control law perforrrrances with a Kalman filter: measured output f22
3.4 Nonlinear Case 79
80
75
70
6-5
s 60
t\
55
a
_{0
.9
Fr
45
40
35
30
57 0 _<80 590 600 610 620 630 640 650
Tirrre[sl
Fig. 3.48. Control law perforrrrances with a Kalman filter: measured output ?s
:
I ,Q' + 1) A(R)r(k) + B(E)u(k) + Ffk(k)
a&) : r(k) ) (3.25)
I
w h e r e F : B (R ).
For the winding rnachine, the fault detectability indexes are equal to one
for all faults and regardless of the value of radius _R.
The linear detection filter (2.84) is extended and applied to the LTV model
(3.25).
In order to facilitate the parametrization of the FDI module, a bank of
detection filters is considered. Each fiIter is dedicated to detect and to isolate
a unique actuator fault. Equation (3.25) is rewritten as
:
| *(n + 1) A(R)r(k) + B(R)"(k) + Fifi(k) (3.26)
,
I a ( k ): n ( k )
where 4 is the zth column of matrix B(R).
Let us define the rnatrices for each detection filter in the case of the con-
sidered application. Frorn (2.85) and (2.86), the gains of the detection filters
(2.84) are defined as
80 3 Appiication to a Winding Machine
')< - pgfgl.ence
w s5fimation
t.5
0.5
-0.-5
-l
o lo 2A 30 40 50 60
Tirne[s]
F i g . 3 . 5 O . Sirnulation of fault estirnation for acruaror 1
82 3 Application to a Winding Machine
-)
- reference
r. _s
estirnation
d-
- a J 1 \
= 0.-s
q,
-0.-s
0 1 0 2 0 3 0 4 0 sal 60
Tirne[sl
Fig- 3.51-. Sirnulation of fault estirnation for actuator 2 (R: 2 1 Or n r n )
-l
- rq'fgpgn6g
1.S
w €'sfim:ttion
1._5
?a 1
0.5
q,)
-05
0 1 0 2 0 3 0 40 50 60
Tirne[s]
Fig. 3.52. Simulation of fault estirnation for actuator 3 (l? :2IO rnrn)
3.4 Nonlinear Case 83
the same magnitude as for the simulations presented above and are applied
to the process with a square form during all the unwinding process.
a
q)
q,
For legibility, Figs. 3.54-3.56 represent the results displayed on Fig. 3.53
around the radius value equal to 7ST rrLTrL-
As for the simulation test presented above, it can be noted that actuator
faults are well detected and isolated. When there is no fault, the fault esti-
mation has a constant average value close to zero. From a practical point of
view, this knowledge should be taken into account in the residual evaluation
part.
B4 3 Application to a Winding Machine
3.5
2.5
u)
(l)
1.5
o.5
q)
o
-o.5
-1
I 100 I 120 r140 1160 1180 1200 l?20 1240 1260 1280 1300
TirneIsl
Fig. 3.54. Estirnated actuator 1 fault (.R: L57 rnrn)
3.5
\V
2.5
2
a
4' 1.5
1
6l
0.5
e) 0
-o.5
-1
l t00 li20 1140 1160 ll80 1200 l2?o 1240 1260 1380 1300
Tirne[s]
Fig. 3.55. Bstirnated actuator 2 fault (l?: 157 rnrn)
3.4 Nonlinear Case B5
v2
C l l
.a
q)
r 100 I i20 I 140 ll6t, 1180 1200 1220 t 2.J0 1260 r280 1300
Tirne[sl
Fig. 3.56. Estirnated actuator 3 fault (R: IS7 rnrnt
In order to illustrate the FTC results, another test is carried out in a second
experirnent. lfhe effectiveness of the second actuator NI2 acting on the strip
velocity is reduced by 5O7o and appears abruptly for a radius equal to ISO rnrn
at time instant lI75 s. During complete unwinding, steps of magnitude +0.1
are added successively to the reference inputs.
The system outputs are displayed in Fig. 3.57 without accommodating the
control law and with the accommodation.
The actuator fauit acts on the system as a disturbance. Since there is
an integral action (via the disturbance rejection module) associated with the
nonlinear control law, the fault effect in steady-state can be compensated for:
the output vector will reach its reference value in steady-state. Flowever, it is
obvious that the dynamicai behavior of the system will be affected and the
system responses wili be slower than those in the nominal case.
In order to compensate for this actuator fault effect, a new control law
uo44 is added to the nominal one as specified in (3.28) and in Fig. 3.49.
Figure 3.58 displays the component q(k) of the projected residual wector
p(k) (2.89) which corresponds to the estimation of the fault magnitude of
actuator 2.
86 3 Application to a Winding Machine
o.7
F- o.6
'a
0--5
q)
o-4
fli
4.7
c{
'g I 0.6
*r
g) 0-_5
- n'ith fault compensation
0-.1
rvithout fault compensatio n
n ?
o.6
0.-s
a
0.4
o_3
u00 1150 12-s0
Tirne[sl
Fig. 3.57. Measured outputs without and with fault cornpensation
3 . 4 Nonlinear Case 6(
-u_ L
-03
a -o.3
c)
-o.4 -0.4
-0.5
-o.6
ro00 io50 I100 I l_50 lf00 1250 1000 1050 1100 1150 1200 125t)
T i me [s] Tirne[s]
Fig- 3.58. Estimated fault magnitude without and with reconfiguration
o.7
o.6
F
o.5
2
0..{
o.-l
l174 I176 1178 I 180 118?
o.7
cl 0.6
!4
)r 0.5
a)
.:, 0.-1
0.3
I l-4 1176 I 178 t l80 It8?
0.7
0.6
0.5
q
- 11,'iffo
fault compensation
0..1
.'',,...*,,.
without fault conlpens ation
L'.J
ll7.[ 1176 1178 1180 ll82
Tirne[s]
Fig. 3.59. Measured outputs without and with reconfiguration
3.4 Nonlinear Case B9
o
-o.o5
-o.1
-o-1_s
U -o.2
I 000 1050 I 100 I 150 1200 t2_50
o_7
:\
0_6
0.5
'U*",*-*;t
0.3
0.25
0.2
o. 1-5
U
0.1
1000 IO_50 r 100 I 1-50 1200 i 2.50
Time[s]
Fig. 3.6o. system control inputs without and with reconfiguration
90 3 Application to a Winding Machine
-0,o5
-o.1
-..49.*?4r* s..g.+$+,si\9Fs6@.asa.tgr'
I
I
I
-0.15 I
I
U -o.?
11?4 1 17 6 1178 1180 I 182 I
II
o.7
al
0.6
0.5
0.4
U 0.3
I l?d 11 8 0 I 182
0.3
o.l5
o.2
- $'ith fault coxnpensation
0.15
..'. .-. \vithout fault compensation
U 0,1
1 i7 4 t176 I 178 11 8 0 I182
Tirne[sl
Fig. 3.61. Control inputs without and with reconfi.guration
on the real process during all the unwinding strip. For legibility, results for
a radius value close to 180 rrlrrl are presented in Figs. 3.62 and 3.63 where
the real and estimated fauit magnitudes highlight the capabilities of the FDI
module- Actually, based on LTV model, the fault detection, isolation, and.
estimation module indicates which sensor is faulty and estimates accurately
the fault magnitude. In a fault-free case, residuals have an averaqe value close
to zero.
10
bI
r-"
a
The next experiment considers a sensor fault only on the measured output
Tt. A bias with a magnitude of 0.05, which corresponds to step changes of
the reference inputs equal to 5O%o,is applied throughout all the unwinding
strip. For legibility, magnified images for a radius value around ISO rnrn are
presented.
Based on the LTV model, the fault detection. isolation. and estimation
module indicates which sensor is faulty and estimates accurately the fault
magnitude as presented in Fig. 2.64.
Without sensor fault masking, the control law tries to cancel the steady-
state error created by the corrupted output. Consequently, the real output
is different from the reference input (Fig.3.65). As illustrated in Fig.3.66,
the synthesized nonlinear controi law provides decoupled outputs despite the
occurrence of a sensor 7.' fault
92 3 Application to a Winding Machine
10
6
q)
AIr
G r
tsa'
a
(l
-'2
o.06
-.--_,- re.ll
- estimation T,
""""' estim:rtion C),
" ' estinration T-.
0.04
blr
0.02
Fig. 3.64. Sensor fault rnagnitude estirnations around l? : 15O rnrn witll- a bias on
Tr without sensor fault rnasking rnethod
3.4 Nonlinear Case 93
o.6
o._s_s
= U.-\
0.45
o4
0.3-s
0 50o IOO0 Lso0 2000
Time[sl
Fig. 3.65. Real systern output fi around ,R : 150 rnrn with- a bias on n without
sensor fault masking method
-'- reference
- real
- measured
Fr
Flowever, with the developed sensor fault compensation method, the real
output follows its reference input as illustrated in Fig. 3.67. The fault esti-
mation is used to track the reference input. The dynamic behavior of the real
and rneasured outputs shows clearly that the cornpensated output behavior
is closer to the nominal one than the faulty output without compensation
as illustrated in Fig. 3.68. As presented in Fig. 3.69, the real output is only
affected by the fault according to the fault isolation time delay. In this case
the time delay is very small due to the considered fault magnitude cornpared
to the noise level. The sensor fault compensation avoids faults developing into
failures and rninirnizes the effects on the system performance and safety. The
proposed FDI straregy represents an efficient tool in the operator's decision
winding process. This sensor fault monitoring should be associated with the
sensor FTC system to provide alarrns about the new dynarnic behavior of the
systern concerning, for instance, the measured outputs.
E (t5
(:).4_5
O4
o.35
10(]0 1 500 2000
TirneIsl
Fig. 3.67. ReaI system outputs around ,R' : 150 rnrn with sensor fault rnasking
method in the presence of a bias on Tr
3.4 Nonlinear Case 95
o.55
-'- reference
- real
- measured
o.5
l-
0.45
o.4
0.35
o -5c-xl 1r)OO 1 500 2000
Tirne[sl
Fig- 3-68. Real and rneasured systern output 7r around E' : 150 rnrn wiiln sensor
fault rnasking rnethod in the presence of a bias on 7-1
().42
-'- reference
o.415 - real
o.4l
o.405
3
o.4
o.395
0.39
0.385
0.38
700 750 800 8so 900 950 1000
TirneIs]
Fig. 3.69. Real system output 7i around the occurrence of a sensor bias on n with
sensor fault rnasking rnethod
96 3 Appiication to a Winding Machine
In the previous two sections, biases or drifbs affecting the actuators or the
sensors have been considered. In the sequel. the FTC of the winding machine
will be studied when a rnajor fault occurs. A cornplete loss of an actuator or a
sensor are considered as a major fault. It is easily understood that, without an
FTC law, the winding machine cannot continue operating: system shutdown
is necessary.
Next, the situation of a major actuator fault will be studied in the linear
case according to Sect. 3.3. Then, in the nonlinear case, the complete loss of
one sensor will be considered according to Sect. 3.4.
For bias or drift faults, it was shown that it is still possible to track all the
outputs of the system, because the latter is supposed to remain controllable
in the presence of an actuator fault. This was achieved using another control
law, aclded to the nominal one, in order to cornpensate for the faults. This
additive control Iaw is based on the estimation of the fault magnitude. The
reconfiguration strategy employed here aliows us to maintain the performance
of the faulty system in closed-loop close to the performance of the nominal
systern; the tracking control objectives rerlain achieved. However) the limits
of this rnethod are reached in case of a stuck or completely lost actuator. Now,
the possibility to continue operating with degraded performance is analyzed
in the pl'esence of a critical f'aiiure such as the cornplete loss of an actuator.
In the winding rnachine, the strip has to be rolled up in a correct way,'i.e.,
strip tensions ft and 73 have to be maintained to a given reference level. In
this application, this is achieved by maintaining a negative (resistant) torque
on ntotor J\'I1 and a positive torque on rnotor Ms. Due to the strong coupling
irr this system, the angular velocity Q2 of the traction reel h[2 influences the
strip t,ensions.
Here motor A,'[1is supposed to be out of order at time instant tf :49.5 s;
i.e., notor My runs as if its control input 71 - 0. This failure ieads to a
large decrease in strip tension T1 which can no longer be controlled. With the
nominal control law, the coupling in the system causes angular velocity Q2 to
increase trying to compensate for fi; ()2 increases about 2OVo. Not only is it
impossible to compensate for 21, but this also has the opposite effect on strip
tension 73, which decreases almost 2O7o frorn its reference value. That makes
the strip roll up incorrectly. Figures 3.70-3.73 illustrate the failure effect on
the system inputs and outputs.
For this specific failure where the motor Mt is lost, the system operates
badly in terms of the product quality but not in terms of the system stability
or security. It is also easy to understand that if this failure occurs on one of the
other rnotors Nf2 or 1l[3, tlte systern will no longer be able to run and should be
stopped safely. That is to say that it is not always possible to accommodate
3.5 Major Fault 97
o.6
0.4
e- A-2
-o.2
o 2A 40 60 80 loo
Tirne[s]
Fig. 3.7O. Control inputs when Mr is lost
0.8
-
3. o.q
0.2
o
o 20 40 60 80 100
Tirne[s]
Fig. 3-71. Strip tension ft rvhen A41 is lost
98 3 Application to a Winding Machine
o.4_5
-'- reference
- real
0.4
L/
o.3_5
0.3
o.2 _ s
20 40 60 80 100
Tirne[sl
Fig. 3.72. Strip tension ?3 when Mr is lost
0.5?
-'- reference
- real
o.5
=*o.+s !l--
I
I
I
I
0.46 M
. - . . J
I
o.44
0 ?0 40 60 80 loo
Tirne[sl
Fig. 3.73. Angular welocity Az w}rert I\41 is lost
3.5 Major Fault 99
for all failures occurring on the system. It aiways depends on the available
hardware or analytical redundancy.
We have seen that, if rnotor M1 is lost, it is still possible
to continue
operating but the performance is reduced. Now the question is: is it possible
to do something to preserve the main performance and keep a good quality
of the product despite the loss of this motor.
This is a severe failure because it leads to a large loss in the
closed-loop
systern performance- As one of the system control inputs is out of
order, it
becomes impossible to track the three system outputs because the tracking
control requires the number of control inputs to be greater than or
equal to
the number of outputs to be tracked. llence, according to the system
tp..r-
tion requirements, these outputs have to be divided into priority outputs
to
keep equal to their reference inputs to the detriment of other secondary
out-
puts' From the knowledge of the system operating conditions,
although one
control input is no more avaiiable (namely Mt), ihe system is still control-
lable' Analyzing the behavior of the system, it is easy to select the output
to
take off. Strip tension ?3 should be controlled to roll up the strip properly.
Angular velocity {)2 is the image of the linear velocity oi th" strip and
needs
to be kept controlled, while there is no loss in the quality or bhe productivity
if strip tension 7r is no longer controlled. Thus, the priority outputs will
be
73 and Q2, whlIe Zr witl be considered as a disturbance. The sysrem
conrrol
inputs are Uz and [/3.
There is no hardware redundancy available in the winding machine. One
can easily understand that it is very difficult, if not impossible, to design
a
hardware redundancy for such a system. Moreover, if the nonlinear
model
of the system was available, it would have been possible to calculate a new
equilibrium state of the system the closest possible to the nominal system,
but the nonlinear model of the winding machine is very difficult to gei.
lfhis
point will be illustrated in the next chapter for the three-tank
system.
In the case that the nonlinear model of the system is not available,
one
way to cope with these critical failures is to get a model of the faulty
system.
For these kinds of critical failures, the .rrl-b., of faulty models is limited.
From the knowledge that one has of the system, it is easy to define
which
failures could be compensated for and which require the shutdown
of the
system immediately and safely.
In the winding machine there are three actuators driven by control inputs
Ur, U2, arrd [/3. Motor M2 has to impose the velocity of the strip. If
this
motor is out of order, it is obvious that the strip cannot be rolled up and
the
system must be shut down immediately. It is also the case if motor 1lZ3
is out
of order, because strip tension Ts carr no longer be maintained to its reference
value. Thus, the only critical failure to deal with in this system is the loss
of
rnotor M1.
100 3 Application to a Winding Machine
Since two control inputs are only available after the failure has occurred, it is
irnpossible to continue tracking the three system outputs. Therefore, a track-
ing control law using the same principle as described previously, based on
the faulty system model, has been achieved to track two systern outpwts Q2
and ?3 which are considered as priority outputs. It has been noted previously
that strip tension fi is considered as a disturbance. With this system restruc-
turing, the identification of the faulty system has been achieved off-line. The
system is running with Ut :0, and a set of excitation signaIs,U2 and [/3, has
been applied to the winding machine. Using these experiments, the following
model is obtained:
1 1 @+ r ) A r r r ( , k )+ B t u t ( k ) + B d T r ( k )
) (3.2e)
af(k) Cyry(k)
where
rf : af : la,l a , r - Iur1
LTtJ' l u ") '
and
^l ^l^s r: |I 0 . 4 9 9 5 - 0 . 0 2 6 2 l] : I^J r -- [ o.ss 0 . 0 2 3 6l 1. H_ , : - || o-. z_t + , gI|
| ^ ^ _ ^ ^ '
l o . o 7 2 3 o . 4 3 L 4) 1 " r L-0.0782r.2865J'"o L-0.04901
Once the failure is detected and isolated, the FTC module switches from
the nominal control law to the new one. This control law guarantees the fact
that the strip continues to be rolled up properly and avoids having to stop
the mactrine due to a bad quality of the final product.
Figures 3.74-3.77 show the results obtained when switching from the orig-
inal model to the new one after the failure has been detected and isolated.
lfhe FDI module is not achieved here, but a delay of 10 sampling periods is
considered before switching to the new control law. This deiay corresponds to
the detection and isolation task. It can be seen that strip tension ft is still
far from its reference value because it is not tracked, while strip tension 73
and the angular velocity 92 follow their respective reference inputs after the
switching process and the strip is rolled up in a correct way.
It was shown that for more critical failures, such as a compiete loss of
an actuator, where the systern becomes uncontrollable, the system has to be
restructured and new objectives have to be defi.ned. These objectives corre-
spond, for instance, to the modification of the reference inputs and the system
outputs to control. Flere, the number of outputs to track is reduced. In case it
is possible to design such an FlfC method for this kind of major failure, the
corresponding modei is achieved off-line. According to the process described
by Fig. 2.IO, the supervision module at the upper level decides to switch to
the accurate control law according to the isolated failure. In the systern used
here, there is no problem of security, but the systern is still able to continue its
operation avoiding loss in productivity and quality of the product. It should
3.5 Major Fault 101
o.6
7.o.z
20 40 60 B0 100
Tirne[s]
Fig. 3.74. Control inputs after restructuring
o.8
o.6
F.i
E o.+
o.2
- - - reference
- \t'ith fault compensation
-* without fault compensation
o
?o 40 60 80 100
Tirne[s]
Fig. 3 . 7 5 . S t r i p tension Tt after restructuring
'1
0.45
3
-
J t l { \
0.3
- -- reference
- rvith fault compensation
*- rvithout fault compensation
0 . 2s
60
Tirne[sl
Fig. 3.76. Strip tension Te after restructuring
0.45
- -- r-eference
- lvith fault compensation
-- rvilhout fault compensatio
0.4
20 40 60 80 100
Tirne[s]
Fig. 3.77. Angular velocity {22 after restructuring
3.5 Major Fault 103
The last experiment concerns a complete loss of measllrement {)2 w|1en con-
sidering the nonlinear approach. The radi.us R(k) is not measured directly but
estimated through the recursive equation R(k): 0.55(f (k - L) - 1.22e2(/r)).
Due to the fault occurrence on d)2, radius ,i?(k) cannot be estimated correctly.
In this experiment, the complete loss of sensor Q2 appears from time instant
t : 50 s to f : 100 s, then from sample t : 2so s to t : 300 s and finally
from sample t:45O s tot:500 s. As illustrated in Fig. 3.78, the estimation
of radius R is corrupted. When sensor az(k) is out of order (,i.e., ez: o V),
the linear evolution of the radius time function is affected by the faulh
185
180
- -
I _L.t
I
\ \
\
False estimation
l7_s \ \
1 * -
*
*
/ ! -
\ r t
L -\- o ' i
\ - \/ - t r r .
lr | ,/(, t'r* t
l
ar ,- I
- \ r '
* ,
a \ - - * - o "
g--a1_ \ l
.= rb) t-
- I \
I .
\ L
*-*.-\ . i 1
a1
r
\ - t
160 \ r
\ -\-
. \
!
\ - t
\_ _-*,
i55 \-/RL_
i - -
\
t *
150
loo 200 300 400 500
Tirne[s]
F i e - 3.78. Estimation of radius .R
200 300
TirneIs]
Based on the LTV model, the fault detection, isolation, and estimation
module indicates which sensor is faulty and provides an accurate fault magni-
tude estimation as illustrated in Fig. 3.81. It can be verified that the first and
third components of the fault magnitude estimator are close to zero. These
components are used to isolate the faulty sensor. Due to the detectability
index of the filter, it should be highlighted that the fault magnitude estima-
tor associated with the first and third components is affected by an abrupt
variation different from zero during one sarnple when the fault appears and
also disappears. Indeed, the detectability index of the filter synthesized for a
sensor fault is equal to one which provides a tirne delay of one sarnple.
3.5 Major Fault 105
o.5
F
o
t
C''5
a.l
o
Ll
- l
200 400
Time[sl
o.2
-o.2
o
-o.2
GI -0.4
-0.6
o.2
o
-0.2
18,5
tBo
1 7-\
H , I , ' U
v)
.! tes
160
155
t _50
o 100 200 300
Tirne[s]
3.6 Concluslon
o.,55
0.5
0.4-s
f 04
0.35
v - I
0.6
cl
C o,-s
*'* reference
0.6 - r'eal
m 0.-{
F
0.4
o 100 200 300 400 -500
Till- e[sl
Fig. 3.83. Real outputs (Tr,Qz,Te) with sensor fault cornpensation
The effect of sensors and actuators faults are considered. It was shown that
the methods using the additive control law are able to compensate for the fault
effect provided that the system is still observable in the case of a sensor fault
and controllable in the case of an actuator fault. The fauit estimation can also
be used to detect and isolate the fault. Indeed, while the fault estimation is
close to zero in the fault-free case, it deviates from zero and it is equal to the
fault magnitude when a fault occurs. The system can be written such that
only the zth component of the fault vector fa or /" deviates from zero when
the zth actuator or sensor is faulty.
For major failures such as the loss of an actuator, it is obvious that the
nominal tracking control is no longer suitable. This is because the number
of control inputs becomes less than the number of outputs to track. In this
case, in addition to the understanding of the physical behavior of the system,
an off-line study helps one to seiect priority outputs to keep tracking to the
detrirnent to other secondary outputs. This restructuring strategy allows one
to avoid the immediate shutdown of the system and to keep operating in
degraded mode.
w'
4.L fntroduction
In this chapter, a hydraulic system that can be used for water treatment or
storing liquids in many industrial plants is considered. During these processes,
chemical reactions are supposed to occur around pre-defined operating points.
Therefore, the liquid leveis control in a plant is crucial in order to provide
desired specifications. Using a prototype of a hydraulic system, researchers
have successfully tested various methods of linear or nonlinear decoupling
control and model-based fault diagnosis.
The three-tank systern considered in this study is a popular laboratory-
scale system designed bv [+]. It is used in order to investigate linear, nonlinear
multivariable feedback control as well as FDI and FTC system design. Koenig
et al. [82] have synthesized a decoupled linear observer to detect and to isolate
actuator and component faults (pip., tank, etc.) around an operating point
without fault rnagnitude estimation. Based on the nonlinear model,
1112] have
designed an observer using the bilinear rnodel representation of the three-tank
system to detect a leakage from a pipe. A diagnostic system based also on
a bilinear model has been considered in 17], where time varying innovation
generators combined with generalized likelihood ratio tests are designed to
detect and isolate faults. The robustness of a sliding mode observer (SMO)
to detect faults in the presence of noise on the measurements was tested
in real*time [105]. Among model-based approaches, a differential geometric
method has been successfully appiied in [76]. Rather than considering a com-
plex nonlinear model, [1] have estimated the state vector based around various
operating points through a bank of decoupled observers to generate residuals
for fault detection. More recently,
[106] have proposed to develop.a bank of
decoupled observers to detect and isolate actuator/sensor faults around rnul-
tiple operating points applied to the three-tank systern. FDI methods based
on fuzzy or neural rnodels have also been illustrated on the three-tank systern
to detect and isolate faults 183,91,93]. In
[115] the authors deal vrith the FDI
problem of plants with unknown description.
110 4 Appiication to a Three-tank System
cylinders but a different outflow coefficient, denoted pro. Two pumps driven
by DC motors supply the first and last tanks. Pumps flow rates (qr and q2) are
defined by flow per rotation. A digital/analog converter is used to control each
pump. The maximum flow rate for pump z is denoted q6rnor. A piezo-resistive
differential pressure sensor carries out the necessary level measurement. Three
transducers deliver voltage signal levels. The variabLe (.i denotes the levei in
tank j and.(irnar, the associated maximum liquid level.
Puntp , Puntp .
t4#:qr(t)- q.,|)
t4# - q2o(t),
: ez(r)+ qtsz(t) (4.r)
t4#:ers(t)- qsz(t)
where qrnn represents the flow rate from tank rn to n (rn,rz:7,2,3Yrn I n)
which, based on the Torricelli law, is equal to
r
It
l
I
$
n
*
E4-.,
Ll2 4 Application to a Three-tank Systern
:
I '@ + 1) Ar(k) + Bu(k) ' (4.4)
\ v(k) : cr(k)
where y and ?,,represent variations around an operating point defined by the
pair (t/e, Yo).
The purpose of this study is to control the systerrl around the operating
point (Uo,Yo), which is fixed to
( Y n: i o . + o o . 2 o o . 3 o ] ' ( r n )
)
)
" 1
- (4'5)
l. [/o : 10.35x 1 o - a 0 . 3 2 5 x 1 o - a ) T 1 r n 3/ " ) '
In order to generate mat rices A and B, t};re following program is written
in \4ATLAB@ code:
M atrir A
A11:-(rnul3xSnxW) / (Z* Sx sqrt (Y10-Y30 ) ) ; AI2:O;
A13:-A11'
4.3 Linear Case 113
A 2 1 : 0 ; A 2 3 : ( m u 3 2 x S n x W ) / ( 2 * S * s q r t ( 1 f 3 0 - 1 f 2 0) ) ;
422:-423-((mu20xSnxW) /(2* S*sqrt ()-20 ) ) ) ;
A3 1:-A 1 1 ; A 3 2 :A 2 3 ; A33:- A32- A31 :
A:[A11 A12 A13; A2IA22A23; A31 A32 A33l:
Matrir B
B11:t/S;BL2:O;
B2l:O .}l_22:1/S ;
831:O;832:0;
B:[B11 B72 F21 822 B3I B32 I ;
A tracking control problem is considered in this study where the desired out-
puts 91 : [(r (.2)T are required to track references g. with
: l'r:illl:l""lr(k),
a@) (4.6)
where Uz : ls.
To achieve the nominal tracking control, the solution proposed by
[2g]
and developed in Sect. 2.4.L has been considered for the three-tank system.
Since the feedback control can only guarantee the stability and the dynamic
behavior of the closed-loop systern, a complementary controller is required to
cause the output vector Ut to track the reference input vector g. such that the
steady-state error is equal to zero. The technique consists of adding a vector
comparator and integrato, z : l"r z2]T dhat satisfies
such that the eigenvalues of the closed-loop augmented system are equal to
I o . o zo . e ro . e oo . e so . e a ] :
In most conventional control systems, controllers are designed for the fault-
free case without taking into account the possibility of fault occurrence- Due
to abnorrnal operation or material aging, actuator or sensor faults occur in
systems. First, a constant offset of -0.03 rrl on level sensor (.1ltas been created
and added at instant 1000 s. In other words, the fauity measurement used by
the controller is equal to (.1 - 0.03. As illustrated in Fig. 4.5, the control
law tries to cancel the steady-state error created by the faulty measurement'
Consequently, the real output is different from the reference input and the
control law is different from its nominal value (Fig. 4.6).
4.3 Linear Case 115
o.46
0.44 t
fr) 0.32
c) o.3
, . 1
0 "1 9
500 1000 I 500 2000 2500 3000
Tirne[sl
Fig. 4.3. System outputs in fault-free case
x lO-'
a 6
A
q)
F 7
(=.
v) x 10-5
5
4.5
c) A
+
L
7 3.5
o.49
0.48
0.'17
0".46
0..1-s
q) 0.4{
q,
0.43
0.42
_ 0..11
o.4
0.39
io00 1500 2000 2500
Tirne[s]
F i g . 4 . 5 . Measured and real /r with a bias on sensor /r
-5
x l0
ll
l0
a 8
(v)
€) 6
li
5
F
(-. 4
.'
0.46
045
o.-14
0.43
q)
. )
o.23
0.?2-5
o.2.2
al
0.215
q,
o.21
0.205 reference
fault free case
actuator faulty cas
o.z
0.195
0 500 1000 1500 2000 2_soo 3000
TirneIs]
Fig. 4.8. Nleasured (.2 in fault-free and in the presence of a bias on PumP q1
(4.11)
In both cases f a(k) is the faulty unknown input vector. This unique system
representation is considered for the FDI problem. While a single residual is
sufficient to detect a fault, a set of structured residuais is required for fault
isolation. A residuai generation using unknown input observer scheme is cotl-
sidered in order to be sensitive to f " (k) and insensitive to fault vector fa(k)
AS
: NY(n)
f *(t + 1) Eu(k) +TBu(k) + (4.12)
1 i & ) : u ; ( k )+ I r y ( k )
where f is the estimated state vector and to is the state of this full-order
observer. E, T,lf, and If are matrices to be designed to achieve unknown
input decoupiing requirements.
The design of the unknown input observer is achieved by solving the fol-
Iowing equations:
(4.13)
Grc-I)Fo:9,
fl: I - IIC, (4.1'4)
E:A-HCA-I{tC, (4-15)
4.3 Linear Case 119
I{ z: EIf , (4.16)
and
f{-I{r*I{2. (4.17)
Before implementing the unknown input observer, the necessary and suf-
ficient conditions should be checked:
. Rank(CFa) : rank(Fa)
,r (C, Ar) is a detectable pair, where Ar : E + I{IC
% 0 ) Checkdnput condit'ions
if nargin-:4,
error ('Number-of-input -arguments- incorrect ! . . .
type-help -uio-chen' ), return
end
% Z ) Cornpute H, T, and A1
nb-A:size (A) ; H:Fdxinw((CxFd)'* (CxFd) ) * (C*Fd)' ;
f=sys(nb-A(1)) -(HxC) ; A1-T'*A;
lo
5
o
tn
a.l
)5
to
_5
o
ln
.s _{
o
10
a.l
o
500 700 800 900 1000 i i00 1?00 1300 1400
Tirne[sl
Fig. 4.9. Residuals behavior for actuator fault on purnp 1
I
t
I
I
f
f
F
&,.,
L22 ^
.+ Application to a Three-tank Systern
?
1
- o
- l
c r I
a'o
-t
a
t a I
o
-_t
.,
I
F
L O
- l
2
e.r -{
- 0
- l
Mat-associated-to-x1l\4*inw (R( 1, 1) ) ;
M a t - a s s o c i a t e d - t o - A 1 1 : - - l \ { xi n w ( R ( 1 , 1 ) ) * A 1 1 b a r ;
Mat-associated-to-A1 2:-Mxinw (R( 1, 1) ) * Al2bar ;
Mat-associated-to-B 1:-M*inv (R( 1, 1) ) * Blbar ;
- Arr6r(,k) - Bru(k))'
fofO : V F--'(6r(k+ 1) - A,lir(k) (4.18)
It can be noted that the sensor fault estirnation f a(k) is the last component
of the estimated augmented state vector i(t") and does not require the previous
calculation.
4.3 Linear Case 723
Based on the experimental data set given as an example, the sensor (re-
spectively actuator) fauit magnitude and their estimations are illustrated in
Fig.4.11 (respectively Fig. 4.12). The fault estimation is close to zero in the
fault-free case. However, the fauit estimation is close to the fault masnitude
when the fault occurs.
0.01
o.oo_s
't- f)
tr -0.005
c! -o.01
a -oots
= -o02
o -n f'!') <
a -o.03
-0.0i 5
-o.04
500 1000 I _500 2000 3500
TirneIsl
Fig. 4.11- Sensor fault rnagnitude and its estirnation
In the presence of the sensor fault, only the first residual is insensitive to the
fault on level sensor Lr. Tlne fault which occurs at t : 1000 s is isolated at
instant 1016 s. Based on the sensor fault masking principle, the control law
switches frorn the measurement to its estirnation. In Fig. 4.13, it can be noted
that using the fault accommodation method the real level follows the set-point
unlike the case without fault accornrnodation. Figure 4.14 shows a zoorn of
Fig. 4.13 around instant 1000 s and indicates that the fault accommodation
approach preserves the dynamicai behavior of the system in the presence of a
fault. The unknown input observer insensitive to the sensor fault occurrence
provides an accurate estimate of the systern output afber a sensor fault occurs.
The corresponding flow rates are present-ed in Fig. 4.\5.
L24 4 Application to a Three-tank System
x10-4
@ estimation
l- I
G i
A r
c ) - l fr
ft lr 4)
i 1
q,
-2
W
500 1000 I 500 2500 3000
Tirne[s]
0.48 reference
- real
measured
0.46
r'
L'**-
0.44
q)
Q)
4.42 ,l**ehfv*%
. - l
0.4
o._j8
,a
-1*.,o4t*v;r*-@v.ft\,f,3f'a#iidrt''l?*rtrf
* ... i.!, ]
dw+
0.36
500 1000 I 500 2AAO 2-500 _iooo
Tirne[s]
0.49
reference
0..18
re*l
measured
0..17
4.46
0.45 ---*--.-
q, i a 1
. - 1
o.44 I
4
i
1
I
0.43
i
I
{
j
a:ti
Ol6s
0.4?
iu
0.41
900 9?t) 940 960 980 i 000 1020 10.1ct 1060 1080 1l0t)
Tirne[s]
Fig. 4.14. L e v e l /1 close to the fault occurrence
xlo-4
0.8
0
0.6
q)
l-
o.4
o.2
If a fault is detected and isolated on the 7th acruaror, according to the fault
rnagnitude estimation faUi described in the previous section, the additional
control law uor14(/c)is computed on-line as
reference
rn'ith fault cornpensation
0.-16
n'ithout fault cornpensationl ru
ia \ 4
O..l,i I
0.4.,1 I
0,+3
q)
, . 1
0.42
o.41
0.4
I
0.,r9
o 500 1000 1500 2000 2_s00 1000
Tilre[s]
0.23
0.??5
o.22
(\
0-21-5
€r
q,)
. ' 1
0.21
0.205
4.2
0.195
5tlo 1000 1500 2000 2500
Tirne[sl
F.ie. +lZ. LeweI lz with purnp 1 actuator fault
3
t2B 4 Application to a Three-tank System
o.47
o.46
o.45
q, O..14
o.43
o.4l
xl0-4
c)
lr
In order to extend the proposed active FTC approach based on the FDI results
to the whole range of operating conditions, the nonlinear model is considered
rather than a multiple model approach.
According to (4.1), the systern can be written in the nonlinear affine state-
space representation
( 2
)*(t>:f(r(t)) + t s;@(t))u6(t)
(4.21)
I i,:I
I s ( r ): n @ ( t ) :) r(t)
where the ou tput vector y : ltt (.2 zsl
n t T .
lS equal [o the state vector r and
[ -q', (t) I
f (r(t)) : :
/ / , \ r f 1
+ l o s z ( -t ) - e z o ( r ) 1 ,g r \ r l t ) ) Ls 0 0]t,
Lqts(t) q s r ( t )l
and gr(, ( r ) ) :[ o + o ] ' .
4.4.2 Closed-loop Fault-free Case
pi :
{mi n / € N /= j € [1, 2] ,,Ln, r ,l, ( *n( t) ) + o]. ( 4.22)
Applying (4.22) to (4.21), the degrees p1 and p2 are equal to 1. Then, the
decoupling matrix A(r(t)) is given by
A ( r ( t ) ) : l L r n , r t ( t ) L n , * t ( t ) - l: 1 f6+} Jo I e'n)
Lus,'z(t) Ln."r(ri I
According to the condition rank (A(r(t))) :2, the three-tank system can
be statically decoupled. The control law synthesis requires a vector 4s defined
AS
-*qru(r)
A o ( r ) _ l L r * r ( t ) l _ -t - I ' (4.24)
lLlr2(t) ) L+ @ " r ( i ) - e z o ( r ) ).l
130 4 Application to a Three-tank Systern
: Ir(q""oaii'!
u(t):lZ:il\] - [f' 3]"t'r'
jl]i',,,,,] ( 4.25)
where u(f ) represents the input vector of the equivalent iinearized model'
According to the value of relative degrees p1 and p2, tlne closed-loop system
to a
can be described as two independent linear SISO subsystems equivalent
unique integrator expressed as
2t(") : L
ur(s) s ( 4.26)
b(s): !'
uz(s) s
where s is the LaPlace variable-
Remark /+'2'rt can be noted that t?:LTi:2 <3' lfhe systern has an unob-
with tank 3' Due
servable subspace of dimension one which can be associated
iinearizing control
to the stable property of this unobservable subspace, the
law can be applied to the three-tank systenl'
a second
Each linear, SISO subsyste n @.26) is unstable, and therefore
the clynamic be-
corrtrol iaw shoutd be designecl to stabilize rt' and to assign
output feedbacX
havior following the linear control theory. A proportional
subsystem which is
urQ) _ I{t(a,,rG) _ lJt)) is applied to each ir}, decoupled
eqttivaient to
Lt(s) K'i ( 4.27)
:
A,,t,(s) s*I(t)
where l(i represents the proportionai gain a\d Ar,o the reference input'
the de-
The biock diagram Uuitt using SimuiinkO (Fig. 4.2O) sumrnarizes
and "Lin-
signed nonlinear controiler with the main blocks "stabilization"
previous equations is
earizatton." Each Simulink@ block corresponding to the
that the C-
presented in trigs . 4.27 and. 4.22. Moreover, it can be hightighted
code used for the on-iine implernentation of the nonlinear control law is basecl
elementary mathematical
on the elements presented i.n each block based' on
functions or operators-
corrupts the "ideal"
The parameter estimation shows modeiing errors, and
problem generates a steady-
d.ecoupled subsystem as defined in @.26). T.nis
between the desired
state error in closed-loop. To eliminate the difference
to each controller of the
output ar-,; a d, the level (6, ttlr integrator is ad.ded
sdrilization feedback.
ffi
,]]ir
4.4 Nonlinear Case 131
W
W
F.ig. 4.2O. Block d rarn for nonlinear control law design in fault-free case
T
I
II
; 1 . . . -----rl renr
._*,i
-****i__,i
L,i,l
sli.i t):l h:ri] I
I
I
I
t....................
a :
l . -
i i
j i
| 1|--_'il.tr,rr,r'-
p,r.il, r,:i i i
i i
! r "
j
Fr'1 i'!r tr.)l
---l
; ;'i---.-5i r.:"'"'""i
j'ir'.;:;rt
i ,-
i.:t ii
F.ig. 4.22. Lir..earization sirnulink@ block for nonlinear control law design
The control law has been applied to the three-tank system in the fault-free
case. The results shown in the following figures are step responses obtained for
different reference inputs. All experiments are illustrated for a range of 4000 s.
The outputs./1 and (.2 follow the reference inputs !,,1 s.ndy,,2 frorn an initial
level of O rn until a rnaximum lewel of 0.5 nt. for /1 (Fig. 4.23) and O.4rn for 1.2
(Fig- 4.24) with different steps. Generally speaking, the variance of the noise
I32 4 Application to a Three-tank System
is more important during the first 1000 samples on the control signal qr (Fig.
4.25). It is due to the fact that the level .(1 ts very low in the first tank and
the output of the pump is very high: the noise corresponds to the effect of
the water fall (FiS. 4.23). The same could be said about the control signal
qz (FiS. 4.26). According to the considered closed-loop strategy, the system
is completely decoupled into two subsystems, since level (.2 is never affected
by the variations of level /1 (which is not the case in the previously studied
linear case).
o.6
o-s
t\
O..l
o)
e)
0.2
reference
0.1
level
o
500 loo0 1500 2000 2-s00 3000 35 0 0 4000
TirneIs]
Fig. 4.23. Level (.t in fault-free case
4.4 Nonlinear Case 133
0.5
0.45 reference
level
o.4
0.3-s
o.3
cl
cl) 0.2-5 e
c) :
. - l
o.? I
0 .l 5
0.1
0.05
0
500 looo l_500 2000 2500 3000 _3500 4000
Time[s]
Fig. 4.24. Level (.2 in fault-free case
x lo-4
1.4
r.2
U)
I
0.8
e)
Lr 0.6
o.4
o.2
o
o 500 looo 1500 2000 2500 3000 3500
Time[sl
F.ig. 4-25. Input flow rate qr in fault-free case
134 Application to a Three-tank System
x 1o-4
ta)
6l
€)
tr
t-{
Actuator Fault
point,
Unlike the previous study, which was carried out around an operating
operating
actuator and sensor faults will now be considered for the whole
range.
to
A first experiment consists of assuming a degradation of pump 1 of 80%
( . 1 does not
occur at instant t:2000 s. As presented in Fig. 4.27, the output
follow its reference input!r,r. Ilowever, it can also be noticedthat, despitethe
perfectly decoupled into
degradation of pump 1 (see Fig.4.2B), the system is
for the
two subsystems. The control law associated with purnp 2 cornpensates
to maintain the
degradation of purnp 1 considered as a disturbance in order
fault-free
reference input on level .b witlt a dynarnic behavior identical to the
presence of this
case. As illustrated in Fig. 4.29 only level Q is affected by the
fault.
ffi
4.4 Nonlinear Case 135
0.3
c)
,.l
0.2
reference
fault fi'ee case
actuatorfaultt case
x 1o-4
t.4
1.2
a
1
o.8
q)
+t
l- 0.6
f-.
o.4
o.2
n
0 500 1000 1500 2000 2500 3000
Tirne[s]
Fig. 4.28. Input flow rate gr with purnp 1 actuator fault
el
136 4 Application to a Three-tank System
0.5
0.45
0.'1
0.35
0.3
?a)
0_2_5
q)
0.2
0.15
0.1
fault free case
0.o5 actultor faultr' case
or
0 500 looo 1500 1000 2500 3000 3500 4000
Tirne[s]
Fig. 4.29. Level (.s wit}: purnp 1 actuator fault
Sensor Fault
I
:i
:
1
:l
$
ffi
4.4 Nonlinear Case 137
!
f
.s
i
ii
. J
,'4 0.3 t'5
(D .J
tl
, l 1"
s4
f
t
t- reference
real
rr-.easured
-qrs(lr,ls)
.9
tiii:il q s z ( L z, l s ) - q z o ( l z )
.9 - Lg;l l::ii)l
[-a ol r
ti:ill-
with
lv:iil
L [fi,iii]
q rs (t) : ts(t)
q zo (t) : (4.2e)
q rc(t) : .t1/tu(f - \t)
138 4 Application to a Three-tank Systern
where paramet€rS c1 , c2, a\d c3 a,r€ constant and can be calculated based on
constant parameters presented in Table 4.L according to (4.2) and (4.3).
Under sensor faults assumptions, as proposed in Sect. 2.5.I, the previous
state-space representation can be defined through the following augmented
state:
Ir(t)
tz(t)
tz(t) (4.30)
r(t) :
/,, (f)
f "" (t)
"f""(r)
where sensor faults f s; are considered as a linear system excited by external
inputs /",:
{I"fi 'yzf
",(t)
+ f
",(t)
12f""(r)+ f""(t)
The system can be expressed as a "Ttseudo-actuator"
-
-a1/tt(t) - la(t) + o
- tr(t) 0 3
"s JT,Q):G@- "r,,/
i(t) : ",y/TrQ)=7"@ ""',/T"Q\
t"(t) 0 0 I z ' ( t )I
rf "'(t) 0 0 l u z ( t )I
'Y2 (t)
f "2
0 0
ts f ," ( t) 0 0
f (z(t)) (4.32)
0 0 0
0 0 o
0 0 n [ f,",ttl I
1 0 U | /_',(t)
(r) 1
0 1 L
o -,- /.. I
0 0 1 ,f(r)
0 0
o 0
i(t) : f (r(t)) + s(r(t))u(t) + f,,(t) +
0 0 If",(t)l (4.33)
(t)
0
1
0
0
L/:. (r)l
-,-
"fr
dt (t)
0 1
-,-
DtQ)
p r : m i n { ( € N l r F ,L ' r - t e r G ) + o } , (4.34)
where e t G) is the estimation of the first component of r(t).
For the considered system, pt is equal to one: only output y1 is affected
by f Thus, the state-space representation insensitive to fault /r, is defined
"r.
AS
r ( t ) : 4 1 ,@
, ( t )u,\("t' /')/): l , " l ? 1 - | vt(t)
, (4'35)
l"a(t) ) L f ' @ ( t ) , ' u ( t ) )]
where r"(t) : Ut(t) : 11(t) + /", (t) and
,a(t): U l ( f) t z ( t ) t s ( t ) . f" , ( t ) f " " ( q f : . I t c a n b e n o t e d t h a t Q r ( r ( t ) , u ( t ) )
is independent of /",(t).
Therefore, the faulty sensor nonlinear affine state-space representation is
described through the following decoupled form:
i.1t7 : i - ( + t - |-
Lr \L,/
j",(t): (-", tr(t) r,o)+ !rur(r)+ i",Q) : ure)
i.r(t) -ctJlt(t) - ts(t)
t.z(t) czy1slq - 1r1q- c2J l2(t)
rbQ) : I.z(t) ctJtr(r)-Is(t)-cs t s ( t )- t z ? )
f ", (t) azf (t)
",
n.(i) 13f ss(t1
0 0
+ o 0 0
o *
+ 0 0 Ir'(t)I - 0 0 If",(t)1
0 0 l u , ( t )) 0 0 Lr,.(t)J
1 0
0 0
0 1
a.G) a r ( t )
aa(t) I L 2 ( t )+ f , , ( t ) 1
L l ' ( t ) + f , . ( t )l
(4.36)
l4O 4 Application to a Three-tank Systern
f/;- /+\\
0 0
+ o 0 0
o + I r ' ( t ) - l-, 0 0 [ /:, (r)I
(4.37)
+ 0 0
0_0 l u , ( t )) 0 0 Lr""(r)l
1 0
0 0
-,- 0 1
-.,-
0@uG))
DL
t) : l:::li)I ;::li)l
aa(t): a,(
nr @a(t))
tI
i,e): f(,r(r))+ g(ru(t))u(t)
+ bt Irt'!1) I
L./'.(r)I . (4.38)
I1 u a ( t ): a{t) : hr(tb(t))
A classical extended Luenberger observer should be considered to estimate
the state as follows:
: - ^
i a e ) : f ( i r ( r ) ) + g G o ( t ) ) z ( t*) L t (\ -r r @ - s- o ('t/) ), (4.3e)
where .L1 corresponds to the observer gain computed at each step time so that
the eigenvalues (e*g+P - L1ry#) .t" stable and follow the dynamic
"f
specifications.
The same calculation is applied to each sensor fault. Therefore, a bank of
three classical extended Luenberger observers, where each of them is decoupled
to one single fault, is used to detect and isolate sensor faults.
In the fault-free case, the residuals generated by the three extended Lu-
enberger observers are close to "zero." Each residual is affected by estimation
errors issued from some rnodeling errors as illustrated in Fig. 4.3L. With an
appropriate ewaluation rnethod, no faults are isolated. However, in the pres-
ence of an incipient fault on the first sensor, Fig. 4.32 shows that at instant
4.4 Nonlinear Case I4I
2000 s, two of the three residuals present some incipient variation. It can be
noted that the residuals have the same evolution as the fault. As said previ-
ously, only the first residual is insensitive to the fault on level sensor (.,,. TIte
residual evaluation detects this evolution at instant 2009 s.
0.o02
0 t$i.i{!-i,?ti,,r.is{j}.i1F;'}ti
0.002
0
- 0.002 Residuals r1 insensitive to sensor fault 1
o.0l
o
- o.o1
to sensor fault 2
- o . o 2 Residuals 12 ursensitive
o.0l
'--*of".--bn*-*
0
- o . 0 1 Residuals 13 rnsensitive to sensor fault 3
- o.o2
2000 2500 3500
Tirne[s]
0.6
0.5
0,4 $
j
a
= 0.-i ri
c) $,
I {
r
0.2 - ' - rd<='.f&r+/*;j]wf4--i!''r
{'
f' reference
.f" -
0.1 r.eal
"f
t - measured
i ( t ) : A f r ( t )+ B u i ( t ) ,
t r < i < 2, (4.4o)
\ v n { t ): c r ( t )
--
w h e r e f o r t he th re e -ta n k syste rn A: [0], B : C lLl, and yt( t) :4.( t) .
As s h o wn i n F i g s.4 .L 6 a n d 4.18 in the linear case, based on the nonlinear
decoupled control law, a fault on actuator i, affects the reference input i. Ac-
cording to the actuator faulty linear representation presented in Section 2.3.1
the Brunovsky canonical form (4.4O) can be represented as
nttl: B u i ( r )+ B d , i ( t ) ,
{ ::a,l* 1< i < 2, (4.41)
l u o ( t ): c r ( t )
where dt(t) represents an image of the actuator fault effect on the zth decoupled
subsystem (? :1,2).
F\rrtherrnore, the Brunovsky canonical forrn will prove useful dealing with
the problem of fault rnagnitude estimation. Indeed, in order to detect, isolate,
and estimate the fault, a state observer can be associated with each subsystem
(4.26) and synthesized based on the Brunovsky canonical form through the
following form:
144 4 Application to a Three-tank System
:
i(t) A i ( t ) * B u i ( t ) ) + L ( a o ( r )- c A ( O )
n l r , t
L<i,<2, ( 4.42)
0"(t) UTV)
where -L is the observer gain. i defines the estimated state vector, and Ai
represents the estimated output. The estimation error vector, denoted e(f) :
i(t) - i(t), is equivalent to
x 1o-3
-1
-6
- t z
Tirne[sl
x l0-3
TirneIs]
Fig. 4.35. d z fault magnitude estimation with an abrupt loss of effectiveness of
purnp 1
;
r(t) AA(D * Buno,n,t(t) + Buoaa,r.(t)+ Bd,i(t)
n 2 r , \ t L < i < 2 . ( 4 .46)
0t(t) ur\t)
146 4 Application to a Three-tank System
* f
fn,#---#.ffiW,'i1
:
,,,
1n",,
W - i :
Lrnrarisation
The additional control law is computed on-line such that the faulty system
is as ciose as possibie to the fault-free system behavior. This consists of solving
the following equation:
ffi*-
[h1;h2:h3]'
0.6
0.5
:..>
0.4
-
c)
0.3
tt-,i{" \
\
q,l
. ' l
o.?
tr. I
reference
with f*ult compensation
rvithout fa ult cornpensation
1.4
1.2
o
I
0.8
q)
L 0.6
v
0.4
o.2
0
0 500 lo00 1500 2000 2500 3000 3500 4000
Time[sl
Fig. 4.39. Accornrnodated input flow rate q1 with an abrupt loss of effectiveness of
pump 1
<l)
q)
I
'!600 3000
3000 2200 ?400 2800
TilreIsl
Fig. 4.4O. Lewel lr around t : 25OOs with an abrupt loss of effectiveness of pumP
4.4 Nonlinear Case 149
The FTC strategy, presented in this paragraph, deals with major actuator
failures as a blocking or a complete ioss of an actuator appearing on sys-
tems without actuator redundancy. In the event of this kind of failure, it is
impossible to maintain the faulty system to a desirable level of performance
based on the FTC method developed in Chap. 2. Thus, the proposed method
consists of leading the system to its optimal operating order with respect
to desirable performances. lVloreover, both static and dynamic performances
are taken into account in the generation of the optimal reference trajectory,
allowing the faulty system to be driven to its optimal operating order. The
distribution of the available energy arnong the healthy actuators, the accessi-
biiity, and the stability conditions are also cbnsidered. This corresponds to a
nonlinear constrained dynamical probiem.
Consider the following rn-inputs, rn-outputs nonlinear system:
TTL
i .rrr,
Mji.,
150 4 Application to a Three-tank Svstem
@i )
ir(t):fi(ry(t))+ f7 , i -+;
g{r r(t))ui,y(t)
( 4.52)
'r:,J,,),
l"r, (aj,u?) : min
af , uJ
(tt,,- ar l l 2 n ' r+" llrrll ( 4.54)
fi@r) + t g n ( * i u r , r- - o ,
i-l, i+i
Af-h(r7):O' (4.55)
- rf ) O,
rf - trnin 2 Orr*o,
- -
Af arnin ) O,!rna* Uf ) O,
un,f ui.,rnin ) Orui,.,rr(ra:- u;,f 2 O,
4.4 Nonlinear Case 151
o
w h e r e R o p t,f :
[%t 0 ,)-,1""oeop,[tr' ,r_, ]
Matrices Qopt € 8?-*- and Ropt,f € 8?-*- correspond, respectively, to
priority degree of outputs and to solicitation degree of actuators.
The system can continue to operate with degraded performance as long
as it remains within acceptable lirnits, defined by safety constraints and the
threshold of the admissible lowest quality 7:
.f rr rrD
- t :_ ll F ll2
l l r ) ? n a a 'l l n r t z * llu*orll-ortt (4.56)
YopL "opt.f
where En"or: lAa-Afl,nar represents the accepted maximal output error and
,urno,r the maximal energy provided by each actuator.
If. Jopl I T, the reference inputs of the new control law are modified to
Iead the damaged system to operating order (ri,"j) rather than stopping it.
The proposed method is based on the computation of new refereEce inputs
in order to drive the system in an optimal operating order (optimal trim
point for linear systems) with respect to desirable performances and to their
degrees of priority. For a piant without actuator redundancies such as the
three-tank system, this method is very important because it is impossible to
maintain the system at sorne acceptable level of performance in the presence
of major actuator failures. The next paragraph is dedicated to highlight the
effectiveness of this approach to the nonlinear model of the three-tank system.
[ o o o ] t < r ( t ) < f o . o s s0 . 6 3 50 . 6 3 b ] ?
[ o o ] ' < a Q )< f o . o s s0 . 6 3 5 ] ? (4.57)
* ali
c) ,
d *
q) * * *
{
t\f $.4
t l {
4 rt')
rr
reference
measurecl
x 10-4
- Pump 1
***, Pump 2
{)
L
F
Q opt : t
lso o I t .
Ropt - fz x 104; Erno, : I or s l (4.58)
L 0 2 5) ' lors.l
The detection module diagnoses the purnp 1 blocking at 1305 s. The
threshold of the admissible lowest quality T given by @.56), in the case of
pump 1 blocking, is equal to 1.688. The new control iaw allows tracking of 1.2,
and the new reference input leading the damaged system to its optimal oper-
ating order is then determined. Table 4.2 gives the operating orders reached
by the nominal control and the FTC, in the presence of the major'failure. It
can be seen in Table 4.2 tlnat the FTC avoids the system stop when pump 1
is blocked. The performances are degraded but remain better than the admis-
sible lowest quality Jopt { 7. Regardless of the desirable operating order, the
performances are always better than without FTC.
4.5 Conclusion
The three-tank system is used to illustrate the abilities of the FTC system
to compensate for both sensor and actuator faults. A bank of unknown input
observers has been designed in order to detect, isolate, and estimate faults,
and principally to distinguish between sensor and actuator faults.
Indeed, since the compensation for an actuator fault cannot be achieved
in the same way as for a sensor fault, it is of great importance to distinguish
between these faults, which is not usually easy in closed-loop systems. Various
experiments have been conducted in the presence of sensor and actuator faults.
The fault accommodation method based on the FDI results shows that the
compensated outputs behavior are closer to the nominal outputs than the
faulty outputs without compensation.
The main difficulty in applying this FDI and accommodation method in
more complex industrial system is the establishment of an analytical model.
Ifowever in many cases, the breaking down of the whole systern into subsys-
tems makes possible the modeling and the application of such a method. It
t54 4 Application to a Three-tank System
o.6
o.5
"ir d
E.
r*
l/
o o.4 ta
q) e&
E*
q.l
*t
6l 6*
t
ol **
TI
,t
Fr
= o ?
TimeIs]
Fig. 4.43. Dynamic behavior of levels with F':fC systern in a freezing case of purnp 1
x 104
- Purnp 1
-"*"* Purnp 2
q)
E 06
q)
tr
e 0.4
1000 2000
Tirne[s]
can be noted that for each subsystem the model obtained is assurned to be
linear around an operating point and is suitable in the associated operating
zone-
Moreover, the nonlinear model of the system is considered with a nominal
control law based on an exact linearization input-output by state feedback.
Because the noniinear features of the system are considered, the fault magni-
tude is estimated regardless of the operatin g zo:ne. This method is suitable for
actuator faults such as biases or a loss in the effectiveness of an acruaror or a
system cornponent. The developed method emphasizes the importance of the
FTC applied to the three-tank system. A decoupling approach and a bank of
nonlinear observers has been designed in order to detect, isolate, and estimate
sensor faults. Then the fault is compensated using the fault free estimation of
the measured outputs. This method is suitable for sensor faults such as biases
or drift of sensor gain. it should be noted that one way to consider a wide
operating zorrg could consist in the use of multiple models techniques rather
than considering an exact nonlinear model [10€].
A major actuator failure (blocking or complete loss) in a process without
redundancy can be considered as a critical failure. Its application to a non-
linear process, the three-tank system, emphasizes the importance and useful-
ness of such fault-tolerance. The objective of this FTC is different from that
usually met. Indeed, in the presence of critical faults on such a process, it is
impossible to maintain the damaged system at sorne acceptable level of perfor-
mance, regardless of the applied control strategy. The objective is to operate
safely and to minimize the loss of productivity. It is realized from a nonlinear
quadratic programming optimization. Recent works have considered compen-
sating a compiete loss of an actuator. The occurrence of this kind of critical
failure requires either a hardware redundancy or an on-line modification of the
nominal objectives in order to avoid catastrophic consequences until shutting
down the system safely under explicit input saturation constraints [120].
In this chapter, the robustness against modeling errors has not been con-
sidered. However, the FDI and FTC concepts are always valid in spite of error
models which will oniy modify, for instance, the sensitivity of an unknown in-
put observer against faults, or the error state estimator convergence. Some
recent papers have considered this topic for the three-tank system. For in-
stance, robust FDI filter design problem for LlfI uncertain systems under feed-
back control has been investigated in [63] where two-design methods involving
norm-based fault detection filters are applied to the three-tank system, and
compared to each other. To deal with imprecisions and uncertainties of modeis,
these uncertainties are generally represented using interval models. In l10S]
an approach is proposed to generate envelopes based on interval techniques
of the modal interval analysis. In the frarnework of off-line model-based FDI
for multi-variable uncertain systems, a method is proposed in [64] using the
generalized structured singular value and based on frequency-domain rnodel
invalidation tools. Other studies considered robust FDI of nonlinear systems,
as for example in [87] where new adaptive law and SMOs with boundary layer
156 4 Application to a Three-tank Systern
5.1 fntroduction
higher level monitors and supervises these local rnodules and ensures an intel-
ligent synchronization and coordination between the subsystems. In parallel
with this structure, a fault diagnosis structure is built. A local diagnosis mod-
ule detects and isolates sensor faults in each subsystem and a globai module
monitors the local ones.
The chapter starts by presenting the system and its model. The control
law is then detailed in Sect. 5.3. In Sect. 5.4, the instrumentation probiem
is discussed. The design of the diagnosis and the fault-tolerant modules is
addressed in Sect. 5.5. Finally, to illustrate the control, the diagnosis and the
fault-tolerance, simulation results are shown and cornmented on in Sect. 5.6.
The futl vehicle model consists of the chassis (sprung mass) connected by the
suspension systems to four wheels (unsprung masses). This system is illus-
trated in Fig. 5.1. Each suspension is modeled as a linear viscous damper, a
Iinear spring, and a force actuator. Each wheel is modeied as a linear spring.
lfhe chassis is free to heave, pitch, and roll. The wheels are free to bounce
vertically with respect to the chassis.
The dynamics of the electro-hydraulic servo valves given by Gaspar et
al. [51] are taken into consideration in this study (Fig. 5.2).The actuators
generate the actuation forces. lfhus, taking their dynamics into consideratiorl
helps in better understanding the system behavior.
Each actuation module consists of a cylinder (actuator) and a four way
servo valve. The function principle of the actuation module is to generate
an input force u.B oL the spool which is able to move forward or backward'
The variation of the spool position 2," results in the variation of the amount
of fluid entering (or leaving) the cyiinder chambers, thus creating a pressure
drop across the piston and. generating the actuator force fo.8 : {f r, f I,m,rL}
stands respectively for front right, front left, rear right, and rear lefb.
In this section, the dynarnics of the Sprung maSS, the unsprung masses, and
the actuators are illustrated. It should be noted that this chapter deals with
continuous-time systems but the time will be omitted for simpli$cation.
5.2 Full Vehicle Active Suspension System 159
zur,
,r. ku,,
,-t I zrn
zt
f"
fn
Zu
-r,
zrf,
|I 2 " 8
l', +
S
Using Newton's law, the sprung mass (chassis) dynamics are [56]
where z is the heave position and. 0 and @ are respectively the pitch and roll
angles of the sprung mass. The other variables are illustrated in Fig- 5.1 and
the different.consta-nts are defined in the sequel.
where 2,"* (8 € {fr, fI, rr, rl}) is the vertical displacement of the unsprung
mass. The other variables are illustrated in Fig. 5.1 and the constants are
defined in the sequel.
Actuators Dynarnics
si,gn(2,")Aol // -\
- si,gn(z,t) A's)Cat''sz','t ' (c'J i
Q : si'gn(p'
hydraulic fluid density. By replacing the load flow Q given by (5.3) in (5.2),
the following equation is obtained:
w : -CtpAo
lt- - sign(z,r)46l
- S(2'" - 2uo) + SnC4glzuor/ U,
;+*PA
e
oo " " V (5.4)
P
or
40"Cto
A*
;
" : - -----=-:-
V 4.6 - trt," - 2uol* ssc4u)2,* si,gn(z,r)Aol
ff T
(5.5)
where Ss : si,gn(p" - s i . g n ( z u o ) A o ) .
By defining ct, p, a n d T a s a : - oCtn and 7 : aCauJrfi,
ft, 0 {s.s)
becomes
2u':!e",'+us), (5.8)
where r is the time constant. The control input u6r is given by
u6 : k'i'6, (5.e)
where e,.9is the servo valve current and k is the valve gain.
I n conclusion, the actuator dynamics are given by
a ^ -
J L D - -0Ao-aS(2'"-2uo)+si,gn(p"-si'gn(z'")Aoh@.,*
(5.10)
and
1 / . \ .
a uo). 2u" : (5.11)
;(-"""
The force generated by the actuator is given by fo : S Ao where ,9 is the
actuator ram area and 8 : {f r., f l, rc, rI).
162 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
The concatenation of the vehicle active suspension and the actuator models
results in an input affine nonlinear rnodel of order 22, wlrrch can be written
as a state-space representation
SScrorr;"
l7 :l*5 x6 x7 te ]r l.n :fxn .rr8 xts xzo xzt *zzlr l7r =fxl x2 x3 *4lT
xi SScaorrit x:
|-
Decoupling
ch
xi.t
C chorri,
+ : l I
I
I
t
r"-'j
zrt
?'3:t 2,,
l l
l l
r
! rt : Lxtz xrs \o)r !r, :lxs tro rl l *rzf'
: :
5
q)
()
tr
a
Level0 5(t)
Object-oriented b reakdown
,"**,
166 5 Sensor Fault-tolerant Control Method for Active Suspension System
ft@) : T2t
f+(r) : -r+/r'
fa@) : -re/r'
fg(r) : rro;
- - -
f r c @) : [- (k " .. * ku ..) *n + kr .. fr 17 bk" - . sin( r 1e ) "k' - . sin( r 21 ) .' .. r to r
c s . . f r r 8 - b c" .. co s(r1 g )*ro - ccs,. cos( r 21) r r " - .9zr r ] /*u,,,
-- -rn/r-
fn@)
5.2 Full Vehicle Active Suspension System r67
Rear Left Subsystern S,Srl
fts@) : nr4,
frc(r) : -rro/r.
fn(r) : x)r8,
f rc@) : t2o,
fzr@) : r22,
f z z ( r ) : c os(fi zt){-" k" r.frr * dk' r ,ts - ck"..r s + dk' .r tr r 3 - ld( k,r , * k" .,) -
c ( k " r . I ! " . - ) l r t , - [ d ( a k " 1 ,- b k " . , ) - c ( a k s r . - b k " - . ) ] s i n ( z 1 e ) - l d " ( k " r , I
k ' . , ) * c 2 ( k " r . * k " . . ) ] s i n ( r 2 1 ) - c a c " r . r 2 * d c " r r r . 6 - c c s - . f r 1 g* d c " . , r r + -
[d \ " " r , I c s .t) - " (" " r. * cs..) ] r r" - ld( ac"r , - b. ".r ) - c( ac" r . - bc".,) ] cos( r 1e) t r o -
ld'(",r,*cs.t)+""(""r.*cs..)] cos(221)-rzz+Sl-c(rs*'rtr)+d'(rr*rrs))\/r*,.
!
I
It
r
F
L :..
b8'**a'
168 5 Sensor Fault-tolerant Control Method for Active Suspension System
0s"a 0r"a
I/, O 0 O kur./mus. 0 O 0
0g*a 0s*a
0 I / r 0 0 0 kur, /Tnuy, 0 0
B - 0s"a ) r
t f -
0s"a
0 0 l/, 0 0 0 ku." / rrlu.. 0
0gra 0sta
0 0 0 1/r 0 0 0 ku.,/rrtu.,
0o*a 0s* a
where S, a, b, c, and d are given in Table 5.1. The six equations of S 5"7"or"6"
can be written as
f rz(r) - r l 8 r
f B ( r ) : fta( *) - f 9 t ' L t " ,
f rc(*) - - L 2 O t
(5.14)
fzo(r) : fro(t) -f 9zoue,
frr(r) : I22,
fzz(r) : f z z ( t ) + g 2 2 u 6
with
L7O 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
: .t',
, Q
i At-
,t
F
(\
s
G
Chussis
Fig- Control strategy
5.3 Controller Design I71
If, for the set of the first two equations fn(r) and /1s(r), the desired
trajectory is defined as zfr, then the error between the actual and the desired
trajectory can be written as
. ez:z-zd:r.n-riz. (5.15)
€":irz-t{z:rft-rfa. (5.16)
sz:€"1\"€r. (5.17)
By foilowing the same steps for the set of equations ("frg(r), fro(r)) and
(fzr@), fzz(r)), two equations are obtained:
- kese)
, r - 1 6 :r . t y " n
*u5: S;J@|n - fro@) - \eee (5.22)
and
In matrix form:
where
A-
[ . r "Ao 6 o I
0l'd:
l u " 1 l r : .kos g l
Ol,ands:l"rl'
["'l
l0 l u r l , k :l 0
[o o rol Lur] [o o ko) L,*l
Functions g1B, gzo, and g22 a,re nonzero scalars. Thus, they are invertible'
So is G. Note that the constant rate reaching law (NI si'gn(s)) is not used
in $.2Q. This is because the use of the proportional rate reaching law (ks)
proved to be sufficient.
The three d.esired inputs u2, u3, and ufl can be interpreted as being, re-
spectively, the desired force in the z direction and the two desired torques
its
in the direction of angles 0 and d so that the controlled system reaches
desired objectives. I{owever, the relation between ur and the actuator forces
is
"f
Ao:-0Ao-aS(2'"-2uo)+si'gn(ps-s,ign'(",")Ao),@".o.
(5.28)
This notation is used in place of the state-space represenrat,ion to generalize
the study of the second module for the four force actuators. This equation can
be written as
Ao: .fz" * 92"1t'2o, (5.2e)
wh e r e f r " : -0 A o - a S (2 " , - 2ur ) ,
?1,2o zu" arrd g2" : si,gn(p" - si,gn(2"")Ao)t s'ign(zoo)Aol.
Defining the sliding surface as
,'i.'
L;#a
L74 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
The required spool valve position z!" to generate the desired actuator pressure
Ag (determined by Ccho""is) is computed bV C8. The role of the control
-odnl" C$ is to determine the control input u6r needed to obtain zfo. The
spool valve dynamics are
2ur:!et,"+uo). (5.33)
T
and following the steps described in Sect. 5.3, the third control law can be
given bv [Z]
u 3 , : u lg : zu* * r ( 21" - kz"ser ) ' ( 5'36)
k3" is chosen to satisfy (2.5S) with I e {f r, f l, rr, rl}. The control input
u is expressed as follows:
The control law requires an investigation into the needed measurements and
the available and the unavailable sensors. Therefore, this section will analyze
the problem of active suspension instrumentation.
. The four actuator forces /,e with I e {fr, fl, rr, rt)
Note that in the system model the suspension stroke 2", zu" arrd.stroke
rate 2u" - 2u" are expressed in function of the state cornponents using the
physical relations between the chassis (2, d and r/) and its four corners zs"e.
These relations are
The following study details two working cases; the prototype and the i,nd,ustrial
levels.
Prototype Vekricles
The prototype vehicles are used irr the laboratories for research purposes. The
most common sensors that can be found are the following:
. Laser sensors measure the heave position z of the sprung mass, the dis-
placenrenf, zuo of the unsprung masses and the road inputs z,o (rg €
{f ,, f l, rr, "I})
o Accelerometers measure the heave acceleration 2 of t]ne sprung mass and
the vertical acceleration 2u, of the unsprung masses
o Accelerometers measure the laterai and longitudinal acceleration of the
vehicie
. Gyrometers measure pitch and roil angular velocitie s 0 and, $
o Linear variable displacement transducers measure the suspensions stroke
Z"o zu* the sprung mass displacemertt zu* the road displacernerrt zr",
and the spool valve positions zro
o Linear velocity transducers measure the sprung mass vertical velocity 2,
the suspensions stroke rate z"o - 2uo, and the unsprung masses vertical
velocities Z,uo
. Load cells measure the actuators forces /.9
Not all the sensors cited above are on board. The sensors combination depends
mainly on the control law and the sensors costs- The rnost corrrlnon sensors
available are
L
176 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
. The N{aserati GranSport uses four acceleration sensors on each wheel (sky-
hook system)
. The 2005 Cadillac XLR rvorld's fastest-reacting suspension system is
equipped with four wheel-to-body displacement sensor that measure wheel
motion over the road surface
. The Opel Astra uses five acceleration sensors: three body sensors that
measure roll, pitch, and heave and two wheel sensors for the road surface
conditions
. The Volvo 560 R and V70 R, equipped with the Four-C technology (con-
tinuously controlled chassis concept), uses sensors measuring longitudinal
and lateral acceleration, yaw rates, roll, pitch and heave, vertical position
of each wheel, speed of the car, steering wheel position and velocity, engine
torque, throttle pedal position, engine rprrl, and braking force
o The heave velocity 2: sensors allowing the measurement of the sprung mass
heave velocity 2 do not exist. On prototype vehicles, this measurement is
ensured using a linear velocity transducer and a fixed reference ('i.e.. thre
ground) which is not possible to realize on industrial vehicles. Nevertheless,
two solutions are possible. lfhe fi.rst uses a laser sensor to measure z and
then a srnooth derivative technique gives 2. The second solution uses an
acceierometer for the heave acceleration 2 measurement and an integration
Ieads to 2.
. The pitch d and roll @ angles: sensors measuring the inclination angles
do exist. Flowever, these sensors are sensitive to vibration. Sensors with
high vibration resistance are very expensive and are still inadequate to
be used in vibrating environments such as vehicles. Therefore, gyrometers
are used to measure d and @. Angles are then obtained by integrating the
measurements.
For the SMC of the nonlinear systern, 15 sensors are assumed to be used:
fp,
Five accelerometers measure the heave acceleration 2 and, the four un-
sprung masses acceleration 2u". The noisy measurements are filtered
168].
velocities and positions are obtained by double integration
[68]
Two gyrometers measure the pitch 0 and roll $ angular velocities. Inte-
gration leads to the respective angles
168].
. Four linear variabie displacement transducers measure the spool valve po-
sitions z,o l2l.
Four load cells measure the actuators forces fo lZ].
The four suspension stroke rates 2"o - 2uo are computed using the
physical relations (5.38) between the chassis and its four corners zsd (rt e
{f ,, f l, rr, rll).
This sensor combination represents one of many possible sensor solutions.
Ffowever, the one proposed here is close to those used for industrial vehicles.
Thus, it respects the industrial constraints.
Obtaining veiocities and positions by integrating acceieration measure-
ments is used in 168] for a prototype vehicle. A filtering of the noisy mea-
surement is performed before the integration. Integrating the measurement
is inevitable in obtaining the variables needed for the control. However, this
lTray lead to bias over a certain time window. This affects the control and
the diagnosis scheme. This point is not investigated in this chapter. This is
considered as an area of future research.
In this study, 15 sensors are assumed to be used. For cost reasons, not all of
these sensors may be installed on standard vehicles. However, some material
redundancy should be available for the diagnosis and fault accommodation.
Thus, the minimal number of sensors ensuring the observability of the systern
and allowing the FDI must be found. This point is treated in [19,201 and will
not be presented here.
Few research studies have treated the suspension system fault diagnosis
problem. An early study used the generalized likelihood ratio approach [BB]
for on-board sensor FDI of an active suspension system using a half-car model.
It was concluded that the application of this approach is feasible when the
failure can be modeled as a deterministic additive term. In other situations,
the computational requirements make it iess practical. Another study uses the
nearest neighbor-based fault identification and the robust geometric method-
ology Ii07].
Isermann and other researchers of the Darmstadt University of Technology
are working on this problem: model-based methods are applied to a quarter
car test rig equipped with an electro-hydraulic actuator 134-40,72]. In these
works, the unknown parameters of the systern are estimated by using an
estimation algorithm. Then parity equations are used for the detection and
isolation of sensors and components faults. Parity equations are generated
with a local linear model tree.
Other methods are used for the FDI in active suspension: statistical
methodologies are applied to perform fault detection in nonlinear two degrees
of freedom quarter-car model and complete vehicle models [96]. Model-based
FDI metirods are developed in [15].
In l7A), analytical redundancy techniques are applied to fault detection for
heavy vehicles where the full vehicle model is divided into several subsystems
to reduce the computation cost. In 1771,the model-based fault detection ap-
proach relies on simple mathematical descriptions of the systern which yielOs
a robust FDI against disturbances or model uncertainties.
In this section, a model-based sensor FDI strategy is designed for the full
vehicle active suspension system. The consideration of the force actuatols
helps mainly in better understanding the occurrence of the faults and their
propagation in the whole system. This is because the actuators are crucial
elements of the active suspension systems. They have their proper dynamics
and they are also subject to faults. Six diagnosis moduies are then designed: a
global one localizes the fault in one of the subsystems and five local diagnosis
modules (one for each subsystem) determine the faulty sensor (see Figs. 5.4
a n c l c . Dt .
I F F \
To detect and isolate sensor failures, the system model and a bank of SMOs
are used to generate residuals. In this study, abrupt fauits are considered. The
residuals are designed in such a way that every fault has a specific pattern
and thus can be easily isolated.
This section shows how SMO can be used for detecting faults of large magni-
tude. This SMO-based FDI scheme is not useful for detecting incipient faults
in many practical applications where systern model mismatch is unavoidable
and significant [17]. An incipient fault vrill neither produce a sudden peak in
5.5 Sensor Fault Diagnosis Strategy I79
the residual nor will it push the system out of sliding mode. This is a limitation
of this SMO-b,ased fault diagnosis.
The subsequent explanation of the SMO-based FDI scheme is derived from
117]. The initiai scheme is reformulated in order to be compatible with the use
of reduced order observers. For this purpose, consider a reduced order multi-
variable nonlinear system described in state-space form:
{*: f (r,i.u,d)
(5.3e)
t y : I{(r) + f"(t) )
where r €. IVI, a Cn connected manifold of dimension n. The use of reduced
order systems consists in considering a part of the systern model. lfhus fr are
the states other than r. fr are considered as known inputs. z and d represent
respectively the control input and the system uncertainties. It is assumed
that aIIr, ft, u, and d are bounded. I{(r): [ht@), ho@)l' are srnooth
v e c t o r f i e l d s o n I V I. f " ( t ) : lf|(t), f|@l' represents the sensor faults.
A general SNIO for (5.39) is of the following form:
2 : L ( i + f " ( t ) , r . A . u ) * A s i g n ( A- r ) , (5.40)
. d _-, olr @)
e--;H\r)-z (5.41)
CLL OT
- 04@)
E r r
, f( r , r , u , d . ) - L ( r + f " ( t ) , z , a , u ) - A s i , g n ( I t ( * )+ f " ( t ) - z ) .
r t+ f , ( t ) ,z , a ,
:]l
l:'::,',:'.:':r,',]
* + f ,(t),2,A,
and L:
[j;r
L,,(
:
r t + f " ( t ) ,z , u ,
The dynamics of the error €i ale then given by
! " ? - 2 e t l r n o ( r , f t , u , d -) l ; ( r t ,z , I I ( * ) , u ) - ) , i s i . g n ( e a ) 1 . (5.43)
dt"'
Therefore:
i f e i < o , # " ? : 2 e i e i - 2 e t l r n n ( t , i , u , d ) - I r . ( r t ,z , r r ( r ) , u ) + , l r l . 0 .
Thus ri : e; €xponentially decreases to zero according to the Lyapunov
principle [17]. Assume now that one of the sensors measuring r becomes faulty
at time f; (f,(t) + O). It is necessary to investigate how the fault interacts
with the sliding surface and how the sliding performance of the observer is
affected.
At time t ) tt, f 0. Then
"(t) I
rt : nlt(r,fr,u,d) - li(r + f,(t), Z,U,u) - ),;si,gn(ei). (5.44)
This rnay produce one of the following two cases.
Case 1
If lrni(r,t,u,d) - lt(ft + f z , a , u ) l { .},; for ali 'i : l, . . . , p, tlte observer
" ( t ) ,
will remain on the sliding surface and faults can not be detected, i. €., r'; : O,
i:1r-.- .p.
Case 2
I f l r n ; ( " , r t , u , d ) - l r . ( i + n ( f ) , z , U ,u ) l
wiil move from its surface and sliding will cease. In this case, the ith residual
element will become nonzero persistently and will alarm for the occurrence of
a sensor fault.
ifhe effect of sensor faults f.(t) is also considered in the FDI design but
it is not presented here. The idea for these faults is similar to that of /'(t).
More details about this subject are given in [17].
Diagnosis Strategy
The fauit diagnosis strategy is illustrated in Fig. 5.7.lt consists of six diagnosis
modules: one global and five local Di,ago for each subsystem 5,56r with d e
{fr, fl, rr, rl, chassis).
To construct the global diagnosis module, the system model is used to
estimate, with a geometric approach, the actuation pressures fta.rc-1of the four
actuators (k : 1, ' ' ' , 4). Here, the "." represent rnultiplication. The estimated,
pressures fra,.k-1 &r€ then compared to the measurements to generate the four
r e s i d u a l sR r c ( k - 1 , . . . , 4 ) .
For the local diagnosis modules Diag,e, six reduced order SMO R.Obs.i.
(i : 1, "' ,6) estimate the heave velocity of the sprung mass (rrilr (k :
5, "' ,10).The estimates are then compared to the measurernent of the heave
welocity r1s to generate six additional residuals Rn (k - 5,... ,10). The fault
isolation is ensured by injecting the output vector y in each observer while
excluding some measurements. The notation "\m" in Fig. 5.7 denotes that
the measurement "rr1" is excluded from the output vector y. This helps in de-
coupling the effect of the excluded measurement from the estimated variables.
Finally, ten estimates are obtained and compared to the measurements.
Ten residuals -R6 (k : 1,'.- ,10) are generated to detect and isolate sensor
faults. The global and the five local modules Di,ag.s are detailed in the sequel
with 8 e {fr, f l, rc, rI, chassi,s).
To design the global fault diagnosis module, the system model is used to define
four residuals and a global inference matrix. From ia,.u-t (k:1,...
,4), the
estimate ftq.n_1 is calculated as function of ra.k-2, T4.k_ Ltx)4.k, rrB, rLs, fr2o,
fr21, A,fid fi22 a,s follows:
I
I
I
t.,,
L82 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
tr.
x7
rtt
i,.,
R4
I
I
I
rra
t- i
Diag r, I
I
I I
I
I (irs )s
\ {t,.,,t,r} I
I
' r- '
(i,s )u I
\ x-. I
I
I I
(
Diag 7 (its )s I
\ {x,r,x,r} l
R. Obs. 1
I
I
\x, (irs )z (
I I
I
I I
I
J
r
I Diagn ( irs )s I
\ {x,r,x,r} I
(ira )a
\ *tt
I
I
Diag a (*ts )s I
I
\ {x,,,x,r} i
.TI
I
I
(irr )q I
I (
\ X,,
I
I
I
(ire )t I
\ {x,, , x,, } I
I
l-
(*ra )ro l
\ {xr' xro} I
Sensor elno""t" measures 2; the heave z (rn) and the heave velocity 2 (rrs)
are obtained by integr ating 2
Sensor e\no""t" measures the pitch angular velocity 0 (trd; the pitch angle
0 (rtg) is obtained by integrating this measurement
Sensor eln.,""i" rneasures the roll angular velocity e @zr); the roll angle @
(rz) is obtained by integrating this measurement
sensor ($ -easrres 2uo (d e {fr,ft,rr,rl}); the unsprung mass displace-
rnerrt zu" (rn.n-s) and the unsprung mass velocity 2u" (ra.n-z) are ob-
tained by integrating the measurement (k : I, - . . , 4)
a Sensor C.!measures /.e (rn.x_r) (k - 1,. .. ,4)
a Sensor ($ measures zus (rn.,") (k : 1,... ,4)
A sensor fault results in an error in the measurement and the variables
derived from it.
aL az /J ro az lc aL az aJ
S fr S f r \ f r \fz sft \f, '5rr \rr \rr \rl \rl \rl \ch \ch Sch
Rt 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1
Rz 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1
Rs 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1
Rq o o 0 o 0 0 o o 0 1 1 1 1 1 1
To isolate fauits in S,Sy., two reduced order SMO are buil.t. A reduced order
observer is constructed with part of the svstern rnodel. The consideration of
I84 5 Sensor Fault-tolerant Control Method for Active Suspension System
part of the rnodel rather than the complete model reduces computation cost
and simplifies observer design. This part must be observable.
The first observer R.Obs-1 is constructed using the set of equations i13,
i1e, and izo. The variabies rs and :r13 &re assumed to be non-measured (they
are excluded from the output vector y (Fig. 5.7)). This observer estirnates rr18.
The considered equations are
*rg : r2o,
Rernark 5.3. Tine estimate (irs)5 obtained from R.Obs.1 is independent of rs,
r16. Thus, it will be used for the generation of residuals in the other
r12, a.1lLd.
subsystems.
The second observer R.Obs.2 is designed using i3 and irs. The variable
13 is assumed to be non-measured (it is excluded from the output vector g as
iliustrated in Fig. 5.7). Thus, (ite)o and R6 are insensitive to the measurement
of the front-right actuator load pressure 13. They are sensitive to the other
measurements 16 and rt.
:
Two additional residuals R7, -- rr1 - (f ta)7, &r€ then obtained, with /c
(i1s)ru is the
{5,6} . rr1 is the measured heave velocity and
kth
estimated one.
: f r
For this subsystem the inference matrix is given in lfable 5.3 with I
and I - 0. With both additionai residuals, it is possible to isolate the faults
of this subsystem. The same steps are made for the other subsystems-
w
Fi,
R s 1 1 0
Ra+t 1 o 1
lfhis module has R.Obs.1 as the first observer (see Rernark 5.3). This observer
is insensitive to the fault of the sensor (f7 measuring the front-left spool valve
position us and sensitive to the other measurements.
The second observer R-Obs.3 is designed using b7 and. r1s. The variable
17 is not assumed to be measured (it is excluded from the output vector y
as iilustrated in Fig. 5.7). Thus, (frs)7 and R7 are insensitive to the fault of
the sensor e?L measuring the front-left actuator load pressure 17. They are
sensitive to the other measurements r1g and fr.
Tworesiduals P"k: rrB- (2ra)r arethenobtained, with k:
{b, Z}. Table
5.3 illustrates the inference matrix of this subsystem with ,3:.ft and l:1.
The second observer R.Obs.6 is constructed for the three equations i1s,
i19 and i2s, with the assumption that variables z1e and t2s a"renot rneasured.
The two additional residuals l?7": r18-(fre)r ate obtained, with ic : {5, 10}.
The inference matrix for this subsystem is given in Table 5.4-
In conclusion, with these five iocal diagnosis modules, the sensor faults
can be detected and the faulty sensors can be isolate{-
Once the fault is detected and isolated, the next step consists of taking a
decision to reduce its effect on the system behavior. Very few studies treat
the suspension fault-toierance problem: a design of a bank of Kalman filters,
one for each possible sensor failure configuration, providing an estimate of
the system state when a sensor fault occurs, is carried out for a quarter car
test rig [113]. A methodology for the comparison among different alternative
fault-tolerant architectures, based on risk evaluation, has been applied to a
full active suspension control system [16].
Sensor faults can be accommodated by replacing the faulty measurernent
by its estimation until the faulty sensor is replaced. This is known as sensor
masking. In order to exploit their robustness to variation in system po,r&rri-
eters, external disturbances, and modeling errors, a bank of SMO [132] is
d.esigned to provide an estimation of the different variables. Thus, it can be
ready to be injected in the controller to replace the faulty measurement- The
dynamics of such observers are given by (5.40).
However, the system observability may be lost for sorne sensor faults- The
observability in the presence of a fault is investigated off-line. The fault-
tolerant control system "knows" o, priori when the system observability is
preserved and when it is not. After FDI, the FTC system checks for the pos-
sibility of estimating the lost measurement. If possible, the lost measurement
is estimated and replaced by its estimate. If not, the fault is considered to be
critical and the systern should be stopped safely.
Table 5.5 surnm arizes the possibility to accomrnodate sensor faults. The
,,1,, means that the sensor fault can be compensated, the "0" means that it
is
is not posslble to estimate the erroneous measurement and that the fault
critical.
5.6 Simulation 187
5.6 Sirnulation
For the linearized model, Fig. 5.8 illustrates the magnitude of the loop transfer
l*' r
|
| with the control law given by (5.2Q. The solid line represents the passive
f I I
suspension and the dotted line represents the active suspensiorr- zrrr is the
front left wheel disturbance. As shown in Fig. 5.8, the system acceleration
is highly damped. FIowever, this is difficult to realize in practice because of
the physical limits of the actuators: the forces generated by the actuators are
bounded and the actuator response is not fast enough to insure the darnping
of the road high frequencies perturbation.
If (5.24) is replaced by the following control law:
u 1: g - r 1 7 a - A e - k " ) , ( 5.46)
S u b s t i t u ti n g (5 .4 7 ) i n (5 .1 8 ) gives
sz:fra@)-k.s", (5.48)
;x
t{
E
q)
+
!\
Fr.equencl'[rad/s]
I
Fig. 5.8. lVfagnitude of ;1
'r I vs frequency
' f -I l I
,:a
J1
E I
n
i
*
I
E
'i lf
=I
x
i x
T
x
F :
.^
p
+
The controller was tested for a road of an arbitrary form. Figure 5.10 shows
the front right road input zrr. (solid line) and the front left road inp:ut z,r,
(dashed line). The rear road inputs are similar to the front road inputs but
delayed by r, given by r, -- L/r, where z is the d,istance between the front
and rear axles of the vehicle (L : a + b) and t' is the longitudinal velocity of
the vehicle which is assumed to be equal to 22 rns-L.
Figure 5.11 shows a comparison between passive (dashed line) and active (solid
Iine) suspensions for heave position z and heave acceleration i.
Figure 5.12 shows a comparison between passive (dashed line) and active
(solid line) suspensions for pitch angle 0 and, pitch angular accelerat ion 6.
The roll angle Q and roll angular acceleration Q are compared for the
passive (dashed line) and the active (solid line) suspensions in Fig.5.13.
190 5 Sensor Fault-tolerant Control Method for Active Suspension System
a
I
r o
I
x {.()5
F
,.t; 10 L2 14
Tirre [s]
.x
L
x
to
Tirrrc [sl
d
* ll
7
I i i
{)
!( ! ll
td \t
r !
q, q,| il ii
I
fl I
F i g . E.l-1. Position z and acceleration 2 for passive (--) and active (-) suspensions
These results are quantified using the root rnean square (RMS). The RMS
for a collection of n values {r1 , T2, ' '' , zr'} is given by
o '
-r rt -t' . ' r' f *n
2
ri
.r' TTTLS - (5.50)
Table 5.7 shows a comparison between passive and active suspensions using
RMS for the chassis states.
lfhis table also shows the percentage decrease of motions in active sus-
pension compared to those of passive one. It is ciear that active suspension
rid.e comfort by reducing the effect of road perturbations on the
i*pro.r",
heave accelera-
chassis. The control is more effective for heave position and
tion than for the other variables-
w
',:i::
5.6 Sirnulation 191
a t
YI
i i
i,l
i.l ii
)i
ia
10
firne [sl
o
" 4 6 8 1- o 1 2 1 4 1 6 t u z v
Tirne [sl
-
+
hD
lo
Tirrrc [s]
et
x
;
.x
9?
7
p
Tirrrc [s]
-) and active
Fig. 5.1-3. Roll angle @ and roll angular acceleration $ to, passive (-
(-) suspensions
192 5 Sensor Fault-tolerant Control Method for Active Suspension System
Perforrnance at Suspensions
The four suspension strokes z"o - zu.o ?t € {fr, fI, TT, for passive
"I})
(dashed line) and active (-soiid line) suspensions are illustrated in Fig. 5.14.
It can be noted in Fig.5.14 that the suspension strokes in passive suspen-
sion are zero-centered regardless of the road profile unlike in active suspension.
For t I 4 s the suspension strokes are negative. This is because the controller
pulls down the chassis to compensate for road convexities (see Fig. 5.10). For
6 s ( f < 18 s, they are positive. This is because the controller pushes up
the chassis to compensate for road concavities (see Fig. 5.10). This change in
suspension strokes enables the system to minimize tlre chassis oscillation (see
Figs. 5.11-5.13) which results in improving ride comfort.
Table 5.8 summarizes the RN{S and the increase percentage of the suspen-
sions stroke. The suspensions stroke are bigger for the active suspension to
compensate for the road irregularities as previously explained.
Perforrnance at Tires
The tire deflections for passive (dashed line) and active (solid line) suspensions
are illustrated in Figs. 5.15-5.18.
Etr
r'
,f'
t;
:.
5.6 Sirnulation 193
o.06
*
a l
x
I
&
I
a
AD
-o-02;
x -.1
lJr
lo
Tirrrc [sl
Y
7
E o.04
r
I
. = o.o2
(
I
tt
I
q
E {
F -t'@o'
{
lj! 10
Thrrrc[sl
! o
.I l o
o.02
T rt: ,'.
9 i\ !\ it
E ri \j !,vi
.J
h-o o
n lo
Tirrrc [sl
.i-
5 6o.()6
g
E
a
o-(x
o
.9 o.
2
I
e
a
-o.
5
E -o. o 2 4 6 6 1 0
Ttrrr [sl
Fi e . 5 . L 4 . Suspension strokes z".f . zuy.t zsTr - zuf I, Zt.- - zttr-r and Zs.I - Zu.t
A comparison between passive and active suspensions for the tires deflec-
tion is given in Table 5.9. The active suspension reduces the tire deflection
which improves system's security and road handling.
L94 5 Sensor Fault-tolerant Control Method for Active Suspension System
F x 1o-3
;
.x
Y'
sJ
6
-
E
4 6 a 1 0 1 2 1 4 1
Tirne [sl
ir o.o1
x
: o.
.fl
€
4 6 a 10 12 L4
Thrrre [sl
x 103
=-
.'i
q)
€
9r
6
L
u
4 6 8
Tirne [s]
x I
r l
-ffi
|tfuudhUil
r'mr",f,r,u
- t . , l t l
x
;l
E *$Jtllr,rufi,,ildhJH, "tFultls"Tq'rl|Tnrq'r"ff1lErF
rrt|"Yr.
I
q)
Truqff'Hluq?|llwlwrl
fTlnTfT||l\ll' T
u -o.o1; l i l l l t l r l
4 6 a to l4
Ttrrre [s]
tire deflection -
Fig. 5 . 1 - 8 . R e a r left zu.I zr-t
F
si
{:
$.1
$i:i
5.6 Simulation 195
Figures 5.19 * 5.22 illustrate the actuation forces tracking. Sirnulation shows
that the desired forces (dashed line) deterrnined by the'chassis control module
CCho""i" are generated (solid line) by the actuators.
7.
*$
v(
A
I
on
T
lJi
-too0
z 4 6 a 12 14 16
',#o,
Fig. 5.19. Front right desired (- -) and generated (-) forces fi.
z
*S
t
.tt
T
Er
4 6 a r o t z t 4 t6
Tlrrres [s]
*.
196 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
Z L
\'
p
T
6
L
:\
At
2 4 6 8 , , # o r ' z 1 4 l6 18
Fig. 5.21-. Rear right desired (- -) and generated (-) forces 1f",
; ] l
X
x
.Il
;
t\
.V
6 4 1 0 1 2 t 1 l6
Tinre [s]
F.ig. 5.22. Rear Ieft desired (- -) and generated (-) forces /,l
Table 5.10 summarizes the RMS of force trackins errors and the error
percentage with respect to the desired forces.
Figures 5.23 * 5.26 show the spooi valve position zu, tracking for the active
suspension. The desired positions (dashed line) deterrnined by the control
module C$ are generated (solid line) by the actuators.
ffi
# ,i.. 5.6 Simulation 197
;i lx
lo3
--' hsirecf lreiticr
0 - Adual pciticrr
I
5
.x
xx
a
1S
t
16-
t;! 2 4 6 a to t2 t4 16 18
Ttrrn [s]
F . 5.2 Front right desired (- -) and generated (-) spool valve position Z,
f.
x 1O3
_.\
--. ftsirecl pciticr
N-
- Arfrat paitian
9
g
- 7
x
x
a
:l
lEr
4 6 a a4 t6 1a
TfnE tsl
x 1o3
I
v
7
x
x
0
1S
t\
p
) 4 6 8 lo 12 1 1 1 6 l a m
Tfrrre [s]
Fig. 5 . 2 5 . Rear right desired (- -) and generated (-) spool valve position zr..
g. lO3
5 "x
--' Desiredpmiticr
N
- &tEt pciticr
t
x
x
q
:1
:t
J
a ro t4 t6 1a
Ttrre [s]
Fig. 5.26. Rear left desired (- -)) and generated (-) spool valve position zr.,
!
i
i
i , .
!.a:
b&
198 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
Table 5.11 summarizes the tracking error of spool valve positions and the
error percentage with respect to desired positions. The tracking errors are
negligible.
w
";.,- 5.6 Sirnulation 199
+.
t6 t I
-o.o1
I ll
-o.92 - t
lJr -o.
o 8 1 0 t 2 1 4
Tirre [s]
Sei
I
F
I
F&
1() t2 L4
Tirrc [s]
i
II
I
I
II
tI
I
t
k
2OO 5 Sensor Fault-tolerant Control Method for Active Suspension System
L
o.o1 ' t It
I
IF hl*l,,lnld{ilf.Mfnd!iu,,ft*luJd;,r#*,uiri,*r,mMlilir-r*l-utlr,l'rurtl,ln'tr[ilir*uurt,l*li,li,i*r/rj
Eb TI''IWrT
flrrilrilniTniq't|Tllfl
f1lrT\ilrTq4rqqrFT]TrryIflT'lrqqir"$ilT \nuprym'
4.O1 I
t\
p
a.-;
f 6 8 l o t z t 4
Tfrre [s]
I i -
x
F
:l
t\
.Y I
4'ot 6 8 1 ( ) 1 2 1 1 20
Tlrrn [s]
It should be noted that some active suspension test rigs can generate an
actuation force of 9800 Af [5]. Moreover, the servo valves have a time constant
T : 0.003 s. Thus, the forces obtained (Figs. 5.19-5.22) and spool valve
positions (Figs. 5.23-5.26) using the SMC are made possible to be generated
with the existing actuators. The control inputs z6r illustrated in Figs. 5.27-5.3O
are given by uo : .Ko'io. y'{,eis the servo valve gain constant and z6ris the input
current. Being electrical inputs, uo carr be generated (8 e {fr, fl, rr, rI}).
The controller was tested when the systern and the model were mismatchec.
For this purpose, some model parameters were changed whereas the controller
parameters were kept fixed. Table 5.12 summarizes the parameters mismatch
values. The sprung mass is increased by 200 kg and the springs and tires
stiffness and the suspensions damping are decreased by sorne percentage to
illustrate an effectiveness loss or model uncertainties.
Simulation with model mismatch showed that the controller is still able to
give good performance. This fact reflects the robustness of the controller which
is the principal advantage of the sliding mode techniques. Tables 5.13 - 5.15
show the RMS of chassis states, suspensions stroke, and tires deflection for
the passive and active suspensi.on with and without model uncertainties. The
percentage indicates the increase or the decrease of corresponding variables
with respect to those of the passive suspension.
F'
ii::
:.
Remark 5.1. In Tables 5.13 - 5.15 the performance of the control law applied
to an uncertain rnodel rnav appear better than those applied to a rnodel
I
It .,,:,
r:1.
2O2 5 Sensor Fault-tolerant Control Method for Active Suspension System
without uncertainties. Indeed, this is not true since some uncertainties (as for
exarnple the increase in the sprung mass) may minimize the effect of the road
perturbation on the chassis.
Table 5.L7. Spool valve position tracking error with rnodel uncertainties
Withoutuncertainties Withuncertainties
Variable Error Percentage Error Percentage
The test of the controller in the presence of model mismatch showed that
the controller is robust against uncertainties. Thus, it would give satisfactory
results when applied to real systems.
The considered fault is the breakdown of the sensor measuring the pitch an-
gular velocity d. tfris sensor is assumed to have broken down at time t :5 s.
Figures 5.31 and 5.32 show, respectively, the pitch angle and the pitch angular
velocity: the solid lines represent the true variables whereas the dashed lines
represent the erroneous measurements. At tirne t : 5 s, the pitch angular
velocity measured by the sensor becornes zero (Fig. 5.32) and the pitch angle
obtained by the integration of the measurernent becomes constant (Fig. 5.31).
z o.(X)5
lp o
Q
-o.
-o.o1;
a r o 1 2 t 4 1 6 18
Tirrrc [sl
Fig. 5.31. True (-) and erroneous (..) rneasurement of pitch angle d
;
T
=
v
tp
ta
6 a L2 14 16 la 20
ri# I"t
z
fr -....-.. Active susrerrsion with fault
q)
tp
Q
4 6 8 1 O 1 2 1 4 1
Tirrn [sl
In the presence of the FDI rnodule, the fault is detected and isolated as it
has its own pattern. Figure 5.34 shows the effect of the fault on the residuals.
The global FDI module compares the pattern obtained (-81, Rz, Rs, P,a):
(1, 1, 1, 1) to the a priori known inference rnatrix (Table 5.2), thus locating
204 5 Sensor Fault-tolerant Control Method for Active Suspension System
the fault in SS.no"";r. The local FDI module of SS.ho",.i..,(Table 5-4) examines
the residuals (,R5, .Rro): (1, 0) and isolates the faulty sensor.
_]llll
-illllffi
I-E]
-oa;
10 15 5 1 0
Tirre [s] Tirrrc [s]
The residuals return to zero in Fig. 5.34 because the system is oscillating.
lfhis makes the value of the true oscillating variable equal or ciose to its faulty
value during a time interval.
5.6.6 Fault-tolerance
After being detected and isolated, the FTC system module checks for the sys-
tem observability and the ability to estimate the faulty measurement. In the
case of the fault of this sensor, the observability is held and the estimation
of the faulty measurements is possible (Table 5.5).The fault is then accom-
modated by injecting its estimation in the controller to replace the faulty
measurement. The observer used to estirnate the erroneous variables is pre-
sented in the sequel.
ftro.- cos(i1e){ak,r.!t!ok"^rlTs-bk"--rs-bk,.tr73_
la(k,r.*k"tt)-b(k"_.+
k " . , ) ) . r - r " r - l o " ( k " r , * k " r t ) + b l 1 k " . . * k , . . , ) ]s i n ( f 1 e ) - f d , ( a k " r i - o t t " . ) - 4 i n , ' r ' - -
bk"..-))sin(r2r) *ac'r.rz*.ac"r,!6-bc"-.rro-bc"-,r1a-lo(""r.*crr,)_'b(.""..*
c"..,)lirc- lo'(""r..1 +'b2(c"--* c'-,)lcos(irg)ft"o- (a1"."ri'- u"".,i -
"?r,)
c(ac"r.-bc"..)] cos(r21)rzz+Sia(r3y*r)-b(rg-Frl15)]\/ior+),zosi,gn(r"rr_
f ra).
1,"_- *; ^r c -
r19
- & 1 8 -
{B
: -2 .8 rtrs J- 2 0.8r tr c * 0.6267120- ) r asi.gn( fr 6) ,
: rtzo - ),psi,gn(i;3),
ttg
r20 -_ . t . L 2 0 - - 765.2o37ir c - 4.7583i2s - ) 2ssi
ftzo : O.4 3 5 2 fr1 3 9n( r t1' 3) .
I f t h e g a i n .\1 s i s ch o se n su ch that l2O.8r r c +O.6267i2sl ( ) 1s:
d_, -
2 1 6 l - 2 . 8 r ; 3 + 2 o . 8 r r g * O . 6 2 G T i z o- ) r s s i g n ( r t ; 3 ) 1 . (5.51)
dti'ru
Then,
I irs:0
fir8:0 = + 2 0 . 8r t r c * O . 6 2 6 7 r n - , \ 1 s s g : 0
i n(n') , (5.52)
I + si .g n (frrc) : fr { zO.Sr ttg i 0.6267120)
and
l f r r n : rtzo - ),psi,gn(r6)
- 1 6 5 .2 0 3 7r t s - 4.7583r t2o- ) 2g si,gn( i (5.53)
ti,o: B)
&.
Y'
206 5 Sensor Fault-tolerant
equations
Systern
are obtained:
I$
f itn : rtzo- 20.8Prrg - 0-6267Pr2g (5.54)
$
-1 6 5 .2 O3 7 rrc - 4 .758312o- 2o.8qfir c - o.6267qr t2o'
l iro :
or in matrix form:
-l
-2o-8p r - o.6267p [;rnl
[f'"1 : [ - - 4 . 7 5 8 3- o . 6 2 6 7 q )L , 2 o ) (5.55)
lrro) L-165.2037 20.8q
The convergence of estimation errors f 1e and rt2s depends on the values
of p and q where p: and q: These constants can be determined by
* *.
pole placement such thal matrix is H-urwitz. Figure 5.35 shows the estimation
of the pitch angle d and the pitch angular velocity 9. The angular velocity is
estimated despite the measurement noise.
{
;'8
F
J
oo
I
Fault Cornpensation
6
.Eh
:l'
5.7 Conclusion
This chapter presents an Sl\{C approach for the active suspension taking into
consideration the nonlinear full vehicle model and the dynamics of the four
actuators. In addition to the control, an FDI module is designed to diagnose
sensor faults. The system is physically broken down into subsysterns whereas
the controi and the diagnosis structures are functionally broken down into
hierarchical modules.
In order to accommodate for faults, an FTC system is designed to replace
the corrupted measurement by its estimate. The idea of replacing the faulty
measurement by its estimate is quite classical. Flowever, the main idea of this
chapter is in the design and the integration of the controller, the diagnosis,
and the fault-tolerant modules.
Experimental application of the proposed strategy could not be made be-
cause of the absence of a test rig. However) the rnodel of the force actuator is
being validated by other researchers [2,51].
Many of the research studies on active suspension do not take into con-
sideration the force actuators. These works suppose that the control input
desired by the controlier is the control input to the system without investi-
gating if the desired control input can be generated by the actuators or not.
This assumption is not always true. Simulation shows that actuators are not
always able to generate the desired forces. This usually happens for sudden or
high frequency road perturbations, or for actuators saturation. The actuators
consist of mechanical parts with certain response time which bounds their
capacity. This point will be studied to determine, for given specifications, the
operating range of the actuators.
The FDI strategy is able to detect and isolate abrupt sensor faults such as
gains, bias, breakdown, or freeze- Ffowever, the isolation of sensor faults is not
always precise. This possibility depends on several factors: the amplitude of
the fault, the gains of the observers, the chosen thresholds, and the amplitude
of the road perturbation exciting the system.
The gains of the observers should be chosen to allow fast convergence.
lfowever, a high gain may make the estimation, used in the generation of
the residuals, insensitive to the fault and consequently the FDI rnisses its
occurrence.
As previously defined, the residual is the cornparison between the mea-
sured and the estirnated variable. Ideally the residual equals zero when there
208 5 Sensor Fault-tolerant Control Method for Active Suspension Systern
is no fault and the deviation of the residual from its nominal value indi-
cates the presence of a fault. Flowever, due to rneasurernent noise and model
uncertainties, the residual does not equal zero in fault-free mode. Thus ade-
quate thresholds should be defined to prevent fault alarms of the presence of
a fault and at the same time to prevent the FDI rnissing the occurrence of
faults. Many researchers treated the problem of designing robust and dynamic
thresholds for the purpose of FDI for uncertain systems 175].
The decision about the sensor fault location depends on its signature.
However, a sufficient time interval should be allowed afber the detection of
the fault to permit a correct isolation.
6
Conclusion
The theory of FDI and FTC has been developed for years. The objective
of
this book was to present FDI/FTC techniques applied to real laborafory-scale
systems or in simulation to a realistic model of an industrial system.
Many research studies have been developed in the literature. Oniy some of
them are applied to real systems and many others consider theoretical devel-
opment in Iinear and nonlinear cases. Moreover, many of these methods do not
take into account the fault diagnostic module and consider that the fault has
already been detected and isolated properly. However, it goes without sayirrg
that the performance of any FTC method is tightly linked to the information
issued from the FDI module.
The methods presented in this book are intended as a contribution to the
application of FDI/F:|C methods to reai systems. One of the advantages of
these approaches is that they consider the whole steps of an FTC method. A
guideline is given to develop a compiete method emphasizing the importance
of the selection of an operating point and including modeling, identificatiorr,
nominal tracking control, fault diagnosis and the FTC design.
Chapter 2 presented a theoretical development of an FDI/FTC approach
in the linear case and then in the nonlinear case. Through many years of
teaching and developing research activities, it was noticed that the notion of
the operating point is still ambiguous and not easily understood. One objective
of this book was to clarify this issue which is very important in the design of
a nominal control when the system has to be linearized around u,.r op"ru.ti.rg
point. The modeling of sensor and actuator faults has been recalled and
the
analysis of their effect on the system has been detailed. Then, the nominal
tracking control method is reexamined. The performance of the FTC method
presented later in the chapter has to be as close as possible to the performance
of the nominal tracking control. The FDI is a rnajor issue in FTC design. That
is why attention has been paid to the presentation of an FDI module which
is integrated to the whole strategy. Once the fault is detected and isolated,
two different approaches are presented to estirnate the fault magnitude. This
estimation is then used to compensate for the fault effect.
zLO 6 Conclusion
!(
0
4 A v
i; lVH I
6R'
q
&
-
H
o H
l d i
?
V
fi
33
FI
F
Y'?
k
(t it
.H
C{
.I
q x
fi F E
I
:!
6, t x
'tI( '&.
i'ii i&
@*R
Rernark 4.1.h should be noted that, in this simulation, actuators are as-
sumed to be scalar gains. In addition, no sensor noise is used. These two
points can be easily considered in simulation for more consistency.
The animation window shown in Fig. A.6 aliows one to visualize the measure-
ments issued from the modeling part. As stated before, this window shows up
automatically when simulation starts, but it can also be forced to show up by
clicking the middle block of the main page (Fig. A.1).
This window shows the three interconnected tanks, the two purnps, and
two red rings representing the reference levels (set-points). During the sim-
ulation, users can note how water levels follow the references and how the
different water flow rates vary with tirne. This animation is not only useful
in displaying the measurements, but also in examining what is going on in
the real system when faults occur. In the case of a sensor fault (a bias for
example), the sensor tells that the reference is followed while this is not the
case in reality. This can be easily seen on the anirnation.
A.4 Various Files 2L7
f:rfigrY6lgp'1,6i56
of the IEEE Conference orl Decisi,on and Control, pages 423-428, Cancun,
Mexico, 2008.
13. H. Benitez-Perez and F. Garcia-Nocetti. Reconfigurable di,stributed control.
London, UK: Springer, 2005.
r 4 . lvI. Blanke, M. I(innaert, J. L:unze, and lvI. Staroswiecki. D'iagnos'is and fault-
tolerant control. Berlin, Gerrnany: Springer, second edition, 2006.
1 5 . M. Borner, H. Straky, T- Weispfenning. and R. Iserrnann. lvlodel based fault
detection of vehicle suspension and hydraulic brake systerns. Mechatron'ics,
1 2 ( B ) : 9 9 9- 1 0 1 0 . 2 O O 2 .
16. P. Borodani, L. Gortan, R. Librino, and VI. Osella. Minimum risk evaluation
rnethodology for fauit tolerant automotive control systerns. In Proceed'ings
of the InternatdonaL ConfererLce on AppLications of Aduanced TechnoLogzes zn
Transportat'ion Engi,neering, pages 552 557, Capri, Italy, 1995.
1 7 . F. Caccavale and L. Villani. FauLt d,'iagnos'is and fault tolerance for mechatron'ic
systerns: Recent aduances, volurne L of Spri,nger tracts i.n aduanced robot'ics.
Berlin, Gerrnany: Springer, 2003.
1 8 . A. Chamseddine, H. Noura, and M. Ouiadsine. Design of rninimai and tolerant
sensor networks for observability of vehicle active suspension. To appear in
IEEE Transact'iorls orl ControL Systerns Tech,nology, 2OO9.
1 9 . A. Chamseddine, H. Noura, and T. Raharijaona. Optimal sensor network
design for observability of active suspension. Internati.onal ModeLtng and Si,rn-
ulat'ion Multiconfererlcej February 2OO7. Buenos Aires, Argentina.
2 0 . A. Charnseddine, H. Noura, and T. Raharijaona. Optirnal sensor network de-
sign for observability of cornplex systerns- Irr Proceedings of the IEEE Arterican
Control Conference, pages I7O5-I7IO, New York City, USA, JuIy 2007.
2 r . S. Chantranuwathana and H. Peng. Adaptive robust force control for vehi-
cle active suspensions. InternationaL Journal of Adapt'iue Control and S'ignal
Process'ing, lB(2):83-102, 2OO4.
2 2 . J. Chen and R.J. Patton. Robust m.odel-based fault d'iagnoszs for dynarni.c
systerrts. Kluwer acadernic publishers, 1999.
23. P.C. Chen and A.C. Huang. Adaptive sliding control of non-autonornous ac-
tive suspension systems with tirne-warying loadings. Journal of Sound and
V'ibrati.on, 282(3-5):1 1 19-1 135, 2005.
2 4 . L. Chiang, E. RusseII, and R. Braatz. Fault detecti,on and di,agnos'is 'in i.ndustrial
systerns. New-York, USA: Springer-Verlag, 2OO1.
2 5 . T.-H. Chien, J. S.-H. Tsai, S.-M. Guo, and J.-S. Li. Low-order self-tuner for
fault-tolerant control of a class of unknown nonlinear stochastic sarnpled-data
systerns. Appli.ed Mathernati,cal Modell'ing, 33(2) :706-723, 2OOB.
2 6 . K.C. Chiou and S.J. Huang. An adaptive fuzzy controller for \/2 vehicle active
suspension systerns. In IEEE Internat'ional Confer-erlce on Systerns, Man and
Cgberneti,cs, volurrre 2, pages 101O-1015, Taipei, Taiwan, 2006.
2 7 . F.J. D'Arnato and D.E. Viassolo. Fuzzy control for active suspensions. Mecha-
tron'ics, 10(B) :897-920, 2000.
2 8 . M. Darouach, N.{. Zasadzinski, and M. Hayar. Reduced-order observer design
for descriptor systerns with unknown inputs. IEEE Transact'iorls orl Autom'ati'c
Control, 47(7): 1O68-1O72, 7996.
29. J. D'Azzo and C.H. Houpis. L'inear control sgstern analys'is and desigrl, corl-
uent.iona,l and rnodern. McGraw-Hill Series in Electrical and Cornputer Engi-
neering, 1995.
References 22I
30' P. Van den Hof. Closed-Ioop issues in system identification. Annual Reu,ieus
i.n Control, 22:773-L86, 1996.
31' S'X' Ding- Model-based fault diagnosi,s techniques - d,esign schern,es,
algoTithms
and tools. Springer, 2008.
32- H. Du, J- Larn, and K.y- Sze- Non-fragile output feedback H- vehicre sus-
pension control using genetic algorithrn -, Engineeri.ng Applications
of Arti,fi,ci,al
Intel li,gence, 16 (T):667-68O, 2003.
33' H' Du and N. ZLlang. Hoo control of active vehicle suspensions with
actuator
tirne delay. Journal of sound and vi,bration,3ol(r):236-2s2, 2oo7.
34' D. Fischer, M. Borner, J. Schrnitt, and R. Iserrnann. Fault detection fbr
Iateral
and vertical vehicle dynamics. Control Eng,ineeri,ng Practi,ce, I1(Z):JIE-324,
2007.
35' D' Fischer and R- fsermann. Mechatronic semi-active and active vehicle sus-
pensions. control Engineering practi,ce, r2(r1):1353-1 g6T, 2oo4.
36' D' Fischer and R- Isermann. Model based process fault detection for a vehicle
suspension actuator. In 7th Internat'ional Sgrnposi,urrl orl Ad,uanced, Veh,icle
Control, pages 573-5T8, Barcelona, Spain, August 2OO4.
37- €. Fischer, E. Kaus, and R. Isermann. Fault detection for an active vehicle
sus-
petrsion- In Proceedi'ngs of the IEEE Arnerican Control Conference, volurne
5,
pages 4377-4382, Denver, Colorado, USA, June 2OO3.
38' D. Fischer, E. Kaus, and R. fsermann. Model based sensor fault detection
for an active vehicle suspension. In sth IFAC Syrnpos,iurn on Fault Detection,
Superui'sion and Safety of Technical Proce.sses, Washington DC, USA, June
2003.
39. D. Fischer, H.P. Schciner, and R. Isermann. Model based fault detection for
an
active vehicie suspension. In World Autornoti,ue Congre.ss, Barcelona, Spain,
May 2004.
40- D. Fischer, M. zirnrner, and R. Isermann. Identification and fault detection
of
an active vehicle suspension. rn lsth IFAC syrnposi.urrl orL Systern ldenti,fica-
tzon, Rotterdarn, Netherland, August 2003.
4 L . A'J. Fossard and D. Normand Cyrot. Nonli.near sgsterrzs, volume I of Mod,eli,ng
and esti,rnat,ion. Chapman & HalI, London, New york, lggb.
A.)
A'L' Fradkov, I.V. Miroshnik, and V.O. Nikiforov. Nonli.near and, ad,apti,ue
control of conrpler sgstems. Kluwer Acadernic publishers, 1999.
43. P.M. Frank. Fault diagnosis in dynamic systerns using analytical and knowledge
based redundancy - a survey of some new results. Autornat,ica,26(3) :4Eg*474,
1990.
4 4 . P.M. Frank, S.X. Ding, and B. Kppen-Seliger. Current developments in the
theory of FDI. In lth IFAC Syrnposiurrl orl Fault Detection, Siperu,is,ion and,
safety of rechni'cal Processes, pages 16*27, Budapest, Frungary, zooo.
4 5 . G.F. Franklin, J.D. Powell, and M.L. workrnan. Di,gi,tat Control of Dgnam1c
Systerns. Addison-Wesley Ed., second edition, 1990.
46. R'A. Freeman and P.V. I(okotowic. Robust nonlinear control d,esi,gn:State-space
and Lyapurlou techni,ques. Birkhd.user Boston, 20Og.
4 7 . Z. Gao and P.J. Antsaklis. Stability of the pseudo-inverse rnethod for reconfig-
urable control systerns. Internatdonal Journal of Control,53(3):TI7-72g,1gg1.
48. Z- Gao and P.J. Antsaklis. Reconfigurable control systern design via perfect
model following. rnternatdonal Journal of control, s6(4):TB3-zgB, rgg2.
"T
fi
;
222 References
49. E. Alcorta Garcia and P.M. Frank. Deterrninistic nonlinear observer based
approaches to fauit diagnosis: a survey. Control Engineering Practice, 5(5):663-
670, 1997.
50. E. Alcorta Garcia and P.M. Frank. Fault detection and isolation in nonlin-
ear systerns. Irt Proceed'ings of the European Control Conference, Karlsruhe,
Germany, 1999. CD-Rorn.
51. P. Gasp6r, I. Sziiszi, and J. Bokor. \4ixed Hr/H* control design for active
suspension structures. Peri,odi,ca PoLgtechn'ica - Transportat'ion Eng'ineering,
28(1-2):3-16, 2000.
52. O. Gasparyan. L'inear and nonlznear rnultiuari,able feedback control: A classicaL
approach. Wiley, 2008.
53. J.J. Gertler. Fault detection and diagnosis in engineering systerns. Marcel
Dekker, Inc. New York Basel Hong Kong, 1998.
54. G.H.'Golub and C.F. Van Loan. Matrir cornputations. The Johns Hopkins
University Press, second edition, 1989.
55. G.C. Goodwin and K.S. Srn. Adapti,ue fi.lterzng predi.cti.on and control. Prentice-
Hall information & systern sciences series, 1984.
- 5 6 . R. Giiqlii. Active control of seat vibrations of a vehicle rnodel using various
suspension alternatiwes. Turki,sh Journal of Engineering and Enuzronnlental
Sc'iences, 27 :36L-373, 2003.
5 7 . R. Giiqlii and K. Gulez. Neural network control of seat wibrations of a non-
Iinear fuII vehicle rnodel using PN{SNI. Mathem.ati,cal and Cornputer Modelli,ng,
47 (I1-I2): 1356-1371, 2008.
5 8 . W.M. Haddad and V. Chellaboina. Nonli,near dynarn'ical systerns and control:
A Lgapunou-based approach. Princeton University Press, 2008.
5 9 . C. Hajiyev and F. Caliskan. Fault di,agnosis and reconfiguration i,n fi'ght control
systerns. London, UI(: Kluwer Academic Publishers, 2003-
6 0 . H. Harnrnouri, P. Kabore, and lyl. I(innaert. A geornetric approach to fault
detection and isolation for bilinear systerns. IEEE Transact'iorls orl Autorrt'ati'c
Control, 46(9) :7457-1455, 2001.
6 1 . T.J. Harris, C. Seppala, and L.D. Desborough. A review of performance mon-
itoring and assessrnent techniques for univariate and rnultivariate control sys-
tems. Journal Process of Control, 9(1)'.L-77, 1999.
6 2 . B. Heirning and J. Lunze. Definition of the three-tank benchmark problern for
controller reconfiguration. kt Proceedi,ngs of the European Control Conference,
Karlsruhe, Gerrnany, 1999. CD-Rorn.
6 3 . D. Henry and A. Zolghadri. Norm-based design of robust FDI schernes for un-
certain systems under feedback control: Comparison of two approaches. ControL
Engineering Practi. ce, L4(9) : 108 1-1 097, 2006.
64. D. Henry, A. Zolghadri, M. Monsion, and S. Ygorra. Off-line robust fault diag-
nosis using the generalized structured singular value. Autornati,ca, 38(8):1347-
1358, 2002.
65. D. Hinrichsen and D. Prd.tzel-Wolters. A canonical form for stat'ic Linear out-
put feed,back. Lecture Notes in Control and Inforrnation Sciences. Springer
Berlin/Heideiberg, 1984.
66. M. Hou and P.C. Muller. Disturbance decoupled observer design: a unified
viewpoint. IEEE TransactiorLs or?;Autornatic Control, 39(6):1338-134!, 1994.
67. S. Ikenaga, F.L. Lewis, J. Carnpos, and L. Davis. Active suspension control
of ground wehicle based on a full-wehicle rnodel. In Proceedi,ngs of the IEEE
Arnerican Control Conferenc€,Tages 401,9-4024, Chicago, Illinois, IJSA, 2000'
References 228
68. H. Irnine, N.K. M'Sirdi, and Y. Delanne. Adaptive observers and estirnation of
the road profiIe. SAE Transact'iorls - Journal of Passenger Cars - Mechan,ical
Systems, 112(6) :1312-1317, 2OO3.
69- R. Iserrnann. Fault-Diagnos'is Sgstem.s: an ,introduct,ion frorn fautt d,etecti,on to
fault tolerance. Springer, 2OOO.
70. R. Iserrnann and P. Ball6. Trends in the application of model-based fault
detection and diagnosis of technical processes. In 13th IFAC Wortd. Congress,
pages 1-I2, San Francisco, USA. 1996.
7I- R- Isermann and P. BaIl6. Trends in the application of model-based fault
detection and diagnosis of technical processes. Control Eng,ineering Pract,ice,
5(5):7O9-779. 1997.
72- R. Iserrnann, D. Fischer, iVI. Borner, and J. Schrnitt. Fault detection for lat-
eral and vertical vehicle dynarnics. In Srd IFAC Sgrnposi.urrl orl Mechatron,ic
'
Systerns, Sidney, Australia, September 2OO4.
73- A. Isidori. Nonlinear controL systerns. Springer-Verlag, third edition, 1gg5.
74- B.P. Jeppesen and D. Cebon. Analytical redundancy techniques for fault de-
tection in an active heavy vehicie suspension. Veh.icle Sgstern Dynarnics, 42(I-
2):75-88.2OO4.
75. A. Johansson and M. Bask. Dynarnic threshold generators for fault detection
in uncertain systems. In 16th IFAC Wortd Congress, Prague, Czech Republic,
July 2005.
76. C. Join, J.-C. Ponsart, D. Sauter, and D. Theilliol. Nonlinear fiIter design
for fault diagnosis: application to the three-tank systern. IEE Proceed,,ings -
ControL Theory and Appl,icat,ions, 152(1):Sb*64, 2005.
77. K. Kashi, D. Nissing, D. Kesselgruber, and D. Soffker. Fault diagnosis of an
active suspension control systern. In 6th IFAC Syrnposi,urrl orL Fault Detect,ion,
Superu'is'ion and Safety of Techn'ical Processes, pages 535-540, Beijing, P.R.
China, 2006.
78. T. Kaylath. Linear systerns. Prentice-Hall, 1980.
79. J.Y. KeIIer. Fault isolation fiIter design for linear stochastic systerns. Auto-
rnat'ica,35( 10):170I-1706, 1999.
80. M. Kinnaert. Robust fault detection based on observers for bilinear systems.
Autornatica, 35(1 1 ) : 1829-1842, 1999.
81. M. Kinnaert. Fault diagnosis based on analytical rnodels for linear and nonlin-
ear systerns: a tutorial. In 5th IFAC Sgrnpos'ium. on Fault Detection, Superu,is,ion
and SafetA for Techni,cal Processes, pages 37-50, Washington DC, USA, 2OO3.
82. D. Koenig, S. Nowakowski, and T. Cecchin. An original approach for actuator
and cornponent fault detection and isolation. In Srd IFAC Sgmposdurn on Fault
Detecti'on Superu'is'ion and Safety for Technical Processes) pages 95-105, Hull,
uK, 1997.
83. J.M. Koscielny. Application of fuzzy logic for fault isolation in a three-tank
systern. In llth IFAC World Cortgress, pages 73-78, Beijing, R.P. China, 1999.
84- I. E. Kose and F. Jabbari. Scheduled controllers for linear systems with
bounded actuators. Autom.atica, 39(B):1377-I3BT, 2OO3.
85. C. Lauwerys, J. Swevers, and P. Sas. Robust linear control of an active sus-
pension on a quarter car test-rig. Control Eng'ineeri,ng Practice, L3(5):577-586,
2005.
86. S. Leonhardt and M. Ayoubi. Methods of fault diagnosis. Control Eng'ineering
and Practi.ce, 5(5):683-69). 1997.
?t
_ti
224 References
87. L. Li and D. Zhou. Fast and robust fault diagnosis for a class of nonlin-
ear systems: detectability analysis. Cornputers and Chern'ical Eng'ineering,
28(72) :2635-2646, 2OO4.
BB. B. Litkouhi and N.M. Boustany. On-board sensor failure detection of an ac-
tive suspension systern using the generalized likeiihood ratio approach. In
Proceedi.ngs of the IEEE Conference orl Decision and ControL Includi,ng Th.e
Sgm,posiurn orL Adaptiue Processes, pages 2358*2363, Austin TX, USA, 1988.
89. Z. L|u, C. Luo, ancl D. Hu. Active suspension control design using a cornbina-
tion of LQR and backstepping. In Chinese Control Conference. pages 123-125,
Harbin, China, 2006.
90. L. Ljung. Sgstern i,denti,fication: Theory for the user'. Prentice-Hall Inc, Engle-
wood Cliffs. NJ, 1987.
91. C.J. Lopez and R.J. Patton. Takagi-sugeno fuzzy fault-tolerant control for a
non-linear system. In Proceedings of the IEEE Conference orl Deciszon and
ControL, pages 4368-4373, Phoenix, Arizona, USA, 1999.
92. M. Mahrnoud, J. Jiang, and Y. Zhang. Acti.ue fault toLerant control sgsterns:
Stochasti.c analgsi.s and synthesi.s (Lecture notes in controL and i.nforrnati.on
sc'iences). Berlin, Gerrnany: Springer, 2OO3.
93. T. Marcu, M.H. Matcovschi, and P.M. Frank. Neural observer-based approach
to fault-tolerant control of a three-tank systern. In Proceedi,ngs of the European
Control Conference, I{arlsruhe, Gerrnany, 1999. CD-Rorn.
94. S. Marzbanrad, G. Ahrnadi, H. ZoLtoor, and Y. Hojjat. Stochastic optimal
preview control of a vehicle suspenstort. Journal of Sound and Vibration, 275(3-
5):973-990. 2OO4.
95. L.F. Ivlendonca. J. Sousa. and J.M.G. Sa da Costa. Fault accomrnodation of
an experirnental three-tank systern using fuzzy predictive control. In IEEE In-
ternational Confererlce orl Fuzzy Systems, pages 76L9-7625, Hong l(ong, 2008.
96. P. 1\{etallidis, G. Verros, S. Natsiavas, and C. Papadirnitriou. Fault detection
and optimal sensor location in vehicle suspensions. Journal of Vibration and
ControL, 9(3-4) :337-359, 2003.
97. tr.A. Misawa and J.K. Hedrick. Nonlinear obserwer a state of the art: sur-
vey. JournaL of Dgnarn'ic Sgsterns, Measurernent, and Control Transact'ions
111(3):344-352, 1989.
98. H. Nijrneier and A.J. Van der Schaft. NonLinear dyno.rn'ical control systerns.
Springer, third edition, 1996.
99. H. Noura, D. Sauter, F. Harnelin, and D. Theilliol. Fault-tolerant control in
dynamic systems: application to a winding mahine. IEEE Control Systerns
Magazinq 20( 1) :33-49, 20OO.
10O. J. Park, G.P.izzoni, and W.B. Ribbens. On the representation of sensor faults
in fault detection fiIters. Autornati,ca, 3O(11):1793-7795, 1994.
101. C. De Persis and A. Isidori. A geornetric approach to nonlinear fault detection.
IEEE Transact'iorls orl Autornati,c Control, 46(6):853-865, 2OO1.
IO2. J.-C. Ponsart, D. Sauter, and D. Theilliot. Control and fault diagnosis of a
winding rnachine based on a ltv rnodel. kt Proceedi.ngs of the IEEE Conference
on Control Applicat'ion, Toronto, Canada, 2005. CD-Rorn.
103. J.-C. Ponsart. D. Theilliol. and H. Noura. Fault-tolerant control of a nonlinear
systern. application to a three-tank systern. In Proceed'ings of the European
Control Conference, I{arlsmhe, Gerrnany, 1999. CD-Rorn.
References 225
LO4- C. Rago, R- Prasanth, R.K. Mehra, and R. Fortenbaugh. Failure detection and
identification and fault tolerant control using the IMIV{F-KF with applications
to eagle-eye UAV. Irt Proceed'ings of the IEEE Conference orl Dec,is,ion and,
Control, pages 4208-4218, Tarnpa, Florida, USA, 1998.
1O5. J. Juan R.incon-Pasaye, R. Martinez-Guerra, and A. Soria Lopez. Fault diagno-
sis in nonlinear systems: an application to a three-tank system. In proceeitng"
of the IEEE Arnerican Control Conference, pages 2136*2L41. Washington DC,
USA, 2OOB.
106. M. Rodrigues, D. Theilliol, M.A. Medina, and D. Sauter. A fault detection and
isolation scherne for industrial systerns based on multiple operating models.
Control Eng,ineeri,ng Practi,ce, L6(2) :22b-239, 2008.
IO7. M.H. Sadeghi and S.D. Fassois. On-board fault identification in an autornobile
fully-active suspension systern. In Aduances 'in autorn,oti,ue control: a postpri,nt
uolunte frorn the IFAC Workshop, pages I3g-I44, Ascona, Switzerland, 1995.
108. M.A. Sainz, J. Arrnengol, and J. Vehi. Fault detection and isolation of the
three-tank systern using the modal interval analysis. Journal of Process Con-
trol, I2(2) :325-338, 2OO2.
109. Y. Md. Sam, J-H.S. Osrnan, iVI. Ruddin, and A. Ghani. A class of proportional-
integrai sliding mode control with application to active suspension systern.
Sgsterns and Control Letters, SI(Z-4):2\7-223, 2OO4.
110' Y.M- Sam, M.R.H.A. Ghani, and N. Ahmad. LQR controller for active car sus-
pension. In TENCON Proceed'ings, pages 44I-444, Kuaia Lurnpur, Malaysia,
2000.
111. D. Sauter, H. Jarrrouli, J-Y. KeIIer, and J..C. Ponsart. Actuator fault cornpen-
sation for a winding machine. Control Engi,neeri,ng Practice, 13(10):1307-I3I4,
2005.
112. D.N. Shields and S. Du. An assessrrrent of fault detection methods for a bench_
rnark systern. In lth IFAC Syntposiurrl orl Fault Detect,ion Superui,si,on and,
Safety for Techni,cal Processes, pages gz7-g42, Budapest, Frungary, 2000.
113. E. Silani, D. Fischer, S.M. Savaresi, E. Kaus, R. Iserrnann, and S. Bittant-.
Fault toierant fiItering in active vehicle suspensions. In Wortd, Autornotiue
Congress, Barcelona, Spain, May 2OO4.
lI4. G.K. Singh and K.E. HoI6. Guaranteed perforrrrance in reaching rnode of sliding
mode controlled systems. sadhana, 29(1) :L29-r4L, February 2oo4.
115. E. N. Skoundrianos and S. G. Tzafestas. Fault diagnosis via Iocal neural net-
works. Mathematics and Contputers i,n S'irnulati,on,60(3-5):169-180,2OO2.
116. J.-J. Slotine and W. Li. Appli,ed nonLinear control. Prentice HaII, 1gg1.
LL7. M. Staroswiecki. Fault tolerant control: the pseudo-inverse rnethod revisited.
rn 16th IFAC world congress, Prague, czech Republic, 2005.
118. A. Strfbrskf, K. Hyniov6, J. Honcu, and A. Kruczek. Using frzzy logic to
control active suspension system for one half-car-model. Acta Montanisti,ca
Slouaca, 8(4) :223 -227. 2003.
119. K.J. Astrorn and R.M. Murray. Feed,backsysterns: An i.ntroduction
for sci.enti,sts
and engi,neers. Prirtceton lJniversity Press, 2OOB.
I2O- D- Theiltiol, C. Join, and Y. Zhang. Actuator fault-tolerant control design
based on reconfigurable reference input. lnternati.onal Journal of Applied, Math-
ernat'ics and Cornputer Science - fssues i,n Fault Di,agnosis and, Fault Tolerant
Control, 1B(4) :555-56O, 2OOB.
*
fi..
\
226 References
72L. D. TheiIIioI, H. Noura, and J.-C. Ponsart. Fault diagnosis and accomrnodation
of a three-tank-systern based on analytical redundancy. ISA Transact'ions,
41(3):365-382, 2OO2.
122. D. Theilliol, J.-C. Ponsart, M. Mahfouf, and D. Sauter. Active fault tolerant
control design for an experirnental hot rolling rnill - a case study. In 12th IFAC
SErnposi,urrr orL Autornation 'in M'in'ing, Mi,neraL and Metal Process'ing, pages
113-118, Quebec City, Canada, 2OO7.
723. D. Theilliol, J.-C. Ponsart, M. Rodrigues, S. Aberkane, and J. Yarn6. Design
of sensor fault diagnosis rnethod for nonlinear systerns described by linear
polynornial rnatrices forrnulation: application to a winding machine. In 17th
IFAC World Congress, pages 1890-1895, Seoul, Korea, 2008.
124. D. Theilliol, J.-C. Ponsart, D. Sauter, NI. Mahfouf, and IVI.A. Gama. Design of
a fault diagnosis systern based on a bank of filter-observers with application to
a hot rolling mill. Transacti.ons of the Insti,tute of Measurem,ent and ControL,
2OO9. to appear.
I25. H.L. Trentelrnan, A.A. Stoorvogel, and M. Hautus. Control theory for lznear
systems. Springer, Series: Communications and Control Engineering, 2001.
126. V. Venkatasubrarnanian, R. Rengaswarny, and S.N. Kawuri. A review of pro-
cess fault detection and diagnosis. part ii: Qualitative rnodels-based rnethods.
Cornputers and Chern'icaL Engi,neeri,ng, 27(3):3L3-326, 2003.
127. V. Venkatasubrarnanian, R. Rengaswarrry, S.N. Kawuri, and K. Yin. A review of
process fauit detection and diagnosis. part iii: Process history based rnethods.
Cornputers and Chem,'ical Engi,neering, 27 (3) :327-346, 2OO3.
L28. V. Venkatasubramanian, R. Rengaswarny, K. Yin, and S.N. Kavuri. A re-
view of process fault detection and diagnosis. part i: Quantitative model-based
rnethods. Cornputers and Chernical Eng'ineering, 27(3):293-311, 2OO3.
I29. J. Wang, A.C. ZoIotas, and D.A. Wilson. Active suspensions: a reduced-order
FI- control design study. In Medi,terrarlearl Conference orl Control and Au-
tont,at'ion, pages 1-7, Athens, Greece, 2OO7.
13O. R.L. Williams-Il and D.A. Lawrence. Linear state-space control systerns. John
Wiley & Sons, Inc.,2OO7.
131. E.N. Wu, S. Thavarnani, Y. Ztlang, and M. Blanke. Sensor fault masking of a
ship propuision. ControL Eng'ineering Pract'ice, 14(L1):1337-1345, 2006.
132. H. Xu and P.A. Iaonnou. Adaptive sliding rnode control design for a hypersonic
flight vehicle. CATT technical report No. 02-02-01, 2001.
133. D. Xue, , Y. Chen, and D.P. Atherton. Linear feedback control: Analgs'is and
d,esign ruith MATLAB (Aduances 'in design and control). Society for Industrial
Nlathematics, first edition, 2008.
134. N. Yagiz. Cornparision and evaluation of different control strategies on a fuII
vehicle rnodel with passenger seat using sliding rnodes. Internat'ional Journal
of Vehi,cle Des'ign, 34(2):168-182, 2OO4.
135. N. Yagiz and I. Yuksek. Sliding rnode control of active suspensions for a full
vehicle rnodel. International Journat of Vehicle Desigry26(2-3):265-276, 2001-
136. N. Yagiz, I. Yuksek, and S. Sivrioglu. Robust control of active suspensions for a
full vehicle rnodel using sliding rnode control. JSME Internati'onal JournaL Se-
Ties C: Mech,ani,cal Systerns. Machine Elernents and Manufacturing,4S(2):253-
258, 2000.
Ig7. Z. Yang, R. I:zad.i-Zarnanabadi, and M. Blanke. On-line rnultiple-rnodel based
adaptive -eentrol reconfi.guration for a class of nonlinear control systerns. In
i
l:i
a:j
$
E
4
*
s
&.st
References 227
4th IFAC Syrnpos'iurrt on Fault Detect'ion, Superu,isi,on and, Safetg for Techni,cal
Processes, pages 745-TSO, Budapest, Hungary, June 2000.
138. Q. Zhang, M. Basseville, and A. Benveniste. Fault detection and isolation
in nonlinear dynarnic systerrrs: a combined input-output and local approach.
Autornat,ica, 34(IO) : 1359-1373. 1998.
139' Y. Zhang and J- Jiang. An interacting rnultiple-rnodel based fault detectiol,
diagnosis and fault-tolerant control approach. In Proceed,.ings of the IEEE
ArneTican. control conference, pages 3593-3b9g, phoenix, AZ, usA, 1ggg.
I4O' Y- Zhang and J- Jiang. Bibliographical review on reconfigurable fault-tolerant
control systems. Annual Reui,eussi.n controt, 32(2):22g-2b2,2008.
141' Y.M- Zhang and J- Jiang. Issues on integration of fault diagnosis and recon-
figurable control in active fault-tolerant control systerns. In 6th IFAC Syrnpo-
s'ium on Fault Detecti,on, Superuision and Safetg for Techni,cal Proce""", pu,g""
1513-1524, Beijing, P.R. China, 2006.
142' D.H. Zhow and P.M. Frank. Nonlinear adaptive observer based cornponent
fault diagnosis of nonlinear in closed-loops. In llth IFAC World, Congress,
pages 25-30, Beijing, P.R. China, 1999.
743' D.H. Zhou,G.Z.Wang, and S.X. Ding. Sensor fault tolerant control of nonlin-
ear systems with application to a three-tank-systerns. In 4th IFAC Symposi,urn
on Fault Detecti'on, Superu'is'ion and Safety for Technical Processes, pages 810-
815, Budapest, Hungary, 2000.
Index
230 Index
e
i;,
*.;
Index 23I
1 00 2 B 5
----crliiDET
sEP DGEST
CENTIIO f;,1 INFORMACI6N