pith. sign in

arxiv: 2502.00398 · v3 · submitted 2025-02-01 · 🧮 math.OC

Taylor polynomial-based constrained solver for fuel-optimal low-thrust trajectory optimisation

Pith reviewed 2026-05-23 03:44 UTC · model grok-4.3

classification 🧮 math.OC
keywords differential algebralow-thrust trajectory optimizationfuel-optimal controldifferential dynamic programmingTaylor polynomial expansionsconstrained optimizationaugmented Lagrangian
0
0 comments X

The pith

High-order Taylor expansions from differential algebra replace numerical propagations to accelerate constrained fuel-optimal low-thrust trajectory optimization.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces DADDy, a solver framework that applies differential algebra to produce high-order Taylor expansions of the spacecraft dynamics. These expansions substitute faster polynomial evaluations for repeated numerical integrations inside the optimization loop. The approach first applies differential dynamic programming to generate an almost-feasible trajectory from imperfect guesses, then uses a polynomial-accelerated Newton stage to reach full feasibility and optimality. Constraints are managed through an augmented Lagrangian, and a pseudo-Huber homotopy aids robustness for fuel-minimizing objectives. If the method holds, trajectory designers can complete more iterations or explore wider parameter spaces in less time without loss of solution quality on the tested classes of transfers.

Core claim

The paper establishes that differential algebra supplies both automatic differentiation and high-order Taylor expansions of the dynamics that can replace many expensive numerical propagations inside a hybrid solver. The first stage uses differential dynamic programming or iterative linear-quadratic regulation to produce an almost-feasible trajectory; the second stage applies a polynomial-accelerated Newton method to enforce exact feasibility. Equality and inequality constraints are incorporated via augmented Lagrangian, while a pseudo-Huber homotopy improves behavior on fuel-optimal problems. On benchmark transfers in Sun-centred, Earth-Moon, and Earth-centred environments the resulting iLQ0

What carries the argument

High-order Taylor polynomial expansions of the dynamics obtained through differential algebra, which substitute polynomial evaluations for numerical propagations inside both the differential dynamic programming stage and the subsequent Newton refinement.

If this is right

  • The iLQRDyn configuration converges systematically across all three dynamical environments tested.
  • Runtime reductions reach 70 percent in Sun-centred cases, 51-88 percent in Earth-Moon cases, and 41-55 percent in Earth-centred cases relative to the baseline.
  • DDP-based variants deliver further speed gains whenever they converge.
  • The augmented Lagrangian formulation successfully enforces both equality and inequality constraints.
  • The pseudo-Huber homotopy increases robustness specifically for fuel-optimal objectives.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same polynomial-acceleration pattern could be applied to other optimal-control problems in which repeated dynamic evaluations dominate run time.
  • Adaptive selection of expansion order during iterations might trade accuracy for speed in different mission phases.
  • The framework could support faster sensitivity studies when initial conditions or target orbits vary.

Load-bearing premise

The Taylor expansions of the dynamics remain accurate enough throughout the iterations that the final solutions match or exceed the quality obtained by the baseline numerical solver.

What would settle it

A benchmark transfer in which the DADDy solver converges to a trajectory whose fuel cost is measurably higher or whose constraints are more violated than the solution returned by the corresponding baseline numerical solver.

Figures

Figures reproduced from arXiv: 2502.00398 by Roberto Armellin, Spencer Boone, St\'ephanie Lizy-Destrez, Thomas Caleb.

Figure 9
Figure 9. Figure 9: The test cases are numbered as follows: (1) halo-to-halo, (2) NRHO-to-DRO, and (3) [PITH_FULL_IMAGE:figures/full_fig_p025_9.png] view at source ↗
read the original abstract

This paper presents differential algebra-based differential dynamic programming (DADDy), a publicly available C++ framework for constrained, fuel-optimal low-thrust trajectory optimisation. The method uses differential algebra (DA) for two purposes: automatic differentiation and high-order Taylor expansions of the dynamics. These expansions replace many expensive numerical propagations with polynomial evaluations, reducing computational effort while preserving solution quality. The framework combines two complementary modules. First, a differential dynamic programming (DDP)/iterative linear-quadratic regulator (iLQR) stage computes an almost-feasible trajectory from imperfect initial guesses. Second, a polynomial-accelerated Newton stage enforces full feasibility with fast local convergence. Equality and inequality constraints are handled through an augmented Lagrangian formulation, and a pseudo-Huber homotopy is used to improve robustness for fuel-optimal objectives. The solver is evaluated on benchmark transfers in Sun-centred, Earth-Moon, and Earth-centred dynamical environments. Across these cases, the most robust configuration (iLQRDyn) converged systematically and reduced run time by 70% (Sun-centred), 51-88% (Earth-Moon), and 41-55% (Earth-centred) relative to the corresponding baseline. When convergent, the DDP-based variants are faster still. Overall, the results show that DA-based acceleration can substantially improve practical efficiency while retaining robust convergence behaviour on the tested benchmark set.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript introduces DADDy, a publicly available C++ framework for constrained fuel-optimal low-thrust trajectory optimization. It employs differential algebra for automatic differentiation and high-order Taylor expansions of the dynamics to accelerate DDP/iLQR and Newton stages within an augmented-Lagrangian formulation, using a pseudo-Huber homotopy for the fuel objective. Benchmarks across Sun-centred, Earth-Moon, and Earth-centred environments report systematic convergence with runtime reductions of 70%, 51-88%, and 41-55% relative to baseline solvers when using the iLQRDyn configuration.

Significance. If the accuracy of the high-order expansions holds throughout the iterations as claimed, the work provides a practical, reproducible acceleration technique for trajectory optimization that combines global search via DDP with fast local refinement. The public implementation and focus on fuel-optimal problems with mixed constraints represent a concrete contribution to applied optimal control in astrodynamics, particularly for cases where repeated numerical propagations dominate runtime.

major comments (2)
  1. [§4.2] §4.2, the description of the polynomial-accelerated Newton stage: the claim that the Taylor expansions replace numerical propagations while preserving solution quality requires explicit reporting of final constraint violation residuals and objective values compared to the baseline; without these quantities in the benchmark tables it is difficult to confirm that the accelerated solutions match or exceed baseline quality rather than merely converging faster to a nearby point.
  2. [Table 5] Table 5 (Earth-Moon cases), the iLQRDyn rows: the reported runtime reductions are given as ranges (51-88%); the manuscript should clarify whether these ranges reflect variation across initial guesses or across different transfer types, and whether the same number of iterations is used for the baseline comparison.
minor comments (3)
  1. [Eq. (12)] The notation for the pseudo-Huber parameter in Eq. (12) is introduced without an explicit statement of its default value or adaptation schedule during homotopy; a short table of hyper-parameters would improve reproducibility.
  2. [Figure 3] Figure 3 caption states 'convergence history' but the y-axis label is missing the units or scaling for the cost; this should be corrected for clarity.
  3. [§3] The abstract mentions 'the most robust configuration (iLQRDyn)' but the main text does not define the acronym on first use; add the expansion at the first occurrence in §3.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive review and the recommendation for minor revision. The comments identify opportunities to strengthen the presentation of results, which we address point by point below.

read point-by-point responses
  1. Referee: [§4.2] §4.2, the description of the polynomial-accelerated Newton stage: the claim that the Taylor expansions replace numerical propagations while preserving solution quality requires explicit reporting of final constraint violation residuals and objective values compared to the baseline; without these quantities in the benchmark tables it is difficult to confirm that the accelerated solutions match or exceed baseline quality rather than merely converging faster to a nearby point.

    Authors: We agree that explicit reporting of final constraint violation residuals and objective values is necessary to substantiate the preservation of solution quality. In the revised manuscript we will extend the benchmark tables (including those in §4.2 and Table 5) with additional columns that list the final equality/inequality constraint residuals and the achieved objective values for both the baseline and all DADDy configurations, allowing direct numerical comparison. revision: yes

  2. Referee: [Table 5] Table 5 (Earth-Moon cases), the iLQRDyn rows: the reported runtime reductions are given as ranges (51-88%); the manuscript should clarify whether these ranges reflect variation across initial guesses or across different transfer types, and whether the same number of iterations is used for the baseline comparison.

    Authors: The reported ranges (51-88 %) for the iLQRDyn configuration in Table 5 arise from variation across the distinct Earth-Moon transfer types in the benchmark set; they do not reflect different initial guesses for the same transfer. All solver comparisons, baseline and accelerated alike, are performed under identical convergence tolerances rather than a fixed iteration budget. We will revise the table caption and the accompanying text in §4 to state these facts explicitly. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper describes an implemented numerical solver (DADDy) that substitutes high-order Taylor expansions for repeated numerical integrations inside DDP/iLQR and Newton iterations, with an augmented-Lagrangian constraint handler and pseudo-Huber homotopy. All performance claims are backed by explicit benchmark definitions, convergence tables, and runtime measurements on Sun-centred, Earth-Moon, and Earth-centred transfers; these results are obtained by running the supplied code on the stated problems rather than by any algebraic reduction of a fitted quantity to itself or by a load-bearing self-citation. No derivation step equates an output prediction to an input fit or renames an external result as a new theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central performance claim rests on the domain assumption that Taylor polynomial approximations of the dynamics are accurate enough to preserve optimization quality; no free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption High-order Taylor expansions of the spacecraft dynamics can replace numerical propagations without degrading the quality of the optimized trajectory.
    Invoked to justify replacing expensive numerical integrations with polynomial evaluations throughout the DDP and Newton stages.

pith-pipeline@v0.9.0 · 5782 in / 1256 out tokens · 47293 ms · 2026-05-23T03:44:52.599035+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Non-linear stochastic trajectory optimisation

    math.OC 2025-08 unverdicted novelty 7.0

    SODA uses differential algebra and adaptive Gaussian mixtures to solve chance-constrained nonlinear trajectory optimization problems for space missions with non-Gaussian uncertainties.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages · cited by 1 Pith paper

  1. [1]

    China’s Lunar Exploration Program: Present and future,

    Zheng, Y., Ouyang, Z., Li, C., Liu, J., and Zou, Y., “China’s Lunar Exploration Program: Present and future,”Planetary and Space Science, Vol. 56, No. 7, 2008, pp. 881–886. https://doi.org/https://doi.org/10.1016/j.pss.2008.01.002

  2. [2]

    The Artemis Program: 30 An Overview of NASA’s Activities to Return Humans to the Moon,

    Smith, M., Craig, D., Herrmann, N., Mahoney, E., Krezel, J., McIntyre, N., and Goodliff, K., “The Artemis Program: 30 An Overview of NASA’s Activities to Return Humans to the Moon,”2020 IEEE Aerospace Conference, 2020, pp. 1–10. https://doi.org/10.1109/AERO47225.2020.9172323

  3. [3]

    FastGradientEvaluationandMappingMethodforBi-ImpulsiveTransfersWithin PeriodicOrbits,

    Caleb,T.,Armellin,R.,andLizy-Destrez,S.,“FastGradientEvaluationandMappingMethodforBi-ImpulsiveTransfersWithin PeriodicOrbits,”JournalofGuidance,Control,andDynamics,Vol.0,No.0,2024,pp.1–9. https://doi.org/10.2514/1.G008038, URL https://arc.aiaa.org/doi/abs/10.2514/1.G008038

  4. [4]

    Orbital Guidance Using Higher-Order State Transition Tensors,

    Boone, S., and McMahon, J., “Orbital Guidance Using Higher-Order State Transition Tensors,”Journal of Guidance, Control, and Dynamics, Vol. 44, No. 3, 2021, pp. 493–504. https://doi.org/10.2514/1.g005493

  5. [5]

    A Second-order Gradient Method for Determining Optimal Trajectories of Non-linear Discrete-time Systems,

    Mayne, D., “A Second-order Gradient Method for Determining Optimal Trajectories of Non-linear Discrete-time Systems,” International Journal of Control, Vol. 3, No. 1, 1966, pp. 85–95. https://doi.org/10.1080/00207176608921369, URL https://doi.org/10.1080/00207176608921369

  6. [6]

    Dawn: a mission in development for exploration of main belt asteroids Vesta and Ceres,

    Rayman, M. D., Fraschetti, T. C., Raymond, C. A., and Russell, C. T., “Dawn: a mission in development for exploration of main belt asteroids Vesta and Ceres,”Acta Astronautica, Vol. 58, No. 11, 2006, pp. 605–616. https://doi.org/10.1016/j.actaastro.2006. 01.014

  7. [7]

    Mystic: Implementation of the Static Dynamic Optimal Control Algorithm for High-Fidelity, Low-Thrust Trajectory Design,

    Whiffen, G., “Mystic: Implementation of the Static Dynamic Optimal Control Algorithm for High-Fidelity, Low-Thrust Trajectory Design,”AIAA/AAS Astrodynamics Specialist Conference and Exhibit, American Institute of Aeronautics and Astronautics, 2006. https://doi.org/10.2514/6.2006-6741

  8. [8]

    Development of the Psyche mission for NASA’s discovery program,

    Oh, D. Y., Collins, S. M., Goebel, D. M., Hart, B., Lantoine, G., Snyder, S., Whiffen, G. J., Elkins-Tanton, L. T., Lord, P. W., Pirkl, Z., and Rotlisburger, L., “Development of the Psyche mission for NASA’s discovery program,”35th International Electric Propulsion Conference, 2017. URL https://api.semanticscholar.org/CorpusID:31454933

  9. [9]

    A Hybrid Differential Dynamic Programming Algorithm for Constrained Optimal Control Problems. Part 1: Theory,

    Lantoine, G., and Russell, R. P., “A Hybrid Differential Dynamic Programming Algorithm for Constrained Optimal Control Problems. Part 1: Theory,”Journal of Optimization Theory and Applications, Vol. 154, No. 2, 2012, pp. 382–417. https://doi.org/10.1007/s10957-012-0039-0, URL https://doi.org/10.1007/s10957-012-0039-0

  10. [10]

    Stochastic Differential Dynamic Programming with Unscented Transform for Low-Thrust Trajectory Design,

    Ozaki, N., Campagnola, S., Funase, R., and Yam, C. H., “Stochastic Differential Dynamic Programming with Unscented Transform for Low-Thrust Trajectory Design,”Journal of Guidance, Control, and Dynamics, Vol. 41, No. 2, 2018, pp. 377–387. https://doi.org/10.2514/1.G002367, URL https://doi.org/10.2514/1.G002367

  11. [11]

    Differential dynamic programming technique for constrained optimal control: Part 1: theoretical development,

    Lin, T. C., and Arora, J. S., “Differential dynamic programming technique for constrained optimal control: Part 1: theoretical development,”Computational Mechanics, Vol. 9, No. 1, 1991, pp. 27–40. https://doi.org/10.1007/bf00369913

  12. [12]

    Differential dynamic programming applied to continuous optimal control problems with state variable inequality constraints,

    Ruxton, D. J. W., “Differential dynamic programming applied to continuous optimal control problems with state variable inequality constraints,”Dynamics and Control, Vol. 3, No. 2, 1993, pp. 175–185. https://doi.org/10.1007/bf01968530

  13. [13]

    A multiple-shooting differential dynamic programming algorithm. Part 1: Theory,

    Pellegrini, E., and Russell, R. P., “A multiple-shooting differential dynamic programming algorithm. Part 1: Theory,”Acta Astronautica, Vol. 170, 2020, pp. 686–700. https://doi.org/10.1016/j.actaastro.2019.12.037. 31

  14. [14]

    ALTRO: A Fast Solver for Constrained Trajectory Optimization,

    Howell, T. A., Jackson, B. E., and Manchester, Z., “ALTRO: A Fast Solver for Constrained Trajectory Optimization,”2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019, pp. 1–6. https://doi.org/10.1109/ IROS40897.2019.8967788, URL https://doi.org/10.1109/IROS40897.2019.8967788

  15. [15]

    Interior Point Differential Dynamic Programming,

    Pavlov, A., Shames, I., and Manzie, C., “Interior Point Differential Dynamic Programming,”IEEE Transactions on Control Systems Technology, Vol. 29, No. 6, 2021, pp. 2720–2727. https://doi.org/10.1109/tcst.2021.3049416

  16. [16]

    Differential dynamic programming with nonlinear constraints,

    Xie, Z., Liu, C. K., and Hauser, K., “Differential dynamic programming with nonlinear constraints,”2017 IEEE International Conference on Robotics and Automation (ICRA), IEEE, 2017. https://doi.org/10.1109/icra.2017.7989086

  17. [17]

    Accelerating Second-Order Differential Dynamic Programming for Rigid-Body Systems,

    Nganga, J. N., and Wensing, P. M., “Accelerating Second-Order Differential Dynamic Programming for Rigid-Body Systems,” IEEE Robotics and Automation Letters, Vol. 6, No. 4, 2021, pp. 7659–7666. https://doi.org/10.1109/lra.2021.3098928

  18. [18]

    HybridDifferentialDynamicProgrammingAlgorithmforLow-Thrust Trajectory Design Using Exact High-Order Transition Maps,

    Maestrini,M.,DiLizia,P.,Armellin,R.,andRussell,R.,“HybridDifferentialDynamicProgrammingAlgorithmforLow-Thrust Trajectory Design Using Exact High-Order Transition Maps,”Proceedings of the 69th International Astronautical Congress, 2018

  19. [19]

    Berz, M.,Modern Map Methods in Particle Beam Physics, Elsevier, 1999, Chap. 2, pp. 82–119. https://doi.org/10.1016/s1076- 5670(08)70227-1

  20. [20]

    NonlinearMappingofUncertaintiesinCelestialMechanics,

    Valli,M.,Armellin,R.,DiLizia,P.,andLavagna,M.R.,“NonlinearMappingofUncertaintiesinCelestialMechanics,”Journal of Guidance, Control, and Dynamics, Vol. 36, No. 1, 2013, pp. 48–63. https://doi.org/10.2514/1.58068

  21. [21]

    Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity,

    Vasile, M., Absil, C. O., and Riccardi, A., “Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity,”Communications in Nonlinear Science and Numerical Simulation, Vol. 75, 2019, pp. 22–49. https://doi.org/10.1016/j.cnsns.2019.03.019

  22. [22]

    Rapid Spacecraft Trajectory Optimization Using State Transition Tensors and Differential Dynamic Programming,

    Boone, S., and McMahon, J., “Rapid Spacecraft Trajectory Optimization Using State Transition Tensors and Differential Dynamic Programming,”Journal of Guidance, Control, and Dynamics, 2025, pp. 1–9. https://doi.org/10.2514/1.g007293

  23. [23]

    Asteroid close encounters characterization using differential algebra: the case of Apophis,

    Armellin, R., Di Lizia, P., Bernelli-Zazzera, F., and Berz, M., “Asteroid close encounters characterization using differential algebra: the case of Apophis,”Celestial Mechanics and Dynamical Astronomy, Vol. 107, No. 4, 2010, pp. 451–470. https://doi.org/10.1007/s10569-010-9283-5

  24. [24]

    Wittig, A.,An Introduction to Differential Algebra and the Differential Algebra Manifold Representation, Springer International Publishing, 2016, pp. 293–309. https://doi.org/10.1007/978-3-319-23986-6_20

  25. [25]

    High-order computation and normal form analysis of repetitive systems,

    Berz, M., “High-order computation and normal form analysis of repetitive systems,”AIP Conference Proceedings, 1992, pp. 1–36. https://doi.org/10.1063/1.41975

  26. [26]

    Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting,

    Wittig, A., Di Lizia, P., Armellin, R., Makino, K., Bernelli-Zazzera, F., and Berz, M., “Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting,”Celestial Mechanics and Dynamical Astronomy, Vol. 122, No. 3, 2015, pp. 239–261. https://doi.org/10.1007/s10569-015-9618-3. 32

  27. [27]

    Stable sets mapping with Taylor differential algebra with application to ballistic capture orbits around Mars,

    Caleb, T., Merisio, G., Di Lizia, P., and Topputo, F., “Stable sets mapping with Taylor differential algebra with application to ballistic capture orbits around Mars,”Celestial Mechanics and Dynamical Astronomy, Vol. 134, No. 39, 2022, pp. 1572–9478. https://doi.org/10.1007/s10569-022-10090-8

  28. [28]

    Differential Algebra Methods Applied to Continuous Abacus Generation and Bifurcation Detection: Application to Periodic Families of the Earth–Moon system,

    Caleb, T., Losacco, M., Fossà, A., Armellin, R., and Lizy-Destrez, S., “Differential Algebra Methods Applied to Continuous Abacus Generation and Bifurcation Detection: Application to Periodic Families of the Earth–Moon system,”Nonlinear Dynamics, 2023. https://doi.org/10.1007/s11071-023-08375-0

  29. [29]

    Low-Order Automatic Domain Splitting Approach for Nonlinear Uncertainty Mapping,

    Losacco, M., Fossà, A., and Armellin, R., “Low-Order Automatic Domain Splitting Approach for Nonlinear Uncertainty Mapping,”Journal of Guidance, Control, and Dynamics, Vol. 47, No. 2, 2024, pp. 291–310. https://doi.org/10.2514/1.g007271

  30. [30]

    A distributed learning based on robust diffusion SGD over adaptive networks with noisy output data,

    Barani, F., Savadi, A., and Sadoghi Yazdi, H., “A distributed learning based on robust diffusion SGD over adaptive networks with noisy output data,”Journal of Parallel and Distributed Computing, Vol. 190, 2024, p. 104883. https://doi.org/https: //doi.org/10.1016/j.jpdc.2024.104883, URL https://www.sciencedirect.com/science/article/pii/S0743731524000479

  31. [31]

    Practical Techniques for Low-Thrust Trajectory Optimization with Homotopic Approach,

    Jiang, F., Baoyin, H., and Li, J., “Practical Techniques for Low-Thrust Trajectory Optimization with Homotopic Approach,” Journal of Guidance, Control, and Dynamics, Vol. 35, No. 1, 2012, pp. 245–258. https://doi.org/10.2514/1.52476

  32. [32]

    Sur la résolution numérique des systèmes d’équations linéaires,

    Cholesky, A.-L., “Sur la résolution numérique des systèmes d’équations linéaires,” Tech. rep., 1910

  33. [33]

    ParallelCholeskyfactorizationofablocktridiagonalmatrix,

    Cao,T.,Hall,J.,andvandeGeijn,R.,“ParallelCholeskyfactorizationofablocktridiagonalmatrix,”Proceedings.International Conference on Parallel Processing Workshop, 2002, pp. 327–335. https://doi.org/10.1109/ICPPW.2002.1039748

  34. [34]

    A Hybrid Differential Dynamic Programming Algorithm for Constrained Optimal Control Problems. Part 2: Application,

    Lantoine, G., and Russell, R. P., “A Hybrid Differential Dynamic Programming Algorithm for Constrained Optimal Control Problems. Part 2: Application,”Journal of Optimization Theory and Applications, Vol. 154, No. 2, 2012, pp. 418–442. https://doi.org/10.1007/s10957-012-0038-1, URL https://doi.org/10.1007/s10957-012-0038-1

  35. [35]

    HybridDifferentialDynamicProgrammingintheCircularRestrictedThree-Body Problem,

    Aziz,J.D.,Scheeres,D.J.,andLantoine,G.,“HybridDifferentialDynamicProgrammingintheCircularRestrictedThree-Body Problem,”JournalofGuidance, Control, andDynamics, Vol.42, No.5, 2019, pp.963–975. https://doi.org/10.2514/1.G003617, URL https://doi.org/10.2514/1.G003617

  36. [36]

    Analyticalsolutionsforlow-thrustorbittransfers,

    DiCarlo,M.,andVasile,M.,“Analyticalsolutionsforlow-thrustorbittransfers,”CelestialMechanicsandDynamicalAstronomy, Vol. 133, No. 7, 2021. https://doi.org/10.1007/s10569-021-10033-9, URL https://doi.org/10.1007/s10569-021-10033-9

  37. [37]

    Differential algebra space toolbox for nonlinear uncertainty propagation in space dynamics,

    Rasotto, M., Morselli, A., Wittig, A., Massari, M., Di Lizia, P., Armellin, R., Yabar Valles, C., and Urbina Ortega, C., “Differential algebra space toolbox for nonlinear uncertainty propagation in space dynamics,”6th International Conference on Astrodynamics Tools and Techniques (ICATT), edited by G. uropean Space Operations Centre (ESOC), Darmstadt, 201...

  38. [38]

    DifferentialAlgebrasoftwarelibrarywithautomaticcodegenerationfor space embedded applications,

    Massari,M.,DiLizia,P.,Cavenago,F.,andWittig,A.,“DifferentialAlgebrasoftwarelibrarywithautomaticcodegenerationfor space embedded applications,”2018 AIAA Information Systems-AIAA Infotech @ Aerospace, American Institute of Aeronautics and Astronautics, 2018, pp. 1–13. https://doi.org/10.2514/6.2018-0398. 33

  39. [39]

    The Planetary and Lunar Ephemerides DE430 and DE431,

    Folkner, W., Williams, J., Boggs, D., Park, R., and Kuchynka, P., “The Planetary and Lunar Ephemerides DE430 and DE431,” Tech. Rep. 42-196, Jet Propulsion Laboratory, California Institute of Technology, 2014

  40. [40]

    Three-dimensional, periodic, ’halo’ orbits,

    Howell, K., “Three-dimensional, periodic, ’halo’ orbits,”Celestial Mechanics, Vol. 32, No. 1, 1984, pp. 53–71. https: //doi.org/10.1007/bf01358403

  41. [41]

    Poincaré, H.,Les Méthodes Nouvelles de la Mécanique Céleste, Gauthier-Villars, Paris, France, 1892

  42. [42]

    https://doi.org/10.1016/B978-0-12-395732-0.50007-6

    Szebehely, V.,Theory of Orbits, Academic Press, 1967. https://doi.org/10.1016/B978-0-12-395732-0.50007-6

  43. [43]

    Magnetic resonance imaging (MRI): considerations and applications in radiotherapy treatment planning

    Jorba, A., and Masdemont, J., “Dynamics in the center manifold of the collinear points of the restricted three body problem,” Physica D: Nonlinear Phenomena, Vol. 132, No. 1, 1999, pp. 189–213. https://doi.org/https://doi.org/10.1016/S0167- 2789(99)00042-1

  44. [44]

    TheControlandUseofLibration-PointSatellites,

    Farquhar,R.W.,“TheControlandUseofLibration-PointSatellites,”Tech.rep.,NationalAeronauticsandSpaceAdministration (NASA), 1970. Number NASA TR R-346

  45. [45]

    Near rectilinear halo orbits and nearby higher-period dynamical structures: orbital stability and resonance properties,

    Zimovan Spreen, E. M., Howell, K. C., and Davis, D. C., “Near rectilinear halo orbits and nearby higher-period dynamical structures: orbital stability and resonance properties,”Celestial Mechanics and Dynamical Astronomy, Vol. 132, No. 5, 2020, pp. 1–25. https://doi.org/10.1007/s10569-020-09968-2

  46. [46]

    Numerical exploration of the restricted problem, V,

    Hénon, M., “Numerical exploration of the restricted problem, V,”Astronomy and Astrophysics, Vol. 1, 1969, pp. 223–238

  47. [47]

    A., and McClain, W

    Vallado, D. A., and McClain, W. D.,Fundamentals of Astrodynamics and Applications, Hawthorne (CA) : Microcosm Press, 2007

  48. [48]

    Extended analytical formulae for the perturbed Keplerian motion under low-thrust acceleration and orbital perturbations,

    Di Carlo, M., Graça Marto, S. d., and Vasile, M., “Extended analytical formulae for the perturbed Keplerian motion under low-thrust acceleration and orbital perturbations,”Celestial Mechanics and Dynamical Astronomy, Vol. 133, No. 3, 2021. https://doi.org/10.1007/s10569-021-10007-x, URL https://doi.org/10.1007/s10569-021-10007-x

  49. [49]

    Optimal low-thrust spiral trajectories using Lyapunov-based guidance,

    Yang, D.-l., Xu, B., and Zhang, L., “Optimal low-thrust spiral trajectories using Lyapunov-based guidance,”Acta Astronautica, Vol. 126, 2016, pp. 275–285. https://doi.org/10.1016/j.actaastro.2016.04.028

  50. [50]

    Low-Thrust Many-Revolution Trajectory Optimization via Differential Dynamic Programming and a Sundman Transformation,

    Aziz, J. D., Parker, J. S., Scheeres, D. J., and Englander, J. A., “Low-Thrust Many-Revolution Trajectory Optimization via Differential Dynamic Programming and a Sundman Transformation,”The Journal of the Astronautical Sciences, Vol. 65, No. 2, 2018, pp. 205–228. https://doi.org/10.1007/s40295-017-0122-8. 34