Multi-objective optimization for control design James Whidborne - - PowerPoint PPT Presentation

multi objective optimization for control design
SMART_READER_LITE
LIVE PREVIEW

Multi-objective optimization for control design James Whidborne - - PowerPoint PPT Presentation

Multi-objective optimization for control design James Whidborne Centre for Aeronautics Cranfield University Sensors & their Application XVIII Queen Mary University of London 1213 September 2016 Outline Conflicts and Trade-offs in


slide-1
SLIDE 1

Multi-objective optimization for control design

James Whidborne

Centre for Aeronautics Cranfield University Sensors & their Application XVIII Queen Mary University of London 12–13 September 2016

slide-2
SLIDE 2

Outline

  • Conflicts and Trade-offs in Control Systems
  • Multi-objective Optimization Problem
  • Method of Inequalities (MOI)
  • Multi-Objective Genetic Algorithms (MOGA)
  • Mixed Optimization
  • Convex Multi-objective Optimization
  • Design Example - Maglev Suspension Controller Design
  • References

Slides will be available from

publi . ranfiel d. a . uk /eh 30 81 /

Multi-objective optimization for control design — 1/63

slide-3
SLIDE 3

Abstract Control system design solutions require the right balance between conflicting requirements such as cost, complexity, robustness and

  • performance. Hence to quantify the design process, it is often

appropriate to formulate control system design problems as multi-objective optimization problems. There are a number of different approaches to solving such problems. The presentation will introduce the concept of multiobjective optimization, and outline several approaches familiar to the presenter, including the Method of Inequalities, the Multi-Objective Genetic Algorithm and multiobjective convex optimization. Various tradeoffs in control design will also be explored, in particular those between the quality

  • f the sensors and the control system performance. The idea of

mixed-optimization is also introduced. The methods are illustrated with examples from flight control and maglev suspension control.

Multi-objective optimization for control design — 2/63

slide-4
SLIDE 4

Conflicts and Trade-offs in Control Systems

  • In general, engineering design consists of obtaining the right balance

between conflicting cost, design and performance requirements

  • There are trade-offs to be made between conflicting requirements
  • Hence to quantify design, it is appropriate to formulate problem as a

multi-objective problem

  • There exist trade-offs in control systems design

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 3/63

slide-5
SLIDE 5

Example - simple servo system

Consider a simple servo system with a proportional controller k with negative feedback

1 s(s+a)

k

✲ ✲ ✲ ✲ ✻ controller plant/motor reference

  • utput

+ − Design parameter is controller gain k

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 4/63

slide-6
SLIDE 6

Example - simple servo system

Plant: G(s) =

1 s(s+a)

Proportional controller k gives closed loop system: T(s) =

k s2+as+k

Fractional overshoot to step response: Mp = e−aπ/

√ 4k−a2

Time-to-peak tp =

2π √ 4k−a2 for k > (a2/4)

Time (sec.) Amplitude Step Response

5 10 15 20 25 0.5 1 1.5 From: U(1) To: Y(1)

Typical step response of second order system showing peak overshoot and time-to-peak

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 5/63

slide-7
SLIDE 7

Example - simple servo system

There is a trade-off between Mp and tp

10

−1

10 10

1

10

2

0.2 0.4 0.6 0.8 1

Mp k (log-scale)

10

−1

10 10

1

10

2

2 4 6 8 10

tp (sec)

Overshoot Mp and time-to-peak tp against k

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 6/63

slide-8
SLIDE 8

Example - simple servo system

0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 2 3 4 5 6 7 8 9 10

Mp tp (sec) Trade-off curve showing Mp against tp

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 7/63

slide-9
SLIDE 9

Sensor Noise versus Disturbance Trade-off

  • Most feedback control problems can be cast into architecture below
  • Considers effects of reference input, plant disturbance & sensor noise

R(s)

reference

+ −

✲ K(s)

controller

✲ U(s) G(s)

plant

+ +

❄ D(s)

disturbance

✲ Y(s)

  • utput

❄ ✛

+ + M(s) sensor noise

measured

  • utput

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 8/63

slide-10
SLIDE 10

The fundamental conflict

R(s)

+ −

✲ K(s) ✲

U(s) G(s)

+ +

D(s)

✲ Y(s) ❄ ✛

+ + M(s)

  • Error is difference between reference and output

E(T) = R(T) − Y(T)

  • Define sensitivity function S(s) & closed-loop transfer function T(s)

S(s) = 1 1 + G(s)K(s) T(s) = 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

slide-11
SLIDE 11

The fundamental conflict

  • Taking magnitudes

|E(s)| = |S(s)| (|R(s)| + |D(s)|) + |T(s)||M(s)|

  • To reduce error cause by R(s) and D(s) make |S(s)| small (in some sense)
  • To reduce error cause by M(s) make |T(s)| small (in some sense)
  • BUT

S(s) =

1 1+G(s)K(s)

and T(s) =

G(s)K(s) 1+G(s)K(s)

⇒ T(s) + S(s) = 1

  • Hence

|T(jω)| + |S(jω)| ≥ 1

Re Im T(s) S(s) 1

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 10/63

slide-12
SLIDE 12

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 plant disturbance rejection & reference tracking versus measurement noise filtering & stability robustness & control effort

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 11/63

slide-13
SLIDE 13

Fundamental conflict example - simple servo system

10-2 10-1 100 101 102

frequency, ω (rad/s)

0.5 1 1.5 2 2.5

magnitude, |·| |S(jω)| |T(jω)| |S(jω)|+|T(jω)| Sensitivities for Servo System (with 10% overshoot)

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 12/63

slide-14
SLIDE 14

Another Control Design Trade-off — Waterbed effects

Bode’s Sensitivity Integral states that the average of the logarithm

  • f the sensitivity is conserved.

If the sensitivity function is decreased at low frequencies, it must be traded-off for a larger sensitivity function at higher frequencies ✻ ✲ω

log |S(jω)|

❄ ◆ ❘ ✻ ✻ ✍

push down pop up

  • log|S(jω)|dω ≥ 0

Multi-objective optimization for control design — Conflicts and Trade-offs in Control Systems 13/63

slide-15
SLIDE 15

Multi-objective Optimization

  • Express design aims quantitatively as a set of n design objective functions

{φi(p) : i = 1 . . . n}, where p denotes the design parameter vector chosen by the designer

  • Formulate design problem as a multi-objective optimization problem

Problem

min

p∈P {φi(p), for i = 1 . . . n}

where P denotes the set of possible design parameters p

Multi-objective optimization for control design — Multi-objective Optimization 14/63

slide-16
SLIDE 16

Pareto-optimal solutions

  • In most cases, objective functions, φi, are in conflict, so the reduction of one
  • bjective function leads to increase in another
  • Result of multi-objective optimization known as a Pareto-optimal solution
  • Pareto-optimal solution has

property that it is not possible to reduce any one φi without increasing at least one other φi

  • Point lying in the interior of the

attainable set is sub-optimal, since both φ1 and φ2 can be both reduced

  • A solution to a multi-objective
  • ptimization problem is hence

generally not unique ✻ ✲ ✻ Attainable set φ1(p) φ2(p) Pareto

  • ptimal set

Multi-objective optimization for control design — Multi-objective Optimization 15/63

slide-17
SLIDE 17

Multi-Objective Design Approaches

  • Many approaches suggested in several disciplines
  • Non-linear programming — many approaches proposed, in particular, work of

Polak, Mayne and coauthors

  • Interactive multi-objective programming
  • Convex optimization
  • Some early software
  • DELIGHT — many of Polak and Mayne approaches
  • ANDECS — whole CACSD environment
  • QDES —- Boyd & Barratt approach to convex optimization
  • MOPS — Multi-Objective Parameter Synthesis — from DLR
  • MODCONS — mixed optimization — MATLAB Toolbox
  • MATLAB Optimization Toolbox (Goal Attainment method)
  • CONVEX CONTROL DESIGN TOOLBOX — MATLAB Toolbox from ONERA
  • Q-Synthese — convex optimization MATLAB Toolbox from Universität Kassel
  • Many modern packages have been developed for general problems

Multi-objective optimization for control design — Multi-objective Optimization 16/63

slide-18
SLIDE 18

Weighted Sum Gap

To solve problem, it is common to convert to a single objective optimization problem by use of a weighted sum objective function & use non-linear programming Φ(p) =

n

  • i=1

wiφi(p)

  • If some φi are not convex, then

parts of the Pareto optimal set may not be found for any wi

  • Convex problems pose few

difficulties in converting to single-objective problems ✻ ✲ φ1 φ2

Pareto

  • ptimal

curve duality gap weighted sum solutions

❃ ✾ ✙ ✌ ❄

Multi-objective optimization for control design — Multi-objective Optimization 17/63

slide-19
SLIDE 19

Minimax Problem

Also common to use a max objective function Φ(p) = max

i

wiφi(p)

  • Objective function is not everywhere differentiable — can cause problems
  • Many other formulations have been proposed — some maintain the genuine

multi-objective nature of problem

Multi-objective optimization for control design — Multi-objective Optimization 18/63

slide-20
SLIDE 20

Interactive Multi-objective Programming (IMOPS)

  • Generally, the multi-objective design process is interactive, with computer

providing information to designer about conflicting design requirements, and designer adjusting problem specification to explore the various possible solutions to problem

  • The design process is thus a two way process, with
  • 1. computer providing information to designer about conflicting design requirements
  • 2. and designer making decisions about ‘trade-offs’ between design requirements

based on this information as well as on the designer’s knowledge, experience and intuition about the particular problem

  • Designer supported by various graphical displays which provide information

about progress of the search algorithm and about conflicting design requirements

Multi-objective optimization for control design — Multi-objective Optimization 19/63

slide-21
SLIDE 21

Convex optimization

  • Many multi-objective problems can be posed as convex optimization

problems by using a Youla parameterization (Boyd & Barratt)

  • Efficient methods have been developed to solve such problems
  • Some multi-objective problems can be posed as linear matrix inequalities

(LMI’s) — some others as linear programming problems (Elia & Dahleh)

Multi-objective optimization for control design — Multi-objective Optimization 20/63

slide-22
SLIDE 22

Method of Inequalities (MOI)

Problem is expressed as a set of algebraic inequalities which need to be satisfied for a successful design

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

slide-23
SLIDE 23

MOI — Admissible Set

Any solution to the problem lies in the admissible set (the set of all solutions): {p : φi(p) ≤ εi, i = 1 . . . n} ✻ ✲ φ1 φ2

Pareto

  • ptimal

curve

ε1 ε2

admissible set

✾ ②

Multi-objective optimization for control design — Method of Inequalities (MOI) 22/63

slide-24
SLIDE 24

MOI — IMOPS Interface

Multi-objective optimization for control design — Method of Inequalities (MOI) 23/63

slide-25
SLIDE 25

Multi-Objective Genetic Algorithms (MOGA)

  • Design philosophy of MOGA differs

from MOI, in that a set of simultaneous solutions is sought, and designer then selects best solution from the set

  • Idea is to develop a population of

Pareto-optimal or near Pareto-optimal solutions ✻ ✲ φ1 φ2

Pareto

  • ptimal

curve

non-dominated solution dominated solution

× × × × × × ×

Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 24/63

slide-26
SLIDE 26

Multi-Objective Genetic Algorithms (MOGA)

  • Design philosophy of MOGA differs

from MOI, in that a set of simultaneous solutions is sought, and designer then selects best solution from the set

  • Idea is to develop a population of

Pareto-optimal or near Pareto-optimal solutions

  • However, to restrict the size of the

near Pareto-optimal set design goals are also incorporated in a similar way to the MOI

  • This formulation maintains the

genuine multi-objective nature of the problem ✻ ✲ φ1 φ2

Pareto

  • ptimal

curve

non-dominated solution dominated solution

× × × × × × × ε1 ε2

solution

Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 25/63

slide-27
SLIDE 27

MOGA Ranking

  • The MOGA is set into a

multi-objective context by means of the fitness function

  • Individuals are ranked on the basis
  • f the number of other individuals

they are dominated by for the unsatisfied inequalities

  • GAs are naturally parallel and

hence lend themselves well to multi-objective settings

  • Also work well on non-smooth
  • bjective functions – it is very easy

to extend GA’s to solve mixed continuous/integer problems

φ ε φ

i h j g f e d c a b

2

ε

2 1 1 Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 26/63

slide-28
SLIDE 28

Trade-off Diagram

1 2 3 4 5 6 7 Objective Cost

Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 27/63

slide-29
SLIDE 29

Example Solution

10

−5

10

−4

10

−3

10

−2

10

−1

10 20 40 60 80 100 120 140 ||R−Rq||∞ (log scale) Total number of bits for implementation 1 2 Multi-objective optimization for control design — Multi-Objective Genetic Algorithms (MOGA) 28/63

slide-30
SLIDE 30

Mixed Optimization

Analytical optimization techniques (e.g. H∞, LQG) generally

  • 1. have non-explicit closed-loop

performance,

  • 2. are single-objective,
  • 3. are robustly stable,
  • 4. provide high-order controllers,
  • 5. are not very flexible,
  • 6. provide a global optimum,
  • 7. can deal with relatively large

multivariable problems; Parameter optimization based methods (based on hill-climbing, GA’s etc)

  • 1. have explicit closed-loop performance,
  • 2. are often multi-objective,
  • 3. are not implicitly robustly stable,
  • 4. provide simple controllers,
  • 5. are flexible,
  • 6. are often non-convex resulting in local

minima,

  • 7. can deal with small problems only,
  • 8. may have difficulty stabilizing the

system.

Multi-objective optimization for control design — Mixed Optimization 29/63

slide-31
SLIDE 31

Mixed Optimization

  • A combination of analytical optimization and parameter search methods may

be able to overcome some of the limitations of using just one approach.

  • The basic idea is simple, and that is to use search methods to automate the

iterative procedure of designing the weighting functions and other design parameters to achieve the performance specifications for the system.

Multi-objective optimization for control design — Mixed Optimization 30/63

slide-32
SLIDE 32

Mixed Optimization – Overview

  • Design parameters in analytical optimization are often weighting functions —

e.g. LQR cost function: ∞ (x′(t)Qx(t) + u′(t)Ru(t)) dt design parameters are Q and R

  • Parameterize weighting functions by p and use MOI or MOGA to design p in

combination with optimal controller synthesis in mixed optimization approach

  • e.g. for nominal plant G(s) augmented by a set of nw weighting functions

W(s) = (W1(s), W2(s) . . . Wnw ) — controller Kmin(s, G, W) which is optimal in some sense can be synthesized — set of closed-loop performance functions φ of optimal control system can be computed

  • Parameterize weighting functions by the design vector p formulate as for MOI
  • r MOGA and use search algorithm to design p such that set of performance

criteria are satisfied

Multi-objective optimization for control design — Mixed Optimization 31/63

slide-33
SLIDE 33

Mixed Optimization - Early Examples

  • J.S. Baras, M.K.H. Fan, W.T. Nye, and A.L. Tits. DELIGHT.LQG: A CAD system for control

systems design using LQG controller structure. In 18th Annual Conf. on Inf. Sci and Syst., Princeton, NJ, 1984.

  • J.F. Whidborne, I. Postlethwaite, and D.-W. Gu. Robust controller design using H∞ loop-shaping

and the method of inequalities. Technical Report 92-33, Leicester University Engg Dept, Leicester, U.K., 1992.

  • W. Tych. Multi-objective optimisation technique for mapping the technical design objectives into

the values of the weighting matrices in the linear quadratic regulator design problem. Technical Report TR-117, Univ. Lancaster Centre for Research on Environmental Systems and Statistics, Lancaster, UK, 1994.

  • J.E. Paddison, R.M. Goodall, J. Bals, and G. Grübel. Multi-objective design study for a maglev

suspension controller using the databased ANDECS-MATLAB environment. In Proc. IEEE/IFAC

  • Symp. on Comp. Aided Contr. Syst. Design (CACSD’94), pages 239–246, Tuscon, USA, March

1994.

  • D. Haessig. Selection of LQR/LTR weighting matrices through constrained optimisation. In Proc.

1995 Amer. Contr. Conf., pages 458–460, Seattle, USA, 1995.

  • N.V. Dakev, J.F. Whidborne, and A.J. Chipperfield. H∞ design of an EMS control system for a

maglev vehicle using evolutionary algorithms. In Proc. GALESIA 95, pages 226–231, Sheffield U.K., September 1995.

  • J. King and B.A. White. Robust controller design using H∞ loop shaping with a genetic algorithm

multiobjective optimization. In Proc. 13th IFAC World Congress, page , San Fransisco, CA, June 1996.

Multi-objective optimization for control design — Mixed Optimization 32/63

slide-34
SLIDE 34

Mixed Optimization — Conclusions

  • Resulting controllers are moderately high order — controller order reduction

stage could be introduced

  • Problem is non-linear — local minima only found
  • Hill-climbing methods require accurate calculation of indices
  • GA’s inefficient but indices can be approximate (problem can be non-smooth)

e.g. mixed sensitivity H∞-optimal

Multi-objective optimization for control design — Mixed Optimization 33/63

slide-35
SLIDE 35

Convex Optimization

A function φ(p) is convex if for all p1, p2 ∈ P φ(λ1p1 + λ2p2) ≤ λ1φ(p1) + λ2φ(p2), λ1 + λ2 = 1,

  • Convex function
  • ptimization problems can

be solved relatively efficiently

  • Norms of convex functions

are also convex

  • Hence multiobjective

problems that are convex can be solved efficiently (by weighted sums, minimax, weighted squares etc) ✻ ✲ φ p p1 p2

φ(λ1p1 +λ2p2) λ1φ(p1) +λ2φ(p2)

Multi-objective optimization for control design — Convex Multi-objective Optimization 34/63

slide-36
SLIDE 36

Convex Problems

Many performance/robustness indices are convex e.g.

  • H∞-norms,

H2-norms, L1-norms, . . .

  • Time domain

specifications envelope

  • Frequency domain

specifications envelope

5 10 15

t

0.2 0.4 0.6 0.8 1 1.2 1.4

y(t) y1(t) y2(t) (y1(t)+y2(t))/2 bounds

Multi-objective optimization for control design — Convex Multi-objective Optimization 35/63

slide-37
SLIDE 37

Q-parametrization

  • Standard closed loop control

arrangement z = P11w + P12u e = P21w + P22u

  • Closed loop transfer function:

Hzw = P11 + P12K(I − P22K)−1P21

  • Not convex unless P22 = 0
  • Convexify by Q-parametrization

w ✲ z u K y ✛ ✲ ✲ P11 P12 P21 P22

Multi-objective optimization for control design — Convex Multi-objective Optimization 36/63

slide-38
SLIDE 38

Q-parametrization

  • stabilizing nominal controller Knom is

added

  • Controller F(s) is given as

F(s) = LFTl(Knom, ˜ Q)

  • But to make the problem convex,

transfer function Hev from v to ˜ e must be zero

  • Plant and nominal controller are

combined into a new transfer matrix ˜ T = LFTl(P, Knom) =:

  • T1

T2 T3 T4

  • P(s)

✲ Knom(s) ✛ ✲ ✲ ✲ ˜ Q(s)✛ w z u y v ˜ e ˜ T(s)

Multi-objective optimization for control design — Convex Multi-objective Optimization 37/63

slide-39
SLIDE 39

Convex Q-parametrization

  • Replace lower dotted block with

Q = (I − ˜ QT4)−1 ˜ Q = ˜ Q(I − T4 ˜ Q)−1

  • Final structure is an LFT,

Hzw = LFTl(T, Q), and because T4 is zero, the closed loop transfer matrix is Hzw = T1 + T2QT3 and is convex in Q ˜ T(s) ✲ −T4(s) Σ ✲ Σ ✲ T4(s) ˜ Q(s) ✲ v ˜ e ✲ ❄ w z e ✛ ✲ ✛ T(s) Q(s)

Multi-objective optimization for control design — Convex Multi-objective Optimization 38/63

slide-40
SLIDE 40

Observer structure Q-parametrization

˜ T(s) ✲ −T4(s) Σ ✲ Σ ✲ T4(s) ˜ Q(s) ✲ v ˜ e ✲ ❄ w z e ✛ ✲ ✛ T(s) Q(s)

Multi-objective optimization for control design — Convex Multi-objective Optimization 39/63

slide-41
SLIDE 41

Convex Control Problem Problem

min

Q Φ

where Φ = [φ1, φ2, . . . , φn] All that remains is to parameterize Q(s) so that the convexity is maintained. For example Q(s, p) =

  • 1

piψi(s) 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. Q(s, p) =

m

  • 1

piψi(s)

Multi-objective optimization for control design — Convex Multi-objective Optimization 40/63

slide-42
SLIDE 42

Convex Optimization — Conclusions

  • Resulting controllers are very high order (in theory infinite dimensional) and
  • ften not practical
  • Performance indices φi must be calculated to very high accuracy — time

consuming

  • Method provides “Limitations of Performance”

Multi-objective optimization for control design — Convex Multi-objective Optimization 41/63

slide-43
SLIDE 43

Some References

  • Boyd, S. & Barratt, C. Linear Controller Design: Limits of Performance,

Prentice-Hall, 1991 (convex MO optimization for control systems – can download from Boyd’s website)

  • Stephen Boyd and Lieven Vandenberghe Convex Optimization Cambridge

University Press 2004 (can download from Boyd’s website)

  • A. Linnemann. Convergent Ritz approximations of the set of stabilizing
  • controllers. Syst. Control Lett., 36:151–156, 1999.
  • 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.

  • C. Scherer, P. Gahinet, and M. Chilali. Multiobjective output-feedback control

via LMI optimization. IEEE Trans. Autom. Control, 42(7):896–911, 1997.

Multi-objective optimization for control design — Convex Multi-objective Optimization 42/63

slide-44
SLIDE 44

Example — Maglev Suspension Controller Design

  • 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

slide-45
SLIDE 45

Control aims

  • EMS inherently unstable —

needs active control

  • must maintain airgap

between vehicle and guideway

  • ensure quality of ride
  • avoid actuator saturation

passenger cabin chassis levitation magnet guidance magnet guideway secondary suspension

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 44/63

slide-46
SLIDE 46

Maglev Model m2 m1

❄ ✻ ❄ ❄ ❄ ❄ x2 h x1 F z

c k

mg

guideway passenger cabin chassis

  • dc electromagnet force:

F(i, z, t) = K 2 i(t) z(t) 2 i is current

  • Control voltage:

v(t) = Ri(t) + K d dt i(t) z(t)

  • .

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

slide-47
SLIDE 47

Performance for Maglev Suspension

Major disturbance from variations in guideway height: D = sup

  • ˙

h(t)

  • : t ≥ 0
  • = 30 mm/s

For all possible h(t) such that sup{

  • ˙

h(t)

  • : t ≥ 0} ≤ D

sup {|yi(t, h)| : t ≥ 0} = D ∞ |yi(τ, 1)| dτ yi(τ, 1) is unit step response of ith output of linearised closed-loop system Nominal performance functions are defined on the airgap, passenger acceleration and control voltage

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 46/63

slide-48
SLIDE 48

Performance for Maglev Suspension

For non-linear system performance, responses of airgap, passenger acceleration and control voltage to test input, htest(t), are calculated, and maximum absolute values determined

2 4 6 8 10 12 −50 50 100 150 200 Time (sec) Guideway disturbance (mm)

Test input htest

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 47/63

slide-49
SLIDE 49

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(ω)

  • The p.s.d. of track variations:

Φhh(ω) = Av/ω2 A depends on track quality, v is speed

  • p.s.d. of passenger cabin:

Φ¨

x2¨ x2(ω) = |T¨ x2h(ω)|2 Av ω2 .

10 10

1

10

2

10 10

1

10

2

10

3

10

4

10

5

Frequency (rad/sec) Acceleration psd

Max permitted power spectral density

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 48/63

slide-50
SLIDE 50

The Design

  • Air gap measurement z, and passenger cabin acceleration, ¨

x2, used for feedback

  • Weighting function configurations :

W1 = p1

(s2+p2s+p3) (s2+p4s+p5)

W2 =

diag
  • p6

(s+p7) (s+p8), p9

  • Secondary suspension stiffness and damping factors c and d are included as

design parameters p10 and p11

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 49/63

slide-51
SLIDE 51

Objective functions

Seven performance objective functions defined: φ1 = D ∞ |z(τ, 1)|dτ φ2 = D ∞ |¨ x2(τ, 1)|dτ φ3 = D ∞ |v(τ, 1)|dτ φ4 = max

t

{|z′(t, htest)|} φ5 = max

t

{|¨ x′

2(t, htest)|}

φ6 = max

t

{|v′(t, htest)|} φ7 = max

ω {Φ¨ x2¨ x2(ω) − Φmax(ω)}

Performance goals set: εγ = 5 ε1 = ε4 = 5 mm ε2 = ε5 = 500 mm/s2 ε3 = ε6 = 600 V ε7 = 0

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 50/63

slide-52
SLIDE 52

Problem

Problem for mixed optimization design of EMS control system is to find p satisfying the inequalities: γ0(p) ≤ ǫγ and φi(p) ≤ εi, i = 1, 2, . . . , 7 where γ0 is optimal H∞-norm used by McFarlane & Glover’s LSDP

W1 G W2 Gs

✲ ✲ ✲ ✲

u y W1 G W2 Gs

✲ ✲ ✲

u y Ks ✛ W1 G W2 K

✲ ✛ ✛ ✛

u y Ks

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 51/63

slide-53
SLIDE 53

Solution

  • Multi-objective simulated annealing was used to solve problem
  • Design vector found which met all design goals except φ1 and φ7, which were
  • nly marginally exceeded
  • Final performance objective functions:

γ0 = 2.64 φ1 = 5.06 mm φ2 = 391.4 mm/s2 φ3 = 201.9 V φ4 = 4.38 mm φ5 = 291.1 mm/s2 φ6 = 33.6 V φ7 = 0.075

  • Designed weighting functions:

W1 = 903.2 (s2+169.6s+485.4)

(s2+69.5s+488.3)

W2 =

diag
  • 426.9 (s+256.2)

(s+379.2), 3.23

  • Secondary suspension stiffness c = 90.3

Secondary suspension damping factors d = 20.0

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 52/63

slide-54
SLIDE 54

Nonlinear system responses to test input htest

2 4 6 8 10 12 −50 50 100 150 200 Time (sec) Guideway disturbance (mm) Test input 2 4 6 8 10 12 −6 −4 −2 2 4 Airgap response to test input Time (sec) Airgap (mm)

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 53/63

slide-55
SLIDE 55

Nonlinear system responses to test input htest

2 4 6 8 10 12 −300 −200 −100 100 200 Passenger acceleration response to test input Time (sec) Passenger acceleration (mm/sec/sec) 2 4 6 8 10 12 −20 20 40 60 Control voltage response to test input Time (sec) Control voltage (volts)

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 54/63

slide-56
SLIDE 56

Power Spectral Densities

10 10

1

10

2

10 10

1

10

2

10

3

10

4

10

5

Frequency (rad/sec) Acceleration psd

Passenger cabin psd (—–) and ride quality standard psd (· · · )

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 55/63

slide-57
SLIDE 57

Conclusions

Analytical optimization combined with MOI (mixed optimization):

  • Explicit closed loop performance
  • Multi-objective
  • Robustly stable
  • Flexible / interactive / trade-offs easily made
  • High order controllers

Multi-objective optimization for control design — Design Example — Maglev Suspension Controller 56/63

slide-58
SLIDE 58

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

slide-59
SLIDE 59

Multi-objective optimization – References

  • R.G. Becker, A.J. Heunis, and D.Q. Mayne. Computer-aided design of control systems via
  • ptimization. IEE Proc.-D, 126(6):573–578, 1979.
  • S. Boyd, C. Barratt, and S. Norman. Linear controller design: Limits of performance via convex
  • ptimization. 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
  • ptimization: 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

slide-60
SLIDE 60

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.

Multi-objective optimization for control design — References 59/63

slide-61
SLIDE 61

Applications references

  • 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.

Multi-objective optimization for control design — References 60/63

slide-62
SLIDE 62

Applications references

  • M. Jeanneau, J. Lamolie, G. Puyou, and N. Aversa. AWIATOR’s design of multi-objectives

control laws. In Proc. 16th IFAC World Congress, Prague, July 2005.

  • H.-D. Joos and R. Finsterwalder. Multiobjective design assessment and control law synthesis

tuning for flight control development. In Proc. IEEE Symp. on Comp. Aided Contr. Syst. Design (CACSD’99), pages 433–438, Kohala Coast, HI, August 1999.

  • G. Kreisselmeier and R. Steinhauser. Application of vector performance optimization to a robust

control loop design for a fighter aircraft. Int. J. Control, 37(2):251–284, 1983.

  • G.P. Liu, R. Dixon, and S. Daley. Multi-objective optimal-tuning proportional-integral controller

design for the ALSTOM gasifier problem. Proc. Inst. Mech. Eng. Part I-J Syst Control Eng., 214(16):395–404, 2000.

  • H.H.T. Liu. Multiobjective design for an integrated flight control system: a combination with model

reduction approach. In Proc. IEEE Symp. on Comp. Aided Contr. Syst. Design (CACSD 2002), pages 21–26, Glasgow, UK, September 2002.

  • G. Puyou, G. Ferreres, C. Chiappa, and P. Menard. Multiobjective method for flight control law
  • design. In Proc. AIAA Guidance, Navigation, and Control Conference, 2004.

Multi-objective optimization for control design — References 61/63

slide-63
SLIDE 63

Applications references

  • 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.

Multi-objective optimization for control design — References 62/63

slide-64
SLIDE 64

Summary

  • Considered the problem of trade-off in control design
  • Leads to design being formulated as a multi-objective optimization problems
  • Problem can be tackled using several methods including MOI, MOGA,

Convex Optimization & Mixed Optimization

  • Example of Mixed Optimization given

Slides will be available from

publi . ranfield.a .uk/eh 3081 /

Multi-objective optimization for control design — References 63/63