Professional Documents
Culture Documents
Metods Bjork PDF
Metods Bjork PDF
In this work, the end-of-life disposal of satellites in the Galileo constellation using low thrust propulsion is studied. Indirect opti-
mization methods are employed to design transfer maneuvers to remove the satellite from its original operational orbit into previously
computed orbits leading to its natural re-entry within 100 years due to lunisolar perturbation effects. The dynamics are formulated
using the modified equinoctial elements, which allow expressing the boundary conditions in a simple way at the cost of more com-
plex equations compared to the use of Cartesian coordinates. A special focus is placed in defining an efficient and robust algorithm
for solving the two point boundary value problem arising from the first order optimality conditions, including the integration of the
analytically-derived variational equations to obtain the State Transition Matrix, and the accurate detection of thrust-switching events.
The numerical results obtained for several test cases show the practical feasibility of this end-of-life disposal approach at thrust levels
compatible with electric thrusters likely to be used by the next generation of Galileo satellites.
Key Words: Trajectory Optimization, Space Debris, Low Thrust, Modified Equinoctial Elements
Nomenclature 1. Introduction
µ : Earth’s gravitational parameter The commercial use of space is expected to rapidly grow in
a : semi-major axis the coming years, including satellite constellations for diverse
e : eccentricity applications such as navigation, communications, Earth imag-
ω : argument of perigee ing or resource mapping. Given the increasing number of ob-
Ω : right ascension of the ascending node jects launched into orbit, a sustained, secure and profitable ex-
i : orbital inclination ploitation of space requires end-of-life (EoL) disposal strategies
θ : true anomaly to be applied. In the case of Medium Earth Orbit (MEO) regions
p : semilatus rectum two options are available: 1) move the satellites into graveyard
ex : modified orbital element orbits, 2) insert them into Earth re-entry paths. The latter shall
ey : modified orbital element be preferred as it physically removes the satellite, however it
hx : modified orbital element is generally associated with high ∆v and re-entry times (∼100
hx : modified orbital element m/s for a re-entry in 100 years). With current chemical propul-
L : true longitude sion systems this solution is not practical, but the scenario will
t : time change when fully-electric platforms will be utilized. This can
λ+ : costate associated to + be the case of the next generation satellites in the Galileo con-
s : state vector stellation.1, 18)
λ : costates vector The proposed low thrust maneuver aims to move the satel-
m : mass of the spacecraft lite from its original orbit into a new one leading to its re-entry,
T max : maximum available thrust but the particular positions at which the transfer starts and ends
Isp : specific impulse need not to be fixed. Therefore, this optimal control problem is
g0 : gravity acceleration at sea level more naturally expressed using an orbital elements-based for-
∆v : total impulse mulation, such as the modified equinoctial elements.6) How-
f : thrust throttling parameter ever, this choice introduces additional complications compared
α : thrust pointing unity vector to the classic Cartesian coordinates when solving the prob-
J : objective (cost) function lem using the indirect method. The well-known result of the
L : Lagrangian primer vector is no longer valid, and the straightforward ana-
H : Hamiltonian lytical derivation of the variational equations, required to ef-
Subscripts ficiently solve the associated two-point boundary value prob-
i : initial lem, becomes too cumbersome to be practical (even with sym-
f : final bolic manipulators). A careful treatment of the state and costate
equations is then needed to derive variational equations and to
develop an efficient and robust solver.
In this work, the design of low thrust EoL disposal trajecto- to-orbit boundary conditions as fixed values for some elements
ries for satellites in the Galileo constellation is studied, using of the initial and final states, rather than as nonlinear functions
the modified equinoctial elements to model dynamics and the of them. For a direct orbit, the MEEs can be related with the
indirect method to solve the associated optimal control prob- classical orbital elements as follows
lem. A set of previously computed orbits that exploit the luniso-
p = a 1 − e2
lar perturbation forces in the MEO region to naturally achieve
re-entry times within 100 years1, 2) are considered as candidate e x = e cos (ω + Ω)
arrival conditions, while the departure ones are given by the ac- ey = e sin (ω + Ω)
(1)
tual orbits of the Galileo constellation. The use of the modified h x = tan (i/2) cos (Ω)
equinoctial elements allows us to express the boundary condi- hy = tan (i/2) sin (Ω)
tions in a simple way, where all the initial and final elements
are fixed except for the true longitude (determining the partic- L = ω+Ω+θ
ular points in the initial and final orbits where the transfer ma- It is straightforward to check that p, e x , ey , h x and hy define the
neuver starts and ends respectively). This easier treatment of orbit, whereas L indicates the position of the spacecraft inside
the boundary conditions comes at the cost of more complex ex- it. By introducing
pressions for the two-point boundary value problem (TPBVP) h i⊤ h i
arising from the first order optimality conditions in the indirect s = p e x ey h x h y L , x= s m ,
method. A careful study of these equations and their behavior is as well as the control vector
then performed to implement an efficient and robust solver for h i⊤
the TPBVP following the structure in 7), including the integra- u= f α
tion of the analytically-derived variational equations to obtain where f ∈ [0, 1] is the thrust throttling parameter and α the
the State Transition Matrix and the accurate detection and treat- thrust pointing unitary vector, the equations of motion, includ-
ment of thruster-switching events. Finally, a representative set ing the mass equation, take the form
of test cases for different initial and final orbits is studied using T
this solver. B f max α + A
ẋ = F (x, u, t) :=
m
(2)
2. Problem Statement T max
− f
c
2.1. Galileo disposal where
Galileo is the Global Navigation Satellite System currently c = Isp g0
being developed by the European Union and the European
Space Agency.17) Once completed, it will consist of 24 satel- h p i⊤
A= 0 0 0 0 0 W 2 µ/p3
lites plus 6 spares, located in three MEO planes at an altitude of
23, 222 km and an orbital inclination of 56 deg. 2p
0 0
Recent works by Armellin et al.1, 2) have studied the pos- W
1 e
sin L [(W
h + 1) cos L + e xi] − Wy K
sibility of leveraging lunisolar perturbation effects to achieve W
r 1 ex
p − cos L (W + 1) sin L + ey WK
the EoL disposal of Galileo satellites through a single impul- B= W
s2 cos L
sive maneuver placing the satellite in a new orbit that leads to µ 0 0 2W
s2 sin L
its natural re-entry within a 100 years timespan. Although ef- 0 0 2W
K
fective, this strategy has the drawback of requiring ∆v levels 0 0 W
impractically high for the impulsive thrusters currently used in with
Galileo. However, this limitation may be removed in the future
W = 1 + e x cos L + ey sin L
generations of Galileo satellites, which are expected to feature
electric thrusters18) such as the T6 from QinetiQ.3–5) K = h x sin L − hy cos L
This work extends the previous Galileo disposal studies by s2 = 1 + h2x + h2y
replacing the impulsive maneuver with a minimum-fuel low
2.3. Indirect optimization method
thrust transfer between the operational and disposal orbits, for
Indirect optimization methods are based on deriving the first
values of T max and Isp typical of the T6 ion engine.4, 5) Note that
order optimality conditions for the problem using the calculus
only the departure and arrival orbits need to be imposed, not the
of variations. This leads to a TPBVP in the state and its associ-
actual position of the spacecraft on them. For simplicity, the de-
ated costates, which normally has to be solved using numerical
parture position and mass will be considered fixed from now on,
methods.
whereas their final values are set free. Because the duration of
Although the aim of the study is to design minimum fuel
the maneuver is very short compared to the re-entry time (tens
transfers, this task cannot be tackled directly. First of all, a
of days versus a hundred years), a model including only Earth’s
minimum-time solution is needed to determine the feasible re-
central attraction and the thrust acceleration is used.
gion for the time of flight. The objective function for this
2.2. Equations of motion
minimum-time problem takes the form
The dynamics are formulated using the modified equinoctial
tf tf
elements (MEEs).6, 8–10) Compared to Cartesian coordinates,
Z Z
Jˆ = 1 dt = L̂ dt . (3)
these have the key advantage of allowing to express the orbit- ti ti
Secondly, the bang-bang structure of minimum-fuel solutions This expression for the thrust orientation is notably more com-
introduces discontinuities that severely affect the performance plex than the primer vector in Cartesian coordinates,14) and con-
of numerical solvers. This issue can be addressed by following stitutes one of the main drawbacks of using the MEEs. Substi-
a homotopic approach.7, 11) To this end, an objective function J tuting α∗ back into Eq. (7) yields
dependent on an homotopy parameter ε is defined as follows T max
H = λs · A + f S − ε + εf (9)
Z tf Z tf c
T max
where a switching function S has been introduced as
J= f − ε f (1 − f ) dt = L dt , ε ∈ [0, 1]
c ti ti
(4) c λ⊤s BB⊤ λs
S =− − λm + 1 (10)
Note that the two limit values 0 and 1 of the homotopy pa- m ||B⊤ · λs ||
rameter correspond, respectively, to the minimum-fuel and It is now straightforward to analytically find the minimum of
minimum-energy. Then, the homotopic approach would consist H with respect to f by deriving and equating to zero, which
on solving the (easier) minimum-energy problem first, and then leads to f = (ε − S )/2ε. However, because f is limited to the
performing a continuation in ε until the minimum-fuel solution range [0, 1], the optimal throttling takes the form of a piecewise
is reached. function
The Hamiltonian for the minimum-energy/fuel problems is12)
0 for S > ε
f∗ =
(ε − S ) /2ε for −ε≤S ≤ε (11)
H = λ·F+L (5)
1
for S < −ε
where the value of the switching function allows determining
where λ = [λs λm ] is the vector of costates, with λs =
the operation mode for the thruster: off, intermediate, or full
[ λ p λe x λey λh x λhy λL ]. Note that the Hamiltonian for the
on. Note that in the minimum-fuel case ε is zero and the inter-
minimum-time problem will have the same structure, simply
mediate region vanishes, so leading to a bang-bang profile.
replacing L with L̂. The differential equations governing the
Regarding the minimum-time problem, the expression for α∗
evolution of the costates can be obtained by imposing the first
in Eq. (8) still holds, and the Hamiltonian takes the form
order optimality conditions derived from the calculus of varia-
tions,12) leading to: T max
Ĥ = λs · A + f Ŝ + 1
c
∂H with switching function
λ̇ = − (6)
∂x c λ⊤s BB⊤ λs
Ŝ = − − λm (12)
The boundary conditions for the costate depend on the m ||B⊤ · λs ||
boundary conditions imposed to the state. In particular, the ini- Therefore, throttling factor should be 1 (full on) for Ŝ < 0, and
tial (or final) value of a costate component will be zero if the 0 (off) for Ŝ > 0. Moreover, it is possible to check from Eq. (6)
corresponding initial (or final) state is free, and an unknown pa- that λm ≥ 0 for the minimum-time problem with free final mass
rameter otherwise.12) Since only the final true longitude and (because λ̇m = −∂m Ĥ < 0 and the free final mass condition
mass are free, the costates associated to L and m will be zero at implies λm (t f ) = 0), leading to Ŝ < 0 for t ∈ [ti , t f ]. As a
tf consequence, f will always be 1 for minimum-time problems.
Additionally, the extra degree of freedom in the minimum-time
λL t f = 0 , λm t f = 0 , problem (t f is unknown) requires
the introduction of a transver-
sality condition12) setting Ĥ t f = 0.
whereas the rest will be unknowns parameters of the TPBVP.
Gathering all the previous developments, the TPBVP derived
Note that, same as with the state, the use of MEEs allows to
from the first order optimality conditions for the minimum-
express the boundary conditions in a simple way.
energy/fuel problems can be stated as follows: to find the λi
Control variables f and α can be expressed as functions of
that satisfies the shooting function
the state and costate by applying the Pontryagin Maximum
Principle,13) which states that the optimal control for a given p t f − p f
optimal trajectory is the one that leads to an extreme value (in
e x t f − e x f
this case a minimum) of H over the set of admissible controls.
ey t f − ey f
Gathering the terms involving control variables in Eq. (5) one
reaches h x t f − h x f = 0 ,
Z (λi ) = (13)
hy t f − hy f
T max c
H = λs · A + f λs Bα − λm + 1 − ε (1 − f ) (7) λL t f
c m
λm t f
Because f T max /c is always semi-positive, minimizing the
where the mappings x t f ; xi , λi , ti and λ t f ; xi , λi , ti come
Hamiltonian with respect to α amounts to choosing its value
from the integration of Eqs. (2) and (6) with the controls
so that the first term inside the brackets is as small as possible.
u∗ = f ∗ α∗ derived from the PMP in Eqs. (8) and (11). The
This leads to:
minimum-time problem presents the same structure, introduc-
B⊤ · λs ing an additional unknown, t f , and associated algebraic condi-
α∗ = − (8)
||B⊤ · λs || tion, Ĥ t f = 0, and setting f ∗ = 1 for all t.
2.4. Algorithmic implementation Table 1. Environmental, thruster and spacecraft parameters.
The previous TPBVP is to be solved numerically using an Parameter Value
adequate scheme. In this work a classic multiple shooting al- µ [km3 /s2 ] 398600.433
gorithm is employed, with a third-party root finder (Matlab’s g0 [m/s2 ] 9.807
fsolve and its Trust-Region-Dogleg algorithm) and a custom Isp [s] 4000
Runge-Kutta Felhberg 7(8) propagator. mi [kg] 675
One key aspect regarding the propagator is the need to ac-
Table 2. Departure orbital elements for all test cases.
curately locate the thrust switching events, that is, when the
Orb. Elems. Departure
thruster should change its operation mode according to Eq. (11).
a [km] 29598.896
To do this, we search for any change in the operation mode asso-
e [−] 0.000173
ciated to the value of S at both ends of a successful integration
i [deg] 54.982
step. If a change is detected it means a switching event takes
Ω [deg] 203.549
place at an intermediate point inside the step, and the zero tswitch
ω [deg] 272.857
for the switching function is sought for using Newton’s method.
θ [deg] 166.269
Because the convergence of Newton’s method inside the inter-
val cannot be guaranteed in general, a fall-back algorithm based Table 3. Arrival orbital elements for each test case.
on a combination of modified regula falsi (Anderson-Björk ver- Orb. Elems. Case 1 Case 2 Case 3
sion) and bisection is also implemented. The initial guess for a [km] 31862.568 33006.338 33249.803
Newton’s method is obtained using the values of S and its first e [−] 0.071201 0.103189 0.109737
derivative with respect to t at both endpoints of the step to con- i [deg] 54.993 54.986 55.267
struct a cubic Hermite interpolant, which is then solved ana- Ω [deg] 203.568 203.552 203.585
lytically. Note that the information required to construct the ω [deg] 256.033 39.376 30.013
interpolant is already provided by the RKF 7(8) except for the θ [deg] − − −
derivative of S at the end of the interval, so the added com- ∆vimp [m/s] 128.152 185.147 197.477
putational cost is small. The initial guess obtained from the tre-entry [years] 98.403 76.003 68.408
interpolant is normally very close to the actual root, and the
Newton’s method takes just 2-3 iterations in most cases. It is Finally, the lack of information about the solution compli-
important to highlight that each iteration requires taking a new cates the task of finding an initial guess for λi falling inside
RKF 7(8) step, involving 13 evaluation of the equations, so the the convergence region of the solver. This can be addressed
use of an accurate initial guess to reduce the number of itera- by solving the problem for a higher value of T max first, and
tions has a noticeable impact on computational time for propa- then performing a continuation in thrust until the desired nom-
gations with many switching events. Once the switching time inal thrust is reached. The higher control authority increases
has been determined, one RKF fixed step is taken up to tswitch , the convergence region, allowing to find a valid initial guess by
and the propagation continues for the new value of f ∗ . testing random values for λi .
The Trust-Region-Dogleg algorithm employed to solve the Now that a robust and efficient solver for the TPBVP has
TPBVP requires the Jacobian of the shooting function (or a suit- been defined, the minimum-fuel problem for given T max and
able approximation). Although it is possible to approximate it boundary conditions can be solved according to the following
numerically using finite differences and BFGS updates, a more scheme
efficient and robust algorithm can be obtained by constructing 1. The minimum-time problem is solved performing a con-
it analytically from the State Transition Matrix (STM).7) The tinuation in thrust, starting from a high enough value to
STM maps small variations in the initial conditions [δxi δλi ] to ease the initial convergence of the TPBVP.
variations [δx δλ] at a given time t, and its calculation requires 2. The minimum-energy problem is solved performing a con-
deriving the variational equation and integrating it together with tinuation in thrust, for a final time taken longer than the
Eqs. (2) and (6). Because the STM is a 14x14 matrix, 196 ad- time of flight for the minimum-time problem.
ditional differential equations have to be added, for a total of 3. The minimum-fuel problem is solved performing a contin-
210 equations. However, the straightforward derivation of the uation in ε (starting from the minimum-energy solution),
variational equations for this problem is not an easy task. Even for the desired values of T max and time of flight.
though the procedure is conceptually simple, the resulting ex- Under some circumstances, the continuation process may stall.
pressions turn out to be too cumbersome to handle even with the In those cases, the freedom in the choice of θi is leveraged to
use of symbolic manipulators. This issue can be circumvented restart it by updating the starting point within the departure or-
by taking advantage of the structure of the equations, obtain- bit.
ing general expressions for the variational equations in terms
of BB⊤ , A and their derivatives up to order 2.15) The analyti- 3. Test Cases
cal derivatives for BB⊤ and A are then easy to determine with
the help of a symbolic manipulator. One last aspect to consider The proposed Galileo low thrust EoL disposal is now studied
regarding the STM is how to treat the discontinuities that ap- for three different test cases taken from the previous works by
pear in bang-bang control profiles. In this work, the strategy Armellin et al.2) The departure orbital elements, common to all
propossed by Russell16) to obtain the composite STM for a tra- test cases, are compiled in Table 2, and the arrival orbital ele-
jectory with several bang-bang points is used. ments are shown in Table 3. The latter table also includes the
674 400 674 300
Case 1 Case 1
Case 2
Case 3
672 300
∆v [m/s2 ]
∆v [m/s2 ]
mf [kg]
mf [kg]
672 200
670 200
1.005 1 1.003 1
1.004 0.9
Case 1
Case 2
Case 3 1.002 0.8
1.003 0.8 Case 1
∆v/∆v̂ [-]
∆v/∆v̂ [-]
mf /m̂f [-]
mf /m̂f [-]
1.002 0.7
1.001 0.6
1.001 0.6
1 0.5 1 0.4
1 1.5 2 2.5 3 3.5 4 1 1.5 2 2.5 3 3.5 4 4.5 5
∆t/∆t̂ [-] ∆t/∆t̂ [-]
Fig. 1. Minimum-fuel m f and ∆v for the three test cases, for T max = Fig. 2. Minimum-fuel m f and ∆v for test case 1, for T max = 150 mN and
230 mN and increasing times of flight ∆t. Top figure corresponds to the increasing times of flight ∆t. Top figure corresponds to the physical values,
physical values, whereas bottom figure is normalized with the minimum- whereas bottom figure is normalized with the minimum-time solution.
time solution.
re-entry time for each disposal orbit, as well as the ∆v needed to 2.5
2
reach it with an impulsive maneuver. Initial spacecraft mass is
1.5
set to 675 kg, to be consistent with the dry mass of about 670 kg
1
assumed by Armellin et al.2) when obtaining the disposal or-
0.5
z [km]
conservative value for Isp of 4000 s is used. All the other rele- -2