-
Unscented Trajectory Optimization
Authors:
I. M. Ross,
R. J. Proulx,
M. Karpenko
Abstract:
In a nutshell, unscented trajectory optimization is the generation of optimal trajectories through the use of an unscented transform. Although unscented trajectory optimization was introduced by the authors about a decade ago, it is reintroduced in this paper as a special instantiation of tychastic optimal control theory. Tychastic optimal control theory (from \textit{Tyche}, the Greek goddess of…
▽ More
In a nutshell, unscented trajectory optimization is the generation of optimal trajectories through the use of an unscented transform. Although unscented trajectory optimization was introduced by the authors about a decade ago, it is reintroduced in this paper as a special instantiation of tychastic optimal control theory. Tychastic optimal control theory (from \textit{Tyche}, the Greek goddess of chance) avoids the use of a Brownian motion and the resulting Itô calculus even though it uses random variables across the entire spectrum of a problem formulation. This approach circumvents the enormous technical and numerical challenges associated with stochastic trajectory optimization. Furthermore, it is shown how a tychastic optimal control problem that involves nonlinear transformations of the expectation operator can be quickly instantiated using an unscented transform. These nonlinear transformations are particularly useful in managing trajectory dispersions be it associated with path constraints or targeted values of final-time conditions. This paper also presents a systematic and rapid process for formulating and computing the most desirable tychastic trajectory using an unscented transform. Numerical examples are used to illustrate how unscented trajectory optimization may be used for risk reduction and mission recovery caused by uncertainties and failures.
△ Less
Submitted 4 May, 2024;
originally announced May 2024.
-
Waypoint Following Dynamics of a Quaternion Error Feedback Attitude Control System
Authors:
Mark Karpenko,
Julie K. Halverson,
Rebecca Besser
Abstract:
Closed-loop attitude steering can be used to implement a non-standard attitude maneuver by using a conventional attitude control system to track a non-standard attitude profile. The idea has been employed to perform zero-propellant maneuvers on the International Space Station and minimum time maneuvers on NASA's TRACE space telescope. A challenge for operational implementation of the idea is the f…
▽ More
Closed-loop attitude steering can be used to implement a non-standard attitude maneuver by using a conventional attitude control system to track a non-standard attitude profile. The idea has been employed to perform zero-propellant maneuvers on the International Space Station and minimum time maneuvers on NASA's TRACE space telescope. A challenge for operational implementation of the idea is the finite capacity of a space vehicle's command storage buffer. One approach to mitigate the problem is to downsample-and-hold the attitude commands as a set of waypoints for the attitude control system to follow. In this paper, we explore the waypoint following dynamics of a quaternion error feedback control law for downsample-and-hold. It is shown that downsample-and-hold induces a ripple between downsamples that causes the satellite angular rate to significantly overshoot the desired limit. Analysis in the $z$-domain is carried out in order to understand the phenomenon. An interpolating Chebyshev-type filter is proposed that allows attitude commands to be encoded in terms of a set of filter coefficients. Using the interpolating filter, commands can be issued at the ACS rate but with significantly reduced memory requirements. The attitude control system of NASA's Lunar Reconnaissance Orbiter is used as an example to illustrate the behavior of a practical attitude control system.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
An Optimal Control Theory for the Traveling Salesman Problem and Its Variants
Authors:
I. M. Ross,
R. J. Proulx,
M. Karpenko
Abstract:
We show that the traveling salesman problem (TSP) and its many variants may be modeled as functional optimization problems over a graph. In this formulation, all vertices and arcs of the graph are functionals; i.e., a mapping from a space of measurable functions to the field of real numbers. Many variants of the TSP, such as those with neighborhoods, with forbidden neighborhoods, with time-windows…
▽ More
We show that the traveling salesman problem (TSP) and its many variants may be modeled as functional optimization problems over a graph. In this formulation, all vertices and arcs of the graph are functionals; i.e., a mapping from a space of measurable functions to the field of real numbers. Many variants of the TSP, such as those with neighborhoods, with forbidden neighborhoods, with time-windows and with profits, can all be framed under this construct. In sharp contrast to their discrete-optimization counterparts, the modeling constructs presented in this paper represent a fundamentally new domain of analysis and computation for TSPs and their variants. Beyond its apparent mathematical unification of a class of problems in graph theory, the main advantage of the new approach is that it facilitates the modeling of certain application-specific problems in their home space of measurable functions. Consequently, certain elements of economic system theory such as dynamical models and continuous-time cost/profit functionals can be directly incorporated in the new optimization problem formulation. Furthermore, subtour elimination constraints, prevalent in discrete optimization formulations, are naturally enforced through continuity requirements. The price for the new modeling framework is nonsmooth functionals. Although a number of theoretical issues remain open in the proposed mathematical framework, we demonstrate the computational viability of the new modeling constructs over a sample set of problems to illustrate the rapid production of end-to-end TSP solutions to extensively-constrained practical problems.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
A Pseudospectral Approach to High Index DAE Optimal Control Problems
Authors:
Harleigh C. Marsh,
Mark Karpenko,
Qi Gong
Abstract:
Historically, solving optimal control problems with high index differential algebraic equations (DAEs) has been considered extremely hard. Computational experience with Runge-Kutta (RK) methods confirms the difficulties. High index DAE problems occur quite naturally in many practical engineering applications. Over the last two decades, a vast number of real-world problems have been solved routinel…
▽ More
Historically, solving optimal control problems with high index differential algebraic equations (DAEs) has been considered extremely hard. Computational experience with Runge-Kutta (RK) methods confirms the difficulties. High index DAE problems occur quite naturally in many practical engineering applications. Over the last two decades, a vast number of real-world problems have been solved routinely using pseudospectral (PS) optimal control techniques. In view of this, we solve a "provably hard," index-three problem using the PS method implemented in DIDO, a state-of-the-art MATLAB optimal control toolbox. In contrast to RK-type solution techniques, no laborious index-reduction process was used to generate the PS solution. The PS solution is independently verified and validated using standard industry practices. It turns out that proper PS methods can indeed be used to "directly" solve high index DAE optimal control problems. In view of this, it is proposed that a new theory of difficulty for DAEs be put forth.
△ Less
Submitted 29 November, 2018;
originally announced November 2018.
-
Scaling and Balancing for High-Performance Computation of Optimal Controls
Authors:
I. M. Ross,
Q. Gong,
M. Karpenko,
R. J. Proulx
Abstract:
It is well-known that proper scaling can increase the efficiency of computational problems. In this paper we define and show that a balancing technique can substantially improve the computational efficiency of optimal control algorithms. We also show that non-canonical scaling and balancing procedures may be used quite effectively to reduce the computational difficulty of some hard problems. These…
▽ More
It is well-known that proper scaling can increase the efficiency of computational problems. In this paper we define and show that a balancing technique can substantially improve the computational efficiency of optimal control algorithms. We also show that non-canonical scaling and balancing procedures may be used quite effectively to reduce the computational difficulty of some hard problems. These results have been used successfully for several flight and field operations at NASA and DoD. A surprising aspect of our analysis shows that it may be inadvisable to use auto-scaling procedures employed in some software packages. The new results are agnostic to the specifics of the computational method; hence, they can be used to enhance the utility of any existing algorithm or software.
△ Less
Submitted 25 October, 2018;
originally announced October 2018.
-
Fast Hough Transform and approximation properties of dyadic patterns
Authors:
E. I. Ershov,
S. M. Karpenko
Abstract:
Hough transform is a popular low-level computer vision algorithm. Its computationally effective modification, Fast Hough transform (FHT), makes use of special subsets of image matrix to approximate geometric lines on it. Because of their special structure, these subset are called dyadic patterns.
In this paper various properties of dyadic patterns are investigated. Exact upper bounds on approxim…
▽ More
Hough transform is a popular low-level computer vision algorithm. Its computationally effective modification, Fast Hough transform (FHT), makes use of special subsets of image matrix to approximate geometric lines on it. Because of their special structure, these subset are called dyadic patterns.
In this paper various properties of dyadic patterns are investigated. Exact upper bounds on approximation error are derived. In a simplest case, this error proves to be equal to $\frac{1}{6} log(n)$ for $n \times n$ sized images, as was conjectured previously by Goetz et al.
△ Less
Submitted 15 December, 2017;
originally announced December 2017.
