Connections between the covector mapping theorem and convergence of pseudospectral methods for optimal control
Ross, I. Michael
MetadataShow full item record
In recent years, many practical nonlinear optimal control problems have been solved by pseudospectral (PS) methods. In particular, the Legendre PS method offers a Covector Mapping Theorem that blurs the distinction between traditional direct and indirect methods for optimal control. In an effort to better understand the PS approach for solving control problems, we present consistency results for nonlinear optimal control problems with mixed state and control constraints. A set of sufficient conditions is proved under which a solution of the discretized optimal control problem converges to the continuous solution. Convergence of the primal variables does not necessarily imply the convergence of the duals. This leads to a clarification of the Covector Mapping Theorem in its relationship to the convergence properties of PS methods and its connections to constraint qualifications. Conditions for the convergence of the duals are described and illustrated. An application of the ideas to the optimal attitude control of NPSAT1, a highly nonlinear spacecraft, shows that the method performs well for real-world problems.
The article of record as published may be found at http://dx.doi.org/10.DOI 10.1007/s10589-007-9102-4
Showing items related by title, author, creator and subject.
Gong, Qi; Ross, I. Michael; Fahroo, Fariba; Kang, Wei (IEEE, 2006-12-13);In recent years, a large number of nonlinear optimal control problems have been solved by pseudospectral (PS) methods. In an effort to better understand the PS approach to solving control problems, we present convergence ...
Convergence of Pseudospectral Discretization of Optimal Control Problems, IEEE (40th; 2001; Orlando, Florida) Ross, Michael I.; Fahroo, Fariba (IEEE, 2001-12-01);A generic nonlinear optimal control problem with a Bolza cost functional is discretized by a Legendre pseudospectral method. According to the covector mapping theorem, the Karush-Kuhn-Tucker multipliers of the discrete ...
Discrete Verification of Necessary Conditions for Switched Nonlinear Optimal Control Systems, ACA (2004; Boston, Massachusetts) Ross, I. Michael; Fahroo, Fariba (IEEE, 2001-06-30);We consider a fairly general class of state-constrained nonlinear hybrid optimal control problems that are based on coordinatizing Sussmann's model. An event set generalizes the notion of a guard set, reset map, endpoint ...