Professional Documents
Culture Documents
Institute of Automation, University of Magdeburg, Germany E-Mail: Binh@infaut - Et.uni-Magdeburg - de E-Mail: Korn@infaut - Et.uni-Magdeburg - de
Institute of Automation, University of Magdeburg, Germany E-Mail: Binh@infaut - Et.uni-Magdeburg - de E-Mail: Korn@infaut - Et.uni-Magdeburg - de
(current)
(soft) , including all hyperparallelograms for every in- known twopointscrossover recombination.
dividual and
(soft) .
By the selection the paretooptimality in the objective
Using this representation and the ranking algorithm (see function space is used. The algorithm concludes the as-
section 2.2), the life environment of the current popu- signing rank 1 to the nondominated individuals and
lation will be improved in every next generation by in- rank 2 to the other of the current population. After some
creasingly diminishing the current hyperparallelogram generations, the current population reaches a neighbour-
into
(soft) . In other words, we have the optimization hood of the set of paretooptimal solutions and the
process with the moving or dynamical boundaries of number of the noninferior individuals is, therefore, big
constraints (namely softconstraints). enough. A new problem with the approximation of a
continuum set (namely the set of paretooptimal so-
lutions) by the nite set (the current population with
2.2 Ranking the individuals the nite population size) appears here. Generally, the
best solution for this problem is not found. This situ-
In the evolution strategy it usually needs to choose the ation leads to the great unstability of the population
better individual from two (by the mutation and the in the next generations (that means the population will
reproduction) or from many individuals (by the selec- continueosly be moving on the surface of the pareto
tion). Without loss of generality, we consider only the optimal set). From this reason, a global picture of the
ranking between two individuals in the universe
(hard) . paretooptimal solutions can not be achieved in every
It can easily be generalized for the comparision of more generation.
individuals and for the universe
. To avoid it and to create the uniform distribution of the
To do it the following selection criterions are mentioned: current population on the tradeos surface we recom-
mend the following selection algorithm:
Criterion 1. An individual is said to be viable i it sat-
ises the current softconstraints
(current)
(soft) . Algorithm 1. Let
Criterion 2. When both the viable individuals either do (min) = (min f = (f1(min) ; ; fN(min))
not satisfy or satisfy the given softconstraints simulta- f 1 ; ; min fN )
neuosly, the ranking is based on the actual concept of (max) = (max f ; ; max f ) = (f (max) ; ; f (max) );
f 1 N 1 N
where the minimum and maximum operators are per- with the hard constraints:
formed along each coordinate axes of the objective func-
tion space for all individuals of the population. 0 x1 18 and 0 x2 18
Then, the current tradeos surface is bound in the hy-
perparallelogram H dened by f (min) and f (max). and the soft constraints:
Dividing each interval [fi(min); fi(max) ] into Npop small 0 x1 6 and 12 x2 18:
sections i , i. e.:
(max) (min) This optimization problem has the following special prop-
i = fi fi
: erties:
Npop
the objective function has 8 local minima and the
In the i-th coordinate axes of the objective function global minimum at the point x = (15; 3).
space, the best individual in each of NNpop not the point (15; 3) with the smallest value (f = 1)
+ k the rst of the objective function but the point x = (3; 15)
sections is selected, where k is an integer number. with the objective function value f = 4 must be
the global solution of the above optimization. In
other words, the global minimum of the optimiza-
3. SOME DEMONSTRATIONS tion without the softconstraints does not identify
to the one with the above softconstraints.
In this section, we would like to illustrate the eciency
of the new evolution strategy by the optimization of Starting at the point x = (15; 1) lying outside and far
some mathematical functions. Because their solutions from the feasible region:
are wellknown, then it can be good understood how
to handle the multiple objectives and constraints by fx 2 R2 : 0 x1 6 and 12 x2 18g;
the evolution strategy. By the application for the mul-
tiobjective control system design, to solve the socalled the current population should know that the point x =
IFAC93 Benchmark Problem (Whidborne and etc., 1995), (15; 3) is only a temporary goal until at least an (feasi-
we have got the results which are as good as in (Binh ble) individual reachs the feasible region. The starting
and Korn, 1996a) and (Binh and Korn, 1996b) but bet- population does not satisfy the given softconstraints,
ter than in (Whidborne and etc., 1995). i. e. it is not viable. To guarantee that it can be viable,
the current softconstraints have to be enlarged to the
region H0 :
3.1 The Multi Modal Function
fx 2 R2 : 0 x1 18 and 0 x2 18g:
The objective function is described as follows:
The evolution strategy shows that some feasible individ-
8 (x uals can be found after 8 generations and the correspon-
>> 1 3)2 + (x2 3)2 + 8 dent softconstraints region H8:
>> for 0 x1 6; 0 x2 6
>> (x1 3)2 + (x2 9)2 + 5
fx 2 R2 : 0 x1 16 and 2 x2 18g
>> for 0 x1 6; 6 x2 12
>> (x1 3)2 + (x2 15)2 + 4 is smaller than H0. In the 20-th generation the feasible
>> for 0 x1 6; 12 x2 18 region is found. The search for the desired global min-
>> (x1 9)2 + (x2 3)2 + 7 imum of the optimization problem begins at the 21-th
>< for 6 x1 12; 0 x2 6 generation, and successfully ends in the 36-th generation
f (x1 ; x2) =
(x1 9)2 + (x2 9)2 + 9 (see the Figure 1).
>> for 6 x1 12; 6 x2 12
>> (x1 9)2 + (x2 15)2 + 3
>> for 6 x1 12; 12 x2 18 3.2 The biobjective optimization
>> (x1 15)2 + (x2 3)2 + 1
>> for 12 x1 18; 0 x2 6 We consider the following biobjective optimization with:
>> (x1 15)2 + (x2 9)2 + 6
>> for 12 x1 18; 6 x2 12
( ) = x21 + x22 ;
>: (x1 15)2 + (x2 15)2 + 2 f1 x1; x2
for 12 x1 18; 12 x2 18 f2 (x1; x2) = (x1 5)2 + (x2 5)2;
The starting population The 8−th iteration
18 18
16 16
+4 +3 +2 +4 +3 +2
14 14
12 12
10 10
x2
x2
+5 +9 +6 +5 +9 +6
8 8
6 6
4 4
+8 +7 +1 +8 +7 +1
2 2
Start Point Start Point
0 0
0 2 4 6 8 10 12 14 16 18 0 2 4 6 8 10 12 14 16 18
x1 x1
16 16
+4 +3 +2 +4 +3 +2
14 14
12 12
10 10
x2
x2
+5 +9 +6 +5 +9 +6
8 8
6 6
4 4
+8 +7 +1 +8 +7 +1
2 2
Start Point Start Point
0 0
0 2 4 6 8 10 12 14 16 18 0 2 4 6 8 10 12 14 16 18
x1 x1
900 900
Start Point Start Point
800 800
700 700
600 600
f2
f2
500 500
400 400
300 300
200 200
100 100
0 0
0 200 400 600 800 1000 0 200 400 600 800 1000
f1 f1
900
Start Point
800 200
700
600 150
f2
f2
500
400 100
300
200 50
100
0 0
0 200 400 600 800 1000 0 50 100 150 200 250
f1 f1