Optimal Satellite Formation Reconfiguration Based on Closed...

13
Abstract —In recent years, satellite formation flying has become an increasingly hot topic for both the astronomy and earth science commu- nities due to its potential merits compared with a single monolithic spacecraft system. This paper proposes a novel approach based on closed-loop brain storm optimization (CLBSO) algorithms to address the optimal formation reconfiguration of multiple satellites using two- impulse control. The optimal satellite formation reconfiguration is formulated as an optimiza- tion problem with the constraints of overall fuel cost minimization, final configuration, and collision avoidance. Three versions of CLBSOs are developed by replacing the creating opera- tor in basic brain storm optimization (BSO) with closed-loop strategies, which facilitate search characteristic capture and enhance the optimization performance by taking advantage of feedback information in the search process. Numerical simulations are carried out using particle swarm optimization (PSO), basic BSO, and the three versions of CLBSOs. Compari- son results show that all versions of CLBSOs outperform PSO and the original BSO in terms of final results and convergence speed. In addition, CLBSO reduces the computation burden and shortens CPU time to a certain extent in contrast with basic BSO. Further- more, among the three CLBSO algorithms, the one using the strategy of difference with the best Digital Object Identifier 10.1109/MCI.2013.2279560 Date of publication: 16 October 2013 Changhao Sun and Haibin Duan Science and Technology on Aircraft Control Laboratory, Beihang University (BUAA), Beijing 100191, P.R. CHINA Yuhui Shi Xi’an Jiaotong-Liverpool University, Suzhou 215123, P.R. CHINA Optimal Satellite Formation Reconfiguration Based on Closed-Loop Brain Storm Optimization © ARTVILLE & DYNAMIC GRAPHICS 1556-603X/13/$31.00©2013IEEE NOVEMBER 2013 | IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE 39

Transcript of Optimal Satellite Formation Reconfiguration Based on Closed...

Page 1: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

Abstract—In recent years, satellite formation flying has become an increasingly hot topic for both the astronomy and earth science commu-nities due to its potential merits compared with a single monolithic spacecraft system. This paper proposes a novel approach based on closed-loop brain storm optimization (CLBSO) algorithms to address the optimal formation reconfiguration of multiple satellites using two-impulse control. The optimal satellite formation reconfiguration is formulated as an optimiza-tion problem with the constraints of overall fuel cost minimization, final configuration, and collision avoidance. Three versions of CLBSOs are developed by replacing the creating opera-tor in basic brain storm optimization (BSO) with closed-loop strategies, which facilitate search characteristic capture and enhance the optimization performance by taking advantage of feedback information in the search process. Numerical simulations are carried out using particle swarm optimization (PSO), basic BSO, and the three versions of CLBSOs. Compari-son results show that all versions of CLBSOs outperform PSO and the original BSO in terms of final results and convergence speed. In addition, CLBSO reduces the computation burden and shortens CPU time to a certain extent in contrast with basic BSO. Further-more, among the three CLBSO algorithms, the one using the strategy of difference with the best

Digital Object Identifier 10.1109/MCI.2013.2279560Date of publication: 16 October 2013

Changhao Sun and Haibin Duan Science and Technology on Aircraft Control Laboratory, Beihang University (BUAA), Beijing 100191, P.R. ChinA

Yuhui Shi Xi’an Jiaotong-Liverpool University, Suzhou 215123, P.R. ChinA

Optimal Satellite Formation Reconfiguration Based

on Closed-Loop Brain Storm Optimization

© artville & dynamic graphics

1556-603x/13/$31.00©2013ieee NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe MagaziNe 39

Page 2: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

40 ieee COMputatiONal iNtelligeNCe MagaziNe | NOVeMBeR 2013

gains the best overall performance, which is inspired by the updating rule in PSO that each particle tends to move towards the individual with the best fitness.

I. Introduction

Satellite formation flying (SFF) is to place multiple satel-lites into nearby orbits forming a satellite cluster to achieve a common mission and has been identified as an enabling technology for many future missions of NASA

and U.S. Air Force [1]–[2]. In recent years, it has become an increasingly significant research topic for both the astronomy and earth science communities due to its well-known merits compared with a single monolithic spacecraft system for the same mission. By using a fleet of smaller satellites, SFF can reduce the total mission costs, provide greater launch flexibility, and offer a higher degree of system reliability and expandability in case of a single vehicle failure or mission changes.

This paper addresses the optimal trajectory planning in cooperative satellite formation reconfiguration, which refers to the problem of simultaneously determining optimal maneuvers for each satellite to reach a newly desired formation when an old formation needs to be modified due to different formation geometry requirements of different space missions. In view of the limited lifetime of a satellite, the range of spatial separation between satellites when they move in space during reconfigu-ration, and the geometry requirement of the space mission, it is important to consider the problem with the three constraints of overall fuel cost minimization, collision avoidance and the final configuration [3]. This problem has been handled from the perspective of convex optimization and several techniques have been applied to obtain optimal control strategies for reconfigu-ration in the presence of other vehicles in literature. The mixed-integer linear programming was applied to design fuel-optimal trajectories considering collision avoidance and plume impingement avoidance constraints in [4]. A direct optimiza-tion approach based on nonlinear programming was studied in [5] for the path planning of a projected circular orbit configu-ration of multiple satellites. A general framework based on the auction algorithm was developed in [6] to address the problem of determining the optimal assignment for transferring on-orbit satellites between different constellations such that the total VD for the reconfiguration is minimized. A novel sto-chastic solver, particle swarm optimization (PSO) [7]–[8], inspired by the random motion of bird’s food seeking, is used

in [9] with considerable success to solve the numerically difficult parameter optimization problems in the reconfiguration problem. In [10], an analytical fuel-optimal impulsive for-mation reconfiguration strategy in terms of relative orbital elements was presented, where the relative motion and orbit transfer condi-tions is re-parameterized in the form of rela-tive orbit elements. Other control methods have been studied in [11]–[15].

Swarm intelligence refers to the collective behavior of decentralized, self-organized natural or artificial systems [16]–[19], and has been attracting more and more attentions from researchers in both theory fields and applica-tion fields [20]–[24]. During the past two decades, a lot of swarm intelligence algorithms, which are inspired by swarm intelligence of objects such as birds, ants, bees, etc., have been proposed and studied, among which are PSO proposed by Eberhart and Kennedy [25]–[28]and improved by Shi [29]–[30], ant colony optimization (ACO) [31]–[32], and the artifi-cial bee colony (ABC) algorithm [33]–[34]. However, these swarm intelligence algorithms are based on the collective behavior of simple objects. A novel swarm intelligence algo-rithm, brain storm optimization (BSO), was developed by Shi in [35]–[36], which mimics the creative problem solving pro-cess in human beings by following such intelligent behaviors: when human beings are faced with difficult problems that a single person is incapable of solving, a group of persons from different backgrounds are gathered together to brainstorm in light of the four general rules outlined by Osborn [37]. A modified BSO was studied in [38], where two novel designs were proposed to improve the performance of the conven-tional BSO.

To enhance the existing technologies of optimal formation reconfiguration of multiple satellites, this paper proposes a novel closed-loop brain storm optimization (CLBSO) algo-rithm by incorporating feedback information into the creating operator of the basic BSO algorithm. As the only swarm intel-ligence algorithm mimicking the creative problem solving pro-cess of human beings, BSO possesses great potential to be a powerful and promising tool for solving optimization problems in real world applications. However, the weighting coefficient in the creating operator uses a fixed function and does not make use of any feedback information, which may not guaran-tee a perfect balance between population exploration and exploitation, thus providing room for development of a modi-fied BSO algorithm. The objective of the current paper is first to show the effectiveness and feasibility of the proposed CLBSO algorithm in solving the optimization problem related to multiple satellite formation reconfiguration with the con-straints of overall fuel cost minimization, final geometry requirement and collision avoidance, and second to compare its performance with the PSO algorithm and the basic BSO algo-rithm. Simulations are carried out using three and five satellites for different reconfiguration missions and results show that

In view of the limited lifetime of a satellite, the range of spatial separation between satellites when they move in space during reconfiguration, and the geometry requirement of the space mission, it is important to consider the problem with the three constraints of overall fuel cost minimization, collision avoidance and the final configuration.

Page 3: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe MagaziNe 41

CLBSO outperforms PSO and the basic BSO in terms of con-vergence speed and the final solution.

The rest of the paper is organized as follows. Section II pres-ents the problem formulation of satellite reconfiguration based on two-impulse control, where a description of the relative motion model between two satellites is first given and the for-mation reconfiguration problem is formulated as a constrained optimization problem. A brief review of the basic principles of the brainstorming process in human beings and the BSO algo-rithm is provided in Section III. Section IV studies the proposed CLBSO algorithm with different feedback strategies. Series of comparative experimental results are given in Section V, fol-lowed by conclusions and future work in Section VI.

II. Problem FormulationThis section presents the relative motion dynamics describing SFF and also two-impulse optimal control for solving the trajec-tory optimization problem of satellite formation reconfiguration.

A. Relative Motion DynamicsBased on the relative motion dynamics, the satellites are mod-eled as mass points and the orientation of the satellites is not considered. A rotating local-vertical-local-horizontal (LVLH) frame is defined to describe the relative motion dynamics with regard to the reference satellite, as shown in Fig. 1, where the leader (the reference satellite) is represented by L and F is the follower satellite. The LVLH frame is attached to the leader sat-ellite L, where the x-axis is in the radial direction, the z-axis is perpendicular to the orbiting plane and in the orbital angular momentum direction, and the y-axis is in the along track direction to form a right-hand coordinate system.

For the problem of interest in this paper, where the satellites are in close proximity, compared with the distance to the earth, the Clohessy-Wiltshire (CW) equation derived from the LVLH system and Newton’s laws is chosen as the most com-mon approximation to describe the relative motion dynamics between neighboring satellites. The model is also called Hill’s equation and expressed as [4]

x y x uy x uz z u

2 32

x

y

z

2

2

~ ~

~

~

= + +

=- +

=- +

p o

p o

p* (1)

where , ,x y and z are the relative positions of the follower sat-ellite F with respect to the reference satellite (i.e., the leader

satellite) L in the LVLH coordinate system, the parameter ~ is the mean orbit angular velocity of the leader satellite L, and

, ,u ux y and uz are control inputs in the x-axis, y-axis, and z-axis directions. The corresponding state space model is

X AX BU= +o , (2)

where [ , , , , , ] , [ , , ] ,X Ux y z x y z u u uTx y z

T= =o o o

,

.

A

B

000

300

000000

00000

100020

010

200

001000

000100

000010

000001

2

2

~

~

~

~=

-

-

=

R

T

SSSSSSS

R

T

SSSSSSS

V

X

WWWWWWW

V

X

WWWWWWW

In the SFF, the thrust-free periodic trajectory resulting from the solutions of the CW or Hill’s equation is expressed in

x

y z

O

F

L

Figure 1 Coordinate system for relative motion.

(a)

(b)

1000

-1000

-10001000

z/m

y/m

x/m

x/m

500

500

500

0

00

-500

-500 -500

-1000

1000

z/m

y/m

500

500500

0

0 0

-500

-500-500

Figure 2 Two common formation configurations in space. (a) Circle formation of satellites. (b) Elliptical formation of satellites.

Page 4: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

42 ieee COMputatiONal iNtelligeNCe MagaziNe | NOVeMBeR 2013

Eq. (3), which is often utilized to keep the formation configu-ration without additional control input once it is formed [4]

( ) ( ) ( )

( ) ( ) ( )

( )

( ) ( ) ( )

sin cos

sin cos

sin cos

x t x t xy

t xy

y t xy

t x t

x y t y x

z tnz t z t

32

2 2

2 32 2

3 2 2

00

00

0

00 0

0 0 00

00

~~

~~

~

~~

~~

~~

~ ~

= + - - + +

= + +

- + + -

= +

o o o

o o

oo

o

c c

c

c

m m

m

m

Z

[

\

]]]]]

]]]]

(3)

where [ , , , , , ]X x y z x y z T0 0 0 0 0 00 = o o o represents the initial state of

relative motion at .t0 The two commonly used formations are shown in Fig. 2.

theorem 1 [39]The trajectory (See Eq. (3)) of the relative motion is a closed ellipse, whose geometric center is (0, 0, 0), if the following ini-tial condition holds

/y xy x

22

0 0

0 0

~

~

=-

=

o

o' (4)

theorem 2 [39]The trajectory (See Eq. (3)) of the relative motion is a closed circle, with its geometric center ( , , )O 0 0 0= and its radius

( / ) ,r x x2 02

02

~= + o if the initial condition satisfies

/y xy xz xz x

22

33

0 0

0 0

02

02

02

02

~

~

=

=-

=

=

o

o

o o

Z

[

\

]]

]] (5)

B. Two-impulse Control Based Formation ReconfigurationFormation reconfiguration is the mapping from an old forma-tion to a new formation, which specifies an optimal satellite arrangement for the current space mission. Consider there are n satellites in the formation and the initial state of the i th satellite is

represented by [ , , , , , ] .X x y z x y zi i i i i i i T0 0 0 0 0 0 0= o o o As shown in Fig. 3,

the core of satellite formation reconfiguration based on two-impulse control is to choose the impulse time vector t i and the input values u i for each satellite , , ,…, ,i i n1 2= satisfying colli-sion avoidance constraints and minimizing the overall fuel cost.

In the problem formulation, [ , ], ,t t t t t T0 <i i i i i1 2 1 2# #=

represents the two impulse time instants of the i th satellite, T is the periodic time of the desired flying-around orbit, and the cor responding input value is represented by

[ , ],U Uu i i i1 2= where , , ,U j 1 2i

j= is the input vector of the

ith satellite at time .tij Assume that the initial state of the ith

satellite in the desired formation configuration is denoted by [ , , , , , ] ,X x y z x y zd

idi

di

di

di

di

di T= o o o which is on a thrust-free orbit

and is designed based on various space missions. To regulate satellite i from the initial state X i

0 to the desired state ,Xdi the

final configuration constraint should hold [39]

( ){ ( ) [ ( ) ] }BU BU XT t t t t Xi i i ii

i i di2 2 1 1

01 2U U U- - + + = , (6)

where the state transition-matrix ( )tU of system (see Eq. (2))without control is obtained from matrix A and is expressed by

( )ff

ff

t11

21

12

22U =; E

( ) ,

( )( )

,

( ) ,

.

f

f

f

f

cossin

cossin

coscos

sinsin

sincos

sincossin

sincos

cos

tt t

tt

tt

t tt

tt

ttt

tt

t

4 36

0

010

00

1 2 10

2 13 4

0

00

36 1

0

010

00

20

23 4

0

00

11

12

21

22

~

~ ~

~

~

~

~

~

~ ~

~

~

~

~

~

~

~

~

~

=

-

- +

= - +

-

- +

= - +

-

= - +

>

>

>

>

H

H

H

H

Given the fact that Xdi is on the thrust-free orbit with the

periodic time T , we have

( )X XT di

diU = . (7)

Combine Eqs.(6) and (7) and the constraint is finally written as:

( ) ( )X BU BUt t t 0ii

i i i i2

02 1 1 2U U+ - + = . (8)

Therefore, the control inputs are calculated from Eq. (8) for each [ , ],t t t t t T0 <i i i i i

1 2 1 2# #= [39]

( ) ( ( ) ( ) )

( ( ) ( ) ( ) )r v

r vU f f fU f f f U

t t t tt t t t

0 0

0 0

i i i i i

i i i i i i

112

1 2 111

212

2

221

222

222

2 1 1D D

D D=- - +

=- + + -

-

) (9)

As a critical requirement of satellite reconfiguration maneuver involving multiple satellites, collision avoidance constraints are considered in this paper, where every pair of satellites has to be at least a specified distance apart from each other during the

L

Figure 3 Formation reconfiguration of satellites.

Page 5: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe MagaziNe 43

maneuver process. Specifically, the collision avoidance con-straint is expressed in terms of a forbidden spherical area associ-ated with the satellite, whose center is the position of other sat-ellites and the radius is the minimum safety distance Rs in the three-dimensional space:

, , [ , , ..., ];r r R i j n i j1 2>ti

tj

s !!- (10)

where [ , , ]r x y zti

ti

ti

ti T= represents the position of the i th satel-

lite at discretized time .t The inequality should be satisfied throughout the whole maneuver process for collision avoid-ance and safety consideration.

The objective of the optimal formation reconfiguration is to choose the optimal time vector t i for each satellite, which guarantees the optimal trajectory leading to the desired forma-

tion configuration safely and with the minimum overall fuel cost, which is represented by the 2-norm of the input vector

.U jj 1

2

=/ Hence, the corresponding optimization problem can be formulated as

Umin, ,...t t t i

j

ji

n

1

2

12 n1

==

// ,

which is subject to the final configuration constraint (see Eq.(9)) and the collision avoidance (see Eq.(10)).

III. Brain Storm Optimization

A. Brainstorming of human BeingsAs a widely used tool for facilitating creative thinking and improving quality and quantity of ideas in organizations, brain-storming was first developed by Osborn in 1939, which was later systematized in his book Applied Imagination. In its original form, the brainstorming process refers to a group or individual creativity technique by which efforts are made to find a con-clusion for a specific problem by gathering together a group of people, especially with different backgrounds, to contribute spontaneously a list of great ideas for problem solving. As is

Table 1 Steps in typical brainstorming of human beings.

STEp 1 GaThEr ToGEThEr a Group oF around 12 parTiCipanTS wiTh aS diFFErEnT baCkGroundS aS poSSiblE To STarT brainSTorminG.

STEp 2 lET parTiCipanTS CrEaTE aS many SoluTionS aS poSSi-blE in aCCordanCE wiTh ThE Four GEnEral rulES.

STEp 3 havE SEvEral, SuCh aS 3 0r 5, CliEnTS aCT aS ThE own-ErS oF ThE problEm and piCk up onE idEa pEr ownEr aS bETTEr SoluTionS For problEm SolvinG.

STEp 4 ChooSE ThE idEaS piCkEd up in STEp 3 wiTh hiGhEr probabiliTiES aS CluES oF ThE problEm To CrEaTE morE idEaS.

STEp 5 randomly piCk up any idEa in ThE SpoT aS CluES To GEnEraTE morE idEaS.

STEp 6 makE ThE ownErS oF ThE problEm piCk up SEvEral bETTEr SoluTionS GEnEraTEd in STEp 4 and 5.

STEp 7 hopEFully wE Can obTain a Good EnouGh SoluTion by ConSidErinG and mErGinG ThE idEaS GEnEraTEd. oThErwiSE, rEpEaT STEpS 3–6 For ThE nExT SoluTion GEnEraTinG GEnEraTion.

Begin

Population Initialization

Clustering Individuals

Disrupting Cluster Centers

Updating Individuals

iter = 1

iter < iMAX?

iter = iter + 1

Y

N

Output

Figure 5 Flowchart of basic bSo.

Picked Up

Owner1 Owner2

Owner3

OOOOOOwOO

OOOOOOOOOOOwO

PicPicked Up

Picked Up

Cross-Fertilize

Cross-Fertilize

Cross-Fertilize

Figure 4 Typical brainstorming configuration.

Page 6: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

44 ieee COMputatiONal iNtelligeNCe MagaziNe | NOVeMBeR 2013

shown in Fig. 4, three ideas created respectively by three per-sons are chosen as better solutions to the problem to generate more ideas by cross-fertilizing. Moreover, the rest ideas are ran-domly chosen from the participants and are merged to generate as many ideas as possible.

It should be attributed to the following four general rules of brainstorming that the creative efficacy arises:1) Focus on quantity: Based on the assumption that the greater

the number of ideas generated, the higher the chance of pro-ducing a radical and effective solution. This rule aims to facil-itate problem solving through quantity breeding quality.

2) Withhold criticism: Instead of criticizing ideas generated, participants of brainstorming should focus on adding to ideas and reserving criticism for a later stage, by which participants will be unrestricted to generate unusual and creative ideas, with a higher probability.

3) Welcome unusual ideas: By viewing problems from differ-ent perspectives and suspending assumptions, participants can generate unusual ideas. These solutions are welcomed to get a good and long enough list of ideas.

4) Cross-fertilize: By simulating the building ideas with a process of association [40], this rule believes that better ideas may be obtained by combing through good ideas, as suggested by the slogan “ ”.1 1 22+

The steps included in a typical brainstorming process are illus-trated in Table 1 as below [36]:

B. Brain Storm Optimization AlgorithmMotivated by the intuitive belief that optimization algorithms inspired by human beings’ creative problem solving process should be able to solve optimization problems since human beings are the most intelligent creature in the world, Shi firstly proposed BSO in 2011 by modeling the human brainstorming process and creatively mapping it to the optimization field, whose effectiveness and usefulness is validated by ten bench-mark functions [35]–[36]. As shown in Fig. 5, there are mainly four operators in a basic BSO algorithm.

1) population initializationSimilar to cases in most swarm intelligence algorithms, an individual in the population is represented by a vector and is initialized uniformly and randomly within the solution space as

( )x x x xmin max minj j j j

m= + - , (11)

where xminj and xmax

j are the minimum and maximum values of the feasible solution’s j th dimension, and m is a random number uniformly distributed between 0 and 1. Each individ-ual is then evaluated by a fitness function ( ),f $ which tells the individual’s goodness and potential to be the optimal solution of the considered problem.

2) individual ClusteringIndividual clustering operation divides the population into dif-ferent groups according to individual features. By representing the problem owners by different groups and picked up ideas by group centers, the clustering algorithm facilitates the tradeoff between population divergence and algorithm convergence. In the basic BSO algorithm, individual position information and k-means clustering algorithm are used.

3) Cluster Center DisruptingCluster center disrupting operation randomly chooses a cluster center xc and replaces it with a randomly generated candidate solution according to

, if ( )

( ), otherwisex

xx x x

p p<

min max mincj c

ja

j j j1 5

m=

+ -) (12)

where p1 is a random number between 0 and 1. This operation should be implemented with a small probability ,p a5 as cluster centers are seen as the most promising candidate solutions to the considered problem and overly frequent center disruption will lead to bad performance.

4) individual updatingAs a step of the paramount importance in population evolution, the individual updating operator generates new ideas according to several predefined probabilities , ,p pb bi6 6 and ,p c6 where p b6 is related to the probability of whether one or two clusters are used to generate new individuals while p bi6 and p c6 are, respec-tively, the probability of creating new individuals by the selected cluster centers and by individuals randomly chosen in the selected clusters. Specifically, a new individual y i is generated by adding Gaussian noises to an old individual according to

( ) random( )y x t tij

ij

$p= + (13)

if the generated random number is less than p b6 and one cluster is chosen, where x i

j and y ij represent the j th dimen-

sion of the i th old individual x i and the i th new individual y i respectively; random( )t is a normal distribution function. Otherwise, a new individual is generated by combining two individuals (random individuals or cluster centers depending

0.9

0.8

0.7

0.6

0.5

0.4

0.3

0.2

0.1

00 10 20 30 40 50 60

t (Iteration Number)

p (

Wei

ghtin

g C

oeffi

cien

t)

70 80 90 100

Figure 6 Evolution curve of , , .t T k100 20p - =^ h

Page 7: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe MagaziNe 45

on a random number) from two clusters and adding Gaussian noises as

( ) random( )y x

x x xt ttemp

temp

ij j

jij

ij

1 1 2 2

$p

~ ~

= +

= +) (14)

where the combination operation of the two chosen individu-als x i

j1 and x i

j2 is realized by weighting summation using

coefficients 1~ and ,2~ which rep-resent the contribution of the two existing individuals respectively. To achieve a good balance between population exploration and exploi-tation, the weighting coefficient of Gaussian noise contribution to the new individual is expressed as

( ) sig random( )logtk

T tt2 $p =

-f p (15)

so that exploration is facilitated at the beginning of the search pro-cess while exploitation is facili-tated more and more as ( )tpdecreases as the search process moves on. In Eq. (15), logsig() is a logarithmic sigmoid transfer func-tion, t is the current iteration number, T is the maximum itera-tion number, and k is a pre-defined parameter for changing slopes of the function. Fig. 6 shows the evolution curve of ( )tp when T 100= and .k 20=

The steps of the basic BSO algorithm are described in details in Fig. 7.

C. Closed–Loop Brain Storm Optimization AlgorithmIn the basic BSO algorithm, a new idea is generated by adding random noises according to Eqs. (13) and (14), and the weighting coefficient of Gaussian noise contribution to the new individual ( )tp is expressed in Eq. (15). As illustrated in Fig. 6,

( )tp gains a large value in the beginning of the search process and gradually becomes small as the pro-cess moves on, which is consistent with the common intuition that more emphasis is put on explora-tion at the early stage for global search and more emphasis is put on

exploitation for local fine-tuning at the late stage [34]. How-ever, this mechanism is an open-loop system and does not take into account any feedback information, which may not capture the search characteristics well especially when dealing with optimization problems with significantly different varieties. From the perspective of control theory, replacing the open-loop mechanism with a closed-loop system may facilitate

Basic BSO algorithm

01 Begin

02 Population initialization

a) iter = 1;

b) Generate n candidate solutions randomly, each of which is represented by an

individual xi in the population X, i = 1, 2,…, n;

c) Evaluate each individual using the fitness function f;

While (iter<iMAX) //iMAX is the maximum iteration.

DO

03 Clustering individuals

1) Cluster the individual into to m (m < n) groups according to position information;

2) Rank the individuals in each group j and select the best individual as the group

center xcj in each group, where j = 1, 2,…, m;

04 Disrupting cluster centers

Randomly generate a number p1 between 0 and 1;

i) Ifp1 < p5a, randomly select a group j and replace the group center xcj with a

randomly generated individual;

ii) Else, go on;

05 Updating individuals

For each individual xi, i = 1, 2,…, n

1) Generate a random number p2;

i) Ifp2 < p6b, randomly select a cluster j with a probability p6bi proportional to

group individual numbers;

Generate a random number p3

a) Ifp3 < p6bii, generate a new individual yi by adding random noises to the jth

cluster center;

b) Else, generate a new individual yi by adding random noises to an individual

randomly chosen in the jth cluster

ii) Else, randomly select two clusters j1 and j2 with probabilities proportional to

group individual numbers;

Generate a random number p4

a) Ifp4 < p6c, generate a new individual yi by adding random noises to the

temporary individual created by combining the two cluster centers;

b) Else, generate a new individual yi by adding random noises to the temporary

individual created by combining two individuals randomly chosen from the

two clusters respectively;

2) Evaluate the new individual yi and replace the current individual xi if yi is

better than xi;

End of For

iter = iter + 1;

End of While

Figure 7 pesudo code of basic bSo.

Page 8: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

46 ieee COMputatiONal iNtelligeNCe MagaziNe | NOVeMBeR 2013

search characteristic capture and thus enhance the optimization performance.

In this section, we propose a closed-loop strategy based BSO (CLBSO), which generates new individuals by making use of feedback information and gains a better tradeoff between explo-ration and exploitation during the search process. Specifically, a new individual y i is generated by adding innovative information to an old individual xi according to

( ) random( ),x x xy tij

ij

rj

rj

1 2 $= + - (16)

where j is the dimension index, and xrj1 and xr

j2 are two

selected individuals to generate feedback information. In this

paper, three different strategies of selecting xr1 and xr2 are investigated:

1) Difference with the BestThe CLBSO algorithm using this updating strategy is called closed-loop brain storm optimization using difference with the best (CLBSO-DB), where xr1 is chosen as the best individual in the current population and xr2 is identical with .x i This mechanism is inspired by the updating rule of PSO, which mimics the natural phenomenon that each bird updates its position towards the one with the global best position.

2) Random SelectionIn this strategy, x j

r1 and x jr2 are two distinct individuals ran-

domly selected from the current population. The resulting algorithm is called closed-loop brain storm optimization using random selection (CLBSO-RS).

10460

470

480

490

500

Effi

cien

cy

510

520

530

20 30 40 50 60 70

Iteration

80 90 100

CLBSO-DBCLBSO-RGCCLBSO-RSBSOPSO

Figure 9 Convergence behaviors of ClbSo-db, ClbSo-rGC, Clb-So-rS, bSo and pSo averaged over 10 monte Carlo simulations in Scenario 1.

-1500

-20

00

Initial Orbit

Initial FormationDesired OrbitDesired Formation

Reference Satellite

2000

y/m

(a)

(b)

z/m

x/m1000

-1000

-500

-10

00 -10000

1000

-1500-1500

-1000

-1000

-500

-500

Initial Orbit

Initial FormationDesired OrbitDesired Formation

Reference Satellite

y/m

z/m

1500

1500

1000

1000

500

500

0

0

0

0

500

1000

1500

Figure 8 reconfiguration mission 1 for three satellites. (a) 3-dimen-sion. (b) 2-dimension.

Table 2 Scenario 1: Mission setting.

saTelliTe number

iniTial sTaTe( , , , , , )x y z x y zd d d d d do o o

Final sTaTe( , , , , , )x y z x y zd d d d d do o o

1 (-233.01, 499.90, -403.59, 0.2479, 0.4622, 0.4294)

(-533.01, 701.55, -923.20, 0.3479,1.0573, 0.6026)

2 (332.97, 153.62, 576.72, 0.0762, -0.6605, 0.1319)

(570.29, 572.40, 987.78, 0.2839, -1.1312, 0.4916)

3 (-99.97, -653.52, -173.16, -0.3241, 0.1983, -0.5613)

(-37.31, -1273.96, -64.62, -0.6318, 0.0740, -1.0942)

Table 3 Scenario 1: Average performance of different algorithms in 10 runs.

algoriThm

indicaTor

clbso

bso Psoclbso-db clbso-rgc clbso-rs

Cpu (s) 10.83 10.89 10.96 11.41 4.26

ConvErGEnCE SpEEd

46 68 70 85 90

CoST 1.8845 1.8842 1.8841 1.8871 1.9389

Table 4 Scenario 1: Optimal impulses for each satellite.

saTelliTe number

oPTimal imPulse

imPulse number

oPTimal imPulse(m/s)v u ,u ,u[ ],x y zD =

imPlemenT-ing Time t, (s)

1 1 (0.1570, 0.0001, 0.2666) 1200

2 (-0.1574, -0.0001, -0.2779) 4479

2 1 (-0.1570, -0.0001, -0.2658) 2249

2 (0.1575, 0.0001, 0.2789) 5541

3 1 (-0.2234, 0.0331, -0.4025) 273

2 (-0.0747, -0.0331, -0.1450) 6335

Page 9: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe MagaziNe 47

3) Random group CenterIn this strategy, xr

j1 and xr

j2 are two distinct individuals ran-

domly selected from the current group centers. The resulting algorithm is called closed-loop brain storm optimization using random group centers (CLBSO-RGC).

Eq. (16) may be better than Eq. (13) in capturing the real characteristics of human being’s brainstorming process for the following two considerations: firstly, the term ( )x xr

jrj

1 2- is large at the early stage of the search and more emphasis is put on the random noise for exploration; secondly, the difference between xr

j1 and xr

j2 increasingly decreases as the individuals

converge and the emphasis is transferred to exploitation for local refinement.

IV. Experimental Results and AnalysisIn this section, an optimal formation reconfiguration planning based on two-impulse control is examined using the proposed CLBSO algorithms with constraints of overall fuel minimiza-tion, final configuration, and collision avoidance. Equality and inequality constraints were derived in Section II to describe the mission objective of SFF reconfiguration. Both constraints of

1000

00

500

(a)

Time (s)

1000

1500

Sta

te D

evia

tion

(m)

2000

2500

2000

3000

4000

5000

6000

7000

8000

9000

1000

0

1000

00

500

(c)

Time (s)

1000

1500

Sta

te D

evia

tion

(m)

2000

2500

2000

3000

4000

5000

6000

7000

8000

9000

1000

0

1000

00

500

(b)

Time (s)

1000

1500

Sta

te D

evia

tion

(m) 2500

2000

3000

4000

5000

6000

7000

8000

9000

1000

0

CLBSO-DBCLBSO-RGCCLBSO-RSBSOPSO

ICC-BSOICC-PSO

ICC-CLBSO-DBICC-CLBSO-RGCICC-CLBSO-RS

CLBSO-DBCLBSO-RGCCLBSO-RSBSOPSO

ICC-BSOICC-PSO

ICC-CLBSO-DBICC-CLBSO-RGCICC-CLBSO-RS

CLBSO-DBCLBSO-RGCCLBSO-RSBSOPSO

ICC-BSOICC-PSO

ICC-CLBSO-DBICC-CLBSO-RGCICC-CLBSO-RS

Figure 11 Time responses for relative states and impulse control inputs for each satellite in Scenario 1. (a) Satellite 1. (b) Satellite 2. (c) Satellite 3.

Table 5 Scenario 2: Mission setting.

saTelliTe number

iniTial sTaTe x y z x y z( , , , , , )0 0 0 0 0 0o o o

Final sTaTe x , y , z , x , y , z( )d d d d d do o o

1 (-133.01, 499.90, -230.38, 0.2479, 0.2638, 0.4294)

(-633.01, 701.55, -1096.05, 0.3479, 1.2556, 0.6026)

2 (282.97, -19.58, 490.11, -0.0097, -0.5613, -0.0168)

(620.29, 745.60, 1074.38, 0.3697, -1.2304, 0.6404)

3 (-149.97, -480.31, -259.75, -0.2381, 0.2974, -0.4125)

(12.68, -1447.17, 21.97, -0.7177, -0.0252, -1.243)

(b)

-1500 -1000 -500

-1000

-500

x/m

z/m

1500

1000

10000 500

500

0

y/m

(a)

z/m

x/m

-1000-800

800

-600

600

-400

400

-200

2000

-500-1000

-500

5000

0500

1000

Figure 10 optimal trajectories of a reconfiguration for three satel-lites in Scenario 1. (a) 3-dimension. (b) 2-dimension on xy plane.

Page 10: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

48 ieee COMputatiONal iNtelligeNCe MagaziNe | NOVeMBeR 2013

the final configuration and collision avoidance are treated as penalty factors in the optimization problem.

Numerical simulations are carried out by using three and five satellites respectively to reach different configuration geometry requirements from the initial states. The final time T

is fixed as a single cycle time for all simulations. The initial and the desired configuration are both on circular orbits, which sat-isfy the constraints in Eq. (5). In all the simulations, the popula-tion sizes of different algorithms are set to be 40 and the maxi-mum iteration number is 100. All individuals are randomly initialized in the feasible solution space according to Eq. (11).

a. Scenario 1The mission parameters of the three satellites are given in Table 2. As shown in Fig. 8, the three satellites initially move on a circular orbit with the radius mr 683= forming an

Initial Orbit

Initial FormationDesired OrbitDesired Formation

Reference Satellite(a)

(b)

-1500-1500

-1000

-1000

-500

-500x/m

y/m

1500

1500

1000

1000

500

500

0

0

-2000

-20

00

Initial Orbit

Initial FormationDesired OrbitDesired Formation

Reference Satellite

2000

y/m

z/m

x/m

-1000

-1000

0

1000

0

0

1000

2000

Figure 12 reconfiguration mission 2 for three satellites. (a) 3-dimension. (b) 2-dimension.

100260

270

280

290

300

Effi

cien

cy

310

320

330

20 30 40 50 60 70

Iteration

80 90 100

CLBSO-DBCLBSO-RGCCLBSO-RSBSOPSO

Figure 13 Convergence behaviors of ClbSo-db, ClbSo-rGC, Clb-So-rS, bSo and pSo averaged over 10 monte Carlo simulations in Scenario 2.

(b)

-1000 -500

-1000

-500

y/m

z/m

1500

1000

10000 500

500

0

(a)

y/m

z/m

x/m

-1000

1000

-500

500

0

-500-1000

-500

5000

0500

15001000

Figure 14 optimal trajectories of a reconfiguration for three satel-lites in Scenario 2. (a) 3-dimension. (b) 2-dimension on yz plane.

Table 6 Scenario 2: Average performance of different algorithms in 10 runs.

algoriThm

indicaTor

clbso

bso Psoclbso-db clbso-rgc clbso-rs

Cpu (s) 11.33 11.18 11.39 11.39 4.37

ConvErGEnCE SpEEd

44 65 69 78 90

CoST 3.039 3.038 3.038 3.046 3.167

Page 11: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe MagaziNe 49

equilateral triangle in space. The desired formation is another equilateral triangle moving on a larger circular orbit, as illus-trated in Fig. 8(a) and the projection plot is given in Fig. 8(b). The formation reconfiguration problem is to cooperatively determine for each satellite an optimal trajectory leading to the desired state and configuration.

To eliminate influences of randomness of the methodol-ogy used, Monte Carlo simulations of 10 runs are carried out for each algorithm and the average convergence behav-iors of the algorithms, including the proposed CLBSO-DB, CLBSO-RS, CLBSO-RGC, basic BSO, and basic PSO, are shown in Fig. 9. It is apparent that different versions of BSO perform better than PSO in terms of final results and con-vergence speed, which should be attributed to the creative problem solving mechanism of BSO. Among the different versions of BSO, the modified versions succeed in improv-ing existing performance of basic BSO with a faster conver-gence speed and a better final result. This arises from the fact that the proposed closed-loop creating operator keeps a desirable balance between population diversity and conver-gence speed by making use of feedback information. In basic BSO, a new individual is created by adding random noises to the current individual, which is essentially based on an open-loop mechanism and cannot guarantee a stable search process. By introducing the feedback theory into the creating operator, CLBSO gets a much faster convergence speed and better global search ability, as each individual tends to search in a larger region for global exploration when the difference is obvious and search at a local level for convergence consideration when the difference is minor. Specifically, CLBSO-DB obtains the best solution within 40 iterations on average while CLBSO-RGC and CLBSO-RS reach the same result after about 70 iterations.

(a)

(b)

-1500-1500

-1000

-1000

-500

-500y/m

z/m

1500

1500

1000

1000

500

500

0

0

-1500

-20

002000

y/m

z/m

x/m10

00

-1000

-500

-10

00 -10000

1000

0

0

500

1000

1500

Initial Orbit

Initial FormationDesired OrbitDesired Formation

Reference Satellite

Initial Orbit

Initial FormationDesired OrbitDesired Formation

Reference Satellite

Figure 15 reconfiguration mission 3 for five satellites. (a) 3-dimension. (b) 2-dimension.

100260

270

280

290

300

Effi

cien

cy

310

320

330

20 30 40 50 60 70

Iteration

80 90 100

CLBSO-DBCLBSO-RGCCLBSO-RSBSOPSO

Figure 16 Convergence behaviors of ClbSo-db, ClbSo-rGC, Clb-So-rS, bSo and pSo averaged over 10 monte Carlo simulations in Scenario 3.

Table 7 Scenario 3: Mission setting.

saTelliTe number

iniTial sTaTe x y z x y z( , , , , , )0 0 0 0 0 0o o o

Final sTaTe x , y , z , x , y , z( )d d d d d do o o

1 (-233.01, 499.90, -403.59, 0.2479, 0.4622 0.4294)

(-533.01, 701.55, -923.20, 0.3479, 1.0573, 0.6026)

2 (165.72, 597.68, 287.03, 0.2964, -0.3287, 0.5134)

(168.91, 1230.63, 292.56, 0.6103, -0.3350, 1.0570)

3 (335.42, -130.53, 580.97, -0.0647, -0.6653, -0.1121)

(637.40, 58.99, 1104.00, 0.0293, -1.2643, 0.0507)

4 (41.58, -678.35, 72.01, -0.3364, -0.0825, -0.5826)

(225.00, -1194.17, 389.72, -0.5922, -0.4463, -1.0257)

5 (-309.72, -288.67, -536.46, -0.1432, 0.6144, -0.2479)

(-498.34, -796.94, -863.14, -0.3952, 0.9885, -0.6845)

Table 8 Scenario 3: Average performance of different algorithms in 10 runs.

algoriThm

indicaTor

clbso

bso Psoclbso-db clbso-rgc clbso-rs

Cpu (s) 17.35 17.41 17.44 17.45 6.82

ConvErGEnCE SpEEd

40 74 86 91 96

CoST 3.147 3.150 3.151 3.154 3.618

Page 12: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

50 ieee COMputatiONal iNtelligeNCe MagaziNe | NOVeMBeR 2013

Table 3 shows the key performance indicators of different algorithms averaged over 10 runs in solving the optimization of optimal satellite formation reconfiguration, where the convergence speed is represented by the corresponding itera-tion number and the cost means the overall fuel consump-tion. It can be observed that although different versions of BSOs have similar CPU time, the proposed CLBSO algo-rithms have a less computation cost compared with the orig-inal BSO. The underlying reason is that Eq. (13) involves log-arithmic sigmoid transfer function, Gaussian distribution function, random function, addition, subtraction, multiplica-tion, and division operators, while Eq. (16) involves random function, multiplication, and subtraction for generating inno-vative information. Compared with PSO, the family of BSO algorithms in this paper gains better final results at the cost of a heavier computation burden and a longer CPU time. This can be explained using the theorems of no free lunch for optimization: for any search/optimization algorithm, any

elevated performance over one class of problems is exactly paid for in performance over another class [41].

The optimal impulses and trajectories of reconfiguration are given in Table 4 and Fig . 10. In Table 4, each row corre-sponds to one impulse input and the optimal impulses and the implement time instants are presented in the right two columns. It can be seen from Fig. 10, the three satellites start from the initial formation (marked with green), move along the planned trajectory (marked with black), and reach the desired reconfiguration formation (marked with red). Fig. 11 illustrates state convergence behavior to the final states for each satellite of the various BSO and PSO optimization tech-niques used. For each satellite, the relative state to the final destination is represented by state deviation ,SD which is cal-culated at time t by

X XSDt ti

di

2ee ee= - (17)

Results show that all the three satellites reach the final states simultaneously and form the desired formation. The solid black lines representing satellite formation convergence behavior of PSO slightly deviate from those of various BSOs. It indicates that the family of BSOs used in the simulation has a similar formation reconfiguration transfer orbit, which is different from that of PSO. In addition, the impulse control command (ICC) intensity represented by ,v1000 2ee eeD where vD is the impulse control input vector of one satellite, is also shown by stem plots in Fig. 11. From Table 3 and Fig. 11, we can con-clude that the application of the family of proposed CLBSOs to satellite formation configuration reduces energy cost to a certain extent, compared with the basic BSO and PSO.

B. Scenario 2This simulation involves a different formation reconfiguration problem for three satellites, as shown in Table 5 and illustrated in Fig. 12, where the three satellites initially move on a circular orbit with a radius mr 566= forming an equilateral triangle in space and the objective reconfiguration formation is another equilateral triangle moving on a circular orbit with m.r 1447=

C. Scenario 3As shown in Table 7 and Fig. 15, five satellites are used in this numerical experiment to carry out the reconfiguration mission from the initial equilateral pentagon formation moving on a circular orbit with mr 683= to a new equilateral pentagon formation moving on another circular orbit with m.r 1276=

Through the simulation results of all scenarios, we can sum-marize that the proposed CLBSO algorithms succeeded in solv-ing the optimal satellite formation reconfiguration problems involving varying numbers of satellites and formation require-ments. The optimal overall fuel cost increases with the increase of the number of satellites in the mission, as shown in Table 3, 6 and 8. Specifically, of all algorithms used, CLBSO-DB has the best average performance in terms of convergence speed and fitness of final results, especially in Scenario 3 for formation reconfiguration of five satellites, as shown in Table 8 and Fig. 16.

(b)

-1000-1500 -500

-1000

-1500

-500

y/m

z/m

1500

1000

1500

10000 500

500

0

(a)

y/m

z/m

x/m

-1000

1000

-500

500

0

-500-1000

-500

5000

0500

1000

Figure 17 optimal trajectories of a reconfiguration for three satel-lites in Scenario 3. (a) 3-dimension. (b) 2-dimension on yz plane.

Page 13: Optimal Satellite Formation Reconfiguration Based on Closed …hbduan.buaa.edu.cn/papers/2013IEEE_CIM_Duan_Shi_Sun.pdf · 2020. 7. 3. · NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe

NOVeMBeR 2013 | ieee COMputatiONal iNtelligeNCe MagaziNe 51

V. Conclusions and Future WorkA novel brain storm optimization approach for the optimal formation reconfiguration of multiple satellites was presented in this paper. Three versions of CLBSOs were designed and applied to solve the optimization problem with the constraints of minimum overall fuel cost, the final configuration, and colli-sion avoidance. The constraints were derived for the final con-figuration to make all satellites form a circular orbit and an equilateral polygon in the space. The proposed method was simulated and results showed that:1) The proposed approach based on CLBSO could provide

desirable solutions for optimal reconfiguration of multiple satellites involving varying numbers of satellites and for-mation requirements in contrast with both basic BSO and PSO;

2) The proposed approach based on CLBSO reduces the heavy computational burden of the original BSO to a certain extent by using the new creating operators.

As a swarm intelligence algorithm inspired by human being’s problem solving process, BSO is still in its infancy. Compared with PSO, BSO has a heavier computational burden due to the application of clustering algorithms. Our future work will focus on the development of modified BSO with a lighter computational burden and its application to more real-world situations.

AcknowledgmentThis work was partially supported by Natural Science Founda-tion of China (NSFC) #61273054, 61273367, 61333004, and 60975080, National Key Basic Research Program of China under grant #2014CB046401, Program for New Century Excellent Talents in University of China under grant #NCET-10-0021, Top-Notch Young Talents Program of China,and Aeronautical Foundation of China under grant #20115151019.

References[1] F. H. Bauer, K. Hartman, J. P. How, J. Bristow, D. Weidow, and F. Busse, “Enabling spacecraft formation f lying through spaceborne GPS and enhanced automation technolo-gies,” in Proc. Institute Navigation-Global Positioning System Conf., Alexandria, VA, 1999, pp. 369–384.[2] F. H. Bauer, K. Hartman, and E. G. Lightsey, “Spaceborne GPS: Current status and future visions,” in Proc. Institute Navigation-Global Positioning System Conf., Alexandria, VA, 1998, pp. 1493–1508.[3] H. E. Park, S. Y. Park, and K. H. Choi, “Satellite formation reconfiguration and station-keeping using state-dependent Riccati equation technique,” Aerosp. Sci. Technol., vol. 15, no. 6, pp. 440–452, Sept. 2011.[4] A. Richards, T. Schouwenaars, J. P. How, and E. Feron, “Spacecraft trajectory plan-ning with avoidance constraints using mixed-integer linear programming,” J. Guid. Con-trol Dyn., vol. 25, no. 4, pp. 755–764, July/Aug. 2002.[5] H. L. Lim and H. Bang, “Trajectory planning of satellite formation f lying using nonlinear programming and collocation,” J. Astron. Space Sci., vol. 25, no. 4, pp. 361–374, Dec. 2008.[6] O. L. Weck, U. Scialom, and A. Siddiqi, “Optimal reconfiguration of satellite constella-tions with the auction algorithm,” Acta Astronaut., vol. 62, nos. 2–3, pp. 112–130, Jan. 2008.[7] H. B. Duan and C. H. Sun, “Pendulum-like oscillation controller design for micro aerial vehicle with ducted fan based on LQR and PSO,” Sci. China Technol. Sci., vol. 56, no.2, pp. 423–429, Feb. 2013.[8] H. B. Duan, G. J. Ma, and D. L. Luo, “Optimal formation reconfiguration control of multiple UCAVs using improved particle swarm optimization,” J. Bionic Eng., vol. 5, no. 4, pp. 213–225, Dec. 2008.[9] D. R. Jones and H. Schaub, “Optimal reconfigurations of two-craft Coulomb forma-tions along manifolds,” Acta Astronaut., vol. 83, pp. 108–118, Feb. 2013.[10] J. H. Wang, J. X. Zhang, X. B. Cao, and F. Wang, “Optimal satellite formation reconfiguration strategy based on relative orbital elements,” Acta Astronaut., vol. 76, pp. 99–114, July-Aug. 2012.

[11] A. Ajorlou, K. Moezzia, A. G. Aghdama, S. Tafazoli, and S. G. Nersesov, “Two-stage energy-optimal formation reconfiguration strategy,” Automatica, vol. 48, no. 10, pp. 2587–2591, Oct. 2012.[12] G. Q. Zeng, M. Hu, and H. Yao, “Relative orbit estimation and formation keeping control of satellite formations in low Earth orbits,” Acta Astronaut., vol. 76, pp. 164–175, July-Aug. 2012.[13] J. J. Xing, Y. J. Lei, W. K. Cheng, and G. J. Tang, “Nonlinear control of multiple spacecraft formation f lying using the constraint forces in Lagrangian systems,” Sci. China Technol. Sci., vol. 52, no. 10, pp. 2930–2936, 2009.[14] W. W. Cai, L. P. Yang, and Y. W. Zhu, “Formation keeping control through inter-satellite electromagnetic force,” Sci. China Technol. Sci., vol. 56, no. 5, pp. 1102–1111, May 2013.[15] Z. F. Gu, Z. K. Wang, and Y. L. Zhang, “Analysis of residual gas disturbance on the inner satellite of inner formation f lying system,” Sci. China Technol. Sci., vol. 55, no. 9, pp. 2511–2517, Sept. 2012.[16] H. B. Duan, S. Shao, B. W. Su, and L. Zhang, “New development thoughts on the bio-inspired intelligence based control for unmanned combat aerial vehicle,” Sci. China Technol. Sci., vol. 53, no. 8, pp. 2025–2031, Aug. 2010.[17] C. Gueret, S. Schlobach, K. Dentler, M. Schut, and G. Eiben, “Evolutionary and swarm computing for the semantic web,” IEEE Comput. Intell. Mag., vol. 7, no. 2, pp. 16–31, May 2012.[18] E. P. Tsang, “Applying computational intelligence: how to create value,” IEEE Com-put. Intell. Mag., vol. 5, no. 2, pp. 108–109, May 2010.[19] H. Muhleisen and K. Dentler, “Large-scale storage and reasoning for semantic data using swarms,” IEEE Comput. Intell. Mag., vol. 7, no. 2, pp. 32–44, May 2012.[20] C. F. Xu, H. B. Duan, and F. Liu, “Chaotic artif icial bee colony approach to unin-habited combat air vehicle (UCAV) path planning,” Aerosp. Sci. Technol., vol. 14, no. 8, pp. 535–541, Dec. 2010.[21] H. B. Duan, Y. P. Zhang, and S. Q. Liu, “Multiple UAVs/UGVs heterogeneous coor-dinated technique based on receding horizon control (RHC) and velocity vector control,” Sci. China Technol. Sci., vol. 54, no. 4, pp. 869–876, Apr. 2011.[22] S. Janson, D. Merkle, and M. Middendorf, “A decentralization approach for swarm intelligence algorithms in networks applied to multi swarm PSO,” Int. J. Intell. Comput. Cybern., vol. 1, no. 1, pp. 25–45, Jan. 2008.[23] J. Penders and L. Alboul, “Emerging robot swarm traff ic,” Int. J. Intell. Comput. Cybern., vol. 5, no. 3, pp. 312–339, 2012.[24] H. B. Duan, Q. N. Luo, Y. H. Shi, and G. J. Ma, “Hybrid particle swarm optimiza-tion and genetic algorithm for multi-UAV formation reconfiguration,” IEEE Comput. Intell. Mag., vol. 8, no. 3, pp. 16–27, Aug. 2013.[25] J. Kennedy and R. C. Eberhart, “Particle swarm optimization,” in Proc. IEEE Int. Conf. Neural Networks, Perth, Australia, 1995, pp. 1942–1948.[26 ] W. Jatmiko, K. Sekiyama, and T. Fukuda, “A PSO-based mobile robot for odor source localization in dynamic advection-diffusion with obstacles environment: Theory, simula-tion and measurement,” IEEE Comput. Intell. Mag., vol. 2, no. 2, pp. 37–51, May 2007.[27] S. J. Jeong, S. Hasegawa, K. Shimoyama, and S. Obayashi, “Development and in-vestigation of eff icient GA/PSO-HYBRID algorithm applicable to real-world design optimization,” IEEE Comput. Intell. Mag., vol. 4, no. 3, pp. 36–44, Aug. 2009.[28] J. L. Fernandez-Martinez and E. Garcia-Gonzalo, “Stochastic stability analysis of the linear continuous and discrete PSO models,” IEEE Trans. Evol. Comput., vol. 15, no. 3, pp. 405–423, June 2011.[29] Y. H. Shi and R. C. Eberhart, “Parameter selection in particle swarm optimization,” in Evolutionary Programming VII (Lecture Notes in Computer Science, vol. 1447). Berlin Heidelberg, Germany: Springer-Verlag, 1998, pp. 591–600.[30] Y. H. Shi and R. C. Eberhart, “A modified particle swarm optimizer,” in Proc. IEEE Int. Conf. Evolutionary Computation, Anchorage, AK, 1998, pp. 69–73.[31] M. Dorigo, V. Maniezzo, and A. Colorni, “The ant system: Optimization by a colony of cooperating agents,” IEEE Trans. Syst. Man. Cybern. B, vol. 26, no. 2, pp. 29–41, Feb. 1996.[32] C. H. Hsu and C. F. Juang, “Multi-objective continuous-ant-colony-optimized FC for robot wall-following control,” IEEE Comput. Intell. Mag., vol. 8, no. 3, pp. 28–40, Aug. 2013.[33] D. Karaboga, “An idea based on honey bee swarm for numerical optimization,” Eng. Faculty, Comput. Eng. Dept., Erciyes Univ., Kayseri, Turkey, Tech. Rep. TR06, 2005.[34] L. S. Coelho and P. Alotto, “Gaussian artif icial bee colony algorithm approach ap-plied to loney’s solenoid benchmark problem,” IEEE Trans. Magn., vol. 47, no. 5, pp. 1326–1329, May 2011.[35] Y. H. Shi, “Brain storm optimization algorithm,” in Proc. 2nd Int. Conf. Swarm Intel-ligence, 2011, pp. 303–309.[36] Y. Shi, “An optimization algorithm based on brainstorming process,” Int. J. Swarm Intell. Res., vol. 2, no. 4, pp. 35–62, Oct.-Dec. 2011.[37] A. F. Osborn, Applied Imagination, New York: Scribner, 1957.[38] Z. H. Zhan, J. Zhang, Y. H. Shi, and H. L. Liu, “A modified brain storm optimiza-tion,” in Proc. IEEE World Congr. Computational Intelligence, Brisbane, Australia, 2012, pp. 1–8.[39] Y. K. Zhang, “Study on dynamics and control technology of satellite formation f ly-ing,” Ph.D. dissertation, National Univ. Defense Technol., 2002.[40] A. F. Osborn, Applied imagination: Principles and Procedures Of Creative Problem Solving, 3rd ed. New York: Charles Scribner’s Sons, 1963.[41] D. H. Wolpert and W. G. Macready, “No free lunch theorems for optimization,” IEEE Trans. Evol. Comput., vol. 1, no. 1, pp. 67–82, Apr. 1997.