Pseudospectral optimal control is a joint theoretical-computational method for solving
optimal control
Optimal control theory is a branch of mathematical optimization that deals with finding a control for a dynamical system over a period of time such that an objective function is optimized. It has numerous applications in science, engineering and ...
problems.
It combines
pseudospectral (PS) theory with
optimal control
Optimal control theory is a branch of mathematical optimization that deals with finding a control for a dynamical system over a period of time such that an objective function is optimized. It has numerous applications in science, engineering and ...
theory to produce PS optimal control theory. PS optimal control theory has been used in ground and flight systems
in military and industrial applications.
The techniques have been extensively used to solve a wide range of problems such as those arising in UAV trajectory generation, missile guidance, control of robotic arms, vibration damping, lunar guidance, magnetic control, swing-up and stabilization of an inverted pendulum, orbit transfers, tether libration control, ascent guidance and quantum control.
Overview
There are a very large number of ideas that fall under the general banner of pseudospectral optimal control. Examples of these are the
Legendre pseudospectral method The Legendre pseudospectral method for optimal control problems is based on Legendre polynomials. It is part of the larger theory of pseudospectral optimal control, a term coined by Ross. A basic version of the Legendre pseudospectral was origi ...
, the
Chebyshev pseudospectral method, the
Gauss pseudospectral method The Gauss pseudospectral method (GPM), one of many topics named after Carl Friedrich Gauss, is a direct transcription method for discretizing a continuous optimal control problem into a nonlinear program (NLP). The Gauss pseudospectral method di ...
, the
Ross-Fahroo pseudospectral method, the
Bellman pseudospectral method, the
flat pseudospectral method
The flat pseudospectral method is part of the family of the Ross–Fahroo pseudospectral methods introduced by Ross and Fahroo. Ross, I. M. and Fahroo, F., Pseudospectral Methods for the Optimal Motion Planning of Differentially Flat Systems” ...
and many others.
Solving an optimal control problem requires the approximation of three types of mathematical objects: the integration in the cost function, the differential equation of the control system, and the state-control constraints.
An ideal approximation method should be efficient for all three approximation tasks. A method that is efficient for one of them, for instance an efficient ODE solver, may not be an efficient method for the other two objects. These requirements make PS methods ideal because they are efficient for the approximation of all three mathematical objects.
In a pseudospectral method, the continuous functions are approximated at a set of carefully selected
quadrature nodes. The quadrature nodes are determined by the corresponding orthogonal polynomial basis used for the approximation. In PS optimal control,
Legendre and
Chebyshev polynomials
The Chebyshev polynomials are two sequences of polynomials related to the cosine and sine functions, notated as T_n(x) and U_n(x). They can be defined in several equivalent ways, one of which starts with trigonometric functions:
The Chebyshe ...
are commonly used. Mathematically, quadrature nodes are able to achieve high accuracy with a small number of points. For instance, the
interpolating polynomial
In numerical analysis, polynomial interpolation is the interpolation of a given data set by the polynomial of lowest possible degree that passes through the points of the dataset.
Given a set of data points (x_0,y_0), \ldots, (x_n,y_n), with no ...
of any smooth function (C
) at Legendre–Gauss–Lobatto nodes converges in L
2 sense at the so-called spectral rate, faster than any polynomial rate.
Details
A basic pseudospectral method for optimal control is based on the
covector mapping principle
The covector mapping principle is a special case of Riesz' representation theorem, which is a fundamental theorem in functional analysis. The name was coined by Ross and co-workers,Ross, I. M., “A Historical Introduction to the Covector Mappin ...
.
Other pseudospectral optimal control techniques, such as the
Bellman pseudospectral method, rely on node-clustering at the initial time to produce optimal controls. The node clusterings occur at all Gaussian points.
Moreover, their structure can be highly exploited to make them more computationally efficient, as ad-hoc scaling
and Jacobian computation methods, involving
dual number
In algebra, the dual numbers are a hypercomplex number system first introduced in the 19th century. They are expressions of the form , where and are real numbers, and is a symbol taken to satisfy \varepsilon^2 = 0 with \varepsilon\neq 0.
Du ...
theory
have been developed.
In pseudospectral methods, integration is approximated by quadrature rules, which provide the best
numerical integration
In analysis, numerical integration comprises a broad family of algorithms for calculating the numerical value of a definite integral, and by extension, the term is also sometimes used to describe the numerical solution of differential equations ...
result. For example, with just N nodes, a Legendre-Gauss quadrature integration achieves zero error for any polynomial integrand of degree less than or equal to
. In the PS discretization of the ODE involved in optimal control problems, a simple but highly accurate differentiation matrix is used for the derivatives. Because a PS method enforces the system at the selected nodes, the state-control constraints can be discretized straightforwardly. All these mathematical advantages make pseudospectral methods a straightforward discretization tool for continuous optimal control problems.
See also
*
Bellman pseudospectral method
*
Chebyshev pseudospectral method
*
Covector mapping principle
The covector mapping principle is a special case of Riesz' representation theorem, which is a fundamental theorem in functional analysis. The name was coined by Ross and co-workers,Ross, I. M., “A Historical Introduction to the Covector Mappin ...
*
Flat pseudospectral method
The flat pseudospectral method is part of the family of the Ross–Fahroo pseudospectral methods introduced by Ross and Fahroo. Ross, I. M. and Fahroo, F., Pseudospectral Methods for the Optimal Motion Planning of Differentially Flat Systems” ...
s
*
Gauss pseudospectral method The Gauss pseudospectral method (GPM), one of many topics named after Carl Friedrich Gauss, is a direct transcription method for discretizing a continuous optimal control problem into a nonlinear program (NLP). The Gauss pseudospectral method di ...
*
Legendre pseudospectral method The Legendre pseudospectral method for optimal control problems is based on Legendre polynomials. It is part of the larger theory of pseudospectral optimal control, a term coined by Ross. A basic version of the Legendre pseudospectral was origi ...
*
Pseudospectral knotting method
*
Ross–Fahroo lemma Named after I. Michael Ross and F. Fahroo, the Ross–Fahroo lemma is a fundamental result in optimal control theory.
I. M. Ross and F. Fahroo, A Pseudospectral Transformation of the Covectors of Optimal Control Systems, Proceedings of the First I ...
*
Ross–Fahroo pseudospectral method
Introduced by I. Michael Ross and F. Fahroo, the Ross–Fahroo pseudospectral methods are a broad collection of pseudospectral methods for optimal control.N. Bedrossian, M. Karpenko, and S. Bhatt,
"Overclock My Satellite: Sophisticated Algorit ...
s
*
Ross' π lemma
References
External links
How Stuff WorksPseudospectral optimal control: Part 1Pseudospectral optimal control: Part 2
Software
named after
Dido
Dido ( ; , ), also known as Elissa ( , ), was the legendary founder and first queen of the Phoenician city-state of Carthage (located in modern Tunisia), in 814 BC.
In most accounts, she was the queen of the Phoenician city-state of Tyre (t ...
, the first
queen of Carthage.
*
GPOPS-IIGeneral Purpose Optimal Control SoftwareGESOP – Graphical Environment for Simulation and OPtimizationOpenOCL – Open Optimal Control LibraryPROPT – MATLAB Optimal Control SoftwarePSOPT – Open Source Pseudospectral Optimal Control Solver in C++*
SPARTAN
Sparta (Doric Greek: Σπάρτα, ''Spártā''; Attic Greek: Σπάρτη, ''Spártē'') was a prominent city-state in Laconia, in ancient Greece. In antiquity, the city-state was known as Lacedaemon (, ), while the name Sparta referred t ...
Simple Pseudospectral Algorithm for Rapid Trajectory ANalysis OpenGoddard – Python Open Source Pseudospectral Optimal Control Software
{{DEFAULTSORT:Pseudospectral Optimal Control
Optimal control