Académique Documents
Professionnel Documents
Culture Documents
Olivier Sename
GIPSA-Lab
September 2013
Robust control
September 2013
1 / 133
2/133
Reference books
These texbooks are very close to the given course. Some of them are available on internet.
S. Skogestad and I. Postlethwaite, Multivariable Feedback Control: analysis and design, John
Wiley and Sons, 2005. www.nt.ntnu.no/users/skoge/book
K. Zhou, Essentials of Robust Control, Prentice Hall, New Jersey, 1998.
www.ece.lsu.edu/kemin
J.C. Doyle, B.A. Francis, and A.R. Tannenbaum, Feedback control theory, Macmillan
Publishing Company, New York, 1992.
https://sites.google.com/site/brucefranciscontact/Home/publications
G.C. Goodwin, S.F. Graebe, and M.E. Salgado, Control System Design, Prentice Hall, New
Jersey, 2001. csd.newcastle.edu.au
G. Duc et S. Font, Commande Hinf et -analyse: des outils pour la robustesse, Herms,
France, 1999.
D. Alazard, C. Cumer, P. Apkarian, M. Gauvrit, et G. Ferreres, Robustesse et commande
optimale, Cpadues Editions, 1999.
O. Sename [GIPSA-lab]
3/133
Nonlinear systems
In control theory, dynamical systems are mostly modeled and analyzed thanks to the use of a set
of Ordinary Differential Equations (ODE)1 .
Nonlinear dynamical system modeling is the "most" representative model of a given system.
Generally this model is derived thanks to system knowledge, physical equations etc. Nonlinear
dynamical systems are described by nonlinear ODEs.
Denition (Nonlinear dynamical system)
For given functions f : Rn Rnw Rn and g : Rn Rnw Rnz , a nonlinear dynamical
system (N L ) can be described as:
N L :
x = f (x(t), w(t))
z = g(x(t), w(t))
(1)
where x(t) is the state which takes values in a state space X Rn , w(t) is the input taking values
in the input space W Rnw and z(t) is the output that belongs to the output space Z Rnz .
1
Partial Differential Equations (PDEs) may be used for some applications such as irrigation channels, trafc ow,
etc. but methodologies involved are more complex compared to the ones for ODEs.
O. Sename [GIPSA-lab]
4/133
Comments
The main advantage of nonlinear dynamical modeling is that (if it is correctly described) it
catches most of the real system phenomena.
On the other side, the main drawback is that there is a lack of mathematical and
methodological tools; e.g. parameter identication, control and observation synthesis and
analysis are complex and non systematic (especially for MIMO systems).
In this eld, notions of robustness, observability, controllability, closed loop performance etc.
are not so obvious. In particular, complex nonlinear problems often need to be reduced in
order to become tractable for nonlinear theory, or to apply input-output linearization
approaches (e.g. in robot control applications).
As nonlinear modeling seems to lead to complex problems, especially for MIMO systems
control, the LTI dynamical modeling is often adopted for control and observation purposes.
The LTI dynamical modeling consists in describing the system through linear ODEs.
According to the previous nonlinear dynamical system denition, LTI modeling leads to a local
description of the nonlinear behavior (e.g. it locally describes, around a linearizing point, the
real system behavior).
From now on only Linear Time-Invariant (LTI) systems are considered.
O. Sename [GIPSA-lab]
5/133
x(t)
z(t)
=
=
Ax(t) + Bw(t)
Cx(t) + Dw(t)
(2)
where x(t) is the state which takes values in a state space X Rn , w(t) is the input taking values
in the input space W Rnw and z(t) is the output that belongs to the output space Z Rnz .
The LTI system locally describes the real system under consideration and the linearization
procedure allows to treat a linear problem instead of a nonlinear one. For this class of problem,
many mathematical and control theory tools can be applied like closed loop stability, controllability,
observability, performance, robust analysis, etc. for both SISO and MIMO systems. However, the
main restriction is that LTI models only describe the system locally, then, compared to nonlinear
models, they lack of information and, as a consequence, are incomplete and may not provide
global stabilization.
O. Sename [GIPSA-lab]
6/133
Towards H norm
2
2
G(j)d()
d() 2
= G(j)
Which is independent of the input magnitude. But this is not a correct denition. Indeed the
input direction is of great importance
O. Sename [GIPSA-lab]
7/133
Towards H norm
5
3
0.707
0.707
2
= u3
0.707
0.707
u=
2
O. Sename [GIPSA-lab]
4
2
= u4
y=
= u5
0.7070
0.7070
u=
0.6
0.8
y=
0.2
0.2
=1
8/133
and
Towards H norm
Towards SVD
Gd 2
= (G)
d 2
Gd 2
= (G)
d 2
O. Sename [GIPSA-lab]
9/133
Towards H norm
0
0
100
0
O. Sename [GIPSA-lab]
10/133
Towards H norm
y()
u()
(G(j))
Singular Values
40
largest singular
value
20
-20
-40
smallest singular
value
-60
-80
-100
-1
10
10
10
10
Frequency (rad/sec)
O. Sename [GIPSA-lab]
11/133
Signal norms
Reader is also invited to refer to the famous book of Zhou et al., 1996, where all the following
denitions and additional information are given.
All the following denitions are given assuming signals x(t) C, then they will involve the
conjugate (denoted as x (t)). When signals are real (i.e. x(t) R), x (t) = xT (t).
Denition (Norm and Normed vector space)
Let V be a nite dimension space. Then p 1, the application ||.||p is a norm, dened as,
|vi |p
||v||p =
1/p
(3)
Let V be a vector space over C (or R) and let . be a norm dened on V . Then V is a
normed space.
O. Sename [GIPSA-lab]
12/133
L norms
Denition (L1 , L2 , L norms)
The 1-Norm of a function x(t) is given by,
+
x(t)
|x(t)|dt
(4)
+
x (t)x(t)dt
0
+
1
X (j)X(j)d
2
(5)
sup
Re(s)0
= sup |x(t)|
(6)
(7)
if the signals that admit the Laplace transform, analytic in Re(s) 0 (i.e. H ).
O. Sename [GIPSA-lab]
13/133
(8)
< f, f >
Every Hilbert space is a Banach since a Hilbert space is complete with respect to the norm
associated with its inner product.
The Hardy spaces (Hp ) are certain spaces of holomorphic functions (functions dened on an
open subset of the complex number plane C with values in C that are complex-differentiable
at every point) on the unit disk or upper half plane.
The Lp space are spaces of p-power integrable functions (function whose integral exists,
generally called Lebesgue integral), and corresponding sequence spaces.
For example, Rn and Cn with the usual spatial p-norm, . p for 1 p < , are Banach spaces.
This means that a Banach space is a vector space B over the real or complex numbers with a
norm . p such that every Cauchy sequence (with respect to the metric d(x, y) = ||x y||) in B
has a limit in B.
O. Sename [GIPSA-lab]
14/133
L and H spaces
Denition (L space)
L is the space of piecewise continuous bounded functions. It is a Banach space of
matrix-valued (or scalar-valued) functions on C and consists of all complex bounded matrix
functions f (j), R, such that,
sup [f (j)] <
(9)
O. Sename [GIPSA-lab]
15/133
L and H spaces
Example
In control theory
s+1
(s+10)(s+6)
s+1
(s10)(s+6)
s+1
(s+10)
O. Sename [GIPSA-lab]
RH
RH
RH
(10)
16/133
H norm
Denition (H norm)
The H norm of a proper LTI system dened as on (2) from input w(t) to output z(t) and which
belongs to RH , is the induced energy-to-energy gain (L2 to L2 norm) dened as,
=
=
supR (G(j))
z(s)
supw(s)H2 w(s)
G(j)
z 2
w 2
maxw(t)L2
(11)
Remark
H physical interpretations
This norm represents the maximal gain of the frequency response of the system. It is also
called the worst case attenuation level in the sense that it measures the maximum
amplication that the system can deliver on the whole frequency set.
For SISO (resp. MIMO) systems, it represents the maximal peak value on the Bode
magnitude (resp. singular value) plot of G(j), in other words, it is the largest gain if the
system is fed by harmonic input signal.
Unlike H2 , the H norm cannot be computed analytically. Only numerical solutions can be
obtained (e.g. Bisection algorithm, or LMI resolution).
O. Sename [GIPSA-lab]
17/133
, 1 = .
.
.
0
A = U V T , =
1
0
0
0
0
2
.
.
.
0
...
...
...
0
0
...
p
O. Sename [GIPSA-lab]
18/133
L2 and H2 spaces
Denition (L2 space)
L2 is the space of piecewise continuous square integrable functions. It is a Hilbert space of
matrix-valued (or scalar-valued) functions on C and consists of all complex matrix functions f (j),
R, such that,
+
1
Tr[f (j)f (j)]d <
(12)
||f ||2 =
2
The inner product for this Hilbert space is dened as (for f, g L2 )
< f, g >=
1
2
Tr[f (j)g(j)]d
(13)
O. Sename [GIPSA-lab]
19/133
L2 and H2 spaces
Example
In control theory
s+1
(s+10)(s+6)
s+1
(s10)(s+6)
s+1
(s+10)
O. Sename [GIPSA-lab]
RH2
RH2
RH2
(14)
20/133
H2 norm
Denition (H2 norm)
The H2 norm of a strictly proper LTI system dened as on (2) from input w(t) to output z(t) and
which belongs to RH2 , is the energy (L2 norm) of the impulse response g(t) dened as,
G(j)
=
=
=
+
g (t)g(t)dt
+
1
Tr[G (j)G(j)]d
2
||z(s)||
supw(s)H2 ||u(s)||
2
(15)
The norm H2 is nite if and only if G(s) is strictly proper (i.e. G(s) RH2 ).
Remark
H2 physical interpretations and remarks
For SISO systems, it represents the area located below the so called Bode diagram.
For MIMO systems, the H2 norm is the impulse-to-energy gain of z(t) in response to a white
noise input w(t) (satisfying W (j)W (j) = I, i.e. uniform spectral density).
The H2 norm can be computed analytically (through the use of the controllability and
observability Grammians) or numerically (through LMIs).
O. Sename [GIPSA-lab]
21/133
Performance analysis
Outline
1
22/133
Performance analysis
Introduction
Objectives of any control system [?]
shape the response of the system to a given reference and get (or keep) a stable system in
closed-loop, with desired performances, while minimising the effects of disturbances and
measurement noises, and avoiding actuators saturation, this despite of modelling uncertainties,
parameter changes or change of operating point.
This is formulated as:
Nominal stability (NS): The system is stable with the nominal model (no model uncertainty)
Nominal Performance (NP): The system satises the performance specications with the nominal
model (no model uncertainty)
Robust stability (RS): The system is stable for all perturbed plants about the nominal model, up to
the worst-case model uncertainty (including the real plant)
Robust performance (RP): The system satises the performance specications for all perturbed
plants about the nominal model, up to the worst-case model uncertainty
(including the real plant).
O. Sename [GIPSA-lab]
23/133
Performance analysis
1
1+G(s)K(s)
1
1+K(s)G(s)
L = G(s)K(s)
1
S(s) = 1+L(s)
T (s) =
L(s)
1+L(s)
24/133
Performance analysis
Input/Output performances
Dening two new sensitivity functions:
Plant Sensitivity: SG = S(s).G(s) (often referred to as the Input Sensitivity, e.g in Matlab)
Controller Sensitivity: KS = K(s).S(s)
O. Sename [GIPSA-lab]
25/133
Performance analysis
The output & the control input satisfy the following equations :
(Ip + G(s)K(s))y(s) = (GKr + dy GKn + Gdi )
(Im + K(s)G(s))u(s) = (Kr Kdy Kn KGdi )
BUT : K(s)G(s) = G(s)K(s) !!
O. Sename [GIPSA-lab]
26/133
Performance analysis
Sy + Ty = Ip
Tu = KG(Im + KG)1 , Su + Tu = Im
Properties
Ty = GK(Ip + GK)1
Tu = (Im + KG)1 KG
Su K = KSy
O. Sename [GIPSA-lab]
27/133
Performance analysis
O. Sename [GIPSA-lab]
28/133
Performance analysis
Frequency-domain analysis
O. Sename [GIPSA-lab]
29/133
Performance analysis
Frequency-domain analysis
O. Sename [GIPSA-lab]
30/133
Performance analysis
Frequency-domain analysis
Trade-offs
But
S + T = I
Some trade-offs are to be looked for...
These trade-offs can be reached if one aims :
to reject the disturbance effects in low frequencies
to minimize the noise effects in high frequencies
It remains to require:
Sy and Sy G to be small in low frequencies to reduce the load (output and input) disturbance
effects on the controlled output
Ty and KSy to be small in high frequencies to reduce the effects of measurement noises on
the controlled output and on the control input (actuator efforts)
O. Sename [GIPSA-lab]
31/133
Performance analysis
Frequency-domain analysis
O. Sename [GIPSA-lab]
32/133
Performance analysis
Frequency-domain analysis
K(s)G(s)
1 + K(s)G(s)
is given by:
1
G
G
T
=
= S.
T
1 + K(s)G(s) G
G
A good module margin implies good gain and
phase margins:
GM
1
MS
andP M
MS 1
MS
MT = max |T (j)|
33/133
Performance analysis
Frequency-domain analysis
O. Sename [GIPSA-lab]
34/133
Performance analysis
Frequency-domain analysis
O. Sename [GIPSA-lab]
35/133
Performance analysis
Frequency-domain analysis
Some remarks
Remark
Usually S < c < T
Remark
In most cases, the two denitions in terms of S and T yield similar values for the bandwidth. In
other cases, the situation is generally as follows. Up to the frequency S , |S| is less than 0.7, and
control is effective in terms of improving performance. In the frequency range [S , T ] control still
affects the response, but does not improve performance. Finally, at frequencies higher than T ,
we have S 1 and control has no signicant effect on the response.
Remark
Usually S < c < T
Finally the following relation is very useful to evaluate the rise time:
tr =
O. Sename [GIPSA-lab]
2.3
T
36/133
Performance analysis
Frequency-domain analysis
Examples
O. Sename [GIPSA-lab]
37/133
Performance analysis
Stability issues
Well-posedness
Consider
G=
s1
,
s+2
s+2
s1
(r n dy ) +
di
3
3
DEF: A closed-loop system is well-posed if all the transfer functions are proper
I + K()G() is invertible
In the example 1 + 1 (1) = 0 Note that if G is strictly proper, this always holds.
O. Sename [GIPSA-lab]
38/133
K=1
Performance analysis
Stability issues
Internal stability
DEF: A system is internally stable if all the transfer functions of the closed-loop system are stable
y
u
(I + GK)1 GK
K(I + GK)1
(I + GK)1 G
K(I + GK)1 G
r
di
For instance :
G=
1
,
s1
K=
s1
,
s+1
y
u
1
s+2
s1
s+2
s+1
(s1)(s+2)
1
s+2
r
di
There is one RHP pole (1), which means that this system is not internally stable. This is due here
to the pole/zero cancellation (forbidden!!).
O. Sename [GIPSA-lab]
39/133
Performance analysis
Stability issues
Figure: M form
Theorem
Suppose M (s) in RH and a positive scalar. Then the system is well-posed and internally
stable for all (s) in RH such that 1/ if and only if
M
O. Sename [GIPSA-lab]
<
40/133
Performance analysis
Stability issues
Input-Output Stability
Denition (BIBO stability)
A system G (x = Ax + Bu; y = Cx) is BIBO stable if a bounded input u(.) ( u
< ) maps a
Now, the quantication (for BIBO stable systems) of the signal amplication (gain) is evaluated as:
peak =
sup
0< u <
y
u
< implies y
< .
sup
0< u 2 <
y
u
2
2
For a linear system, these stability denitions are equivalent (but not the quantication criteria).
O. Sename [GIPSA-lab]
41/133
Performance specications
Outline
1
42/133
Performance specications
Introduction
Framework... templates
Objective : good performance specications are important to ensure better control system
mean : give some templates on the sensitivity functions
For simplicity, presentation for SISO systems rst.
Sketch of the method:
Robustness and performances in regulation can be specied by imposing frequential
templates on the sensitivity functions.
If the sensitivity functions stay within these templates, the control objectives are met.
These templates can be used for analysis and/or design. In the latter they are considered as
weights on the sensitivity functions
The shapes of typical templates on the sensitivity functions are given in the following slides
Mathematically, these specications may be captured by an upper bound, on the magnitude of a
sensitivity function, given by another transfer function, as for S:
|S(j)|
1
,
|We (j)|
We S
O. Sename [GIPSA-lab]
43/133
Performance specications
SISO case
The peak specication prevents amplication of noise at high frequencies, and also introduces a
margin of robustness; typically we select MS = 2.
O. Sename [GIPSA-lab]
44/133
Performance specications
SISO case
1
1 + K(s)G(s)
s + b
1
=
We (s)
s/MS + b
Generally 0 is considered, MS < 2
(6dB) or (3dB - cautious) to ensure
sufcient module margin.
b inuences the CL bandwidth : b
faster CL tracking response
better robustness w.r.t. parametric
uncertainties
10
0
MS = 2 (6dB)
10
Singular Values (dB)
20
b s.t. |1/We | = 0dB
30
40
50
60 4
10
O. Sename [GIPSA-lab]
= 1e 3
10
10 Frequency (rad/sec) 10
10
0
45/133
10
Performance specications
SISO case
K(s)
1 + K(s)G(s)
1 s + bc
1
=
Wu (s)
s + bc /Mu
Mu chosen according to LF behavior of
the process (actuator constraints:
saturations)
bc inuences the CL bandwidth : bc
0
Singular Values (dB)
10
= 2
10
20
30
bc f o r |1 / W u | = 0 d B
c
40
= 1 e-3
50
60
10
Frequency (rad/sec)
O. Sename [GIPSA-lab]
46/133
10
Performance specications
SISO case
K(s)G(s)
1 + K(s)G(s)
T s + bt
1
=
WT (s)
s + bt /MT
10
0
10
Singular Values (dB)
Generally T
0 is considered, MSG
allows to limit the overshoot in the
response to input disturbances.
SG inuences the bandwidth hence the
transient behavior of the disturbance
rejection properties: bt
MT =1.5
20
bT s.t. |1/WT | = 0 dB
30
40
T =1e-3
50
60 4
10
O. Sename [GIPSA-lab]
10
10 Frequency (rad/sec) 10
10
0
47/133
10
Performance specications
SISO case
G(s)
1 + K(s)G(s)
s + SG SG
1
=
WSG (s)
s/MSG + SG
20
10
Singular Values (dB)
Generally SG 0 is considered,
MT < 1.5 (3dB) to limit the overshoot.
SG inuences the CL bandwidth :
SG = faster rejection of the
disturbance.
MSG = 10
10
20
sg s.t. |1/WSG | = 0 dB
SG =1e-2
30
40 4
10
O. Sename [GIPSA-lab]
10
10 Frequency (rad/sec) 10
10
0
48/133
10
Performance specications
MIMO case
1
W1 (j)
Actuator constraints:
(KSy ) <
1
W2 (j)
1
W3 (j)
O. Sename [GIPSA-lab]
49/133
Performance specications
MIMO case
G1
G2
, K=
K1
K2
Therefore
GK = G1 K1 + G2 K2 ,
K1 G1
K2 G1
KG =
K 1 G2
K2 G2
1
, KSy =
1 + G1 K1 + G2 K2
K1
1+G1 K1 +G2 K2
K2
1+G1 K1 +G2 K2
While a single template We is convenient for Sy it is straightforward that the following diagonal
template should be used for KSy :
Wu (s) =
1
Wu (s)
0
0
2
Wu (s)
2
1
where Wu and Wu are chosen in order to account for each actuator specicity (constraint).
O. Sename [GIPSA-lab]
50/133
Performance specications
MIMO case
1
, for all
|We (j)|
1
, for all
|Wu (j)|
all , i = 1, . . . , p
for all , k = 1, . . . , m.
i.e. p plots for all output behaviors and m plots for the input ones.
3
O. Sename [GIPSA-lab]
51/133
Performance specications
MIMO case
20
Mu = 2, 1 = 0.01,
2
b c=200 for 1/Wu case 2
10
0
Singular Values (dB)
0
10
20
30
10
Mu = 2, 1 = 0.01,
2
b c=400 for 1/Wu case 3
20
40
30
50
60
Mu = 2, 1 = 0.01,
2
b c=100 for 1/Wu case 1
40
70
80 0
10
10
10
10
Frequency (rad/sec)
O. Sename [GIPSA-lab]
10
10
10
50 0
10
10
10
10
Frequency (rad/sec)
52/133
10
10
Performance specications
MIMO case
Final objectives
In terms of control synthesis, all these specications can be tackled in the following problem: nd
K(s) s.t.
We S
Wu KS
WT T
WSG SG
We S 1
Wu KS 1
WSG SG 1
WT T 1
Often, the simpler following one (referred to as the mixed sensitivity problem) is studied:
Find K s.t.
We S
Wu KS
since the latter allows to consider the closed-loop output performance as well as the actuator
constraints.
O. Sename [GIPSA-lab]
53/133
Performance specications
Introduction
Framework
Main extracts of this part: see Goodwin et al 2001. "Performance limitations in control are not only
inherently interesting, but also have a major impact on real world problems."
Objective : take into account the limitations inherent to the system or due to actuators constraints,
before designing the controller..... Understanding what is not possible is as important as
understanding what is possible!
Example of structural constraints
S + T = 1,
We then cannot have, for any frequency 0 , |S(j0 )| < 1 and |T (j0 )| < 1. This implies that,
disturbance and noise rejection cannot be achieved in the same frequency range.
Bodes Sensitivity Integral for open-loop stable systems
It is known that, for open loop stable plant:
log|S(j)|d = 0
0
Then the frequency range where |S(j)| < 1 is balanced by the frenquencies where |S(j)| > 1
O. Sename [GIPSA-lab]
54/133
Performance specications
Bode sensitivity
Nice interpretation of the balance between reduction and magnication of the sensitivity.
log|det(S(j))|d =
0
Re(pi ),
i=1
where pi design the Np RHP poles. Therefore, in the presence of RHP poles, the control effort
necessary to stabilize the system is paid in terms of amplication of the sensitivity magnitude.
O. Sename [GIPSA-lab]
55/133
Performance specications
Wp (s)S(s)
z/MS + b
| 1
z + b
To conclude, if z is real, and if the performance specications are such that : MS = 2 and = 0,
then a necessary condition to meet the performance requirements is :
z
b
2
O. Sename [GIPSA-lab]
56/133
H control design
Outline
1
57/133
H control design
P is the generalized plant (contains the plant, the weights, the uncertainties if any) ; K is the
controller. The closed-loop transfer function is given by:
Tew (s) = Fl (P, K) = P11 + P12 K(I P22 K)1 P21
where Fl (P, K) is referred to as a lower Linear Fractional Transformation.
O. Sename [GIPSA-lab]
58/133
H control design
O. Sename [GIPSA-lab]
59/133
H control design
Illustration on
We S
Wu KS
We S
i.e a system with
Wu KS
and KS = u , the control scheme needs only one external
r
O. Sename [GIPSA-lab]
ry
r
60/133
H control design
Wu KS
1.
e1 = We Sr
e2 = Wu KSr
O. Sename [GIPSA-lab]
61/133
H control design
O. Sename [GIPSA-lab]
62/133
H control design
O. Sename [GIPSA-lab]
63/133
H control design
We Sy
Wu KSy
We Sy G
Wu Tu
The new H control problem therefore includes the input disturbance rejection objective, thanks
to Sy G that should satisfy the same template as S, i.e an high-pass lter!
Remarks: Note that Wu Tu is an additional constraint that may lead to an increase of the
attenuation level since it is not part of the objectives. Hopefully Tu is low pass, and Wu as well.
The input weight has to be on u not u + di which would lead to an unsolvable problem.
O. Sename [GIPSA-lab]
64/133
H control design
Controller*Sensitivity KS
20
40
30
with Wd=1
with Wd=100
20
Magnitude (dB)
-20
-40
-60
with Wd=100
10
0
-10
-20
-80
with Wd=1
-30
-100
-40
-120 -2
10
10
-1
10
10
Frequency (rad/sec)
O. Sename [GIPSA-lab]
10
10
-50 -2
10
10
-1
10
10
Frequency (rad/sec)
10
65/133
10
H control design
More generally...
To include multiple objectives in a SINGLE H control problem, there are 2 ways:
1
Of course both ways increase the dimension of the problem to be solved....thus the complexity as
well. Moreover additional constraints appear that are not part of the objectives ....
General rule: rst think simple !!
O. Sename [GIPSA-lab]
66/133
H control design
B1
B2
A
x = Ax + B1 w + B2 u
e = C1 x + D11 w + D12 u
P
P = C1
D11 D12
y = C2 x + D21 w + D22 u
C2
D21 D22
with x Rn , x Rnw , u Rnu , z Rnz et y Rny
O. Sename [GIPSA-lab]
67/133
H control design
Problem formulation
Let K(s) be a dynamic output feedback LTI controller dened as
K(s) :
xK (t)
u(t)
=
=
AK xK (t) + BK y(t),
CK xK (t) + DK y(t).
xcl (t)
z(t)
=
=
(16)
A + B2 DK C2 B2 CK
A=
,
BK C2
AK
B1 + B2 DK D21
B=
,
BK D21
C = C1 + D12 DK C2 , D12 CK ,
D = B1 + B2 DK D21 .
The aim is of course to nd matrices AK , BK , CK and DK s.t. the H norm of the closed-loop
system (16) is as small as possible, i.e. opt = min s.t. ||N (s)|| < .
O. Sename [GIPSA-lab]
68/133
H control design
A4: R, rank
A5:
D11 = 0,
D22 = 0,
B1
D21
D12 T [ C1
D21 T =
D12 ] =
Im2
0
Ip2
not necessary but simplify the solution (does correspond to the given theorem next but can be
easily relaxed)
O. Sename [GIPSA-lab]
69/133
H control design
A
T
C1 C1
T
T
2 B1 B1 B2 B2
AT
imaginary axis.
T
T
T
ii there exists X 0 t.q. AT X + X A + X ( 2 B1 B1 B2 B2 ) X + C1 C1 = 0,
AT
T
B1 B1
T
T
2 C1 C1 C2 C2
A
imaginary axis.
T
T
T
iv there exists Y 0 t.q. A Y + Y AT + Y ( 2 C1 C1 C2 C2 ) Y + B1 B1 = 0,
O. Sename [GIPSA-lab]
70/133
H control design
Controller reconstruction
Theorem (2)
If the necessary and sufcient conditions of the Theorem 1 are satised, then the so-called central
controller is given by the state space representation
Ksub (s) =
with
A
F
Z L
0
A = A + 2 B1 B1 X + B2 F + Z L C2
TX ,
T
F = B2
L = Y C2
1
Z = I 2 Y X
The Controller structure is indeed an observer-based state feedback control law, with
T
u2 (t) = B2 X x(t),
(17)
T
w(t) = 2 B1 X x(t).
Remark. w(t) is an estimation of the worst case disturbance. Z L is the lter gain for the OE
O. Sename [GIPSA-lab]
71/133
Introduction to LMIs
Outline
1
72/133
Introduction to LMIs
Background in Optimisation
Brief on optimisation
Denition (Convex function)
A function f : Rm R is convex if and only if for all x, y Rm and [0 1],
f (x + (1 )y) f (x) + (1 )f (y)
(18)
(19)
is convex.
Denition ((Strict) LMI constraint)
A Linear Matrix Inequality constraint on a vector x Rm is dened as,
m
F (x) = F0 +
Fi xi
0(
(20)
0)
i=1
T
where F0 = F0 and Fi = FiT Rnn are given, and symbol F
0( 0) means that F is
symmetric and positive semi-denite ( 0) or positive denite ( 0), i.e. {u|uT F u(>) 0}.
O. Sename [GIPSA-lab]
73/133
Introduction to LMIs
Background in Optimisation
Convex to LMIs
Example
Lyapunov equation. A very famous LMI constraint is the Lyapunov inequality of an autonomous
system x = Ax. Then the stability LMI associated is given by,
xT P x
xT (AT P + P A)x
>
<
0
0
(21)
P
0
0
AT P + P A
(22)
0
0 is linear in P .
LMI constraints F (x) 0 are convex in x, i.e. the set {x|F (x) 0} is convex. Then LMI based
optimization falls in the convex optimization. This property is fundamental because it guarantees
that the global (or optimal) solution x of the the minimization problem under LMI constraints can
be found efciently, in a polynomial time (by optimization algorithms like e.g. Ellipsoid, Interior
Point methods).
O. Sename [GIPSA-lab]
74/133
Introduction to LMIs
Background in Optimisation
LMI problem
Two kind of problems can be handled
Feasibility: The question whether or not there exist elements x X such that F (x) < 0 is
called a feasibility problem. The LMI F (x) < 0 is called feasible if such x exists,
otherwise it is said to be infeasible.
Optimization: Let an objective function f : S R where S = {x|F (x) < 0}. The problem to
determine
Vopt = infxS f (x)
is called an optimization problem with an LMI constraint. This problem involves
the determination of Vopt , the calculation of an almost optimal solution x (i.e., for
arbitrary > 0 the calculation of an x S such that Vopt f (x) Vopt + , or
the calculation of a optimal solutions xopt (elements xopt S such that
Vopt = f (xopt )).
O. Sename [GIPSA-lab]
75/133
Introduction to LMIs
Background in Optimisation
O. Sename [GIPSA-lab]
PB
R
>0
76/133
Introduction to LMIs
Background in Optimisation
cT x
0
(23)
where F (x) is an afne symmetric matrix function of x Rm (e.g. LMI) and c Rm is a given
real vector, that denes the problem objective.
SDP problems are theoretically tractable and practically:
They have a polynomial complexity, i.e. there exists an algorithm able to nd the global
minimum (for a given a priori xed precision) in a time polynomial in the size of the problem
(given by m, the number of variables and n, the size of the LMI).
SDP can be practically and efciently solved for LMIs of size up to 100 100 and m 1000
see ElGhaoui, 97. Note that today, due to extensive developments in this area, it may be even
larger.
O. Sename [GIPSA-lab]
77/133
Introduction to LMIs
LMI in control
AT P
+ PA K T B T P P BK < 0
QAT + AQ + YT B T + BY < 0
O. Sename [GIPSA-lab]
78/133
Introduction to LMIs
LMI in control
A P+PA PB
CT
T P
T < 0, P > 0.
(24)
B
I
D
C
D
I
The Bounded Real Lemma (BRL), can also be written as follows (see Scherer)
I
A
0
C
T
0
0
B P
I 0
D
0
P
0
0
0
0
0
2 I
0
0
I
0 A
0 0
C
I
0
B
I
D
(25)
Note that the BRL is an LMI if the only unknown (decision variables) are P and (or 2 ).
O. Sename [GIPSA-lab]
79/133
Introduction to LMIs
LMI in control
Quadratic stability
This concept is very useful for the stability analysis of uncertain systems.
Let us consider an uncertain system
x = A()x
(26)
This is a sufcient condition for ROBUST Stability which is obtained when A() is stable for all
.
O. Sename [GIPSA-lab]
80/133
Introduction to LMIs
- Solvability
In this case only A1 is necessary. The solution is base on the use of the Bounded Real Lemma,
and some relaxations that leads to an LMI problem to be solved [?].
when we refer to the H control problem, we mean: Find a controller C for system M such that,
given ,
||Fl (P, K)|| <
(27)
The minimum of this norm is denoted as and is called the optimal H gain. Hence, it comes,
min
Tzw (s)
(28)
As presented in the previous sections, this condition is fullled thanks to the BRL. As a matter of
fact, the system is internally stable and meets the quadratic H performances iff. P = P T
0
such that,
T
A P + PA
PB
CT
2
(29)
BT P
2 I DT < 0
C
D
I
where A, B, C, D are given in (16). Since this inequality is not an LMI and not tractable for SDP
solver, relaxations have to be performed (indeed it is a BMI), as proposed in [?].
O. Sename [GIPSA-lab]
81/133
Introduction to LMIs
- Problem solution
Theorem (LTI/H solution [?])
A dynamical output feedback controller of the form C(s) =
Ac
Cc
Bc
Dc
control problem, is obtained by solving the following LMIs in (X, Y, A, B, C and D), while
minimizing ,
(30)
where,
T
T
M11 = AX + XAT + B2 C + C B2
T
T
M21 = A + AT + C2 D B2
T
M22 = YA + AT Y + BC2 + C2 B
T
T
T
M31 = B1 + D21 D B2
T
B1 Y
T T
D21 B
M32 =
+
M41 = C1 X + D12 C
M43 = D11 + D12 DD21
O. Sename [GIPSA-lab]
(31)
M33 = Inu
M42 = C1 + D12 DC2
M44 = Iny
82/133
Introduction to LMIs
Controller reconstruction
Once A, B, C, D, X and Y have been obtained, the reconstruction procedure consists in nding
non singular matrices M and N s.t. M N T = I X Y and the controller K is obtained as follows
Dc = D
Cc = (C Dc C2 X)M T
(32)
Bc = N 1 (B YB2 Dc )
1
T
T
Ac = N (A YAX YB2 Dc C2 X N Bc C2 X YB2 Cc M )M
where M and N are dened such that M N T = In XY (that can be solved through a singular
value decomposition plus a Cholesky factorization).
Remark. Note that other relaxation methods can be used to solve this problem, as suggested by
[?].
O. Sename [GIPSA-lab]
83/133
Introduction to LMIs
Schur lemma
Lemma
Let Q = QT and R = RT be afne matrices of compatible size, then the condition
Q
ST
S
R
(33)
is equivalent to
R
Q SR1 S T
0
0
(34)
The Schur lemma allows to a convert a quadratic constraint (ellipsoidal constraint) into an LMI
constraint.
O. Sename [GIPSA-lab]
84/133
Introduction to LMIs
Kalman-Yakubovich-Popov lemma
Lemma
For any triple of matrices A Rnn , B Rnm , M R(n+m)(n+m) =
M11
M21
M12
M22
, the
0
B
0 s.t.
0
K
K
0
I
A
0
B
+M <0
x
w
=0
x
w
x
w
<0
I
0
0 K
I
0
then the second statement is equivalent to
A B
K
0
A B
the condition that, for all R with det(jI A) = 0,
If M =
I
C(jI A)1 B + D
Q
ST
S
R
I
C(jI A)1 B + D
>0
This lemma is used to convert frequency inequalities into Linear Matrix Inequalities.
O. Sename [GIPSA-lab]
85/133
Introduction to LMIs
Projection Lemma
Lemma
For given matrices W = W T , M and N , of appropriate size, there exists a real matrix K = K T
such that,
W + M KN T + N K T M T
0
(35)
if and only if there exist matrices U and V such that,
W + MU + UT MT
W + NV + V T NT
0
0
(36)
0
0
(37)
T
where M and N are the orthogonal complements of M , N respectively (i.e. M M = 0).
The projection lemma is also widely used in control theory. It allows to eliminate variable by a
change of basis (projection in the kernel basis). It is involved in one of the H solutions [?]see
e.g..
O. Sename [GIPSA-lab]
86/133
Introduction to LMIs
Completion Lemma
Lemma
Let X = X T , Y = Y T Rnn such that X > 0 and Y > 0. The three following statements are
equivalent:
1
X2
X3
0 and
X
I
I
Y
0 and rank
X
I
I
Y
X
I
I
Y
X
T
X2
X2
X3
Y
T
Y2
Y2
Y3
(38)
n+r
This lemma is useful for solving LMIs. It allow to simplify the number of variables when a matrix
and its inverse enter in a LMI.
O. Sename [GIPSA-lab]
87/133
Introduction to LMIs
Finslers lemma
This Lemma allows the elimination of matrix variables.
Lemma
The following statement are equivalent
xT Ax < 0 for all x = 0 s:t: Bx = 0
B T AB < 0 where B B = 0
A + B T B < 0 for some scalar
A + XB + B T X T < 0 for some matrix X
T
B AB < 0
O. Sename [GIPSA-lab]
88/133
Robust analysis
Outline
1
89/133
Robust analysis
Introduction
Introduction
A control system is robust if it is insensitive to differences between the actual system and the
model of the system which was used to design the controller
How to take into account the difference between the actual system and the model ?
A solution: using a model set BUT : very large problem and not exact yet
A method: these differences are referred as model uncertainty.
The approach
1
Lots of forms can be derived according to both our knowledge of the physical mechanism that
cause the uncertainties and our ability to represent these mechanisms in a way that facilitates
convenient manipulation.
Several origins :
Approximate knowledge and variations of some parameters
Measurement imperfections (due to sensor)
At high frequencies, even the structure and the model order is unknown (100
Choice of simpler models for control synthesis
Controller implementation
Two classes: parametric uncertainties / neglected or unmodelled dynamics
O. Sename [GIPSA-lab]
90/133
Robust analysis
Representation of uncertainties
G(s) =
k
esh ,
1 + s
2 k, h, 3
Let us choose the nominal parameters as, k = h = = 2.5 and G the according nominal model.
We can dene the relative uncertainty, which is actually referred as a MULTIPLICATIVE
UNCERTAINTY, as
O. Sename [GIPSA-lab]
91/133
Robust analysis
Representation of uncertainties
G(s) = G(s)
1
, max
1 + s
max j
1 + max j
with 1
which can be represented as
with
N (s) =
O. Sename [GIPSA-lab]
N11 (s)
N21 (s)
N12 (s)
=
N22 (s)
0
G0 Wm (s)
I
G0 (s)
92/133
Robust analysis
Representation of uncertainties
1
,
s+a
a0 b < a < a0 + b
Dene now:
a = a0 + .b
with || < 1. Then it leads:
1
1
.b 1
1
=
=
(1 +
)
s+a
s + a0 + .b
s + a0
s + a0
This can then be represented as a Multiplicative Inverse Uncertainty:
with
z = y =
1
(w
s+a0
O. Sename [GIPSA-lab]
bu )
93/133
Robust analysis
Representation of uncertainties
x1 = (2 + 1 )x1 + (3 + 2 )x2
x2 = (1 + 3 )x2 + u
G:
y
= x1
(39)
1
0
0
x1
0 2
, y = x2
0
=
0
0 3
x2
=
2x1 3x2 + u1 + u
x1
x2
=
x2 + u + u3
N :
y
=
x1
O. Sename [GIPSA-lab]
94/133
Robust analysis
Representation of uncertainties
Figure: N structure
This LFR gives then the transfer matrix from w to z, and is referred to as the upper Linear
Fractional Transformation (LFT) :
Fu (N, ) = N22 + N21 (I N11 )1 N12
This LFT exists and is well-posed if (I N11 )1 is invertible
O. Sename [GIPSA-lab]
95/133
Robust analysis
Representation of uncertainties
LFT denition
In this representation N is known and (s) collects all the uncertainties taken into account for the
stability analysis of the uncertain closed-loop system.
(s) shall have the following structure:
(s) = diag {1 (s), , q (s), 1 Ir1 , , r Irr ,
k k
i
with i (s) RH i , i R and
Remark: (s) includes
1 Ic1 ,
c Icc }
C.
repeated ci times.
O. Sename [GIPSA-lab]
1, |i | 1, | i | 1
96/133
Robust analysis
Representation of uncertainties
Uncertainty types
We have seen in the previous examples the two important classes of uncertainties, namely:
UNSTRUCTURED UNCERTAINTIES: we ignore the structure of , considered as a full
complex perturbation matrix, such that 1.
We then look at the maximal admissible norm for , to get Robust Stability and Performance.
This will give a global sufcient condition on the robustness of the control scheme.
This may lead to conservative results since all uncertainties are collected into a single matrix
ignoring the specic role of each uncertain parameter/block.
STRUCTURED UNCERTAINTIES: we take into account the structure of , (always such that
1).
The robust analysis will then be carried out for each uncertain parameter/block.
This needs to introduce a new tool: the Structured Singular Value. We then can obtain more
ne results but using more complex tools.
The analysis is provided in what follows for both cases.
In Matlabthis analysis is provided in the tools robuststab and robustperf.
O. Sename [GIPSA-lab]
97/133
Robust analysis
Figure: P K structure
98/133
Robust analysis
N22
< 1 and NS
O. Sename [GIPSA-lab]
Fu (N, )
< 1 ,
< 1 and NS
< 1 and NS
99/133
Robust analysis
Figure: M structure
O. Sename [GIPSA-lab]
M (s)
1)
100/133
Robust analysis
101/133
Robust analysis
Additive case:
WA KSy
Sy
O. Sename [GIPSA-lab]
WA KSy
Ty
WO Ty
Sy
WO Ty
Ty
102/133
Robust analysis
General results
Theorem (Small Gain Theorem)
Consider the different uncertainty types, and assume that NS is achieved, i.e M RH for each
type. Then the closed-loop system is robustly stable, i.e. internally stable for all k RH (for
k =A, 0, I, iO, iI) such that :
Additive :
WA KSy 1
Additive Inverse:
WiA Sy 1
Output Multiplicative:
WO Ty 1
Input Multiplicative:
WI Tu 1
Output Inverse Multiplicative:
WiO Sy 1
Input Inverse Multiplicative:
WiI Su 1
This gives some robustness templates for the sensitivity functions. However this may be
conservative.
O. Sename [GIPSA-lab]
103/133
Robust analysis
G = G(I + Wm m )
Then the loop transfer function is given as:
L = GK = GK(I + Wm m ) = L + Wm Lm ;
O. Sename [GIPSA-lab]
104/133
Robust analysis
N (s)
N11 (s)
N21 (s)
WO Ty
We Sy
=
Figure: Control scheme
We wish to get:
N12 (s)
N22 (s)
WO Ty
We Sy
We Sy
RS:
WO Ty
RP:
O. Sename [GIPSA-lab]
< 1 and NS
< 1 and NS
105/133
Robust analysis
G = G(I + Wm m )
Then the loop transfer function is given as:
L = GK = GK(I + Wm m ) = L + Wm Lm ;
We S < 1,
S,
|We | < 1 + L ,
L,
Since 1 + L |1 + L| |Wm Lm |, a
sufcient condition is actually:
O. Sename [GIPSA-lab]
Robust analysis
1 Ic1 ,
c Icc }
Ckk }
Cki ki ,
with i
i R, i C,
where i (s), i = 1, . . . , q, represent full block complex uncertainties, i (s), i = 1, . . . , r, real
parametric uncertainties, and i (s), i = 1, . . . , c, complex parametric uncertainties.
Taking into account the uncertainties leads to the following General Control Conguration,
(s)
vr
zr
- P (s)
v
-e
y
K(s)
Figure: General control conguration with uncertainties
where .
O. Sename [GIPSA-lab]
107/133
(41)
Robust analysis
1
min{() : , det(I M ) = 0}
(M (j))
the system represented in gure 7 is stable for any uncertainty (s) of the form (41) such
that :
O. Sename [GIPSA-lab]
108/133
Robust analysis
O. Sename [GIPSA-lab]
109/133
Robust analysis
(s)
f
r
vr
z r
N (s)
Figure: N
where N (s) =
N11 (s)
N21 (s)
N12 (s)
N22 (s)
Tew (s) = N22 (s) + N21 (s)(s)(I N11 (s))1 N12 (s)
O. Sename [GIPSA-lab]
(42)
110/133
Robust analysis
(N22 ) = f (N22 ) 1,
RS
r (N11 ) < 1,
RP
(N ) < 1, , =
f
0
0
r
Finally, let us remark that the structured singular value cannot be explicitly determined, so that the
method consists in calculating an upper bound and a lower bound, as closed as possible to .
O. Sename [GIPSA-lab]
111/133
Robust analysis
Summary
The steps to be followed in the RS/RP analysis for structured uncertainties are then:
Denition of the real uncertainties r and of the weighting functions
Evaluation of (N22 ) , (N11 ) and (N)
f
O. Sename [GIPSA-lab]
112/133
Robust analysis
O. Sename [GIPSA-lab]
113/133
LPV systems
Outline
1
114/133
LPV systems
LPV modelling
B1 ()
A()
x
() : z = C1 () D11 ()
y
C2 () D21 ()
B2 ()
x
D12 () w
D22 ()
u
Example
System()
z
y
Controlled
outputs
Measured
outputs
Control
Inputs
O. Sename [GIPSA-lab]
p C c p C k@tA p a u; y a x
First-order state-space representation:
0 1
0
10 1
d @pA
dt p
Only parameter is
0 1
I
a @ kH@tA c A @ p A C @ H A u;
p
I
a IH
0 1
@pA
k @t A
115/133
LPV systems
LPV modelling
Different Models
According to the dependency on the parameter set, we may have several classes of models:
1
Rational
dependency:A() = [An0 + An1 n1 + ... + AnN nN ][I + Ad1 d1 + ... + AdN dN ]1
with = x.
O. Sename [GIPSA-lab]
116/133
LPV systems
LPV modelling
Polytopic models
Let us denote N the number of parameters.
The parameter are assumed to be bounded : i i i .
The vector of parameters evolves inside a polytope represented by Z = 2N vertices i , as
Co{1 , . . . , Z }
(43)
i i , i 0,
=
i=1
(44)
i = 1
i=1
() =
k ()
k=1
where
Ak
Ck
Bk
Dk
Ak
Ck
Bk
Dk
2N
with
k () = 1 , k () > 0
k=1
O. Sename [GIPSA-lab]
117/133
LPV systems
LPV modelling
Poytopic models
For a LPV system with 2 parameters, boundend 1,2 1,2 , the corresponding polytope
onws 4 vertices as:
P = (1 , 2 ), (1 , 2 ), (1 , 2 ), (1 , 2 )
(45)
The polytopic coordinates are (i ) are obtained as:
1 = (1 , 2 ),
1 =
1 1
1 1
2 = (1 , 2 ),
2 =
1 1
1 1
3 = (1 , 2 ),
3 =
4 = (1 , 2 ),
4 =
1 1
1 1
1 1
1 1
2 2
2 2
2 2
2 2
(46)
2 2
2 2
2 2
2 2
(k)
where 1 and 2 are the instantaneous values of the parameters (i in the implementation step).
The LPV system is then rewritten under the polytopic representation:
A(1,2 )
C(1,2 )
B(1,2 )
D(1,2 )
= 1
+ 3
O. Sename [GIPSA-lab]
A(1 )
C(1 )
A(3 )
C(3 )
B(1 )
D(1 )
B(3 )
D(3 )
+ 2
+ 4
A(2 )
C(2 )
A(4 )
C(4 )
B(2 )
D(2 )
B(4 )
D(4 )
118/133
(47)
LPV systems
LPV modelling
LFT models
z
y
A
x
x
B
B1
B2
z C D D1 D2 w
z = C1
D1
D11
D12 w
y
C2
D2
D21
D22
u
O. Sename [GIPSA-lab]
119/133
LPV systems
LPV modelling
=cos()q sin()r
M q = p r(Ix Iz ) m[Zg (q w r v)] (Zq m Zf V )gsin()
=q
O. Sename [GIPSA-lab]
120/133
(48)
LPV systems
LPV modelling
A LFR model
An LFR model of the vehicle described in the form:
()
w
wk
uk
P (z)
zk
yk
The block contains the varying part of the model, which depends on the linearization point (eq ).
The LFR form is dened by:
u
xk+1 = Axk + B B1
u
(49)
u
C
D
0
y
=
xk +
C1
0
D1
y
u
O. Sename [GIPSA-lab]
121/133
LPV systems
LPV modelling
A LFR model
with
A=
B1 =
D =
0
0
1
0
, B =
0
(Zq m Zf V )g
0
(Xq m Xf V )g
0
Ff ins
, C =
1
0
0
1
0
0
0
0
, D1 =
z =
0
0
1
0
, C1 =
1
0
0
0
; u = z ; = 1
(50)
0
2
(51)
with:
1 = cos(eq )
2 = sin(eq )
O. Sename [GIPSA-lab]
(52)
122/133
LPV systems
LPV Control
Adaptation
strategy
References
Controller()
Measured orestimated
Parameters
Control
Inputs
Outputs
System()
Some references
Modelling, identication : (Bruzelius, Bamieh, Lovera, Toth)
Control (Shamma, Apkarian & Gahinet, Adams, Packard, Beker ...)
Stability, stabilization (Scherer, Wu, Blanchini ...)
Geometric analysis (Bokor & Balas)
O. Sename [GIPSA-lab]
123/133
LPV systems
LPV Control
z 2
w 2
< ,
2N
C() =
k ()
k=1
Ac (k )
Cc (k )
Bc (k )
Dc (k )
C(2 )
k () = 1 , k () > 0
k=1
C(1 )
1
Easy implementation !!
O. Sename [GIPSA-lab]
C(4 )
C()
2N
124/133
C(3 )
- 1
LPV systems
LPV Control
Generalized
plant
()
w: exagenous input
u: control input
z: output to minimize
y: measurement
Controller
S ()
A()
z = C1 ()
() :
y
C2 ()
B1 ()
D11 ()
D21 ()
B2 ()
x
w
D12 ()
D22 ()
u
(53)
xc
Ac ()
Cc ()
Bc ()
Dc ()
xc
y
(54)
A()
C()
B()
D()
(55)
O. Sename [GIPSA-lab]
125/133
LPV systems
LPV Control
B ()T K
I
D ()T < 0
C ()
D ()
I
O. Sename [GIPSA-lab]
126/133
LPV systems
LPV Control
C() =
Ac (k )
Cc (k )
k ()
k=1
Bc (k )
Dc (k )
where,
k () =
N
c
j=1 |j C (k )j |
N
j=1 (j j )
where C c (k )j = {j if (k )j = j or j } otherwise.
2N
k () = 1 , k () > 0
k=1
2
2
O. Sename [GIPSA-lab]
C(2 )
C(1 )
C(4 )
C()
C(3 )
127/133
LPV systems
LPV Control
AX + B2 C(1 , 2 ) + ( )T
( )T
( )T ( )T
A(1 , 2 ) + AT
YA + B(1 , 2 )C2 + ( )T ( )T ( )T
0
T
T
T
B1
B1 Y + D21 B(1 , 2 )T
I ( )T
C1 X + D12 C(1 , 2 )
C1
D11 I
X I
0
I Y
O. Sename [GIPSA-lab]
128/133
(56)
(57)
LPV systems
LPV Control
Cc (1 , 2 )
Bc (1 , 2 )
Ac (1 , 2 )
=
=
=
(59) |1 ,2
(59) |1 ,2
(59) |1 ,2
(59) |1 ,2
(58)
C(1 , 2 )M T
N 1 B(1 , 2 )
N 1 A(1 , 2 ) Y AX N Bc (1 , 2 )C2 X
Y B2 Cc (1 , 2 )M T M T
where M and N are dened such that M N T = I XY which may be chosen by applying a
singular value decomposition and a Cholesky factorization.
O. Sename [GIPSA-lab]
129/133
(59)
LPV systems
LPV Control
O. Sename [GIPSA-lab]
130/133
LPV systems
LPV Control
O. Sename [GIPSA-lab]
131/133
LPV systems
LPV Control
O. Sename [GIPSA-lab]
132/133
LPV systems
LPV Control
Some references
Doumiati, Moustapha; Sename, Olivier; Dugard, Luc; Martinez Molina, John Jairo; Gaspar, Peter; Szabo, Zoltan, Integrated vehicle dynamics control
via coordination of active front steering and rear braking", to appear in European Journal of Control, n/c (2013)
Dugard, Luc; Sename, Olivier; Aubouet, Sbastien; Talon, Benjamin, "Full vertical car observer design methodology for suspension control
applications", Control Engineering Practice, vol 20, Issue 9, pp 832-845, 2012.
C. Poussot-Vassal, O. Sename, L. Dugard, P. Gaspar, Z. Szabo & J. Bokor, "Attitude and Handling Improvements Through Gain-scheduled
Suspensions and Brakes Control", Control Engineering Practice (CEP), Vol. 19(3), March, 2011, pp. 252-263.
C. Poussot-Vassal, O. Sename, L. Dugard, S.M. Savaresi, "Vehicle Dynamic Stability Improvements Through Gain-Scheduled Steering and Braking
Control", Vehicle System Dynamics (VSD), vol 49, Nb 10, pp 1597-1621, 2011
Briat, C.; Sename, O., "Design of LPV observers for LPV time-delay systems: an algebraic approach", International Journal of Control, vol 84, nb 9,
pp 1533-1542, 2011
S.M. Savaresi, C. Poussot-Vassal, C. Spelta, O. Sename & L. Dugard. "Semi-Active Suspension Control Design for Vehicles", Elsevier,
Butterworth-Heinmann, 2010.
Robert, D., Sename, O., and Simon, D. (2010). An H LPV design for sampling varying controllers: experimentation with a T inverted pendulum.
IEEE Transactions on Control Systems Technology, 18(3):741749.
C. Briat, O. Sename, and J.-F. Lafay, ""Memory-resilient gain-scheduled state-feedback control of uncertain LTI/LPV systems with time-varying delays"
Systems & Control Let., vol. 59, pp. 451-459, 2010.
C. Briat, O. Sename, and J. Lafay, "Hinf delay-scheduled control of linear systems with time-varying delays," IEEE Transactions in Automatic Control,
vol. 42, no. 8, pp. 2255-2260, 2009.
Martinez Molina J. J., Sename O., Voda A., "Modeling and robust control of Blu-ray disc servo-mechanisms", Mechatronics, (2009) vol 19, n5, pp
715-725
Poussot-Vassal, C.; Sename, O.; Dugard, L.; Gaspar, P.; Szabo, Z. & Bokor, J. "A New Semi-active Suspension Control Strategy Through LPV
Technique", Control Engineering Practice, 2008, 16, 1519-1534
Zin A., Sename O., Gaspar P., Dugard L., Bokor J. "Robust LPV - Hinf Control for Active Suspensions with Performance Adaptation in view of Global
Chassis Control", Vehicle System Dynamics, Vol. 46, No. 10, 889-912, October 2008
Gauthier C., Sename O., Dugard L., Meissonnier G. "An LFT approach to Hinf control design for diesel engine common rail injection system", Oil &
Gas Science and Technology, vol 62, nb 4, pp. 513-522 (2007)
Sammier D. ; Sename O. ; Dugard L , "Skyhook And Hinf Control Of Semi-Active Suspensions: Some Practical Aspects", Vehicle Systems Dynamics,
Vol. 39, No 4, 2003, Pp. 279-308
O. Sename [GIPSA-lab]
133/133