Pseudospectral optimal control is a joint theoretical-computational method for solving
optimal control problems.
It combines
pseudospectral (PS) theory with
optimal control theory to produce a 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 origin ...
, the
Chebyshev pseudospectral method The Chebyshev pseudospectral method for optimal control problems is based on Chebyshev polynomials of the first kind. It is part of the larger theory of pseudospectral optimal control, a term coined by Ross. Unlike the Legendre pseudospectral me ...
, 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 Bellman pseudospectral method is a pseudospectral method for optimal control based on Bellman's principle of optimality. It is part of the larger theory of pseudospectral optimal control, a term coined by Ross. The method is named after Rich ...
, 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” I ...
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 Legendre, LeGendre or Le Gendre is a French surname. It may refer to:
* Adrien-Marie Legendre (1752–1833), French mathematician
** Associated Legendre polynomials
** Legendre's equation
** Legendre polynomials
** Legendre symbol
** Legendre tran ...
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 Chebys ...
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 The Bellman pseudospectral method is a pseudospectral method for optimal control based on Bellman's principle of optimality. It is part of the larger theory of pseudospectral optimal control, a term coined by Ross. The method is named after Rich ...
, 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 The Bellman pseudospectral method is a pseudospectral method for optimal control based on Bellman's principle of optimality. It is part of the larger theory of pseudospectral optimal control, a term coined by Ross. The method is named after Rich ...
*
Chebyshev pseudospectral method The Chebyshev pseudospectral method for optimal control problems is based on Chebyshev polynomials of the first kind. It is part of the larger theory of pseudospectral optimal control, a term coined by Ross. Unlike the Legendre pseudospectral me ...
*
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” I ...
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 origin ...
*
Pseudospectral knotting method
In applied mathematics, the pseudospectral knotting method is a generalization and enhancement of a standard pseudospectral method for optimal control. The concept was introduced by I. Michael Ross and F. Fahroo in 2004, and forms part of the co ...
*
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 ...
*
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 Ross' lemma, named after I. Michael Ross, is a result in computational optimal control. Based on generating Carathéodory- solutions for feedback control, Ross' -lemma states that there is fundamental time constant within which a control soluti ...
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
''Queen of Carthage'' is a 2014 New Zealand thriller drama film starring Shiloh Fernandez. In addition to acting in the film, Fernandez served as screenwriter and producer.
Plot
A young American man flees from a traumatic relationship with his s ...
.
*
GPOPS-II
GPOPS-II (pronounced "GPOPS 2") is a general-purpose MATLAB software for solving continuous optimal control problems using hp-adaptive Gaussian quadrature collocation and sparse nonlinear programming. The acronym GPOPS stands for "General Purpose ...
General 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 ...
Simple Pseudospectral Algorithm for Rapid Trajectory ANalysis OpenGoddard – Python Open Source Pseudospectral Optimal Control Software
{{DEFAULTSORT:Pseudospectral Optimal Control
Optimal control