ArticlePDF Available

Abstract and Figures

This paper develops a computationally efficient and scalable mission planning optimization method for regular space transportation missions, defined as a set of repeating and periodic interplanetary transportation missions over a long time horizon after one or a few setup missions. As more long-term manned missions to Mars are being conceptualized, the need for a sustainable interplanetary transportation system has become increasingly prominent. However, planning regular transportation missions with existing space mission planning optimization formulations has a limitation in computational scalability in the time dimension. The proposed partially periodic time-expanded network can address this limitation of the past studies; it is shown to be computationally scalable and capable of generating solutions that are practically preferred. Properties of the proposed partially periodic time-expanded network are analyzed, and a case study reveals that the total initial mass in the low Earth orbit of regular missions approaches to the theoretical lower bound as the number of transportation missions increases.
Content may be subject to copyright.
American Institute of Aeronautics and Astronautics
1
Space Transportation System and Mission Planning for
Regular Interplanetary Missions
Hao Chen
1
, Hang Woon Lee
2
, and Koki Ho
3
University of Illinois at Urbana-Champaign, Champaign, IL, 61820
This paper develops a computationally efficient and scalable mission planning
optimization method for regular space transportation missions, defined as a set of repeating
and periodic interplanetary transportation missions over a long time horizon after one or a
few setup missions. As more long-term manned missions to Mars are being conceptualized,
the need for a sustainable interplanetary transportation system has become increasingly
prominent. However, planning regular transportation missions with existing space mission
planning optimization formulations has a limitation in computational scalability in the time
dimension. The proposed partially periodic time-expanded network can address this
limitation of the past studies; it is shown to be computationally scalable and also capable of
generating solutions that are practically preferred. Properties of the proposed partially
periodic time-expanded network are analyzed, and a case study reveals that the total initial
mass in low-Earth orbit of regular missions approaches to the theoretical lower bound as the
number of transportation missions increases.
Nomenclature
= set of directed arcs
1
Ph.D. Candidate, Aerospace Engineering, Talbot Laboratory, MC-236, 104 South Wright Street, Urbana, AIAA
Student Member.
2
MS Student, Aerospace Engineering, Talbot Laboratory, MC-236, 104 South Wright Street, Urbana, AIAA Student
Member.
3
Assistant Professor, Aerospace Engineering, Talbot Laboratory, MC-236, 104 South Wright Street, Urbana, AIAA
Member.
American Institute of Aeronautics and Astronautics
2
= spacecraft payload capacity
c = cost coefficient vector
d = demand and supply vector
e = spacecraft design parameters
f = spacecraft fuel type (integer)
= network graph
= space mission cost
= gravitational acceleration on Earth (equal to 9.8 m/s2)
= concurrency matrix
 = specific impulse
i = node index ()
= objective function
j = node index ()
= total number of regular space missions
= space mission index
= number of concurrency constraints
= spacecraft propellant capacity
 = upper bound of propellant capacity
= set of nodes
= number of commodity types
= transformation matrix
s = spacecraft structure mass
= set of time steps
= length of setup phase
= length of each cycle in periodic phase
t = time index (integer)
= set of spacecraft
= spacecraft-type index
American Institute of Aeronautics and Astronautics
3
= set of time windows
x = commodity flow vector
y = spacecraft flow variable (integer)
= structural fraction
= propellant mass fraction
I. Introduction
s more government and commercial players show interest in Mars exploration, an affordable regular
interplanetary transportation system for the Earth-Moon-Mars system has become increasingly important for
sustainable human space exploration. One example of such a system is the regular cargo route to Mars proposed
by SpaceX using fully reusable rockets [1]. These space missions are designed to support the setup and periodic
resupply for future Mars colonization in a similar way as the logistics vehicles for the International Space Station
(ISS) resupply. Meanwhile, reusable vehicles and in-orbit infrastructure technologies such as propellant depots and
in-situ resource utilization (ISRU) plants in the cis-lunar and Martian system have been proposed to support space
exploration sustainably [2]. However, designing a long-term regular space transportation system involves greater
complexity than designing a short-term single mission. Particularly, when we take into consideration the deployment
and operation of in-orbit infrastructures that are used over many missions (e.g., ISRU plants), the analysis needs to
consider a long time horizon and thus requires extensive and sometimes prohibitive computational effort with
conventional methods.
Many past studies have been conducted on the topic of space logistics. The space logistics optimization models
such as the Interplanetary Logistics Model [3], the Exploration Architecture Model for In-Space and Earth-to-Orbit
(EXAMINE) tool [4], SpaceNet [5], and graph theory-based Space System Architectures Model [6] have been
proposed for space logistics mission planning. However, these studies either lack or have limited global optimization
capability for complex mission design problems that involve deployment and utilization of propellant depots and
ISRU plants. Moreover, these models were not formulated to consider the mission interdependency at the multi-
mission campaign level. In response to this background, Ishimatsu et al. proposed a Generalized Multi-Commodity
Network Flow (GMCNF) to optimize the space mission planning problem globally based on a static network [7].
A
American Institute of Aeronautics and Astronautics
4
However, due to the linear nature of the static network, vehicles cannot be tracked through the network and the size
of vehicles may change during the mission. Cornes et al. improved the optimization fidelity through mixed-integer
linear programming (MILP) and a tracking algorithm [8]. To take into account space mission planning, spacecraft
design, and in-orbit infrastructure design concurrently, Ho and Chen further improved the GMCNF model considering
the time dimension (i.e., time-expanded GMCNF) and proposed an integrated space logistics mission planning
framework [9, 10]. This framework enabled nonlinear spacecraft and in-orbit infrastructure design through the
piecewise-linear function approximation. It also provided an insight into the significant reduction in the initial mass
in low-Earth orbit (IMLEO) through a campaign-level design rather than a mission-level design. Although these
existing mission planning formulations consider the deployment and operation of the in-orbit infrastructures
concurrently, they have significant limitations in time dimension scalability, and thus cannot be applied to long-term
space transportation design. In addition, these formulations are not suitable to find a sequence of repeating space
transportation missions.
On the other hand, time-expanded networks (TEN) have been widely used in different fields, including vehicle
and crew scheduling [11], airline fleet assignment [12-14], and ground transportation [15]. Among these works, fully
periodic TEN was proposed to solve long-term repeating mission planning problems. It has been utilized in truck fleet
sizing problems [15] and airline fleet assignment problems [12-14]. However, to take advantage of space resources
and reduce space exploration mission cost, a space infrastructure deployment setup phase is required before the
mission entering the repeating transportation phase [10]. Therefore, fully periodic TEN cannot be used in the
campaign-level space mission design directly. A similar problem to the setup phase in space missions can be found in
the literature on airline schedule recovery problems [16, 17], where TEN is used to consider a period of irregular
mission planning and then switching to a periodic repeating phase. However, the airline schedule recovery problems
mainly focus on the recovery period and do not consider the subsequent schedule optimization in the periodic phase
simultaneously.
In response to this background, this paper proposes an interplanetary transportation system mission planning
optimization framework by constructing a partially periodic TEN. The model is constructed based on Chen and Ho’s
previous space logistics optimization framework [9, 10] and has been reformulated to incorporate the scalability of
the regular transportation missions to make the mission planning formulation computationally preferred. This new
mission planning framework can also find repeating transportation solutions, which is preferred in practical missions.
American Institute of Aeronautics and Astronautics
5
Thus, the proposed mission planning framework can provide a practical and computationally efficient method for
long-term interplanetary transportation mission planning.
The rest of the paper is organized as follows: Section II introduces the partially periodic GMCNF model and its
properties. Section III evaluates the performance of the partially periodic GMCNF utilizing a long-term Earth-Mars
transportation mission case study and compares it with the static and the fully time-expanded GMCNF models. Section
IV discusses the contribution and conclusion of this paper.
II. Methodology
A. Generalized Multi-Commodity Network Flow
In response to the emerging paradigm shift in space exploration from a set of isolated missions to an intricately
linked campaign, Ishimatsu proposed the GMCNF model to consider the interdependency among space missions in a
long-term space exploration campaign [7]. It models space missions as multi-commodity flows in a network, where
nodes correspond to orbits, planets, or celestial objects, and arcs correspond to the trajectories connecting the nodes.
The spacecraft, crew, scientific instruments and other kinds of payload (e.g., water, food, oxygen, propellant) are
considered as the commodities flowing along the arcs. An example network model for the Earth-Moon-Mars
transportation system is shown in Fig. 1.
American Institute of Aeronautics and Astronautics
6
Fig. 1 An Earth-Moon-Mars logistics network graph.
The original GMCNF model proposed by Ishimatsu used a static network, which considered spacecraft design and
space infrastructure design linearly; it also considered all commodities as continuous variables. Thus, the original
static GMCNF model proposed by Ishimatsu is a linear programming formulation. To improve the optimization
fidelity in space logistics mission planning, Chen and Ho [10] proposed a piecewise-linear approximation approach
and big- method to convert the nonlinear spacecraft and space infrastructure design models into a mixed-integer
linear programming formulation. Therefore, the space logistics mission planning and spacecraft design can be solved
with higher fidelity as a MILP problem.
The following shows the mathematical formulation of static GMCNF including the spacecraft design model.
Consider a network that is made up of a set of nodes and a set of direct arcs . Each arc has an index  to
show the commodity flow from node to node through spacecraft , where denotes the spacecraft type. There can
be multiple types of spacecraft design and multiple spacecraft for each type. The commodity flows are divided into
the outflow 
and the inflow 
. Corresponding cost vectors 
are defined for each commodity outflow. If there
are types of commodities, both 
and 
are vectors. All commodity flows 
are nonnegative. The
variable for the number of spacecraft, 
, is considered separately from the general commodity flow variable 
,
which makes it easier to consider mission planning and spacecraft design simultaneously. Corresponding cost vectors
American Institute of Aeronautics and Astronautics
7

 are also defined for spacecraft outflows. In each node , the commodity demand vector is defined based on the
specific space mission requirement, where a negative value means mission demand and a positive value means mission
supply. The demand vector is a vector. The spacecraft demand variable, 
, is also defined separately.
Based on the aforementioned notations, the static GMCNF formulation, including the spacecraft design model, is
as follows:
Minimize:




 (1)
Subject to:

 

  (2a)

 

 
 (2b)





 (2c)


 (2d)
 (2e)





 
 
Table 1. Definition of indices, variables, and parameters
Name
Definition (dimension)
Node set
Arc set
Spacecraft set
American Institute of Aeronautics and Astronautics
8
Spacecraft index

Node

Commodity outflows/inflows. Commodities in 
are considered as an integer
or continuous variables based on the commodity type. For example, the number
of crew members is an integer variable (i.e., ), while the other commodities,
such as propellant, payload, and human consumables, are considered as
continuous variables (i.e., ). ()

Number of spacecraft flying along arc i to j. Integer variable. (scalar)
Structure mass of spacecraft . Continuous variable. (scalar)
Spacecraft design parameters, including payload capacity and propellant
capacity. Continuous variables. ()
Spacecraft fuel type. Integer variable. (scalar)

Commodity cost coefficient. ()


Spacecraft cost coefficient. (scalar)
Demand or supply of different commodities at each node. Demand is negative
while supply is positive. ()

Demand or supply of spacecraft at each node. (scalar)

Commodity transformation matrix. ()

Concurrency constraint matrix. ()
Table 1 lists the definition of network model sets, indices, variables, and parameters in the formulation. The
descriptions of objective function and constraints in the static GMCNF model are as follows.
American Institute of Aeronautics and Astronautics
9
Eq. (1) is the objective function. Following the space mission cost metric used by Ishimatsu [7], the initial mass in
low-Earth orbit (IMLEO) is used as the mission cost metric for space missions in this formulation. As a widely
accepted mission cost metric, IMLEO has been used in many past space logistics studies [3, 7, 9, 10]. Although it is
useful to estimate the mission launch cost, it does not address the cost of spacecraft construction, spaceflight operation,
and infrastructure development. Furthermore, the increased number of vehicle flights and rendezvous in long-term
space missions can lead to reliability problems. Therefore, the resulting mission design of interplanetary space
transportation must be evaluated from different perspectives through multi-objective optimization. This paper,
however, focuses on the scalability issue in large-scale interplanetary transportation missions. IMLEO is used as the
single-objective to demonstrate the performance of the proposed method. Moreover, by changing the value and
definition of the cost matrix, 
and 
, other mission evaluation metrics can be considered as the objective if
necessary.
Eqs. (2a) and (2b) are the mass balance constraints, which means that the sum of commodity outflow and demand
is always lower or equal to the commodity inflow at node . Eq. (2c) is the commodity transformation constraint. The
propellant burning and propellant generation by ISRU are performed through this constraint. For example, the
impulsive propellant burning can be expressed as follows:
 
 
  





 (3)
In Eq. (3), dry mass means the spacecraft structure mass. is the propellant mass fraction defined by the rocket
equation,  
 where  is the change in velocity along the arc ,  is the specific impulse of
the propellant system, and is the standard gravity. Eq. (2d) is the concurrency constraint. It is a constraint coming
from the spacecraft capacity, such as the payload capacity and the propellant capacity. Assuming that the number of
concurrency constraint considered is , then , which is the concurrency constraint matrix, is a matrix. Eq.
(2e) is the spacecraft design model considered in network optimization. In the expression, is the spacecraft
structural mass; is the spacecraft design parameters, including payload capacity and propellant capacity; is the
type of fuel used by the spacecraft propulsion system. The spacecraft design model considered in this paper is
introduced in section III.B.
American Institute of Aeronautics and Astronautics
10
The static GMCNF model does not consider the time dimension in the problem, which may lead to the “time
paradox”. For instance, the propellant from an ISRU plant may be used before it is generated [9]. To solve this issue,
Ho proposed a fully time-expanded network [9] to include the time dimension in the static GMCNF model. Using the
same notation as the static GMCNF model, the dynamic space logistics optimization formulation based on the fully
time-expanded GMCNF model is shown as follows:
Minimize:
  



 (4)
Subject to:

 

  (5a)

 

 
 (5b)





 (5c)


 (5d)



 (5e)
 (5f)


 


 
 
This formulation is a fully time-expanded version of the static GMCNF model shown in Eq. (1) and Eqs. (2a)-
(2e). It is also a MILP formulation, where is the time index and is the set of time steps. Note that both t and Δt are
assumed to be integers in TENs, and holdover arcs are considered to have unit lengths. Compared with the static
GMCNF, there is an additional time window constraint in the fully time-expanded GMCNF, which is Eq. (5e). In Eq.
(5e),  is the time window vector. It is a vector, where is the number of time windows for arc to . The
commodity flow is permitted only when the time window is open.
American Institute of Aeronautics and Astronautics
11
The fully time-expanded GMCNF notably improves the space logistics optimization fidelity compared with the
static GMCNF model. However, it takes a significantly longer time to solve the problem compared to the static
GMCNF because of the additional time dimension. Numerical experiments in Ref. [10] showed that it takes about
2000 seconds to solve an optimization problem for campaign-level lunar mission design, containing three Apollo-like
short lunar missions, by Gurobi 6.5 solver on an Intel Core i7-4790 quadcore @3.6 GHz platform. When four lunar
missions are considered, it takes more than 200 hours to solve the problem. This is the time cost to optimize the
mission planning only considering the transportation missions within the cis-lunar system. If the subject of interest is
the Mars mission, the mission complexity and the time scale would increase much more significantly.
To solve a long-term space transportation mission planning problem efficiently while maintaining the model
fidelity, this paper takes advantage of the regular space transportation concept and develops a partially periodic TEN,
as introduced in detail in the next section.
B. Partially Periodic TEN
As shown in Fig. 2, the proposed logistics network consists of two general phases: an initial setup phase and a
periodic steady phase. The initial setup phase of the campaign is a one-time event that is dedicated to the construction
and deployment of the in-space infrastructure that would be later utilized and maintained during the periodic missions.
For instance, ISRU systems can provide resources to reduce mission cost and make transportation sustainable.
Propellant depots are in-orbit infrastructure systems that can refuel spacecraft passing by.
After a sufficiently long setup phase, the system enters a periodic steady-state phase, where the system repeats the
same transportation missions regularly. Here, we make the repeating period longer than the longest transportation arc
in the network. For example, for Earth-Mars missions, we can consider the repeating period as the launch window
cycle to Mars (i.e., ~780 days), which is longer than the longest transportation arc in the network (i.e., from Earth to
Mars ~210 days). Note that this assumption on the length of the repeating period can be relaxed easily if necessary.
With this repeating period, we can simplify the TEN into a partially periodic TEN, which only includes the setup
phase and one periodic cycle. The idea is to aggregate all the repeating periods into one periodic cycle and constrain
the inflow and the outflow of that cycle to be equal to each other. In this way, the mission planning solution for the
first regular cycle becomes identical to all the following cycles. As a result, after implementing the partially periodic
TEN, we only need to solve the mission planning problem for the setup phase and the first regular cycle. The result
obtained is then feasible for all future cycles.
American Institute of Aeronautics and Astronautics
12
Fig. 2 Partially periodic TEN.
Assuming that the objective function of the setup phase is , while the objective function of the periodic steady
phase is . The total number of regular cycles considered in the optimization is . The mathematical formulation of
this partially periodic GMCNF model is shown as follows:
Minimize:
(6)
Subject to:




 (7a)




 (7b)


  (7c)


  (7d)
and
Eqs. (5a)-(5f)
American Institute of Aeronautics and Astronautics
13
where is the time when the first regular cycle begins and is the length of a regular cycle. Eq. (6) is the objective
function. It is the sum of IMLEO of the setup phase and the regular transportation phase, which are calculated in Eqs.
(7a) and (7b) respectively.
Eqs. (7c) and (7d) are periodic flow constraints that constrain all the inflows to a regular cycle are equal to the
outflows, thus guaranteeing the repeating nature of the regular cycles. As shown in Fig. 2, outflows and inflows are
those commodity flows crossing the boundaries of regular cycles. A direct way to constrain cycling is adding terminal
constraints into the TEN,


 
(7c)


 
(7d)
where is the index of cycles. If we add Eqs. (7c) and (7d) into the time-expanded GMCNF problem, we solve the
problem shown in the upper half of Fig. 2. Eqs. (7c) and (7d) are terminal constraints that force the system to repeat
the same cycle. We can remove the redundant variables and constraints by solving the problem shown in the lower
half of Fig. 2 using Eqs. (7c) and (7d). With Eqs. (7c) and (7d), we are solving the partially periodic GMCNF problem
for the setup phase and the first regular cycle, as the commodity flow results in the first cycle are applicable for all
subsequent regular cycles.
Other commodity constraints (i.e., Eqs. (5a)-(5f)) are the same as the general fully time-expanded GMCNF model.
C. Properties of Partially Periodic TEN
1. Computational complexity
In this section, we discuss the computational complexity of the GMCNF models, which were formulated based on
different types of TENs.
Assuming that in a fully time-expanded network model there are different types of spacecraft, nodes,
commodity types, types of spacecraft concurrency constraints, and time steps, then the number of nodes and arcs
over the fully time-expanded GMCNF model are at most  and , respectively. As a result, there are at most
 variables and at most  constraints. If we consider regular space missions, assuming a
American Institute of Aeronautics and Astronautics
14
setup phase over time steps followed by transportation mission cycles each of which lasts over time steps,
, then, for a fully time-expanded network model, there are at most  variables and at most
 constraints. Following the same logic and notations, we can get the computational
complexity of the static network and the partially periodic network, as shown in Table 2.
Table 2. Computational complexity comparison
TEN Type
Variables
Constrains
Static


Fully time-expanded


Partially periodic


Compared with the static network, a caveat of the fully time-expanded network is that it requires a large number
of nodes and arcs, generated by the time dimension, which would lead to a large number of variables and constraints.
The complexity of the TEN is pseudo-polynomial. For the partially periodic network model proposed in this paper, as
shown in Eq. (6), Eqs. (7a)-(7d), and Eqs. (5a)-5(f), the computational complexity is much smaller than the fully time-
expanded network. With the increase of the number of cycles, the number of variables and constraints in the fully
time-expanded network increases linearly (with an offset due to the setup phase). However, the number of variables
and constraints in the partially periodic network stays the same as the increase in the number of cycles. Therefore, for
large-scale space transportation mission planning optimization problems (e.g., Earth-Mars transportation mission), the
partially periodic network has significantly less computational workload, thus greatly increasing the time dimension
scalability.
2. Bounds on Optimal Solutions
In this section, we discuss the bounds of the partially periodic network model solution. For the specific
minimization problem considered in this paper, we discuss the lower bound of the partially periodic network and the
relationship among static, fully time-expanded, and partially periodic network models.
American Institute of Aeronautics and Astronautics
15
Consider the fully time-expanded GMCNF problem discussed earlier (shown in Eq. (4) and Eqs. (5a)-(5f)). The
following arguments show that it can be relaxed to a static GMCNF problem by aggregating nodes and arcs.
Since the cost coefficient 
and 
 are constant over time, Eq. (4) can be written as




 (8)
where 

 and 

 . They are the total commodity flows throughout the time horizon along
each arc.
Eqs. (5a) and (5b) can be aggregated over the time horizon and be relaxed to the following form,

 

  (9a)

 

 
 (9b)
where  and 

 . They are the total commodity demand or supply throughout the time
horizon at each node.
Similarly, Eqs. (5c) and (5d) can be relaxed as follows:





 (9c)


 (9d)
The time window constraint Eq. (5e) is relaxed and eliminated through the aggregation of commodity flows
throughout the time horizon, thus eliminating the information about time windows.
The resulting formulation Eq. (8) with constraints in Eqs. (9a)-(9d) and the spacecraft design model Eq. (5f) leads
to a static GMCNF problem as a lower (relaxed) bound of the fully time-expanded GMCNF problem if both
formulations are feasible and bounded. This static formulation and the original fully time-expanded GMCNF
formulation are defined as the corresponding formulations of each other.
From the above derivation, the following important theorem has been proved.
Theorem 1. A lower bound of the optimal objective of a fully time-expanded GMCNF problem can be found by solving
its corresponding aggregated static GMCNF problem if both problems are feasible and bounded.
A more detailed proof and a generalization of Theorem 1 have been derived by Ho in Ref. [18].
From this theorem, it can be seen that a lower bound of a computationally expensive fully time-expanded GMCNF
problem can be found by a computationally cheaper aggregated GMCNF problem if both are feasible and bounded.
American Institute of Aeronautics and Astronautics
16
In other words, , where is the optimal solution of the static GMCNF problem and is the optimal solution
of the fully time-expanded GMCNF problem, as shown in Eqs. (1) and (4), respectively.
Now, consider a partially periodic GMCNF problem (shown in Eq. (6), Eqs. (7a)-(7d), and Eqs. (5a)-5(f)). The
following arguments show that it can be relaxed to a fully time-expanded GMCNF problem.
First, consider the time-expanded GMCNF formulation with terminal constraints Eqs. (7c) and (7d). It is a cycling
time-expanded GMCNF problem shown in the upper half of Fig. 2. We can obtain its formulation by adding terminal
constraints (i.e., Eqs. (7c) and (7d)) into the fully time-expanded GMCNF problem. Additional terminal constraints
reduce the solution space of the optimization problem. Therefore, the fully time-expanded GMCNF problem provides
a lower (relaxed) bound of the cycling time-expanded GMCNF problem if both formulations are feasible and bounded.
Moreover, the cycling time-expanded GMCNF problem shown in the upper half of Fig. 2 is an equivalent problem
to the lower half by replacing the terminal constraints Eqs. (7c) and (7d) by Eqs. (7c) and (7d) and removing the
redundant variables and constraints. As a result, the fully time-expanded GMCNF problem is also a lower (relaxed)
bound of the partially periodic GMCNF problem [shown in Eqs. (6), (7a7d), and (5a5f)] if both formulations are
feasible and bounded. This partially periodic formulation and the original fully time-expanded GMCNF formulation
are defined as the corresponding formulations of each other. Note that the partially periodic GMCNF problem is not
necessarily feasible even when its corresponding fully time-expanded GMCNF problem is feasible.
From the above derivation, the following theorem has been proved.
Theorem 2. A lower bound of the optimal objective of a partially periodic GMCNF problem can be found by solving
its corresponding relaxed fully time-expanded GMCNF problem if both problems are feasible and bounded.
In summary, for the optimal solutions of the corresponding static, fully time-expanded, and partially periodic
GMCNF problems, expressed by , , and , there is a relationship: , if all of them are feasible and
bounded.
III. Case Study Results and Analysis
This section evaluates the performance of the partially periodic network by solving a long-term Mars space
transportation mission planning problem. The results of the partially periodic network are compared with the results
from the static and fully time-expanded networks.
American Institute of Aeronautics and Astronautics
17
A. Mars Transportation Mission
Our case study considered in this paper is a Mars exploration with the cislunar transportation system. We model
the transportation network as a 7-node network. The  and time of flight (TOF) are shown in Fig. 3. Since IMLEO
is the cost metric used in this paper,  and TOF between Earth and LEO are not considered. Space mission time
windows, spacecraft flight  and TOF are determined by interplanetary transportation trajectories. In this paper, we
use Hohmann transfer orbits as the transportation trajectories and the high-thrust liquid oxygen/ liquid hydrogen
(LO2/LH2) propulsion system in spacecraft for Mars transportation. The boiloff of liquid oxygen and liquid hydrogen
in space is also considered. As shown in Fig. 3, the spacecraft flight can take advantage of aerocapture to reduce the
propellant cost. The aeroshell and thermal protection system (TPS) can be reused in space. However, after the
spacecraft reentry to Earth or Mars, the aeroshell and TPS cannot be reused again; new aeroshell/TPS needs to be
launched. The mass of aeroshell/TPS is assumed as 40% of the total flight mass according to NASA Design Reference
Architecture 5.0 [19].
Fig. 3 Earth-Moon-Mars transportation network model.
The scenario considers a set of regular missions that transport cargo from Earth to Mars every 780 days when the
Earth-Mars system opens its repeating time windows. We consider the first Earth-Mars time window as the setup
American Institute of Aeronautics and Astronautics
18
phase and each of the subsequent time windows as a regular repeating cycle. The mission demand and supply are
shown in Table 3.
Table 3. Demand and supply of Mars transportation mission
Payload Type
Node
Demand Time [day]
Supply [kg]
Payload
Mars
780 (repeating every 780 days)
-51,700 [18]
Payload, propellant, ISRU,
ISRU maintenance spares
Earth
All the time
+∞
The considered ISRU system is a lunar water ISRU whose productivity is assumed as 5 [kg propellant/ year/ kg
system]. The ISRU plant is supplied from Earth. To utilize the ISRU system, the transportation system must deploy
the ISRU plant first on the Moon or Mars. If some ISRU systems are in operation for the mission, the transportation
system also needs to supply its maintenance spares. We assume that ISRU maintenance requires the spares equal to
10% of system total mass every transportation mission (i.e., every 780 days). We also assume that two types of
spacecraft propulsive stages are designed and two spacecraft propulsive stages are available to be launched on Earth
for each mission. Spacecraft sizing is also part of the tradespace and is shown in detail in Section III.B. A summary
of mission parameters and assumptions is shown in Table 4.
Table 4. Summary of parameters and assumptions
Parameter
Assumed value
Propellant
LO2/LH2 [20]

420 [s] [20]
Type of spacecraft designed
2 types
Available spacecraft each mission
2 spacecraft each type
Aeroshell
40% of total mass [19]
Oxygen boil-off rate
0.016% [/day] [9, 10]
Hydrogen boil-off rate
0.127% [/day] [9]
Earth-Mars time window
780 [days] [19]
American Institute of Aeronautics and Astronautics
19
ISRU productivity
5 [kg propellant/year/ kg system] [19]
ISRU maintenance
10% [/mission] [9, 10]
Moreover, to evaluate the effectiveness of a partially periodic GMCNF model, we need to set a baseline TEN
formulation for comparison. A naïve fully time-expanded network with uniform time steps (e.g., 1 day) would be
computationally expensive to analyze. In this paper, we use a cluster-based TEN as the baseline [9]. For the
interplanetary exploration mission, the system can be divided into several clusters (e.g., Earth/cis-lunar cluster and
Martian system), where only the transportation across the boundary of the clusters involves periodic time windows
and long flights. In a cluster-based TEN, we only consider the time window of the space flights between two clusters
and assume the short space flights inside each cluster as instantaneous transits. This method is known to give a good
approximation of the optimal solution of the naïve formulation with a reasonable computational effort [9]. In later
analysis cases, both the fully time-expanded GMCNF and the partially periodic GMCNF model are formulated based
on this cluster-based TEN formulation, although our theory developed in Section II applies to any other TEN
formulation as well.
B. Spacecraft design model
Our space logistics optimization includes spacecraft sizing as part of the tradespace. For the sizing model of
spacecraft, this paper utilizes a nonlinear regression model developed by Taylor [20] based on pre-existing spacecraft
elements. Although the original model includes the structure for payload, we do not consider that as a part of the
spacecraft design model in this paper. The payload is enclosed in aeroshell, which is considered separately. We are
only designing the propulsive stage using this spacecraft design model. Therefore, in the mission assumptions (shown
in Table 4), designing two types of spacecraft means designing two different sizes of propulsive stages. In addition,
due to the mixed-integer linear programming nature of the proposed optimization method, there is an underlying
assumption for the spacecraft flowing across the network: the spacecraft capacities can be additively combined and
the propulsive stages designed are modular and reconfigurable. In reality, the interoperability between the spacecraft
can be significantly more complex.
Denoting the spacecraft propellant capacity as , spacecraft fuel type as , and structure mass as , the spacecraft
propulsive stage structure mass is a function of propellant capacity and spacecraft fuel type, , shown as
follows [20]:
American Institute of Aeronautics and Astronautics
20

 

10
where is the standard gravitational acceleration on Earth, 9.8 [m/s2]; is spacecraft impulsive burn time, set as
120 [s];  is the upper bound of spacecraft propellant capacity, assumed as 500,000 [kg] as in Ref. [20], which
defines the scope of application of this data-based spacecraft design model;  is the specific impulse determined by
fuel type ; is the spacecraft structural fraction defined in Ref. [20], which is also determined by fuel type . In this
paper, LOX/LH2 is chosen as the spacecraft propellant as an example. As a result, according to Ref. 207],  is 420
[s] and is equal to 0.079.
Although this spacecraft model is nonlinear, Chen and Ho developed a technique to convert the space mission
design problem with a nonlinear spacecraft model into a mixed-integer linear programming problem [10]. This
technique is based on a piecewise-linear approximation and big- method. We employ this approach in this paper as
well for efficient mission design optimization.
Note that, this paper uses the above nonlinear spacecraft stage design model as an example to illustrate the ability
of the proposed space logistics optimization method; our method can accommodate other spacecraft design models if
necessary. The focus of this paper is on the TEN method, and we do not claim the accuracy of the spacecraft design
model used.
C. Comparison of Optimization Formulations
This problem is solved in Python by the Gurobi 7.0 solver on an Intel Core i7-4790, Quad-Core 3.6 GHz platform.
The results of the average IMLEO for each regular space transportation mission (i.e., cycle) based on different network
models are shown in Fig. 4, and their computational times are shown in Fig. 5. The result from the partially periodic
GMCNF model is compared with the results from the static and fully time-expanded GMCNF models. The number
of missions in Fig. 4 and Fig. 5 corresponds to the number of regular cycles after the setup phase because each cycle
only contains one mission. Note that we only obtain the results for a fully time-expanded GMCNF model when the
number of space missions is less than four because the optimization becomes computationally infeasible with our
computational resource when the number of missions is large.
The results obtained from static, fully time-expanded, and partially periodic GMCNF models are compared in Fig.
4. As the number of regular space transportation missions (i.e., cycles) increases, the average mission IMLEO from
American Institute of Aeronautics and Astronautics
21
both fully time-expanded and partially periodic GMCNF models are approaching to the result from static GMCNF
(i.e., lower bound). The result from fully time-expanded GMCNF model is slightly closer to the static GMCNF model
result compared with the partially periodic GMCNF model. The reason is that the fully time-expanded GMCNF model
does not have the periodic and terminal constraints, meaning that each period can have a different mission, while the
partially periodic GMCNF model assumes that the mission repeats infinitely. This also matches with our analysis in
Section II that proves that for the optimal objective, .
The comparison of computational time among three GMCNF models is shown in Fig. 5. We can find that as the
number of missions increases, the computational time of fully time-expanded GMCNF model increases dramatically
while the computational times of the partially periodic and the static GMCNF models remain at a low level. This
figure demonstrates that our partially periodic GMCNF model can achieve a better time dimension scalability than
the fully time-expanded GMCNF model.
In summary, we can see that the proposed partially periodic GMCNF model can provide a good approximation of
the fully time-expanded GMCNF model with a much lower computational cost.
Fig. 4 Mission IMLEO comparison among GMCNF formulations.
American Institute of Aeronautics and Astronautics
22
Fig. 5 Problem-solving time cost comparison among GMCNF formulations.
D. Analysis of Partially Periodic GMCNF Results
With our developed partially periodic TEN formulation, we can analyze the long-term space campaign with regular
missions more computationally efficiently than traditional methods. This section analyzes the results from the partially
periodic GMCNF model.
The mission planning result of ten regular transportation missions to Mars is shown in Fig. 6. In the setup mission
phase, the ISRU system is deployed on the Moon. It starts to produce propellant on the Moon to support subsequent
space missions. When the second Earth-Mars flight time window is open, all spacecraft launched for Mars mission
fly to the LTO first. Then, some spacecraft fly to the Moon to transport the propellant produced on the Moon back to
the LTO. The spacecraft used to deploy the ISRU system in the setup mission phase assists this propellant
transportation. As a result, the propellant from Earth only needs to support the flights from the LTO to the LLO in the
Moon propellant transportation. Other spacecraft flights during this propellant transportation are covered by the
propellant generated on the Moon. After being refueled by the propellant from the Moon, the spacecraft that stay in
LTO temporarily during the propellant transportation fly to Mars. This regular space transportation mission is repeated
following the same mission planning and spacecraft design. This resulting solution can be preferred in practical
American Institute of Aeronautics and Astronautics
23
missions to the global optimal solution with no repeating missions due to the simplicity of its repeating mission
architecture. The learning curve effect, which is not considered in this paper, can also be incorporated to further
identify the potential benefits of repeating space missions.
Fig. 6 Mars regular space transportation mission planning (10-mission case).
A sensitivity analysis of the campaign performance against ISRU productivity is shown in Fig. 7, which shows the
relationship between average mission IMLEO and ISRU productivity for different numbers of missions. It
demonstrates that a higher ISRU productivity can always lead to a lower mission cost. Moreover, the performance of
low-productivity ISRU is more sensitive to the total number of space missions. In Fig. 7, when ISRU productivity is
2 [kg/yr/kg system], the average mission IMLEO decreases more than 25% as the total number of transportation
missions considered increases from 1 to 15. However, the average mission IMLEO only decreases by about 14% when
the ISRU productivity is high (i.e., 8 [kg/yr/kg system]). This result shows that the impact of a large number of
missions is especially critical when the ISRU productivity is low. This type of analysis is not possible under previous
fully time-expanded network formulation for long-term space campaign due to the scalability issue but is possible
with our newly developed partially periodic TEN method.
American Institute of Aeronautics and Astronautics
24
Fig. 7 Relationship between average mission IMLEO and ISRU productivity.
IV. Conclusion
This paper proposes a computationally efficient interplanetary space transportation mission planning optimization
framework by constructing a partially periodic time-expanded network. It takes advantage of the periodic nature of
regular space transportation missions, thus resulting in a practical and computationally efficient mission planning
method.
The analysis and result comparisons with the traditional static and fully time-expanded GMCNF models show
that the partially periodic GMCNF model could solve a long-term interplanetary mission planning problem
significantly faster than the previous mission planning frameworks while maintaining a reasonable level of fidelity.
This paper also derives the mathematical properties of the proposed partially static GMCNF formulation and its
relationship with the traditional static and fully time-expanded GMCNF formulation.
The proposed work can be useful for future large-scale space transportation campaign design, which contains
multiple interplanetary transportation missions. Moreover, the framework improves the mission planning
computational efficiency and enables a quick sensitivity analysis on space infrastructures and spacecraft in
interplanetary transportation missions. The proposed methodology can be further explored to consider the mixed
cargo/manned missions to Mars with consideration of life support systems.
American Institute of Aeronautics and Astronautics
25
References
[1] Musk, E., “Making Humans a Multi-Planetary Species,” New Space, Vol. 5, No. 2, Jun. 2017, pp. 46-61.
doi: 10.1089/space.2017.29009.emu
[2] Oeftering, R. C.,” A Cis-Lunar Propellant Infrastructure for Flexible Path Exploration and Space Commerce”, AIAA SPACE
2011 Conference & Exposition, AIAA 2011-7113, Long Beach, CA, Sep. 2011.
doi: 10.2514/6.2011-7113
[3] Taylor, C., Song, M., Klabjan, D., de Weck, O. L., and Simchi-Levi, D., “A Mathematical Model for Interplanetary Logistics,”
Logistics Spectrum, Vol. 41, No. 1, Jan-Mar 2007, pp. 23-33.
[4] Komar, D. R., Hoffman, J., Olds, A., and Seal, M., “Framework for the Parametric System Modeling of Space Exploration
Architectures,” AIAA Space 2008 Conference & Exposition, AIAA 2008-7845, San Diego, CA, Sep. 2008.
doi: 10.2514/6.2008-7845
[5] Grogan, P. T., Yue, H. K., and de Weck, O. L., Space Logistics Modeling and Simulation Analysis using SpaceNet: Four
Application Cases,” AIAA Space 2011 Conference & Exposition, AIAA 2011-7346, Long Beach, CA, Sep. 2011.
doi: 10.2514/6.2011-7346
[6] Arney, D. C. and Wilhite, A. W., “Modeling Space System Architectures with Graph Theory,” Journal of Spacecraft and
Rockets, Vol. 51, No. 5, Mar. 2014, pp. 1413-1429.
doi: 10.2514/1.A32578
[7] Ishimatsu, T., de Weck, O. L., Hoffman, J. A., Ohkami, Y., and Shishko, R., "Generalized Multicommodity Network Flow
Model for the EarthMoonMars Logistics System," Journal of Spacecraft and Rocket, Vol. 53, No. 1, Jan. 2016, pp. 25-38.
doi: 10.2514/1.A33235
[8] Cornes, O. and de Weck, O. L., “Design of executable space mission architectures using discrete network flow optimization,”
68th International Astronautical Congress, IAC-17,D1,2,8,x39108, Adelaide, Australia, Sep. 2017.
[9] Ho, K., de Weck, O. L., Hoffman, J. A., and Shishko, R., “Dynamic Modeling and Optimization for Space Logistics Using
Time-Expanded Networks,” Acta Astronautica, Vol. 105, No. 2, Dec. 2014, pp. 428-443.
doi: 10.1016/j.actaastro.2014.10.026
[10] Chen, H., and Ho, K.,Integrated Space Logistics Mission Planning and Spacecraft Design with Mixed-Integer Nonlinear
Programming ,” Journal of Spacecraft and Rockets, Vol. 55, No. 2, Apr. 2018.
doi: 10.2514/1.A33905
[11] Steinzen, I., Gintner, V., Suhl, L., and Kliewer, N., “A Time-Space Network Approach for the Integrated Vehicle- and Crew-
Scheduling Problem with Multiple Depots,” Transportation Science, Vol. 44, No. 3, Aug. 2010, pp. 367-382.
doi: 10.1287/trsc.1090.0304
American Institute of Aeronautics and Astronautics
26
[12] Belanger, N., Desaulniers, G., Soumis, F., and Desrosiers, J., “Periodic Airline Fleet Assignment with Time Windows, Spacing
Constraints, and Time Dependent Revenues,” European Journal of Operational Research, Vol. 175, No. 3, Dec. 2006, pp.
1754-1766.
doi: 10.1016/j.ejor.2004.04.051
[13] Zeghal, F. M., Haouari, M., Sherali, H. D., and Aissaoui, N., “Flexible Aircraft Fleeting and Routing at TunisAir,” Journal of
the Operational Research Society, Vol. 62, No. 2, Feb. 2011, pp. 368-380.
doi: 10.1057/jors.2010.100
[14] Ben Ahmed, M., Ghroubi, W., Haouari, M., and Sherali, H. D., A Hybrid Optimization-Simulation Approach for Robust
Weekly Aircraft Routing and Retiming,” Transportation Research Part C: Emerging Technologies, Vol. 84, Nov. 2017, pp.
1-20.
doi: 10.1016/j.trc.2017.07.010
[15] Carbajal, J. A., Erera, A., and Savelsbergh, M., Balancing Fleet Size and Repositioning Costs in LTL Trucking,” Annals of
Operations Research, Vol. 203, Mar. 2013, pp. 235-254.
doi: 10.1007/s10479-011-0924-1
[16] Bard, J. F., Yu, G., and Arguello, M. F., Optimizing Aircraft Routings in Response to Groundings and Delays,” IIE
Transactions, Vol. 33, No. 10, Oct. 2001, pp. 931-947.
doi: 10.1023/A:1010987008497
[17] Sinclair, K., Cordeau, J.-F., and Laporte, G., Improvements to a Large Neighborhood Search Heuristic for an Integrated
Aircraft and Passenger Recovery Problem,” European Journal of Operational Research, Vol. 233, No. 1, Feb. 2014, pp. 234-
245.
doi: 10.1016/j.ejor.2013.08.034
[18] Ho, K., “Dynamic Network Modeling for Spacefight Logistics with Time-Expanded Networks,” Ph.D. Dissertation,
Aeronautics and Astronautics Dept., MIT, Cambridge, MA, 2015.
[19] Drake, B. G., “Human Exploration of Mars Design Reference Architecture 5.0,” NASA-SP-2009-566, NASA Johnson Space
Center, Houston, TX, 2009.
[20] Taylor, C., “Integrated Transportation System Design Optimization,” Ph.D. Dissertation, Aeronautics and Astronautics Dept.,
MIT, Cambridge, MA, 2007.
... For a specific type of problem such as Mars exploration leveraging the lunar resources, a partially-static time-expanded network was also proposed as an approximation technique [35]. For a campaign that will largely repeat once entering a steady state (e.g., resupply logistics for Mars habitats), a partially-periodic time-expanded network was developed to effectively concurrently optimize both the build-up of the space system and its steady operations [75]. For the flow-dependent TOFs, where any of the above variants of time-expanded networks would not be applicable, an event-driven network was developed to optimize the logistics flow without specifying the time steps [77]. ...
... This formulation generalizes the conventional multi-commodity flow formulation so that it can model the commodity transformation along the arcs (including resource generation or consumption); this general capability has enabled the modeling and optimization of missions with a significantly larger variety of space infrastructure systems such as ISRU [35,71] and ISAM systems [54,55]. Combined with the partially periodic time-expanded network mentioned above [75], we can also model the deployment of resource infrastructure elements and their operations utilization concurrently. ...
Article
Full-text available
As "Space Mobility and Logistics" was listed as one of the five core competencies in the US Space Force's doctrine document, there is a growing interest in developing technologies to enable in-space refueling, servicing, assembly, and manufacturing as well as other in-space logistics operations. Modeling for space mobility and logistics requires a new approach that differs from conventional astrodynamics because it needs to consider the coordination of multiple vehicles to satisfy an overall demand; namely, the optimal trajectory of one vehicle does not necessarily lead to the optimal campaign solution that contains multiple vehicles and infrastructure elements. In addition, for in-space servicing applications, we need additional analysis capabilities to analyze and optimize the sizes of the fuel/spare depots and their inventory/sparing policies with orbital mechanics in mind. To tackle these challenges, there have been various attempts to leverage terrestrial logistics-driven techniques, coupled with astrodynamics, to enhance in-space operations. This paper aims to provide a review of the literature by categorizing the state-of-the-art studies in two ways: (1) by application questions that are addressed; and (2) by logistics-driven methods that are used in the studies. The two categorizations are expected to help both practitioners and researchers understand the state of the art and identify the under-explored and promising future research directions.
... For a specific type of problem such as Mars exploration leveraging the lunar resources, a partially-static time-expanded network was also proposed as an approximation technique [39]. For a campaign that will largely repeat once entering a steady state (e.g., resupply logistics for Mars habitats), a partially-periodic time-expanded network was developed to effectively concurrently optimize both the build-up of the space system and its steady operations [78]. For the flow-dependent TOFs, where any of the above variants of time-expanded networks would not be applicable, an event-driven network was developed to optimize the logistics flow without specifying the time steps [81]. ...
... This formulation generalizes the conventional multi-commodity flow formulation so that it can model the commodity transformation along the arcs (including resource generation or consumption); this general capability has enabled the modeling and optimization of a significantly larger variety of space infrastructure systems such as ISRU [39,75] and ISAM systems [53,56]. Combined with the partially periodic time-expanded network mentioned above [78], we can also model the deployment of resource infrastructure elements and their operations utilization concurrently. ...
... For a specific type of problem such as Mars exploration leveraging the lunar resources, a partially-static timeexpanded network was also proposed as an approximation technique [71]. For a campaign that will largely repeat once entering a steady state (e.g., Resupply logistics for Mars habitats), a partially-periodic time-expanded network was developed to effectively concurrently optimize both the build-up of the space system and its steady operations [48]. For the flow-dependent TOFs, where any of the above variants of time-expanded networks would not be applicable, an event-driven network was developed to optimize the logistics flow without specifying the time steps [70]. ...
... This formulation generalizes the conventional multi-commodity flow formulation so that it can model the commodity transformation along the arcs (including resource generation or consumption); this general capability has enabled the modeling and optimization of a significantly larger variety of space infrastructure systems such as ISRU [22,45] and ISAM systems [35,38]. Combined with the partially-periodic time-expanded network mentioned above [48], we can also model the deployment of resource infrastructure elements and their operations utilization concurrently. ...
Preprint
Full-text available
As "Space Mobility and Logistics" was listed as one of the five core competencies in the US Space Force's doctrine document, there is a growing interest in developing technologies to enable in-space refueling, servicing, assembly, and manufacturing as well as other in-space logistics operations. Modeling for space mobility and logistics requires a new approach that differs from conventional astrodynamics because it needs to consider the coordination of multiple vehicles to satisfy an overall demand; namely, the optimal trajectory of one vehicle does not necessarily lead to the optimal campaign solution that contains multiple vehicles and infrastructure elements. In addition, for in-space servicing applications, we need additional analysis capabilities to analyze and optimize the sizes of the fuel/spare depots and their inventory/sparing policies with orbital mechanics in mind. To tackle these challenges, there have been various attempts to leverage terrestrial logistics-driven techniques, coupled with astrodynamics, to enhance in-space operations; an earlier primary domain of interest was refueling and resource utilization for human space exploration, and more recent studies focus on in-space servicing, in-space manufacturing, and mega-scale constellations. This paper aims to provide a review of the literature by categorizing the state-of-the-art studies in two ways: (1) by application questions that are addressed; and (2) by logistics-driven methods that are used in the studies. The two categorizations are expected to help both practitioners and researchers understand the state of the art and identify the under-explored and promising future research directions.
... In the realm of space logistics systems, MCNF describes space missions as multi-commodity flows inside a network, where nodes represent orbits, planets, or celestial objects, and arcs denote the trajectories linking the nodes. The spacecraft, crew, scientific instruments, and other payloads (e.g., water, food, oxygen, propellent) are all regarded as the commodities traversing the arcs [9]. ...
Conference Paper
Full-text available
Quantum computing provides a novel approach to addressing conventionally intractable issues in large-scale optimization. Space logistics missions require the efficient routing of payloads, spacecraft, and resources across complex networks, often resulting in an exponential growth of the solution space that classical methods cannot efficiently solve. This paper leverages entropy quantum computing to model and solve the space logistics problem as a time-dependent multicommodity network flow, enabling the exploration of large solution spaces. The findings highlight quantum computing's potential to address complex aerospace logistics, demonstrating its suitability for complex interplanetary mission planning. I. Nomenclature = directed graph = set of depots = set of directed routes = time step index = index for commodities = distance of route (,) = cost efficient per vehicle for arc (,) = capacity of each vehicle = load size of commodity = time-dependent supply (+) or demand (-) of commodity at depot at time , = flow of commodity on route (,) at time = number of vehicles on route (,) at time J = objective function II. Introduction Q uantum computing is an emerging field that leverages the principles of quantum mechanics to revolutionize the way we solve computational problems. Unlike classical computing, which uses bits to encode information as either 0 or 1, quantum computing uses quantum bits, or qubits [1]. Qubits can exist in a state of 0, 1, or any quantum superposition of these states, enabling quantum systems to process a vast amount of information simultaneously. This capability, combined with quantum entanglement, allows quantum computers to explore multiple solutions to a problem at once, offering a significant advantage for specific types of computations. In this study, we explore what advantages quantum computing may provide for addressing important issuies in the field of space logistics.
... The objective of the problem is defined in (1a). The design variables are scaled linearly with cost coefficients; this type of objective is known as Initial Mass at Low-Earth Orbit (IMLEO) and is widely adopted in Space Logistics literature (e.g., Refs [2,[12][13][14]). The first term is the mass launched to LEO for the first mission (note that it is summed over the first mission time steps T 1 ), and the second term is the expectation of the second mission launch mass. ...
Conference Paper
Full-text available
As we strive to establish a long-term presence in space, it is crucial to plan large-scale space missions and campaigns with future uncertainties in mind. However, integrated space mission planning, which simultaneously considers mission planning and spacecraft design, faces significant challenges when dealing with uncertainties; this problem is formulated as a stochastic mixed integer nonlinear program (MINLP), and solving it using the conventional method would be computationally prohibitive for realistic applications. Extending a deterministic decomposition method from our previous work, we propose a novel and computationally efficient approach for integrated space mission planning under uncertainty. The proposed method effectively combines the Alternating Direction Method of Multipliers (ADMM)-based decomposition framework from our previous work, robust optimization, and two-stage stochastic programming (TSSP). This hybrid approach first solves the integrated problem deterministically, assuming the worst scenario, to precompute the robust spacecraft design. Subsequently, the two-stage stochastic program is solved for mission planning, effectively transforming the problem into a more manageable mixed-integer linear program (MILP). This approach significantly reduces computational costs compared to the exact method, but may potentially miss solutions that the exact method might find. We examine this balance through a case study of staged infrastructure deployment on the lunar surface under future demand uncertainty. When comparing the proposed method with a fully coupled benchmark, the results indicate that our approach can achieve nearly identical objective values (no worse than 1% in solved problems) while drastically reducing computational costs.
... n the ever-evolving realm of space exploration, where only a select few organizations, including NASA, SpaceX, and ISRO, stand as the vanguards, the landscape has witnessed transformative advancements in technology and cost-effective space travel [1][2][3][4]. Consequently, these progressions have paved the way for a monumental milestone in human achievement: asteroid mining. ...
Article
Full-text available
Asteroid mining represents a groundbreaking endeavor with the potential to revolutionize resource acquisition and pave the way for sustainable space exploration. This conceptual research paper explores the scientific and technological aspects of asteroid mining, focusing on its feasibility, potential benefits, and challenges. By analyzing existing missions, advancements in robotics and spacecraft technologies, and resource prospecting techniques, this paper aims to shed light on the transformative impact of asteroid mining on resource sustainability and the future of space exploration.
... Mission planning tools that did not model time at all were shown to be inaccurate, with so-called "time paradoxes" referring, for example, to ISRU-derived propellant being consumed before ISRU plants were even deployed [9,10]. Later, different schemes were invented to discretize time while limiting the associated increase in computational load [11][12][13]. Jagannatha and Ho [5] proposed to model time as a sequence of events to properly capture the long transportation times of low-thrust spacecraft in cislunar space. ...
Article
Full-text available
This paper develops a campaign-level space logistics optimization framework that simultaneously considers mission planning and spacecraft design using mixed-integer nonlinear programming. In the mission planning part of the framework, deployment and utilization of in-orbit infrastructures, such as in-orbit propellant depots or in situ resource utilization plants, are also taken into account. Two methods are proposed: First, the mixed-integer nonlinear programming problem is converted into a mixed-integer linear programming problem after approximating the nonlinear model with a piecewise linear function and linearizing quadratic terms. In addition, another optimization framework is provided, based on simulated annealing, which separates the spacecraft model from mission planning formulation. An example mission scenario based on multiple Apollo missions is considered, and the results show a significant improvement in the initial mass in low Earth orbit by campaign-level design as compared with the traditional mission-level design. It is also shown that the mixed-integer linear programming-based method gives better-quality solutions than the simulated annealing-based method, although the simulated annealing method is more flexible for extension to a higher-fidelity spacecraft model.
Article
Full-text available
Simple logistics strategies such as "carry-along" and Earth-based "resupply" were sufficient for past human space programs. Next-generation space logistics paradigms are expected to be more complex, involving multiple exploration destinations and in-situ resource utilization (ISRU). Optional ISRU brings additional complexity to the interplanetary supply chain network design problem. This paper presents an interdependent network flow modeling method for determining optimal logistics strategies for space exploration and its application to the human exploration of Mars. It is found that a strategy utilizing lunar resources in the cislunar network may improve overall launch mass to low Earth orbit for recurring missions to Mars compared to NASA’s Mars Design Reference Architecture 5.0, even when including the mass of the ISRU infrastructures that need to be pre-deployed. Other findings suggest that chemical propulsion using LOX/LH[subscript 2], lunar ISRU water production, and the use of aerocapture significantly contribute to reducing launch mass from Earth. A sensitivity analysis of ISRU reveals that under the given assumptions, local lunar resources become attractive at productivity levels above 1.8 kg/year/kg in the context of future human exploration of Mars.
Article
Full-text available
This research develops a dynamic logistics network formulation for lifecycle optimization of mission sequences as a system-level integrated method to find an optimal combination of technologies to be used at each stage of the campaign. This formulation can find the optimal transportation architecture considering its technology trades over time. The proposed methodologies are inspired by the ground logistics analysis techniques based on linear programming network optimization. Particularly, the time-expanded network and its extension are developed for dynamic space logistics network optimization trading the quality of the solution with the computational load. In this paper, the methodologies are applied to a human Mars exploration architecture design problem. The results reveal multiple dynamic system-level trades over time and give recommendation of the optimal strategy for the human Mars exploration architecture. The considered trades include those between In-Situ Resource Utilization (ISRU) and propulsion technologies as well as the orbit and depot location selections over time. This research serves as a precursor for eventual permanent settlement and colonization of other planets by humans and us becoming a multi-planet species.
Article
We address the robust weekly aircraft routing and retiming problem, which requires determining weekly schedules for a heterogeneous fleet that maximizes the aircraft ontime performance, minimizes the total delay, and minimizes the number of delayed passengers. The fleet is required to serve a set of flights having known departure time windows while satisfying maintenance constraints. All flights are subject to random delays that may propagate through the network. We propose to solve this problem using a hybrid optimization-simulation approach based on a novel mixed-integer nonlinear programming model for the robust weekly aircraft maintenance routing problem. For this model, we provide an equivalent mixed-integer linear programming formulation that can be solved using a commercial solver. Furthermore, we describe a Monte-Carlo-based procedure for sequentially adjusting the flight departure times. We perform an extensive computational study using instances obtained from a major international airline, having up to 3387 flights and 164 aircraft, which demonstrates the efficacy of the proposed approach. Using the simulation software SimAir to assess the robustness of the solutions produced by our approach in comparison with that for the original solutions implemented by the airline, we found that on-time performance was improved by 9.8–16.0%, cumulative delay was reduced by 25.4–33.1%, and the number of delayed passengers was reduced by 8.2–51.6%.
Article
This paper presents the time-band optimization model for reconstructing aircraft routings in response to groundings and delays experienced over the course of the day. Whenever the schedule is disrupted, the immediate objective of the airlines is to minimize the cost of reassigning aircraft to flights taking into account available resources and other system constraints. Associated costs are measured by flight delays and cancellations. The time-band model is constructed by transforming the routing problem into a time-based network in which the time horizon is discretized. The resulting formulation is an integral minimum cost network flow problem with side constraints. Conditions for which an exact solution to the model represents an optimal solution for the original problem are stated. The transformation procedure is polynomial with respect to the number of airports and flights in the schedule. Computational experience shows that the underlying network structure of the transformed problem often leads to integral solutions when solved with a standard linear programming code. Empirical results using Continental Airline data demonstrate that the solutions obtained are either provably optimal or no more than a few percentage points from the lower bound.
Article
Because most commercial passenger airlines operate on a hub-and-spoke network, small disturbances can cause major disruptions in their planned schedules and have a significant impact on their operational costs and performance. When a disturbance occurs, the airline often applies a recovery policy in order to quickly resume normal operations. We present in this paper a large neighborhood search heuristic to solve an integrated aircraft and passenger recovery problem. The problem consists of creating new aircraft routes and passenger itineraries to produce a feasible schedule during the recovery period. The method is based on an existing heuristic, developed in the context of the 2009 ROADEF Challenge, which alternates between three phases: construction, repair and improvement. We introduce a number of refinements in each phase so as to perform a more thorough search of the solution space. The resulting heuristic performs very well on the instances introduced for the challenge, obtaining the best known solution for 17 out of 22 instances within five minutes of computing time and 21 out of 22 instances within 10 minutes of computing time.
Article
Current space system architecture modeling frameworks use a variety of methods to generate their architecture definitions and system models but are either too manual or too limited in scope to effectively explore the architecture-level design space exploration. This paper outlines a method to mathematically model space system architectures using graph theory, which provides a simple mathematical framework that is flexible enough to model many different system architecture options, such as lunar, asteroid, and Mars missions. Multiple lunar system architectures were considered in NASA's Exploration System Architecture Study mission modes comparison. These system architectures are modeled within this framework to demonstrate the ability to rapidly compare the performance of different system architectures within a single framework. This capability is crucial in order to explore the system architecture-level design space and make informed decisions on the future of a human space exploration program.
Conference Paper
This paper describes a concept for a Cis Lunar Propellant Infrastructure that exploits lunar water for propellant production and delivers it to users in Cis-Lunar space. The concept supports multiple goals, to provide responsive economical space transportation beyond low Earth orbit, enable in-space commerce, and support the multiple destinations of "flexible path" exploration. This concept is "game changing" because it would fundamentally affect the architecture of future space operations, provide greater access to space beyond Earth orbit and broaden participation in space exploration. The challenge is to create the infrastructure with a minimum development costs and yet assure that operational costs do not diminish its benefits. The approach to achieving these objectives includes, employing tele-robotics, avoiding maintenance intensive machinery, exploiting the natural lunar environment, employing directed energy technologies for resource extraction and processing and establishing a robust electric power infrastructure. Since the main exported product is propellants, the infrastructure also includes the means of stockpiling, packaging and delivering propellants to users at various rendezvous points in cis-lunar space ranging from low Earth orbit to the lunar orbit. The product delivery aspect will also include a mix of technologies including, cryo-propellant management, reusable lunar landers, propellant tankers, orbital transfer vehicles, aero-braking technologies and electric propulsion. To minimize operational cost the infrastructure is entirely tele-robotic. Resource intensive human flight operations are deferred until the infrastructure is operational and capable of supporting human missions. Ultimately the infrastructure is intended to reduce the cost of both robotic and human space missions. This infrastructure is not strictly dependent on human missions to justify the investment. This infrastructure can be scalable and would serve a wide user base ranging from commercial satellite servicing to large scale human exploration missions. A Cis-lunar Propellant and Logistics Infrastructure dramatically reduces the size and cost of launch vehicles for missions beyond Earth orbit. Since it can extend the effective reach of existing vehicles it, in effect, provides access to deep space to any user capable of reaching low earth orbit. The Cis-lunar Propellant-Logistics Infrastructure is sustained without the need for dedicated logistics launches. This paper introduces the concept where users of the infrastructure can buy propellant services by trading logistics packages with the infrastructure. This process of exchanging logistics for propellants can be regarded as an early form of in-space commerce.
Article
The future of space exploration will not be limited to sortie-style missions to single destinations. Even in present exploration taking place at the International Space Station in low-Earth orbit, logistics is complicated by flights arriving from five launch sites on Earth. The future challenges of space logistics given complex campaigns of interconnected missions in deep space will require innovative tools to aid planning and conceptual design. This paper presents a modeling framework to evaluate the propulsive and logistics feasibility of space exploration from the macro-logistics perspective, which covers the delivery of elements and resources to support demands generated during exploration. The modeling framework is implemented in a versatile and unifying software tool, SpaceNet, for general space exploration scenario analysis. Four space exploration scenarios are presented as application cases to highlight the applicability of the framework across vastly different scenarios. The first case investigates the resupply of the International Space Station between 2010 and 2015 using 77 missions combining NASA, European Space Agency, Japanese Space Agency, Russian Space Agency, and commercial space transportation. The second case models a lunar outpost build-up consisting of 17 flights to achieve continuous human presence over eight years. The third case models and evaluates a conceptual sortie-style mission to a near-Earth object, 1999 AO10. Finally, the fourth case models a flexible path type human exploration in the vicinity of Mars using a combination of human and tele-operated exploration. Taken together these cases demonstrate the challenges and logistical requirements of future human space exploration campaigns during the period from 2010-2050 and illustrate the ability of SpaceNet to model and simulate the feasibility of meeting these requirements.