DEPLOYMENT CONSIDERATIONS FOR SPACECRAFT FORMATION AT SUN-EARTH L2 POINT
Gianmarco Radice Department of Aerospace Engineering University of Glasgow GLASGOW G12 8QQ UK
ABSTRACT
The coordination and control of a constellation of spacecraft, flying a few meters from one another, dictates several interesting design requirements, including efficient architectures and algorithms for formation acquisition, reorientation and resizing. The spacecraft must perform these transitions without interfering or colliding into each other. Furthermore position keeping is fundamental for formation efficiency. This paper presents an optimal deployment of the DARWIN formation using the potential function control technique in the vicinity of the Sun-Earth L2 point. The method hinges on defining a potential function from the geometric configuration of the constellation together with any collision avoidance requirement. A review of the fundamentals of relative motion and dynamics is presented before describing the features of the different control algorithms and validating the method using Lyapunov's theorem. The potential function method has been used to control both translational and rotational control. Obstacles, in the shape of other satellites and constrained payload pointing directions have been included. Finally it will be shown that the attitude control algorithm can successfully used to avoid plume impingement that can have catastrophic consequences for the mission.
INTRODUCTION
Over the past decade, the introduction of cost reduction policy by the major space agencies caused a paradigm shift in the design of scientific satellites, as the primary metric by which spacecraft were judged switched from purely performance to specific performance or performance per unit cost [Cyrus and Miller, 1997]. Several new technologies, including multifunctional structures, micro-electro-mechanical systems, nano-technology and distributed satellite systems, have the potential to revolutionise the field of satellite design. In particular in the field of distributed satellite systems, that is systems based on dividing the tasks among several light and small satellites, two approaches exist: constellations and formations. The difference between the two methods lies in the relative positioning between satellites. Constellations are positioned relative to an object, such as the Earth, while in formations spacecraft are positioned relative to each other. Each satellite communicates
with the others and shares the processing, communications, and payload or mission functions. Thus the cluster of satellites forms a "virtual satellite". This concept promises many benefits, including greater utility and flexibility by allowing the cluster to reconfigure and optimise its geometry for a given mission, enhanced survivability, and increased reliability.
In general terms, the formation-flying approach has the following advantages: the opportunity of completing space observation missions without large and expensive ground infrastructures, reducing operational costs. The deeper covering of the phenomena under observation, since different instruments, under different points of view, inspect it at the same time. By substituting one large complex satellite with a group of small satellites, a better flexibility is achieved, with the chance of reconfiguring the system in case of malfunction, thus avoiding the mission failure. The failure of one spacecraft will not compromise the mission. The employment of identical platforms within the constellation allows a standardisation of the manufacturing, thus reducing production costs. The system functionality is not extremely dependent from technology: it is possible to launch a temporary formation with state-of-the-art instruments and later increasing the system performance by adding one or more spacecraft to the formation. On the other hand, the development of formation-flying presents the following technological challenges: accurate sensors are needed to allow a precise determination of the state of the system in order to control the formation. High precision in spacecraft coordination is indispensable in order to avoid troubles linked with the reciprocal distances among the elements of the formation, most of all collisions between the satellites.
Current studies in spacecraft formation control vary from individual satellite control to the use of stochastic algorithms [Gurfil et al., 2002]. The main problem to be addressed in formation control is that of workload. For small, Earth centred formations, individual control is a viable options. As the satellite number and operational distance from Earth increase, methods that automate the control processes become a necessity. The method proposed here aims, to drastically reduce the workload required to control the formation. The potential function control method represents a means of both estimating the desired states of a spacecraft's location, and autonomously correct and control these states. It is based on Lyapunov's method for stability analysis and its efficiency in the problem of collision avoidance is due to the fact that it aims to avoid a particular condition rather than to reach a state of equilibrium.
FORMATION FLIGHT DYNAMICS
We will now introduce the model used for formation dynamics, including the simplifications used. We assume that the Sun-Earth system is not disturbed by the inclusion of a third infinitively small body. The whole system rotates with a constant angular velocity ro, about the barycentre G, the position of which is a function of the Earth mass mE and the Sun mass mS as shown in Figure 1. The Earth is in a circular orbit around the Sun at distance RES. Additionally, Sun and Earth are supposed to be perfect spherical bodies.
The acceleration of a spacecraft M in the inertial frame R0 is:
aM/ = aM/ + aM er/ + 2 ^v A VM/ [1]
/R 0 /R /R 0 /R 0 /R
where a denotes an acceleration , V a velocity and Q an angular velocity . In the local frame the acceleration becomes:
f x > ' Rgl2 + x ^ f z ^
aM/ = y -a2 0 - 2a 0 [2]
/R0 v z z V V-x J
where Rgl2 is the distance from G to L2.
Satellite
Figure 1: Geometric Configuration
The forces f acting on the spacecraft are gravitational attraction and non-Newtonian. Because of the small size of satellites we confuse their centre mass with their gravitational centre. Therefore the equations of motion of a satellite are:
V =-1^-iri+f [3]
r2 rJ
where and are respectively the earth and the sun gravitational constants. In component form the equations of motion become:
x -2a z -a2 (( + x) VE ( REL2 + x) + 3 r1 Vs ( RSL2 + x + 3 r2
y VE r1 VS +-r y r2
z +2ax -a2 z VE +^ z r1 VS + ^f z r2
= fx = f = f
[4]
where REL2 and RSL2 respectively the distances from the Earth and the Sun to the L2 point.
It is clear that these equations are non-linear as r1 and r2 hinge on the satellite position into the local frame. Moreover, the x and z variables are coupled whereas y is independent [Alfriend et al., 2002].
The majority of studies dealing with formation flying adopt linear equations of motion. The linearisation is very accurate since the distances of the satellites from the L2 point are very small compared to the distances between the L2 point and the Earth and the Sun [Hamilton et al., 2002].
The linearisation yields: •• •
x-2a z-(a)2 + 2^02)x=fx ••
y + M02 y = fy [5]
z+2ax+ (02-a2 )z=fz
with ^02
R R
JXSL2 -fVEL 2
Equation 5 will be used to model the relative motion of each satellite from the reference orbit.
THE POTENTIAL FUNCTION CONTROL METHOD
A dynamical system is stable, in the sense that it returns to equilibrium after any perturbation, if and only if, there exists a Lyapunov function; some scalar function V(x) of the state with the following properties:
Let x = f (x), f (0) = 0 and 0 eQc^ n. If there exists a C1 function V: Q ^ « such that:
1. V(0) = 0
2. V(x) > 0 for all x e Q, x * 0
3. V(x)< 0 for all x eQ
then x = 0 is locally stable. Furthermore, if
4. V(x) < 0 for all x e Q, x * 0
then x = 0 is locally asymptotically stable. This theorem can be easily modify by replacing (3) by V(x) > 0 for limited times, which implies that V(x) < 0 after a certain time and then the initial theorem is fulfilled.
The method then consists in controlling V to fulfil condition 3 of Lyapunov's theorem. The time derivative of V is:
V = VV • v [6]
where v is the velocity of the spacecraft. The velocity of the spacecraft will be controlled as:
= VV
Vdesired = ~^ ||V V|| ^
Where VV/||V V|| is the unit vector normal to the isopotential surface and k is a shaping parameter which regulates the amplitude of vdesired, which is then analytic. When the control is switched on, the time derivative of the potential function is forced to be equal to:
V = —k •||VV|| [8]
which is non-positive thus fulfilling Lyapunov's theorem. Thus the cluster converges to the goal position avoiding collisions. Through the desired velocity, the path followed by the satellite is completely defined by the potential function. To optimise the time of the deployment and the fuel consumption this function must be shaped cleverly. Also, the velocity desired must be obtained efficiently despite of bounded thrusters and imperfect sensors.
Translational Control
The component that controls the spacecraft translations will guide towards the goal positions while avoiding collisions. The attractive component, Va Trans is a function of the distance between the current spacecraft position and the desired final position while the repulsive component, Vrep Trans is a function of the current spacecraft position and the obstacle position:
Va Trans (r — rf ) Vrep Trans At 'e ^ ^ [9]
With r the current spacecraft position, rf the final position robs the obstacle position and AT and BT shaping parameters. One of the weak points of the potential function control method is the presence of saddle points in the potential function. The main problem consists in dimensioning the function around these points so that the satellites behave correctly there. We therefore develop a repulsive component that always maintains the same width. The parameter that controls the amplitude of the repulsive component now hinges on the distance from the target, rtarg, as well as the width of the
obstacle dobs:
At —
1 eBTdobs f
2 BT d obs
A
r +
targ ^
2BT dobs J
[10]
1
Rotational Control
The component that controls the spacecraft rotation will guide towards the desired attitude while avoiding any constrained directions. The attractive component, Va Rot is a function of the angular distance between the current spacecraft attitude and the desired final attitude while the repulsive component, Vrep Rot is a function of the current spacecraft attitude and the obstacle location:
Va Rot = 2y2 Vrep Rot = AR • e[11]
With Ar and BR are shaping parameters and:
Y — arccos(n p •n f ) 5 — arccos(n p •n 0bs) [12]
where nP is the unit vector along the payload axis, nf is the target unit vector and nobs is the unit vector along any avoidance directions. Once again we develop a repulsive component that always maintains the same width. The parameter that controls the amplitude of the repulsive component now hinges on the distance from the angular distance from the target, Ytarg, as well as the angular width of the obstacle £obs:
Ar =
1 g^R^ota f
2 Br^
A
Y
t arg
+ -
2 Br ¿obs y
[13]
1
In Figure 2.1 we see the avoidance action taken by two spacecraft on a colliding trajectory, while in Figure 2.2 we can see how the payload follows a trajectory from a random initial position to a desired target attitude, avoiding a constrained direction.
Figure 2.1: Translational manoeuvre Figure 2.2: Rotational manoeuvre
The Potential Function
We are now able to construct a Lyapunov function for each spacecraft that will guide them to their goal positions while avoiding collisions and avoiding restricted pointing directions. This function V consists of two components: attractive Va and repulsive Vrep. Moreover, as we have seen the attractive and repulsive components will be made up of two parts each to account for the positional and attitude requirements. The potential function therefore will be:
V = 2(r-rf )2 + AT • e-BT(r-r-)2+2r2 + Ar • e^ [14]
PLUME IMPINGEMENT AVOIDANCE
Spacecraft thrusters send gas streams of various species onto spacecraft surfaces. The plume of gas particles emitted by thrusters may cause contamination, degradation or damage to surface and can either directly or indirectly cause localized heating and contamination. Plumes and the resultant impingement phenomena are currently not well understood. Simple engineering models are used conservatively to estimate plume effects. The problem of plume impingement is a major concern for a cluster of spacecraft with close relative motion. The problem is compounded by the fact that when approaching each other, the spacecraft will have to fire the thrusters towards the incoming satellite to manoeuvre away from it. We intend to use the potential function method introduced earlier to
address and solve this problem. The idea is to impart an attitude to the satellite that places the other spacecraft in a cone, where there are no exhaust particles, as shown in Figure 3.
Figure 3: Plume Impingement Avoidance Cone
To achieve this we make use of the potential method, and in particular the attitude control component explained in the previous section. We consider two unit vectors, nt and ns, the first directed along the plume direction the second directed along the avoidance cone. The thrusters will then fire, if and only if, the plume lies outside the avoidance cone. In Figure 4 we can see that the method appears to be effective in avoiding plume impingement. At first two colliding spacecraft, decelerate their velocities, in Figure 4.1, before performing the avoidance manoeuvre, in Figure 4.2.
Spacecraft manoeuvering evolution
Spacecraft rnanoeuvering evolution
Figure 4.1: Plume impingement Figure 4.2: Plume impingement
during deceleration phase during avoidance phase
CONCLUSIONS
In this paper we have proposed some corrections to the traditional potential function control method. The strategies address the main drawback of such method, the presence of local minima. The methodology has been applied to a formation of spacecraft placed at the Sun-Earth L2 libration point. The control has been implemented for both translational and rotational movements, ensuring that the spacecraft reach the desired position with the required attitude. Obstacles, in the shape of other spacecraft or avoidance payload pointing areas have been accounted for in developing the
potential function. Finally, the method has been used to avoid the possibility of plume impingement with promising results.
REFERENCES
Alfriend, K.T., Yan, H., Vadali, S. R.: "Nonlinear Considerations in Satellite Formation Flying", AIAA/AASAstrodynamics Specialists Conference, Monterey, California, USA, 2002.
Cyrus, D.J., Miller, D.W.: "Satellite Design: Past, Present and Future", International Journal of Small Satellite Engineering, 1997.
Gurifl, P., Idan, M., Kasdin, J.N.: "Neurocontrol of Spacecraft Formation Flying in the Elliptic Restricted Three-Body Problem", AIAA/AAS Astrodynamics Specialists Conference, Monterey, California, USA, 2002.
Hamilton, N. H., Folta, D., Carpenter, R.: "Formation Flying Satellite Control Around the L2 Sun-Earth Libration Point", AIAA/AAS Astrodynamics Specialists Conference, Monterey, California, USA, 2002.