1. Introduction
The development of technologies that allow for vertical descent and landing of rockets has proven to be a game changer by reducing the cost barrier to space access. Thanks to this technology, new companies, e.g., SpaceX, can offer competitive prices for launch services to new space actors and enterprises [
1]. Likewise, they enable planetary missions to touch down on previously selected landing sites deemed interesting for their scientific value. Examples of this are the Mars Science Laboratory mission [
2], the MARS 2020 mission, and the Tianwen-1 Mars mission [
3].
Guidance and control during the powered descent and landing of reusable launchers is one of the most complex challenges that characterise such systems, involving innovative solutions from a technical and practical perspective. The challenge of achieving a soft landing for a fast free-falling launcher lies in the precise control of its dynamics. This involves a complex interplay of forces, where the thrust must be modulated and re-oriented to counteract the effects of gravity and atmospheric drag [
1]. By adjusting the thrust vector, the descent can be stabilised, allowing for adjustments to be made in real-time to ensure a gentle touchdown. This process requires advanced algorithms and control systems capable of responding to the rapidly changing conditions of a free fall, ensuring that the launcher can navigate to the desired landing site and achieve a controlled and safe landing [
4].
The development of powered descent guidance algorithms based on optimal control theory began in the 1960s during the Apollo era as part of the lunar landing program [
5,
6,
7]. More recently, the space sector has renewed its interest in this type of technology as part of the Mars exploration missions at the end of the last century and beginning of the 2000s through the utilisation of constrained optimisation methods. Such algorithms were further optimised by the application of convex programming [
8,
9], which demonstrated that a second-order cone programming (SOCP) set of equations can be used to solve the powered descent problem through interior point methods. Other guidance methods have been successfully applied to perform smooth landings on planetary bodies. Among other examples are the Mars Science Laboratory Entry, Descent, and Landing System, which followed a 3D polynomial trajectory computed at the beginning of the landing phase and performed a powered approach to the Martian surface [
2] and the polynomial guidance strategy used by the Tianwen-1 mission to perform a diversion manoeuvre during the powered descent phase [
3]. Nevertheless, whereas polynomial powered descent guidance is computationally efficient and sufficient for small diversions, constrained optimisation methods solve for globally fuel-optimal and constrained diversions that allow for the inclusion of the particularities of the spacecraft in the guidance strategy [
9,
10]. For the particular case of landing a reusable launch vehicle (RLV), polynomial guidance might not be suitable due to rapid changes in the flight conditions, as mentioned before.
The last decade has seen a significant surge in the development of advanced guidance and control systems for launch vehicles. The incorporation of convex optimisation models has revolutionised the precision with which these vehicles can be manoeuvred, accounting for both translational and rotational dynamics. This progress in six degrees-of-freedom (6 DoF) modelling enhances the accuracy and reliability of launchers, marking a substantial advancement in aerospace engineering and space exploration capabilities. In [
11], the methodology of successive convexification, a form of sequential convex programming (SCP) was used for solving the powered descent guidance problem. Within that study, the algorithm employed virtual control and trust region modifications to facilitate convergence of the problem. In [
12], a similar approach was used by integrating aerodynamic controls within a two-dimensional framework, simulating conditions over a flat Earth model. Additionally, in [
13], the control optimiser leveraged the atmospheric drag energy to enhance efficiency, representing another innovative application of this technique. These advancements underscore the growing reliance on convex models to optimise the performance and safety of reusable launch vehicles and landers during the final phases of descent and landing. A more detailed survey on optimization-based space vehicle control was performed in [
14], not only for a powered landing scenario but also for other guidance and control challenges such as rendezvous and proximity operations, constrained reorientation, and orbit transfer and injection. In [
15], an assessment of the coupling between the guidance and control techniques was carried out for different RLV recovery strategies and controllability challenges. Additionally, alternative guidance strategies are currently being studied such as evolutionary optimisation, tree searches, and machine learning [
16,
17]. For instance, a trained neural network was used in [
18] to solve fuel-optimal powered descent guidance in lunar pinpoint landing, and closed-loop MPC guidance with deep neural networks was used for landing a rocket’s first stage [
19].
Nevertheless, the challenges of Earth descent and landing for RLVs are indeed complex, with atmospheric drag, winds, and structural flexibility posing significant risks to the integrity of the manoeuvres. Open-loop control schemes, which rely solely on preplanned trajectories, are often insufficient due to their inability to adapt to dynamic environmental conditions. In contrast, closed-loop control systems, such as model predictive control (MPC), offer a more robust solution by continuously adjusting the vehicle’s trajectory in response to real-time sensor data. MPC can predict future states of the RLV and make necessary adjustments to ensure a safe and accurate landing [
20,
21]. MPC had been widely used for managing the complex processes of industries like chemical and oil processing [
22,
23], where changes occur over longer periods. However, applying MPC to RLVs during powered descent involves rapid dynamics and requires real-time computational speed, robustness against disturbances, and precise handling of constraints. Typically, MPC uses a receding horizon strategy where the optimal control is always calculated for a fixed period of time shifting at each iteration step [
22]. However, the direct implementation of such schemes in a powered descent scenario is not trivial, and it can lead to unexpected behaviours such as hovering-like trajectories with the vehicle never reaching the landing target. This is shown in [
24], where an optimal strategy for setting the prediction horizon duration was developed as a solution to counter the impossibility of finding a fixed receding horizon for the guidance and control of RLVs. In addition, Scharf et al., in [
25,
26], used an onboard time-of-flight search algorithm to obtain the best prediction horizon for the optimisation problem at each iteration of the G-FOLD algorithm.
This paper introduces a new algorithm designed to simplify the time-length update phase within an MPC algorithm. It details an iterative method that adjusts the horizon length using a specific update factor. The resulting solution, while sub-optimal, might demand significantly less computational power than previously optimised algorithms, such as those mentioned in [
24], as it predefines the prediction horizon to use at each iteration instead of including it as a variable to optimize in the cost function. Other earlier methods aimed to determine the optimal horizon at the beginning of each MPC iteration [
26] require multiple problem-solving instances per iteration and thus are not computationally efficient. The proposed method markedly reduces the iterations needed to establish a viable time horizon, thereby reducing the computational time. This feature is particularly advantageous for real-time embedded system applications. This paper completes the work presented in [
27], varying the initial conditions of the numerical simulations and completing the study with a Monte Carlo analysis of the robustness of the algorithm with respect to the variability of the initial state vector, which benefits the proposed method to accurately tune the MPC algorithm and prevents possible issues during flight.
The paper is organised into the following sections:
Section 2 defines the set of equations and constraints of the guidance problem, and a convexification of this set of equations is proposed in
Section 3 so that an MPC algorithm can be developed later in
Section 3.2. Next, the simulation results and a Monte Carlo analysis in
Section 4 prove the robustness of the algorithm against different initial and environmental conditions. Finally,
Section 5 provides the concluding remarks and future work.
4. Numerical Results
The performance of the proposed MPC algorithm for reusable launch vehicle (RLV) scenarios is evaluated through numerical simulations. This section presents several test cases simulating landings on Earth using the first stage of SpaceX’s Falcon 9 rocket [
29]. The methodology follows the approach outlined in [
27], with the addition of a Monte Carlo analysis to assess the robustness of the MPC algorithm with respect to varying initial conditions of the RLV. The aim is to further validate the capability of the proposed algorithm in achieving a successful RLV landing in a realistic scenario, complementing the results presented in [
27]. The chosen scenario models the landing of the Falcon 9’s first stage, beginning from an initial position of
,
and initial velocities of
and
. These values are used as the initial state vector for solving the problem.
The relevant parameters for the rocket and the environment are provided in
Table 1 and
Table 2, respectively. For the simulations, only one engine of the rocket is considered. The initial mass of the RLV in each scenario is determined by the remaining fuel mass at the start of the landing phase. The simulations are conducted using the lower atmosphere of Earth as the environmental model.
4.1. Understanding the Feasibility Region of the Optimisation Problem
Before analysing the performance of the proposed MPC algorithm, a study is carried out to understand the suitability of the convex optimiser to solve the problem. This is achieved through a series of Monte Carlo and parametric analyses that allow a better comprehension of the feasible region with respect to the prediction horizon
and the initial conditions. A sensitivity analysis regarding the initial conditions and prediction horizon duration was performed in
Section 4.1.1 of [
27], with a range of initial conditions that still apply for those used for the simulations in this study (see
Table 3).
4.1.1. Finding the Applicable Ranges of the Prediction Horizon for Different Initial Velocities
The second step of the feasibility study is an analysis of the effect of the initial magnitude in the two components of the velocity
and
[
27]. A parametric analysis is executed to understand the feasible range of
values for each
V considered.
Table 4 describes the initial conditions of the analysis while the velocities are obtained from
Table 3.
The parametric analysis results can be seen in
Figure 4. In
Figure 4a, the values for the problem show a global minimum of
around
and a radius of
. The propagation of these initial velocities starting at the initial position
allows for a clear understanding of the physical interpretation of the location of such minimum. These velocity values bring the RLV close to the landing site
without the need for thrust, and therefore they allow for minimisation of the eventual corrections of the trajectory.
In
Figure 4b, the region with the maximum feasible
values is in the upper-right corner. Such a region of maximum feasible
is due to the lower thrust needed to overcome the initial velocities, being these with smaller magnitudes compared to the other cases, and therefore a higher quantity of fuel still available to descend slowly or even hover before touching the ground. Moreover, the values in yellow in
Figure 4a and in dark blue in
Figure 4b when
is close to
represent the cases in which the problem is unfeasible.
4.2. Analysis of the Performance of the Proposed MPC
After understanding the applicability of the presented optimiser for the landing scenario, the performance of the proposed MPC algorithm is analysed. Firstly, a parametric analysis is carried out to understand where the feasible region is with respect to the parameters of the MPC to be tuned. These parameters are the prediction horizon , the terminal horizon , and the update factor . Afterwards, an optimal trajectory obtained within the feasible region is discussed.
4.2.1. Finding the Applicable Ranges of Terminal Horizon and Update Factor
The feasible ranges for
and
need to be identified based on the findings in
Section 4.1. To this end, a parametric test with 1188 cases was conducted across a broad range of values, see
Table 5. It was determined that a
and a
within the range
are suitable for solving the problem. The feasibility of the problem is assessed by verifying that the constraints outlined in
Section 2.2 are satisfied and by comparing the state of the RLV at the end of each MPC run with the final objective, which is
. The problem is considered solved if the position and velocity errors fall within specified margins:
and
, respectively.
The execution of the set of scenarios revealed a zone in which the problem is feasible, as seen in
Figure 5. From the set containing 1188 cases, 348 were feasible. The first detail seen in
Figure 5 is that
is the minimum feasible PH. This is explained by the fact that the MPC algorithm will not solve the problem if the convex optimiser does not. For
, the problem is feasible for almost any
selected and a
greater or equal to
. As the
increases, the feasible region is restricted to a lower
, i.e., between
and
for
and
. The higher boundary of
continues decreasing until there is only
for
. In a similar manner, as the
increases, the
increases. For the cases with lower
, there are feasible solutions for all the values of
with various values of
, while in the upper part of
Figure 5 the main feasible region is constrained to
and
with
. The scenarios comprised by
are a good example of the tendency of the feasible region with respect to the selected value of
. Initially, it covers the full spectrum of selected values of
when
and ends with only one feasible solution with
and
. There were other feasible cases seen in
Figure 5, but as they were isolated, they were not considered to be part of the main feasibility region.
4.2.2. Optimal Trajectory
The final step to discuss is the performance of the MPC algorithm in a feasible scenario. The selected case, part of the set analysed in
Section 4.2.1, considers parameters of
,
, and
.
Figure 6 illustrates the trajectory followed by the RLV during the powered descent. The red vectors represent the thrust applied at each moment, with the largest thrust exerted at the start and end of the landing. This is further confirmed by
Figure 7, which displays the state and control vectors for the landing case. In
Figure 7e, the thrust follows a bang–bang profile, reaching its maximum for extended periods at both the beginning and end of the simulation. Meanwhile,
Figure 7f shows that the thrust angle starts at
and gradually converges towards
for a vertical landing.
In
Figure 6 and
Figure 7a, the altitude drops rapidly during the first
, while the proposed MPC algorithm simultaneously reduces the
, as shown in
Figure 7b, counteracting the initial velocity. Notably, between
and
, the
remains nearly constant to allow the RLV to approach the target on the X-axis, as seen in
Figure 7a–d, resulting in a slower decrease in altitude. During the final phase of the descent, the MPC reduces the magnitudes of both the
and
components, achieving a safe landing at the target position. The final state vector of the RLV is
, which satisfies the specified margins. The final mass is
, greater than the dry mass of the first stage of the Falcon 9 rocket.
Although not shown in
Figure 7f, some cases exhibit instantaneous changes in the thrust angle
due to the absence of a constraint on the initial control actions. As a result, at each step of the MPC algorithm, the initial
may differ from its previous value. Future research activities will focus on including this constraint in the algorithm to ensure that the optimizer takes the RLV’s current orientation into account. Additionally, the model in Equation (
1) does not consider the rotational dynamics of the RLV, meaning that the computed
is assumed to be achieved instantaneously. Nonetheless, these instantaneous jumps in
are limited to
. It is reasonable to expect that if attitude dynamics were included in the simulation model, the angle would be reached over a shorter period than the characteristic time of the simulation.
4.3. Monte Carlo Analysis of the Nominal Scenario Boundaries for the Selected PH, TH and UF
Once a nominal scenario has been studied and the values of the PH, TH, and UF have been selected, the last step is to understand how robust the algorithm is with respect to uncertainties in the initial state of the vehicle. Using the chosen values of the PH, TH, and UF, a Monte Carlo analysis is performed to find the boundaries of the feasibility region in each of the elements of the state vector.
Table 6 shows the minimum and maximum values for the uniformly distributed random points characterising the analysis. The range of values considered in each component of the position is 1000 m, from 2000 m in
X and 4500 m in
Z, up to 3000 m and 5500 m, respectively. The velocity components are constrained to
m/s in
and
m/s in
, which means a range of 90 m/s and 100 m/s. The initial mass studied covers from a minimum of
tonnes up to
tonnes, which means that the percentage of the fuel goes from
to
.
4.3.1. Monte Carlo Analysis with Fixed Initial Velocity
The first case studied is the sensibility of the proposed MPC algorithm to variations of the initial position and mass.
Figure 8 presents the results of the 500 simulations.
Figure 8a compares the variability of the problem with respect to the initial position. It displays a feasible region for all
m for all the range of altitudes considered, but going up to
m when the altitude is higher. Additionally, it presents an unfeasible region in the lower-right corner when the initial horizontal distance is greater and the altitude is lower, which shows the relation between initial position and velocity. As the velocity is fixed, there is a boundary in which the problem becomes unfeasible for the MPC algorithm to solve. This relates to what was stated previously in
Section 4.1.1. The unfeasible cases in the feasible region are caused by an initial mass too small or too big, as seen in
Figure 8b when
m.
In
Figure 8b,c, the initial mass is compared to each position component. Analysing both subfigures, it can be seen that, for a fixed initial velocity, the component that affects the feasibility the most is
X. For
m, there is a clear feasible zone, except for two regions where the mass is too high (
tonnes) or too low (
tonnes) and
m.
Figure 8c contains feasible solutions in the range of considered altitudes with a higher difficulty in landing the RLV correctly when the mass is close to the upper limit.
4.3.2. Monte Carlo Analysis with Fixed Initial Position
The second Monte Carlo test maintains the initial position as in the nominal scenario and varies the initial velocity and mass according to
Table 6. The results obtained after 500 iterations are represented in
Figure 9.
On
Figure 9a, the feasible region represents all the cases in which the MPC algorithm was able to overcome the initial velocity. When the initial magnitude of
is small (
m/s), the RLV is not able to reach the landing target, especially as the initial
becomes higher. Moreover, there is an unfeasible region when
m/s and
m/s, when
m/s, as seen in
Figure 9b. This subfigure shows an unstable region around the nominal scenario conditions, but its feasibility is better explained in
Figure 9c,d, where the initial mass
is compared with each velocity component. The proposed MPC algorithm is robust for the zone around the nominal condition in
Figure 9c, particularly when
m/s and independently of
. As
increases, the problem becomes more difficult to solve, in the same manner as in
Figure 9d when
reaches 300 m/s.
4.3.3. Monte Carlo Analysis with Fixed Initial Mass
The last Monte Carlo analysis for assessing the robustness of the MPC algorithm consists of 500 cases in which the initial mass was fixed and the position and velocity variate.
Figure 10 presents the results obtained and reinforce the lessons already learned in the previous
Section 4.3.1 and
Section 4.3.2. Specifically, in
Figure 10a, the problem becomes harder to solve when the horizontal distance
X with respect to the landing pad increases and, in
Figure 10b the problem cannot be consistently solved in the bottom right region when the initial
is smaller and the initial
rises.
5. Conclusions
This paper further analyses the robustness of a proposed MPC strategy for the powered descent of an RLV. The strategy adjusts the prediction horizon using an update factor, allowing the RLV to land within a specified terminal horizon. The paper highlights the advantages of this approach over receding horizon MPC methods, reducing the need for an online search of a suitable prediction horizon when it is not fixed [
10]. It can be tuned by properly setting the initial
,
, and
values.
The numerical simulations and the tuning carried out within this paper show that this approach is viable and promising. The presented tuning strategy can be easily automatised and applied to systems with different RLVs and initial conditions, leading to different optimal sets of , and . The robustness of the tuning strategy, as well as the overall MPC algorithm, was assessed by analysing the performances and the feasibility regions by varying, under a Monte Carlo approach, the initial conditions of the vehicle. The qualitative interpretation of the results leads to stress the importance of the initial horizontal distance between the RLV and the landing site, and the initial vertical component velocity. A key parameter considered within these analyses was the propellant mass, which is strongly affecting the capability of the rocket to land. Sharp feasibility boundaries were indeed identified when initial parameters were pushed out of reasonable ranges. In the presented case of the landing of a Falcon 9 stage, the maximum horizontal distance could not be bigger than 2800 m and the initial vertical descent velocity could not exceed approx. 280 m/s. In such cases, the RLV could run out of fuel or could not be able to slow sufficiently fast the motion before touching the ground.
Preliminary results of the current work by the authors have been presented in [
31], describing further research of a similar strategy on a six-DoF rigid body model with translational and rotational dynamics. Future work will test possible failure scenarios, i.e., an engine failure, and how the proposed MPC algorithm copes with them. Alternative future works will explore the possibilities of using artificial intelligence for the selection of the prediction horizon, i.e., tree search algorithms, as described in [
16].