REVIEW 3 major objections 7 minor 78 references
Universal Birkhoff Method for Computing Extremals in the Elliptic Restricted Three-Body Problem
T0 review · 3 major / 7 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read One guess-free spectral method computes and verifies finite-thrust extremals in the elliptic restricted three-body problem.
desk verdict New ER3BP extremal transfers with a guess-free spectral method, but Table 8's unacknowledged transversality mismatch is a load-bearing verification gap that needs fixing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the universal Birkhoff interpolant: a paired a/b expansion $x^N(\theta)=x_0 B^0_0(\theta)+\sum_{j=1}^N v_j B^a_j(\theta)=\sum_{j=1}^N v_j B^b_j(\theta)+x_f B^N_N(\theta)$ in which endpoint values and interior derivative values are the unknowns, so the same discretization carries both state and adjoint without committing to a polynomial basis. The companion machinery is the spectral algorithm, whose stabilization component starts from an arbitrary point and whose accuracy component drives the residual to tolerance; because the Birkhoff discretization has mesh-independent conditioning, the grid can be refined to large $N$, and the Chebyshev version uses closed-form Chebyshev-Gauss-Lobatto nodes with an FFT-based $O(N\log N)$ matrix-vector product. Libration-point orbits enter the constraints as Chebyshev interpolants of sampled state values, turning endpoint manifolds into algebraic functions whose derivatives feed the Hamiltonian value condition. Propellant consumption is modeled by the $\Delta\mathrm{prox}_1$ functional, an Isp-agnostic $L^1$ proxy made differentiable by splitting $u=u^a-u^b$, so no homotopy from a quadratic cost is required.
What would settle it
A direct check is to rerun the time-limited minimum-propellant transfer with tightened tolerances on the multiplier variables and print every component of $\lambda(\theta_0)+\nu_0$ and $\lambda(\theta_f)-\nu_f-(0,0,\nu_{zf},0,0,0)^T$. If the z-component at $\theta_0$ still shows $0.000000$ while $-\nu_{0z}$ is $0.002973$, the transversality check fails on that component; a second check is to propagate the reported control with a high-order integrator, integrate the adjoint equations backward, and compare the reconstructed multipliers at internal switching points.
Extended reading notes
Core claim
The paper's central claim is that the universal Birkhoff spectral algorithm can generate verifiable extremals for the elliptic restricted three-body problem with no assistance or initialization from dynamical systems theory. Concretely, it computes finite-thrust transfers from a 2:1 resonant L1 Lyapunov orbit to a 4:1 resonant southern near-rectilinear halo orbit under minimum-time, time-limited minimum-propellant, and time-bounded time-free minimum-propellant costs. The computed solutions are bang-bang or bang-off-bang, and the paper reports that all detected arcs satisfy the necessary conditions through the Hamiltonian value, transversality, and control-switching complementarity checks. Independent high-order propagation of the control histories is used to verify feasibility, and the departure and arrival points are themselves declared extremal after passing the same checks.
Load-bearing premise
The verification loop assumes the solver's reported multiplier variables, the costate and endpoint covectors, are accurate enough that componentwise agreement between them means the transversality conditions hold; if those dual variables are off, the claimed verifiable extremal status is not supported.
Editorial extensions
If this is right
- Finite-thrust transfers between libration-point orbits in the ER3BP can be produced in one shot on an ordinary laptop, with no initial guess and no stable or unstable manifold seeding.
- Every computed candidate carries local optimality certificates: Hamiltonian value, transversality, and control-switching complementarity are evaluated directly on the output.
- The optimal departure and arrival points on the endpoint manifolds are part of the unknown solution, so no separate two-point boundary-value sweep is needed.
- Minimum-propellant comparisons are reported in an Isp-agnostic proxy, allowing a direct time-versus-propellant trade without fixing engine parameters.
- Because the method handles non-autonomous dynamics without special clock-time bookkeeping, the same pipeline extends from the circular restricted problem to the elliptic restricted problem.
Reading between the lines
- If the guess-free property carries over to other endpoint manifolds, the same pipeline should solve transfers to and from halo, distant retrograde, or ephemeris-derived orbits by swapping the Chebyshev endpoint interpolants; this is the paper's implied generalization but is not demonstrated here.
- A direct extension would be a parametric sweep of the maximum true-anomaly bound from $2\pi$ to $4\pi$, plotting $\Delta\mathrm{prox}_1$ versus flight time to see whether the propellant saving between the $2\pi$ and $3\pi$ cases continues.
- The printed verification tables leave one open check: in Table 8, $\lambda_z(\theta_0)$ is printed as $0.000000$ while $-\nu_{0z}$ is $0.002973$, so a stricter dual-variable tolerance on that component would clarify whether the verification loop is limited by printed precision or by costate accuracy.
- Because the control is represented by a non-polynomial interpolant, this method should remain free of Gibbs artifacts for bang-bang controls with many switches, a property worth testing on a deliberately many-switch transfer.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper formulates finite-thrust optimal control problems in the elliptic restricted three-body problem (ER3BP), with departure and arrival on libration-point orbits represented by Chebyshev interpolants of Runge-Kutta solutions. It derives Pontryagin necessary conditions for minimum-time and time-constrained minimum-propellant (Δprox1) costs, including transversality conditions for the free departure/arrival points and a targeting inequality. Candidate solutions are computed by the universal Birkhoff method implemented in a guess-free spectral algorithm (α-DIDO) for three cases: minimum-time, time-limited minimum-propellant, and time-bounded time-free minimum-propellant. The paper claims that the Birkhoff-theoretic spectral algorithm generates verifiable extremals without initialization from dynamical systems theory, and it reports checks of the Hamiltonian value condition, transversality conditions, and control switching structure, together with independent feasibility propagation of the computed control histories.
Significance. If the central claim is fully supported, this is a valuable contribution: it would provide a guess-free computational route to finite-thrust extremals in the non-autonomous ER3BP, with machine-precision representation of libration orbits via FFT-based Chebyshev interpolation, boxed checkable optimality conditions, a six-grid comparison suggesting grid independence, and an explicit demonstration of bang-bang and bang-off-bang control structures. The independent feasibility propagation is a genuine strength, as is the use of an Isp-agnostic propellant model. However, the verification of optimality rests on numerical checks whose tolerance is not stated and one of which, the initial z-transversality in the time-limited case, is visibly violated in the reported table; these issues must be resolved before the central claim can be accepted.
major comments (3)
- [V.B.1, Table 8] Table 8 directly contradicts the transversality condition in Eq. (33) for the z-component at the initial time. Since e1(x0, θ0) = x0 − cheb0(θ0) and the z-component of cheb0 is identically zero on the planar L1 Lyapunov orbit, the Jacobian row for e1_z has ∂e1_z/∂z0 = 1 and zero elsewhere, so Eq. (33) forces λ_z(θ0) = −ν0_z. The table reports λ_z(θ0) = 0.000000 and −ν0_z = 0.002973, a 0.002973 discrepancy that is orders of magnitude larger than the agreement shown for the other components. The text immediately above the table states that the solution 'meets all of the transversality conditions within a reasonable numerical precision,' which is not supported by the tabulated data. If this is a typographical or data-entry error, it must be corrected; if it is genuine solver output, then the computed solution is not extremal by the paper's own checkable conditions, and the claim of verifiable extremals is unsupported for the time-limited case.
- [V.A.1 and Tables 4, 7, 10] The Hamiltonian value conditions are reported as satisfied only to about three decimal places, with discrepancies as large as 0.000125 (Table 4, final condition: LHS −0.002699 vs RHS −0.002824). No numerical tolerance is stated for any of the verification checks, so it is not possible to assess whether these residuals are acceptable. Given that the Hamiltonian value condition is one of the central 'checkable' conditions used to certify extremality, the authors should specify a tolerance for each check and demonstrate convergence of the residuals under mesh refinement, or explain why residuals at this level are consistent with the claimed verification.
- [V.A.2, V.B.2, V.C] The 'independent' validation performed in the paper is a high-accuracy propagation of the equations of motion with the Birkhoff-generated control, which verifies feasibility but not optimality. The optimality verification uses costates, endpoint covectors, and Hamiltonian values all produced by the same α-DIDO solver whose Birkhoff implementation is the subject of the paper. To substantiate the claim of 'verifiable extremals,' the authors should provide an independent check of the necessary conditions, for example, integrating the adjoint equations backward with the computed control and boundary multipliers, or reporting the residuals of the discretized optimality system in a way that does not rely solely on the solver's own dual-variable output. At minimum, the paper should explicitly acknowledge that the optimality checks and the solution generation share the same computational engine and discuss the implications for the strength of the verification.
minor comments (7)
- [III.C] The phrase 'the same manor' should be 'the same manner'.
- [IV heading] The heading 'An Overveiw of the Universal Birkhoff Theory' contains a misspelling: 'Overveiw' should be 'Overview'.
- [IV.D] The phrase 'all of these grid points meet this criteiron' should read 'criterion'.
- [V.B.1, item 5] The symbol '∆prop1' should be '∆prox1' for consistency with the notation introduced in Section II.B.
- [V.C] The phrase 'time-limed problem' should be 'time-limited problem'.
- [References] Reference [10] contains a typo: 'Ammerican Astronautical Society' should be 'American Astronautical Society'.
- [Remark 4] The phrase 'no Gibbs phenomena' should be 'no Gibbs phenomenon' (singular), matching the conventional term.
Circularity Check
Optimality verification is a self-consistency loop using the same α-DIDO solver's dual variables, and Table 8 directly violates the transversality condition (33); the central claim of a verifiable extremal is therefore only weakly supported.
-
other
[Abstract; Section IV.C; Section V.A.1, V.B.1, V.C (Tables 5, 8, 11)]
"The extremality of the Birkhoff-computed solution is validated against the Hamiltonian minimization condition and the transversality conditions. ... all of this information is autonomously generated [57] using mechanized formulas presented in [9]. Such an enhanced α-version of DIDO was used in all the computations reported in Section V."
The quantities used to certify extremality (λ, ν0, νf, νθ, νzf and the path covectors µ) are outputs of the same α-DIDO solver whose spectral algorithm is explicitly built to autonomously generate and solve the Hamiltonian necessary conditions. Checking (30), (33), (35), (38), (42) against these outputs is therefore a self-consistency check: the 'validation' reduces to the solver's own dual-generation machinery rather than an independent estimate of the costates. The only independent validation is the EOM propagation, which certifies feasibility, not optimality. Moreover, Table 8 reports λ_z(θ0)=0.000000 against -ν0_z=0.002973, a direct violation of (33) (since e1_z = z0), so the self-consistency loop is not even closed as reported.
full rationale
No structural circularity was found in the derivation of the Pontryagin necessary conditions in Section III; equations (33), (35), and (38) follow from the endpoint Lagrangian and are mathematically self-contained. The Chebyshev fits of the libration-point orbits are numerical approximations checked against an external ode78 propagation, so they are not a fitted parameter later renamed as a prediction. The independent propagation of the equations of motion with the computed control does provide an external check of feasibility. The circularity-adjacent weakness is that optimality is 'validated' using costates and covectors produced by the same α-DIDO solver that was constructed around the same Hamiltonian necessary conditions; this makes the optimality check a self-consistency test rather than an independent benchmark. Table 8 exacerbates the problem: its z-component row contradicts the paper's own equation (33), so the claim that all transversality conditions are met is not supported by the displayed data. The numerous self-citations to the universal Birkhoff theory and DIDO development are present but are not by themselves a circularity; the paper does present original numerical demonstrations in the ER3BP. The score reflects the partial circularity of the verification loop and the unacknowledged Table 8 violation, not a finding that the entire derivation is equivalent to its inputs.
Assumptions & free parameters
free parameters (3)
- zU_f =
-0.013556
- Targeting exclusion thresholds vL and vU =
Not specified numerically
- Upper control bound uU =
0.1 in each axis
assumptions (5)
- domain assumption The universal Birkhoff theory of Ross (refs 51-55) provides a valid discretization with spectral convergence and mesh-independent condition number.
- domain assumption The alpha version of DIDO correctly solves the discretized optimal control problem and returns accurate costates and covectors.
- standard math The Chebyshev interpolants cheb0 and chebf accurately represent the endpoint orbits, with the final coefficient |aN| as an error estimate.
- domain assumption The Delta-prox1 functional (equations 7 and 10) is an adequate Isp-agnostic model for propellant consumption in the ER3BP.
- domain assumption No singular arcs occur in the computed solutions.
Cite this review
Pith. "Pith review of Universal Birkhoff Method for Computing Extremals in the Elliptic Restricted Three-Body Problem." pith.science (2026). https://pith.science/paper/2Z7FRBLC
@misc{pith2026260807815,
author = {Pith},
title = {Pith review of: Universal Birkhoff Method for Computing Extremals in the Elliptic Restricted Three-Body Problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/2Z7FRBLC}},
note = {Machine review of arXiv:2608.07815}
}
read the original abstract
The computation of finite-thrust extremal arcs in the elliptic restricted three-body trajectory optimization problem is considered. Libration-point orbits are approximated to near-machine precision using a fast Fourier transform of the sampled values of the state vector at Chebyshev-Gauss-Lobatto points. Checkable optimality conditions are derived by applying Pontryagin's principle to minimum-time and time-constrained minimum-propellant problems. These necessary conditions include criteria for optimal departure and arrival points. For propellant consumption, a recently developed computational model is employed. This model is agnostic to the specific impulse of the propellant and varies as the inverse quadratic of a cosine term. Candidate optimal solutions are generated by combining the universal Birkhoff theory for trajectory optimization with the fast, guess-free spectral algorithm. The extremality of the Birkhoff-computed solution is validated against the Hamiltonian minimization condition and the transversality conditions. It is shown that the Birkhoff-theoretic spectral algorithm can generate verifiable extremals without any assistance or initialization from dynamical systems theory.
Figures
Figures from the paper (13 more)
Reference graph
Works this paper leans on
-
[1]
Study of the Transfer from the Earth to a Halo Orbit Around the Equilibrium Point L1,
G´ omez, G., Jorba, A., Masdemont, J., and Sim´ o, C., “Study of the Transfer from the Earth to a Halo Orbit Around the Equilibrium Point L1,” Celestial Mechanics & Dynamical Astronomy, V ol. 56, No. 4, Aug. 1993, pp. 541–562. https://doi.org/10.1007/bf00696185
-
[2]
https://doi.org/10.2307/j.ctv301g1f
Belbruno, E., Capture Dynamics and Chaotic Motions in Celestial Mechanic s: With Applications to the Construction of Low Energy Transfers , Princeton University Press, Princeton, 2004. https://doi.org/10.2307/j.ctv301g1f
-
[3]
D., Dynamical Systems, the Three-Body Problem and Space Mission Design, Marsden Books, 2011
Koon, W., Lo, M., Marsden, J., and Ross, S. D., Dynamical Systems, the Three-Body Problem and Space Mission Design, Marsden Books, 2011. 32 of 38 American Institute of Aeronautics and Astronautics
work page 2011
-
[4]
Parker, J. S. and Anderson, R. L., Low-Energy Lunar Trajectory Design, Wiley, 1st ed., June 2014. https://doi.org/10.1002/9781118855065
-
[5]
Application o f Dynamical Systems Theory to Trajectory Design for a Libration Point Mission,
Howell, K. C., Barden, B. T., and Lo, M. W., “Application o f Dynamical Systems Theory to Trajectory Design for a Libration Point Mission,” The Journal of the Astronautical Sciences , V ol. 45, No. 2, June 1997, pp. 161–178. https://doi.org/10.2514/6.1996-3602
-
[6]
Longuski, J., Guzm´ an, J. J., and Prussing, J. E., Optimal Control with Aerospace Applications , Space technology library, Springer ; Published jointly by Microc osm Press, New Y ork, New Y ork : El Se- gundo, California, 2014. https://doi.org/10.1007/978-1-4614-8945-0
-
[7]
Clarke, F. H., Ledyaev, Y . S., Stern, R. J., and Wolenski, Nonsmooth Analysis and Control theory , No. 178 in Graduate Texts in Mathematics, Springer, New Y ork Heidelberg, 1998. https://doi.org/10.1007/b97650
doi:10.1007/b97650 1998
-
[8]
Bryson, A. E. and Ho, Y .-C., Applied Optimal Control: Optimization, Estimation, and Co ntrol, Cam- bridge University Press, Cambridge, rev. print ed., 1978. https://doi.org/10.1201/9781315137667
Show all 78 references
-
[9]
M., A Primer on Pontryagin’s Principle in Optimal Control , Second Edition, Collegiate Pub- lishers, San Francisco, CA, 2015
Ross, I. M., A Primer on Pontryagin’s Principle in Optimal Control , Second Edition, Collegiate Pub- lishers, San Francisco, CA, 2015. https://www.amazon.com /Primer-Pontryagins-Principle-Optimal- Control/dp/0984357114
2015
-
[10]
Leveraging Intermediate Dyna mical Models for Transitioning from the Circular Restricted Three-Body Problem to an Ephemeris Mod el,
Park, B. and Howell, K., “Leveraging Intermediate Dyna mical Models for Transitioning from the Circular Restricted Three-Body Problem to an Ephemeris Mod el,” Ammerican Astronautical Society, Charlotte, North Carolina, Aug. 2022
2022
-
[11]
An Analytical Study of Impulsive Appro ximation,
Robbins, H. M., “An Analytical Study of Impulsive Appro ximation,” AIAA Journal, 4/8, 1417–1423. https://doi.org/10.2514/3.3687
-
[12]
Finite Burn Maneuver Modeling for a Genera lized Spacecraft Trajectory Design and Optimization System,
Ocampo, C., “Finite Burn Maneuver Modeling for a Genera lized Spacecraft Trajectory Design and Optimization System,” Annals of the N.Y. Academy of Sciences , 1017: 210–233 (2004). https://doi.org/10.1196/annals.1311.013
2004 doi
-
[13]
Low-Energy, Low-Thrust Transfers to the Moon,
Mingotti, G., Topputo, F., and Bernelli-Zazzera, F., “ Low-Energy, Low-Thrust Transfers to the Moon,” Celestial Mechanics and Dynamical Astronomy , V ol. 105, No. 1-3, Nov. 2009, pp. 61–74. https://doi.org/10.1007/s10569-009-9220-7
2009 doi
-
[14]
Transfer B etween Invariant Manifolds: From Impulse Transfer to Low-Thrust Transfer,
Chupin, M., Haberkorn, T., and Tr´ elat, E., “Transfer B etween Invariant Manifolds: From Impulse Transfer to Low-Thrust Transfer,” Journal of Guidance, Control, and Dynamics, V ol. 41, No. 3, March 2018, pp. 658–672. https://doi.org/10.2514/1.G002922
2018 doi
-
[15]
Impulsi ve and Low-Thrust Transfer Design Between Stable and Nearly-Stable Periodic Orbits in the Restricted Problem,
Pritchett, R. E., Zimovan, E., and Howell, K., “Impulsi ve and Low-Thrust Transfer Design Between Stable and Nearly-Stable Periodic Orbits in the Restricted Problem,” 2018 Space Flight Mechanics Meeting, American Institute of Aeronautics and Astronautics, Kiss immee, Florida, ...
2018 doi
-
[16]
Low-Thrust V a riable-Specific-Impulse Transfers and Guid- ance to Unstable Periodic Orbits,
Senent, J., Ocampo, C., and Capella, A., “Low-Thrust V a riable-Specific-Impulse Transfers and Guid- ance to Unstable Periodic Orbits,” Journal of Guidance, Control, and Dynamics, V ol. 28, No. 2, March 2005, pp. 280–290. https://doi.org/10.2514/1.6398 33 of 38 American Institu...
2005 doi
-
[17]
Minimum Time Control of t he Restricted Three-Body Problem,
Caillau, J.-B. and Daoud, B., “Minimum Time Control of t he Restricted Three-Body Problem,” SIAM Journal on Control and Optimization, V ol. 50, No. 6, Jan. 2012, pp. 3178–3202. https://doi.org/10.1137/110847299
2012 doi
-
[18]
Time-Minimum Control of the Restricted Elliptic Three- Body Problem Applied to Space Transfer,
Chyba, M., Patterson, G., and Picot, G., “Time-Minimum Control of the Restricted Elliptic Three- Body Problem Applied to Space Transfer,” Recent Advances in Celestial and Space Mechanics , edited by B. Bonnard and M. Chyba, V ol. 23, Springer International P ublishing, Cham, 2...
2016 doi
-
[19]
Minimum-Fuel Low-ThrustTrajectories to the Moon,
Y oon, S. W. and Petukhov, V ., “Minimum-Fuel Low-ThrustTrajectories to the Moon,” Acta Astronau- tica, V ol. 210, Sept. 2023, pp. 102–116. https://doi.org/10.1016/j.actaastro.2023.05.006
2023 doi
-
[20]
Exploiting Manifolds of L1 Halo Orbits for End-to-End Earth–Moon Low-Thrust Trajectory Design,
Singh, S. K., Anderson, B. D., Taheri, E., and Junkins, J . L., “Exploiting Manifolds of L1 Halo Orbits for End-to-End Earth–Moon Low-Thrust Trajectory Design,” Acta Astronautica, V ol. 183, June 2021, pp. 255–272. https://doi.org/10.1016/j.actaastro.2021.03.017
2021 doi
-
[21]
M ultiple-Arc Optimization of Low-Thrust Earth- Moon Orbit Transfers Leveraging Implicit Costate Transfor mation,
Beolchi, A., Pontani, M., Pozzi, C., and Fantino, E., “M ultiple-Arc Optimization of Low-Thrust Earth- Moon Orbit Transfers Leveraging Implicit Costate Transfor mation,” Acta Astronautica, V ol. 220, July 2024, pp. 330–344. https://doi.org/10.1016/j.actaastro.2024.04.030
2024 doi
-
[22]
Low-Thrus t Lyapunov to Lyapunov and Halo to Halo Missions with L 2 -Minimization,
Chupin, M., Haberkorn, T., and Tr´ elat, E., “Low-Thrus t Lyapunov to Lyapunov and Halo to Halo Missions with L 2 -Minimization,” ESAIM: Mathematical Modelling and Numerical Analysis , V ol. 51, No. 3, May 2017, pp. 965–996. https://doi.org/10.1051/m2an/2016044
2017
-
[23]
Transfer between the Planar Lyapunov Orbits Around the Earth–Moon L2 Point Using Low-Thrust Engine,
Du, C., Starinova, O. L., and Liu, Y ., “Transfer between the Planar Lyapunov Orbits Around the Earth–Moon L2 Point Using Low-Thrust Engine,” Acta Astronautica, V ol. 201, Dec. 2022, pp. 513– 525. https://doi.org/10.1016/j.actaastro.2022.09.056
2022 doi
-
[24]
Low-thrust Transfe r Trajectory Planning and Tracking in the Earth–Moon Elliptic Restricted Three-Body Problem,
Du, C., Starinova, O., and Liu, Y ., “Low-thrust Transfe r Trajectory Planning and Tracking in the Earth–Moon Elliptic Restricted Three-Body Problem,” Nonlinear Dynamics , V ol. 111, No. 11, June 2023, pp. 10201–10216. https://doi.org/10.1007/s11071-023-08383-0
2023 doi
-
[25]
Orthogonal Ap proximation of Invariant Manifolds in the Circular Restricted Three-Body Problem,
Kelly, P ., Junkins, J. L., and Majji, M., “Orthogonal Ap proximation of Invariant Manifolds in the Circular Restricted Three-Body Problem,” Journal of Guidance, Control, and Dynamics , April 2023, pp. 1–12. https://doi.org/10.2514/1.g007304
2023 doi
-
[26]
Optimal Low-Thrust Invariant Manifold Trajecto- ries via Attainable Sets,
Mingotti, G., Topputo, F., and Bernelli-Zazzera, F., “ Optimal Low-Thrust Invariant Manifold Trajecto- ries via Attainable Sets,”, Journal of Guidance, Control, and Dynamics, V ol. 34, No. 6, pp. 1644–1656, November 2011. https://doi.org/10.2514/1.52493
2011 doi
-
[27]
Low-Thrust Transfers i n the Earth-Moon System, Including Appli- cations to Libration Point Orbits,
Ozimek, M. T. and Howell, K. C., “Low-Thrust Transfers i n the Earth-Moon System, Including Appli- cations to Libration Point Orbits,” Journal of Guidance, Control, and Dynamics, V ol. 33, No. 2, March 2010, pp. 533–549. https://doi.org/10.2514/1.43179 34 of 38 American Instit...
2010 doi
-
[28]
Fuel Optimization for Low-thrust Earth–Moon Transfer via Indirect Optimal Control,
P´ erez-Palau, D. and Epenoy, R., “Fuel Optimization for Low-thrust Earth–Moon Transfer via Indirect Optimal Control,” Celestial Mechanics and Dynamical Astronomy, V ol. 130, No. 2, Feb. 2018, pp. 21. https://doi.org/10.1007/s10569-017-9808-2
2018 doi
-
[29]
A Survey of Methods Available for the Num erical Optimization of Continuous Dynamic Systems,
Conway, B. A., “A Survey of Methods Available for the Num erical Optimization of Continuous Dynamic Systems,” Journal of Optimization Theory and Applications , V ol. 152, No. 2, Feb. 2012, pp. 271–306. https://doi.org/10.1007/s10957-011-9918-z
2012 doi
-
[30]
An Algorithmic Guide for Finite-Dimensional Optimal Control Problems,
Caillau, J.-B., Ferretti, R., Tr´ elat, E., and Zidani, H., “An Algorithmic Guide for Finite-Dimensional Optimal Control Problems,” Handbook of Numerical Analysis , V ol. 24, Elsevier, 2023, pp. 559–626. https://doi.org/10.1016/bs.hna.2022.11.006
2023 doi
-
[31]
Combined Optimal Low-Thrust and Stable- Manifold Trajectories to the Earth-Moon Halo Orbits,
Mingotti, G., Topputo, F., and Bernelli-Zazzera, F., “ Combined Optimal Low-Thrust and Stable- Manifold Trajectories to the Earth-Moon Halo Orbits,” AIP Conference Proceedings , V ol. 886, AIP , Princeton, New Jersey (USA), 2007, pp. 100–112. https://doi.org/10.1063/1.2710047
2007 doi
-
[32]
Low-Thrust Transfers from Distant Retrograde Orbits to L2 Halo Orbits in the Earth-Moon System ,
Parrish, N. L., Parker, J. S., Hughes, S. P ., and Heilige rs, J., “Low-Thrust Transfers from Distant Retrograde Orbits to L2 Halo Orbits in the Earth-Moon System ,” Darmstadt, Germany, March 2016
2016
-
[33]
Low-Thrust Transfer Design Based on Collocation Tech- niques: Applications in the Restricted Three-Body Problem ,
Pritchett, R., Howell, K., and Grebow, D., “Low-Thrust Transfer Design Based on Collocation Tech- niques: Applications in the Restricted Three-Body Problem ,” AAS 17-62, AIAA/AAS Astrodynamics Specialist Conference, Columbia River Gorge, Stevenson, W A, August 21–24, 2017
2017
-
[34]
On Poincar´ e’s Correction to Bruns’ Theorem,
Macmillan, W. D., “On Poincar´ e’s Correction to Bruns’ Theorem,” Bulletin of the American Mathe- matical Society, 19, 1913, 349–355
1913
-
[35]
Siegel, C. L. and Moser, J. K., Lectures on Celestial Mechanics , Springer-V erlag, New Y ork, N.Y ., 1971 (Translated by C. I. Kalme)
1971
-
[36]
Periodic Motion Around Li bration Points in the Elliptic Restricted Three- Body Problem,
Ferrari, F. and Lavagna, M., “Periodic Motion Around Li bration Points in the Elliptic Restricted Three- Body Problem,” Nonlinear Dynamics, V ol. 93, No. 2, July 2018, pp. 453–462. https://doi.org/10.1007/s11071-018-4203-4
2018 doi
-
[37]
Minimum Fu el Control of the Planar Circular Restricted Three-Body Problem,
Caillau, J.-B., Daoud, B., and Gergaud, J., “Minimum Fu el Control of the Planar Circular Restricted Three-Body Problem,” Celestial Mechanics and Dynamical Astronomy , V ol. 114, No. 1-2, Oct. 2012, pp. 137–150. https://doi.org/10.1007/s10569-012-9443-x
2012 doi
-
[38]
Global Sear ch for Low-Thrust Transfers to the Moon in the Planar Circular Restricted Three-Body Problem,
Oshima, K., Campagnola, S., and Y anao, T., “Global Sear ch for Low-Thrust Transfers to the Moon in the Planar Circular Restricted Three-Body Problem,” Celestial Mechanics and Dynamical Astronomy , V ol. 128, No. 2-3, June 2017, pp. 303–322. https://doi.org/10.1007/s10569-016-9748-2
2017 doi
-
[39]
Subregions of Motion and Elliptic Halo Orbits in the Elliptic Restricted Three-Body Problem,
Campagnola, S., Lo, M., and Newton, P ., “Subregions of Motion and Elliptic Halo Orbits in the Elliptic Restricted Three-Body Problem,” AAS 08-200, AIAA/AAS Spaceflight Mechanics Meeting, Galveston, TX, January 27–31, 2008
2008
-
[40]
The Dynamic s Around the Collinear Points of the Elliptic Three-Body Problem: A Normal Form Approach,
Celletti, A., Lhotka, C., and Pucacco, G., “The Dynamic s Around the Collinear Points of the Elliptic Three-Body Problem: A Normal Form Approach,” Physica D: Nonlinear Phenomena , V ol. 468, Nov. 2024, pp. 134302. https://doi.org/10.1016/j.physd.2024.134302 35 of 38 American I...
2024
-
[41]
G., Theory of Orbits: The Restricted Problem of Three Bodies , Academic Press, New Y ork, 1967
Szebehely, V . G., Theory of Orbits: The Restricted Problem of Three Bodies , Academic Press, New Y ork, 1967
1967
-
[42]
Periodic Orbits in the Elliptic Restri cted Three-Body Problem,
Broucke, R. A., “Periodic Orbits in the Elliptic Restri cted Three-Body Problem,” Tech. rep. 32-1168, Jet Propulsion Laboratory, California Institute of Techno logy, Pasadena, CA, Feb, 1968
1968
-
[43]
Stability of Periodic Orbits in the Ellip tic, Restricted Three-Body Problem
Broucke, R., “Stability of Periodic Orbits in the Ellip tic, Restricted Three-Body Problem.” AIAA Jour- nal, V ol. 7, No. 6, June 1969, pp. 1003–1009. https://doi.org/10.2514/3.5267
1969 doi
-
[44]
Method to Design Ballisti c Capture in the Elliptic Restricted Three-Body Problem,
Hyeraci, N. and Topputo, F., “Method to Design Ballisti c Capture in the Elliptic Restricted Three-Body Problem,” Journal of Guidance, Control, and Dynamics , V ol. 33, No. 6, Nov. 2010, pp. 1814–1823. https://doi.org/10.2514/1.49263
2010 doi
-
[45]
Nuances in Propellant Comp utation in the Elliptic Restricted Three- Body Problem,
Dixon, M. J. and Ross, I. M., “Nuances in Propellant Comp utation in the Elliptic Restricted Three- Body Problem,” Journal of Guidance, Control and Dynamics , V ol. 49, No. 1, Jan. 2026. https://doi.org/10.2514/1.G009053
2026 doi
-
[46]
Transfers Bet ween Libration-Point Orbits in the Ellip- tic Restricted Problem,
Hiday-Johnston, L. A. and Howell, K. C., “Transfers Bet ween Libration-Point Orbits in the Ellip- tic Restricted Problem,” Celestial Mechanics & Dynamical Astronomy , V ol. 58, No. 4, April 1994, pp. 317–337. https://doi.org/10.1007/bf00692008
1994 doi
-
[47]
Two-Impulse Trans fer to Multi-Revolution Halo Orbits in the Earth-Moon Elliptic Restricted Three-Body Problem Framew ork,
Neelakantan, R. and Ramanan, R. V ., “Two-Impulse Trans fer to Multi-Revolution Halo Orbits in the Earth-Moon Elliptic Restricted Three-Body Problem Framew ork,” Journal of Astrophysics and As- tronomy, V ol. 43, No. 2, Aug. 2022, pp. 50. https://doi.org/10.1007/s12036-022-09830-x
2022 doi
-
[48]
Interpla netary Transfers Using Stable and Unstable Manifold Tubes Originating at L1 and L2 in the Elliptic Restr icted Three-Body Problems,
Scantamburlo, E., Guzzo, M., and Paez, R. I., “Interpla netary Transfers Using Stable and Unstable Manifold Tubes Originating at L1 and L2 in the Elliptic Restr icted Three-Body Problems,” Acta As- tronautica, V ol. 200, Nov. 2022, pp. 97–110. https://doi.org/10.1016/j.actaast...
2022 doi
-
[49]
How to Find Minimum-Fuel Controllers,
Ross, I. M., “How to Find Minimum-Fuel Controllers,” AIAA Guidance, Navigation, and Control Con- ference and Exhibit , American Institute of Aeronautics and Astronautics, Prov idence, Rhode Island, Aug. 2004. https://doi.org/10.2514/6.2004-5346
2004 doi
-
[50]
Space Trajectory Optimization and L1-Optimal Control Problems,
Ross, I. M., “Space Trajectory Optimization and L1-Optimal Control Problems,” Elsevier Astrodynam- ics Series, V ol. 1, Elsevier, 2006, pp. 155–VIII. https://doi.org/10.1016/s1874-9305(07)80008-2
2006 doi
-
[51]
A Universa l Birkhoff Pseudospectral Method for Solving Boundary V alue Problems,
Ross, I. M., Proulx, R. J., and Borges, C. F., “A Universa l Birkhoff Pseudospectral Method for Solving Boundary V alue Problems,”Applied Mathematics and Computation, V ol. 454, 128101, October, 2023. https://doi.org/10.1016/j.amc.2023.128101
2023
-
[52]
A Universal Birkhoff Theory for Fast Traje ctory Optimization,
Ross, I. M., “A Universal Birkhoff Theory for Fast Traje ctory Optimization,” Journal of Guidance, Control and Dynamics, vol. 47, no. 12, pp. 2468–2481, Dec. 2024. https://doi.org /10.2514/1.G007737
2024 doi
-
[53]
Implementations of the Uni versal Birkhoff Theory for Fast Trajectory Optimization,
Proulx R. J. and Ross, I. M., “Implementations of the Uni versal Birkhoff Theory for Fast Trajectory Optimization,” Journal of Guidance, Control and Dynamics , vol. 47, no. 12, pp. 2482–2496, Dec
-
[54]
Hessians in Birkhoff-Theoretic Trajecto ry Optimizaiton,
Ross, I. M., “Hessians in Birkhoff-Theoretic Trajecto ry Optimizaiton,” Journal of Guidance, Control and Dynamics, V ol. 48, No. 9, 2025, pp. 2105–2112. https://doi.org/10.2514/1.G008778. 36 of 38 American Institute of Aeronautics and Astronautics
2025 doi
-
[55]
A Million-Point Fast Trajectory Optimization Solver,
Javeed, A., Kouri, D. P ., Ridzal, D., Steinman, J. D., an d Ross, I. M., “A Million-Point Fast Trajectory Optimization Solver,” AAS Paper 25-689, August 2025. arXiv preprint arXiv:2509.01855. https://arxiv.org/abs/2509.01855
2025 arXiv
-
[56]
Necessary C onditions for Singular Arcs for General Restricted Multi-Body Problem,
Park, C., Ross, I. M., Gong, Q., and Y an, H., “Necessary C onditions for Singular Arcs for General Restricted Multi-Body Problem,” 49th IEEE Conference on Decision and Control , IEEE, Piscataway, NJ, 2010, pp. 5816-5821. https://doi.org/10.1109/cdc.2010.5717305
2010
-
[57]
Enhancements to the DIDO Optimal Control T oolbox,
Ross, I. M., “Enhancements to the DIDO Optimal Control T oolbox,” June 2020, arXiv:2004.13112. https://arxiv.org/abs/2004.13112
2020 arXiv
-
[58]
Spectral Algorit hm for Pseudospectral Methods in Optimal Control,
Gong, Q., Fahroo, F., and Ross, I. M., “Spectral Algorit hm for Pseudospectral Methods in Optimal Control,” Journal of Guidance, Control, and Dynamics , V ol. 31, No. 3, May 2008, pp. 460–471. https://doi.org/10.2514/1.32908
2008 doi
-
[59]
Sc aling and Balancing for High-Performance Computation of Optimal Controls,
Ross, I. M., Gong, Q., Karpenko, M. and Proulx, R. J., “Sc aling and Balancing for High-Performance Computation of Optimal Controls,” Journal of Guidance, Control and Dynamics , V ol. 41, No. 10, 2018, pp. 2086–2097. https://doi.org/10.2514/1.g003382
2018 doi
-
[60]
Guess-Free Trajectory Optimi zation,
Ross, I. M. and Gong, Q., “Guess-Free Trajectory Optimi zation,” AIAA/AAS Astrodynamics Specialist Conference and Exhibit, 18–21 August 2008, Honolulu, Hawaii, AIAA 2008-6273. https://doi.org/10.2514/6.2008-6273
2008 doi
-
[61]
Karpenko, J
M. Karpenko, J. K. Halverson, Y . Tedla, T. Lippman, K. Ha n, I. M. Ross, M. K. Barker, M. S. Robin- son, W. Carter, A. K. Boyd, G. W. Patterson, C. M. O’Shea, F. S. Turner, R. T. Poffenbarger, C. J. Den- nehy, T. V anzwieten, and A. A. Wolf, “Fast Attitude Maneuver s for NASA...
2024
-
[62]
Pseudospectral Knotting Me thods for Solving Optimal Control Problems,
Ross, I. M. and Fahroo, F., “Pseudospectral Knotting Me thods for Solving Optimal Control Problems,” Journal of Guidance, Control and Dynamics , V ol. 27, No. 3, pp. 397-405, 2004. https://doi.org/10.2514/1.3426
2004 doi
-
[63]
Autonomous Pseudospectral Kn otting Methods for Space Mission Opti- mization,
Gong, Q. and Ross, I. M., “Autonomous Pseudospectral Kn otting Methods for Space Mission Opti- mization,” Advances in the Astronatuical Sciences , V ol. 124, 2006, AAS 06-151, pp. 779–794
2006
-
[64]
The Control and Use of Libration-Poin t Satellites,
Farquhar, R. W., “The Control and Use of Libration-Poin t Satellites,” Stanford University, CA, 1968
1968
-
[65]
Near Rect ilinear Halo Orbits and Their Application in Cis-Lunar Space
Zimovan, E. M., Howell, K. C. and Davis, D. C., “Near Rect ilinear Halo Orbits and Their Application in Cis-Lunar Space” 3rd IAA Conference on Dynamics and Control of Space Systems , May 2017. IAA-AAS-DyCoSS3-125
2017
-
[66]
N., Approximation Theory and Approximation Practice , SIAM, Society for Industrial and Applied Mathematics, Philadelphia, extended edition e d., 2020
Trefethen, L. N., Approximation Theory and Approximation Practice , SIAM, Society for Industrial and Applied Mathematics, Philadelphia, extended edition e d., 2020. https://doi.org/10.1137/1.9781611975949
2020 doi
-
[67]
P ., Chebyshev and F ourier Spectral Methods
Boyd, J. P ., Chebyshev and F ourier Spectral Methods. Mineola, New Y ork: Dover Publications, 2000
2000
-
[68]
Advances in Pseudospectral Methods for Optimal Control,
Fahroo, F. and Ross, I. M., “Advances in Pseudospectral Methods for Optimal Control,” AIAA Guid- ance, Navigation and Control Conference and Exhibit , American Institute of Aeronautics and Astro- nautics, Honolulu, Hawaii, Aug. 2008. https://doi.org/10.2514/6.2008-7309 37 of 3...
2008 doi
-
[69]
A Review of Pseudospectra l Optimal Control: From Theory to Flight,
Ross, I. M. and Karpenko, M., “A Review of Pseudospectra l Optimal Control: From Theory to Flight,” Annual Reviews in Control, V ol. 36, No. 2, Dec. 2012, pp. 182–197. https://doi.org/10.1016/j.arcontrol.2012.09.002
2012 doi
-
[70]
Direct Trajectory Optimiza tion by a Chebyshev Pseudospectral Method,
Fahroo, F. and Ross, I. M., “Direct Trajectory Optimiza tion by a Chebyshev Pseudospectral Method,” Journal of Guidance, Control and Dynamics , V ol. 25, No. 1, 2002, pp.160-166. https://doi.org/10.2514/2.4862
2002 doi
-
[71]
Costate Computati on by a Chebyshev Pseudospectral Method,
Gong, Q., Ross, I. M. and Fahroo, F., “Costate Computati on by a Chebyshev Pseudospectral Method,” Journal of Guidance, Control and Dynamics , V ol. 33, No. 2, pp. 623-628, 2010. https://doi.org/10.2514/1.45154
2010 doi
-
[72]
T. A. Driscoll, Hale, N., and Trefethen, L. N., editors, Chebfun Guide, Pafnuty Publications, Oxford, 2014
2014
-
[73]
Six Myths of Polynomial Interpolatio n and Quadrature,
L. N. Trefethen, “Six Myths of Polynomial Interpolatio n and Quadrature,” Mathematics Today, 47 (2011), pp. 184–188
2011
-
[74]
Fast Mesh Refinement in Pseudospectral Optimal Control,
Koeppen, N., Ross, I. M., Wilcox, L. C., and Proulx, R. J. , “Fast Mesh Refinement in Pseudospectral Optimal Control,” Journal of Guidance, Control, and Dynamics , V ol. 42, No. 4, April 2019, pp. 711– 722. https://doi.org/10.2514/1.g003904
2019 doi
-
[75]
An Optimal Control Theory for Nonlinear Op timization,
Ross, I. M., “An Optimal Control Theory for Nonlinear Op timization,” Journal of Computational and Applied Mathematics, V ol. 354, July 2019, 39–51. http://dx.doi.org/10.1016/j.cam.2018.12.044
2019 doi
-
[76]
Derivation of Coordinate Descent Algorit hms from Optimal Control Theory
Ross, I. M., “Derivation of Coordinate Descent Algorit hms from Optimal Control Theory” Operartions Research F orum, V ol. 4, No. 2, 2023. https://doi.org/10.1007/s43069-023-00215-6
2023 doi
-
[77]
On the Mathematics of the Natural Physics o f Optimization,
Ross, I. M., “On the Mathematics of the Natural Physics o f Optimization,” Journal of Nonlinear and V ariational Analysis, to appear. 38 of 38 American Institute of Aeronautics and Astronautics
-
[2024]
https://doi.org/10.2514/1.G007738
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.