IoPSensors2016 Slides
IoPSensors2016 Slides
James Whidborne
Centre for Aeronautics
Cranfield University
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 3/63
Example - simple servo system
plant/motor
controller
✲
reference ✲ k ✲ 1 output
✲
+ s(s+a)
✻−
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 4/63
Example - simple servo system
1
G(s) = s(s+a)
Amplitude
k
To: Y(1)
T (s) = s2 +as+k
response:
√
4k −a2
Mp = e−aπ/
0
0 5 10 15 20 25
Time-to-peak Time (sec.)
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 5/63
Example - simple servo system
There is a trade-off between Mp and tp
1 10
0.8 8
0.6 6
tp (sec)
Mp
0.4 4
0.2 2
0 0
−1 0 1 2
10 10 10 10
k (log-scale)
Overshoot Mp and time-to-peak tp against k
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 6/63
Example - simple servo system
10
6
tp (sec)
0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9
Mp
Trade-off curve showing Mp against tp
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 7/63
Sensor Noise versus Disturbance Trade-off
D(s)
disturbance
+
U (s✲
) ❄
R (s) ✲
+ ✲ K (s) G(s) ✲
+ ✲ Y (s)
reference output
✻
−
+
controller plant
❄
✛ M (s)
+ sensor
noise
measured
output
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 8/63
The fundamental conflict D (s )
+
R (s ) ✲
+ ✲ K (s) U (✲
s) + ❄
✲ ✲ Y (s )
G (s )
−
✻ +
❄
✛+ M (s )
E (T ) = R (T ) − Y (T )
1 G(s)K (s)
S (s) = T (s) =
1 + G(s)K (s) 1 + G(s)K (s)
giving
E (s) = S (s) [R (s) − D(s)] + T (s)M (s)
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 9/63
The fundamental conflict
• Taking magnitudes
• Hence
|T (j ω)| + |S (j ω)| ≥ 1
Im
T (s ) S (s )
Re
1
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 10/63
Fundamental conflict — frequency response
• For design in frequency domain
|T (j ω)| + |S (j ω)| ≥ 1
• If |S (j ω)| is made nearly zero, |T (j ω)| becomes nearly unity (often greater
than unity)
• Conversely, if |T (j ω)| is nearly zero, |S (j ω)| must be at least nearly unity or
greater
• Unavoidable trade-off between attenuating plant disturbances, D(s), and
filtering out measurement error, M (s)
• Can also be shown that making |T (jw )| small means stability robustness &
small control effort
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 11/63
Fundamental conflict example - simple servo system
2.5
|S(j ω)|
|T(j ω)|
2
|S(j ω)|+|T(j ω)|
magnitude, | · |
1.5
0.5
0
10-2 10-1 100 101 102
frequency, ω (rad/s)
Sensitivities for Servo System (with 10% overshoot)
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 12/63
Another Control Design Trade-off — Waterbed effects
log |S (j ω)|
Bode’s Sensitivity Integral states ✻ pop up
that the average of the logarithm
✻ ✻
of the sensitivity is conserved. ✍
0 ✲ω
If the sensitivity function is
decreased at low frequencies, it
R
must be traded-off for a larger ❘ log |S (j ω)|d ω ≥ 0
sensitivity function at higher
frequencies ◆
❄ push down
Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 13/63
Multi-objective Optimization
Problem
❄
✲
φ2
Problem
Find p such that inequalities
φi (p) ≤ εi for i = 1 . . . n
are satisfied, where εi are design goals chosen by the designer and represent the
largest tolerable values of the objective functions φi
• The aim of the design is to find a p that simultaneously satisfies the set of
inequalities
• Generally used interactively in an IMOPS environment
• Designer iteratively tightens and relaxes εi with the aid of graphical tools
• In the limit, a Pareto-optimal solution is obtained — but in practise,
near-optimal solutions work better (see John Doyle’s work on Highly
Optimized Systems and Robust Yet Fragile systems, for example)
Multi-objective optimization for control design — Method of Inequalities (MOI) 21/63
MOI — Admissible Set
φ1 Pareto
optimal
✻ curve
✾
ε1
Any solution to the problem lies in the ②
admissible set (the set of all solutions):
admissible
set
{p : φi (p) ≤ εi , i = 1 . . . n}
✲
ε2
φ2
× dominated solution
non-dominated solution
✲
φ2
Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 24/63
Multi-Objective Genetic Algorithms (MOGA)
Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 25/63
MOGA Ranking
φ1
• The MOGA is set into a
multi-objective context by means of a
Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 26/63
Trade-off Diagram
Cost
1 2 3 4 5 6 7
Objective
Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 27/63
Example Solution
140
120
Total number of bits for implementation
100
80
60
2
40
1
20
0
−5 −4 −3 −2 −1 0
10 10 10 10 10 10
||R−R || (log scale)
q ∞
Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 28/63
Mixed Optimization
✲
p1 p2 p
1.4
e.g. 1.2
• H∞ -norms,
H2 -norms, 1
L1 -norms, . . .
0.8
• Time domain
y(t)
w ✲ ✲z
✲ T̃ (s)
• Replace lower dotted block with
ẽ ❄
Q = (I − Q̃T4 )−1 Q̃ = Q̃ (I − T4 Q̃ )−1
✲ −T4 (s) ✲ Σ
• Final structure is an LFT,
Hzw = LFTl (T , Q ), and because T4 v e
is zero, the closed loop transfer
matrix is T4 (s) ✲ Σ ✛
Hzw = T1 + T2 QT3
Q (s)
T (s)
w ✲ ✲z
✲ T̃ (s)
ẽ ❄
✲ −T4 (s) ✲ Σ
v e
T4 (s) ✲ Σ ✛
Q̃ (s) ✛
Q (s)
Problem
min kΦk
Q
where Φ = [φ1 , φ2 , . . . , φn ]
All that remains is to parameterize Q (s) so that the convexity is maintained. For
example
∞
X
Q (s, p) = pi ψi (s)
1
can characterize all stable Q (s) (e.g. Ritz-Galerkin approximation) where {ψi (s)}
provides an orthogonal basis. A finite truncation of the sequence can be used, i.e.
m
X
Q (s, p) = pi ψi (s)
1
• Resulting controllers are very high order (in theory infinite dimensional) and
often not practical
• Performance indices φi must be calculated to very high accuracy — time
consuming
• Method provides “Limitations of Performance”
• DC electro-magnetic
suspension uses attractive
forces of electro-magnets
acting upwards to levitate
vehicle towards steel
guideway
• High speed frictionless
transport — up to 500
km/hour
• Several operating Maglevs
including
Shanghai-Pudong, Aichi
Linimo and Incheon Airport
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 43/63
Control aims
passenger cabin
• EMS inherently unstable —
needs active control secondary
suspension
• must maintain airgap
chassis
between vehicle and
guideway guidance guideway
magnet
• ensure quality of ride
• avoid actuator saturation
levitation
magnet
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 44/63
Maglev Model
passenger
m2 ❄
x2 • dc electromagnet force:
cabin
2
K i (t )
F (i , z , t ) =
guideway 2 z (t )
c k
z ✻ ❄
h i is current
❄ F
• Control voltage:
m1 ❄
x1
chassis
d i (t )
v (t ) = Ri (t ) + K .
dt z (t )
mg
❄
R is total resistance
• Secondary suspension consisting of airsprings and hydraulic shock
absorbers — assumed linear
• h(t ) is disturbance resulting from variations in guideway profile
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 45/63
Performance for Maglev Suspension
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 46/63
Performance for Maglev Suspension
200
Guideway disturbance (mm)
150
100
50
−50
0 2 4 6 8 10 12
Time (sec)
Test input htest
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 47/63
Performance for Maglev Suspension
A maximum power spectral density Φmax (ω) of passenger cabin acceleration has
been recommended by US Department of Transportation as minimum ride quality
standard — performance functional is defined based on Φmax (ω)
5
10
Φhh (ω) = Av /ω 2
Acceleration psd
3
10
2 Av
Φẍ2 ẍ2 (ω) = |Tẍ2 h (ω)| ω2 . 0
10 0 1 2
10 10 10
Frequency (rad/sec)
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 48/63
The Design
• Air gap measurement z, and passenger cabin acceleration, ẍ2 , used for
feedback
• Weighting function configurations :
(s2 +p s+p )
W1 = p1 (s2 +p42 s+p53 )
(s+p )
W2 = diag p6 (s+p78 ) , p9
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 49/63
Objective functions
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 50/63
Problem
✲ W1 u✲ G y✲
W2 ✲
Problem for mixed optimization design of
Gs
EMS control system is to find p satisfying
the inequalities:
✲ W1 u✲ G y✲
W2
γ0 (p) ≤ ǫγ
Gs
and Ks ✛
φi (p) ≤ εi , i = 1, 2, . . . , 7 u ✲ G y
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 51/63
Solution
γ0 = 2.64 φ1 = 5.06 mm
2
φ2 = 391.4 mm/s φ3 = 201.9 V
φ4 = 4.38 mm φ5 = 291.1 mm/s2
φ6 = 33.6 V φ7 = 0.075
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 52/63
Nonlinear system responses to test input htest
Test input
200
Guideway disturbance (mm)
150
100
50
−50
0 2 4 6 8 10 12
Time (sec)
Airgap response to test input
4
2
Airgap (mm)
−2
−4
−6
0 2 4 6 8 10 12
Time (sec)
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 53/63
Nonlinear system responses to test input htest
100
−100
−200
−300
0 2 4 6 8 10 12
Time (sec)
Control voltage response to test input
60
Control voltage (volts)
40
20
−20
0 2 4 6 8 10 12
Time (sec)
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 54/63
Power Spectral Densities
5
10
4
10
Acceleration psd
3
10
2
10
1
10
0
10 0 1 2
10 10 10
Frequency (rad/sec)
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 56/63
Example References
• Dakev, N.V., J.F. Whidborne, A.J. Chipperfield & P.J. Fleming. 1997. “H∞
design of an EMS control system for a maglev vehicle using evolutionary
algorithms.” Proc. IMechE, Part I: J. Syst. & Contr. 311(4):345–355.
• J.F. Whidborne and S. Arunsawatwong. Design of a critical control system
using simulated annealing and mixed optimization. In 2nd Asian Control
Conf., pages I288–I289, Seoul, S. Korea, July 1997.
Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 57/63
Multi-objective optimization – References
• R.G. Becker, A.J. Heunis, and D.Q. Mayne. Computer-aided design of control systems via
optimization. IEE Proc.-D, 126(6):573–578, 1979.
• S. Boyd, C. Barratt, and S. Norman. Linear controller design: Limits of performance via convex
optimization. Proc. IEEE, 78(3):529–574, 1990.
• G.P. Liu, J.B. Yang, and J.F. Whidborne. Multiobjective Optimisation and Control. Research
Studies Press, Baldock, UK, 2002.
• Fonseca, C.M. & P.J. Fleming. 1995. “Multiobjective optimization and multiple constraint
handling with evolutionary algorithms – part I: a unified formulation.” IEEE Trans. Syst. Man &
Cybernetics – A 28(1):26–37.
• F.W. Gembicki and Y.Y. Haimes. Approach to performance and sensitivity multiobjective
optimization: the goal attainment method. IEEE Trans. Autom. Control, 20(8):821–830, 1975.
• D.P. Giesy. Calculation of Pareto-optimal solutions to multiple-objective problems using
threshold-of-acceptability constraints. IEEE Trans. Autom. Control, 23(6):1114–1115, 1978.
• G. Grübel, H.-D. Joos, M. Otter, and R. Finsterwalder. The ANDECS design environment for
control engineering. Proc. 12th IFAC World Congress, volume 6, pages 447–454, Sydney, 1993.
• J.G. Lin. Mutiple-objective problems: Pareto-optimal soultions by method of proper equality
constraints. IEEE Trans. Autom. Control, 21(5):641–650, 1976.
• A. Gambier & M. Jipp. Multi-objective Optimal Control: An introduction. Proc. 8th Asian Control
Conference (ASCC), Kaohsiung, Taiwan, 2011.
• K.F. Man, K.S. Tang, S. Kwong & W.A. Halang. 1997. Genetic Algorithms for Control and Signal
Processing. Advances in Industrial Control London, U.K.: Springer.
Multi-objective optimization for control design — References 58/63
Further references — theory
• A. Molina-Cristobal, I.A. Griffin, P.J. Fleming, and D.H. Owens. Linear matrix inequalities and
evolutionary optimisation in multiobjective control. Int. J. Systems Sci., 37(8):513 – 522, 2006.
• W.Y. Ng. Interactive Multi-Objective Programming as a Framework for Computer-Aided Control
System Design, volume 132 of Lect. Notes Control & Inf. Sci. Springer-Verlag, Berlin, 1989.
• I. Postlethwaite, J.F. Whidborne, G. Murad, and D.-W. Gu. Robust control of the benchmark
problem using H∞ methods and numerical optimization techniques. Automatica, 30(4):615–619,
1994.
• C.-C. Sun, H.-Y. Chung, and W.-J. Chang. H2 /H∞ robust static output feedback control design
via mixed genetic algorithm and linear matrix inequalities. ASME J. Dyn. Syst. Meas. & Control,
127(4):715–722, 2005.
• J.F. Whidborne, D.-W. Gu, and I. Postlethwaite. Simulated annealing for multi-objective control
system design. IEE Proc. Control Theory and Appl., 144(6):582–588, 1996.
• J.F. Whidborne, I. Postlethwaite, and D.-W. Gu. Robust controller design using H∞ loop-shaping
and the method of inequalities. IEEE Trans. Control Syst. Technology, 2(4):455–461, 1994.
• L.A. Zadeh. Optimality and non-scalar-valued performance criteria. IEEE Trans. Autom. Control,
8(1):59–60, 1963.
• V. Zakian and U. Al-Naib. Design of dynamical and control systems by the method of
inequalities. Proc. IEE, 120(11):1421–1427, 1973.
• O. Cifdaloz, M. Shayeb, R. Metzger, Y.-L. Yi, and A. Rodriguez. MIMO control system design for
aircraft via convex optimization. In Proc. 2003 Amer. Contr. Conf., pages 987–992, Denver, CO,
June 2003.
• B. Clement, G. Duc, and S. Mauffrey. Aerospace launch vehicle control: a gain scheduling
approach. Control Engineering Practice, 13(3):333–347, March 2005.
• T.R. Crossley and A.M.S. Dahshan. Design of a longitudinal ride-control systems by Zakian’s
method of inequalities. J. Aircraft, 19(9):730–738, 1982.
• G. Ferreres and G. Puyou. Flight control law design for a flexible aircraft: Limits of performance.
J. Guid. Control Dyn., 29(4):870–870, 2006.
• K. Fu and J.K. Mills. Integrated design of a quarter-car semi-active suspension system using a
convex integrated design method. Int. J. Vehicle Design, 42:328–347, 2006.
• E.H. Fung, Y. Wong, H.H.T. Liu, and Y. Li. Design of longitudinal system for a nonlinear F-16
fighter using MSS method. In Proc. 16th IFAC World Congress, Prague, July 2005.
• E.J. Hughes, A. Tsourdos, and B.A. White. Multiobjective design of a fuzzy controller for a
nonlinear missile autopilot. In Proc. IEEE Symp. on Comp. Aided Contr. Syst. Design (CACSD
2002), pages 15–20, Glasgow, UK, September 2002.
• D. Tabak, A.A. Schy, D.P. Giesy, and K.G. Johnson. Application of multiobjective optimization in
aircraft control systems design. Automatica, 15:595–600, 1979.
• O. Taiwo. Design of multivariable controller for a high-order turbofan engine model by Zakian’s
method of inequalities. IEEE Trans. Autom. Control, AC-23(5):926–928, 1978.
• O. Taiwo. Design of multivariable controllers for an advanced turbofan engine by Zakian’s
method of inequalities. ASME J. Dyn. Syst. Meas. & Control, 101:299–307, 1979.
• O. Voinot, D. Alazard, P. Apkarian, S. Mauffrey, and B. Clement. Launcher attitude control:
discrete-time robust design and gain-scheduling. Control Engineering Practice,
11(11):1243–1252, November 2003.