-
On-Manifold Low-Thrust Maneuvering of Quasi-Periodic Orbits
Authors:
Ian M. Down,
Manoranjan Majji,
Kathleen C. Howell
Abstract:
A bi-level optimal control framework is introduced to solve the low-thrust re-phasing problem on quasi-periodic invariant tori in multi-body environments where deviations away from the torus during maneuver are considered unsafe or irresponsible. It is shown for a large class of mechanical systems that conformity to the torus manifold during periods of non-zero control input is infeasible. The mos…
▽ More
A bi-level optimal control framework is introduced to solve the low-thrust re-phasing problem on quasi-periodic invariant tori in multi-body environments where deviations away from the torus during maneuver are considered unsafe or irresponsible. It is shown for a large class of mechanical systems that conformity to the torus manifold during periods of non-zero control input is infeasible. The most feasible trajectories on the torus surface are generated through the minimization of fictitious control input in the torus space using phase space control variables mapped via the torus function. These reference trajectories are then transitioned to the phase space both through a minimum tracking error homotopy and minimum time patched solutions. Results are compared to torus agnostic low-thrust transfers using measures of fuel consumption, cumulative torus error, and coast time spent on the torus during maneuver. Modifications to the framework are made for the inclusion of quasi-periodically forced dynamical systems. Lastly, minimum time recovery trajectories with free final torus conditions expose the disparity between the proposed framework and torus agnostic approaches. Examples are drawn from the circular and elliptical restricted three-body problems.
△ Less
Submitted 10 July, 2025;
originally announced July 2025.
-
Linear and Regular Kepler-Manev Dynamics via Projective Transformations: A Geometric Perspective
Authors:
Joseph T. A. Peterson,
Manoranjan Majji,
John L. Junkins
Abstract:
This work presents a geometric formulation for transforming nonconservative mechanical Hamiltonian systems and introduces a new method for regularizing and linearizing central force dynamics -- in particular, Kepler and Manev dynamics -- through a projective transformation. The transformation is formulated as a configuration space diffeomorphism (rather than a submersion) that is lifted to a cotan…
▽ More
This work presents a geometric formulation for transforming nonconservative mechanical Hamiltonian systems and introduces a new method for regularizing and linearizing central force dynamics -- in particular, Kepler and Manev dynamics -- through a projective transformation. The transformation is formulated as a configuration space diffeomorphism (rather than a submersion) that is lifted to a cotangent bundle (phase space) symplectomorphism and used to pullback the original mechanical Hamiltonian system, Riemannian kinetic energy metric, and other key geometric objects. Full linearization of both Kepler and Manev dynamics (in any finite dimension) is achieved by a subsequent conformal scaling of the projectively-transformed Hamiltonian vector field. Two such conformal scalings are given, both achieving linearization. Arbitrary conservative and nonconservative perturbations are included, with closed-form solutions readily obtained in the unperturbed Kepler or Manev cases.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
Projective Transformations for Regularized Central Force Dynamics: Hamiltonian Formulation
Authors:
Joseph T. A. Peterson,
Manoranjan Majji,
John L. Junkins
Abstract:
This work introduces a Hamiltonian approach to regularization and linearization of central force particle dynamics through a new canonical extension of the so-called "projective decomposition". The regularization scheme is formulated within the framework of classic analytical Hamiltonian dynamics as a redundant-dimensional canonical/symplectic coordinate transformation, combined with an evolution…
▽ More
This work introduces a Hamiltonian approach to regularization and linearization of central force particle dynamics through a new canonical extension of the so-called "projective decomposition". The regularization scheme is formulated within the framework of classic analytical Hamiltonian dynamics as a redundant-dimensional canonical/symplectic coordinate transformation, combined with an evolution parameter transformation, on extended phase space. By considering a generalized version of the standard projective decomposition, we obtain a family of such canonical transformations which differ at the momentum level. From this family of transformations, a preferred canonical coordinate set is chosen that possesses a simple and intuitive connection to the particle's local reference frame. Using this transformation, closed-form solutions are readily obtained for inverse square and inverse cubic radial forces (or any superposition thereof) on any finite-dimensional Euclidean space. From these solutions, a new set of orbit elements for Kepler-Coulomb dynamics is derived, along with their variational equations for arbitrary perturbations (singularity-free in all cases besides rectilinear motion). Governing equations are numerically validated for the classic two-body problem, incorporating the J_2 gravitational perturbation.
△ Less
Submitted 27 June, 2025;
originally announced June 2025.
-
Direct Pseudospectral Optimal Control by Orthogonal Polynomial Integral Collocation
Authors:
Thomas L. Ahrens,
Ian M. Down,
Manoranjan Majji
Abstract:
This paper details a methodology to transcribe an optimal control problem into a nonlinear program for generation of the trajectories that optimize a given functional by approximating only the highest order derivatives of a given system's dynamics. The underlying method uses orthogonal polynomial integral collocation by which successive integrals are taken to approximate all lower order states. He…
▽ More
This paper details a methodology to transcribe an optimal control problem into a nonlinear program for generation of the trajectories that optimize a given functional by approximating only the highest order derivatives of a given system's dynamics. The underlying method uses orthogonal polynomial integral collocation by which successive integrals are taken to approximate all lower order states. Hence, one set of polynomial coefficients can represent an entire coordinate's degree of freedom. Specifically, Chebyshev polynomials of the first and second kind and Legendre polynomials are used over their associated common interpolating grids derived from the bases' roots and extrema. Simple example problems compare different polynomial bases' performance to analytical solutions. The planar circular orbit raising problem is used to verify the method with solutions obtained by other pseudospectral methods in literature. Finally, a rocket landing flip maneuver problem is solved to demonstrate the ability to solve complex problems with multiple states and control variables with constraints. Simulations establish this method's performance, and reveal that the polynomial/node choice for a given problem notably affects the performance.
△ Less
Submitted 25 May, 2025;
originally announced May 2025.
-
Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
Authors:
David E. J. van Wijk,
Samuel Coogan,
Tamas G. Molnar,
Manoranjan Majji,
Kerianne L. Hobbs
Abstract:
Obtaining a controlled invariant set is crucial for safety-critical control with control barrier functions (CBFs) but is non-trivial for complex nonlinear systems and constraints. Backup control barrier functions allow such sets to be constructed online in a computationally tractable manner by examining the evolution (or flow) of the system under a known backup control law. However, for systems wi…
▽ More
Obtaining a controlled invariant set is crucial for safety-critical control with control barrier functions (CBFs) but is non-trivial for complex nonlinear systems and constraints. Backup control barrier functions allow such sets to be constructed online in a computationally tractable manner by examining the evolution (or flow) of the system under a known backup control law. However, for systems with unmodeled disturbances, this flow cannot be directly computed, making the current methods inadequate for assuring safety in these scenarios. To address this gap, we leverage bounds on the nominal and disturbed flow to compute a forward invariant set online by ensuring safety of an expanding norm ball tube centered around the nominal system evolution. We prove that this set results in robust control constraints which guarantee safety of the disturbed system via our Disturbance-Robust Backup Control Barrier Function (DR-bCBF) solution. The efficacy of the proposed framework is demonstrated in simulation, applied to a double integrator problem and a rigid body spacecraft rotation problem with rate constraints.
△ Less
Submitted 12 December, 2024; v1 submitted 11 September, 2024;
originally announced September 2024.
-
Integrating Structure, Information Architecture and Control Design: Application to Tensegrity Systems
Authors:
Raman Goyal,
Manoranjan Majji,
Robert E. Skelton
Abstract:
A novel unified approach to jointly optimize structural design parameters, actuator and sensor precision and controller parameters is presented in this paper. The joint optimization problem is posed as a covariance control problem, where feasibility is achieved by bounding the covariance of the output as well as that of the control signals. The formulation is used to design a tensegrity system, wh…
▽ More
A novel unified approach to jointly optimize structural design parameters, actuator and sensor precision and controller parameters is presented in this paper. The joint optimization problem is posed as a covariance control problem, where feasibility is achieved by bounding the covariance of the output as well as that of the control signals. The formulation is used to design a tensegrity system, where the initial prestress parameters, sensor and actuator precisions, and the control law are jointly optimized. Tensegrity system dynamics models linearized about an equilibrium point are used for system design, where minimality is ensured by constraint projection. The feedback loop is assumed to have a full-order dynamic compensator with its characteristic matrices chosen as optimization variables. The suboptimal solution of this non-convex system design problem is found by iterating over an approximated convex problem through the use of a convexifying potential function that enables the convergence to a stationary point. It is shown that for a linear dynamical system, the approximated joint optimization problem can be formulated using Linear Matrix Inequalities (LMIs).
△ Less
Submitted 18 December, 2020; v1 submitted 21 November, 2020;
originally announced November 2020.