Computational Optimization and Applications

, Volume 41, Issue 3, pp 307–335

Connections between the covector mapping theorem and convergence of pseudospectral methods for optimal control

  • Qi Gong
  • I. Michael Ross
  • Wei Kang
  • Fariba Fahroo
Article

Abstract

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.

Keywords

Optimal control Pseudospectral Nonlinear systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Albassam, B.A.: Optimal near-minimum-time control design for flexible structures. J. Guid. Control Dyn. 25(4), 618–625 (2002) CrossRefGoogle Scholar
  2. 2.
    Betts, J.T., Erb, S.O.: Optimal low thrust trajectories to the Moon. SIAM J. Appl. Dyn. Syst. 2(2), 144–170 (2003) MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Betts, J.T.: Practical Methods for Optimal Control Using Nonlinear Programming. SIAM, Philadelphia (2001) MATHGoogle Scholar
  4. 4.
    Boyd, J.P.: Chebyshev and Fourier Spectral Methods, 2nd edn. Dover, New York (2001) MATHGoogle Scholar
  5. 5.
    Bryson, A.E.: Dynamic Optimization. Addison-Wesley Longman, Reading (1999) Google Scholar
  6. 6.
    Bryson, A.E., Ho, Y.C.: Applied Optimal Control. Hemisphere, New York (1975) Google Scholar
  7. 7.
    Canuto, C., Hussaini, M.Y., Quarteroni, A., Zang, T.A.: Spectral Method in Fluid Dynamics. Springer, New York (1988) Google Scholar
  8. 8.
    Chryssoverghi, I., Coletsos, J., Kokkinis, B.: Discretization methods for optimal control problems with state constraints. J. Comput. Appl. Math. 191, 1–31 (2006) MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Dontchev, A.L.: Discrete approximations in optimal control. In: Nonsmooth Analysis and Geometric Methods in Deterministic Optimal Control. IMA Vol. Math. Appl., vol. 78, pp. 59–81. Springer, New York (1996). MR 97h:49043 Google Scholar
  10. 10.
    Dontchev, A.L., Hager, W.W.: A new approach to Lipschitz continuity in state constrained optimal control. Syst. Control Lett. 35(3), 137–143 (1998) MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Dontchev, A.L., Hager, W.W.: The Euler approximation in state constrained optimal control. Math. Comput. 70, 173–203 (2001) MATHMathSciNetGoogle Scholar
  12. 12.
    Dontchev, A.L., Hager, W.W., Veliov, V.M.: Second-order Runge-Kutta approximations in control constrained optimal control. SIAM J. Numer. Anal. 38(1), 202–226 (2000) MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Elnagar, G., Kazemi, M.A., Razzaghi, M.: The pseudospectral Legendre method for discretizing optimal control problems. IEEE Trans. Autom. Control 40, 1793–1796 (1995) MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Elnagar, G., Kazemi, M.A.: Pseudospectral Chebyshev optimal control of constrained nonlinear dynamical systems. Comput. Optim. Appl. 11, 195–217 (1998) MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Enright, P.G., Conway, B.A.: Discrete approximations to optimal trajectories using direct transcription and nonlinear programming. J. Guid. Control Dyn. 15(4), 994–1002 (1992) MATHCrossRefGoogle Scholar
  16. 16.
    Fahroo, F., Ross, I.M.: Costate estimation by a Legendre pseudospectral method. AIAA J. Guid. Control Dyn. 24(2), 270–277 (2001) CrossRefGoogle Scholar
  17. 17.
    Fleming, A.: Real-time optimal slew maneuver design and control. Astronautical Engineer’s Thesis, US Naval Postgraduate School, December 2004 Google Scholar
  18. 18.
    Freud, G.: Orthogonal polynomials. Pergamon Press, Elmsford (1971) Google Scholar
  19. 19.
    Gill, P.E., Murray, W., Saunders, M.A.: SNOPT: an SQP algorithm for large-scale constrained optimization. SIAM J. Optim. 12(4), 979–1006 (2002) MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Gong, Q., Kang, W., Ross, I.M.: A pseudospectral method for the optimal control of constrained feedback linearizable systems. IEEE Trans. Autom. Control 51(7), 1115–1129 (2006) CrossRefMathSciNetGoogle Scholar
  21. 21.
    Hager, W.W.: Runge-Kutta methods in optimal control and the transformed adjoint system. Numer. Math. 87, 247–282 (2000) MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Hager, W.W.: Numerical analysis in optimal control. In: Hoffmann, K.-H., Lasiecka, I., Leugering, G., Sprekels, J., Troeltzsch, F. (eds.) International Series of Numererical Mathematics, vol. 139, pp. 83–93. Birkhäuser, Basel (2001) Google Scholar
  23. 23.
    Hargraves, C.R., Paris, S.W.: Direct trajectory optimization using nonlinear programming and collocation. J. Guid. Control Dyn. 10, 338–342 (1987) MATHCrossRefGoogle Scholar
  24. 24.
    Hartl, R.F., Sethi, S.P., Vickson, R.G.: A survey of the maximum principles for optimal control problems with state constraints. SIAM Rev. 37(2), 181–218 (1995) MATHCrossRefMathSciNetGoogle Scholar
  25. 25.
    Hawkins, A.M., Fill, T.R., Proulx, R.J., Feron, E.M.: Constrained trajectory optimization for Lunar landing. In: AAS Spaceflight Mechanics Meeting, AAS 06-153, Tampa, FL, January 2006 Google Scholar
  26. 26.
    Infeld, S.I., Murray, W.: Optimization of stationkeeping for a Libration point mission. In: AAS Spaceflight Mechanics Meeting, AAS 04-150, Maui, HI, February 2004 Google Scholar
  27. 27.
    Josselyn, S., Ross, I.M.: A rapid verification method for the trajectory optimization of Reentry vehicles. J. Guid. Control Dyn. 26(3), 505–508 (2003) CrossRefGoogle Scholar
  28. 28.
    Kang, W., Gong, Q., Ross, I.M.: Convergence of pseudospectral methods for nonlinear optimal control problems with discontinuous controller. In: 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC’05), Seville, Spain, pp. 2799–2804 (2005) Google Scholar
  29. 29.
    Lu, P., Sun, H., Tsai, B.: Closed-loop endoatmospheric ascent guidance. J. Guid. Control Dyn. 26(2), 283–294 (2003) CrossRefGoogle Scholar
  30. 30.
    Mordukhovich, B.S.: Variational Analysis and Generalized Differentiation I: Basic Theory. Grundlehren der Mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences) Series, vol. 330. Springer, Berlin (2005) MATHGoogle Scholar
  31. 31.
    Mordukhovich, B.S.: Variational Analysis and Generalized Differentiation II: Applications. Grundlehren der Mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences) Series, vol. 331. Springer, Berlin (2005) MATHGoogle Scholar
  32. 32.
    Nocedal, J., Wright, S.J.: Numerical Optimization. Springer, New York (1999) MATHGoogle Scholar
  33. 33.
    Paris, S.W., Hargraves, C.R.: OTIS 3.0 Manual. Boeing Space and Defense Group, Seattle (1996) Google Scholar
  34. 34.
    Pesch, H.J.: A practical guide to the solution of real-life optimal control problems. Control Cybern. 23, 7–60 (1994) MATHMathSciNetGoogle Scholar
  35. 35.
    Polak, E.: A historical survey of computational methods in optimal control. SIAM Rev. 15, 553–548 (1973) MATHCrossRefMathSciNetGoogle Scholar
  36. 36.
    Polak, E.: Optimization: Algorithms and Consistent Approximations. Springer, Heidelberg (1997) MATHGoogle Scholar
  37. 37.
    Pontryagin, L.S., Boltyanskii, V.G., Gamkrelidze, R.V., Mishchenko, E.F.: The Mathematical Theory of Optimal Processes. Wiley, New York (1962) MATHGoogle Scholar
  38. 38.
    Rea, J.: Launch vehicle trajectory optimization using a Legendre pseudospectral method. In: Proceedings of the AIAA Guidance, Navigation and Control Conference, Paper No. AIAA 2003-5640, Austin, TX, August 2003 Google Scholar
  39. 39.
    Riehl, J.P., Paris, S.W., Sjauw, W.K.: Comparision of implicit integration methods for solving aerospace trajectory optimization problems. In: Proceedings of the AIAA/AAS Astrodynamics Specialist Conference and Exhibit, AIAA Paper No. 2006-6033, Keystone, CO, 21–24 August 2006 Google Scholar
  40. 40.
    Ross, I.M.: A historical introduction to the covector mapping principle. In: AAS/AIAA Astrodynamics Specialist Conference, Paper AAS 05-332, Tahoe, NV, 8–11 August 2005 Google Scholar
  41. 41.
    Ross, I.M.: A roadmap for optimal control: The right way to commute. In: Annals of the New York Academy of Sciences, vol. 1065. New York, NY, January 2006 Google Scholar
  42. 42.
    Ross, I.M.: User’s manual for DIDO: A MATLAB application package for solving optimal control problems. Elissar LLC., Technical Report TR-705 (2007) Google Scholar
  43. 43.
    Ross, I.M., Fahroo, F.: A pseudospectral transformation of the covectors of optimal control systems. In: Proceedings of the First IFAC Symposium on System Structure and Control, Prague, Czech Republic, 29–31 August 2001 Google Scholar
  44. 44.
    Ross, I.M., D’Souza, C.N.: Hybrid optimal control framework for mission planning. J. Guid. Control Dyn. 28(4), 686–697 (2005) CrossRefGoogle Scholar
  45. 45.
    Ross, I.M., Fahroo, F.: Discrete verification of necessary conditions for switched nonlinear optimal control systems. In: Proceedings of the American Control Conference, Boston, MA, June 2004 Google Scholar
  46. 46.
    Ross, I.M., Fahroo, F.: Pseudospectral knotting methods for solving optimal control problems. AIAA J. Guid. Control Dyn. 27(3), 397–405 (2004) CrossRefGoogle Scholar
  47. 47.
    Ross, I.M., Fahroo, F.: Pseudospectral methods for optimal motion planning of differentially flat systems. IEEE Trans. Autom. Control 49(8), 1410–1413 (2004) CrossRefMathSciNetGoogle Scholar
  48. 48.
    Ross, I.M., Fahroo, F.: Legendre pseudospectral approximations of optimal control problems. In: Kang, W. et al. (eds.) Lecture Notes in Control and Information Sciences, vol. 295, pp. 327–342. Springer, New York (2003) Google Scholar
  49. 49.
    Stanton, S., Proulx, R., D’Souza, C.N.: Optimal orbit transfer using a Legendre pseudospectral method. In: AAS/AIAA Astrodynamics Specialist Conference, AAS-03-574, Big Sky, MT, 3–7 August 2003 Google Scholar
  50. 50.
    Strizzi, J., Ross, I.M., Fahroo, F.: Towards real-time computation of optimal controls for nonlinear systems. In: Proc. AIAA GNC Conf., Monterey, CA, August 2002 Google Scholar
  51. 51.
    Trefethen, L.N.: Spectral Methods in MATLAB. SIAM, Philadelphia (2000) MATHGoogle Scholar
  52. 52.
    Veliov, V.M.: On the time-discretization of control systems. SIAM J. Control Optim. 35(5), 1470–1486 (1997) MATHCrossRefMathSciNetGoogle Scholar
  53. 53.
    Vinter, R.: Optimal Control,. Birkhäuser, Boston (2000) Google Scholar
  54. 54.
    von Stryk, O.: Numerical solution of optimal control problems by direct collocation. In: Bulirsch, R. et al. (eds.) Optimal Control: Calculus of Variations, Optimal Control Theory and Numerical Methods. Birkhäuser, Boston (1993) Google Scholar
  55. 55.
    Williams, P., Blanksby, C., Trivailo, P.: Receding horizon control of tether system using quasilinearization and Chebyshev pseudospectral approximations. In: AAS/AIAA Astrodynamics Specialist Conference, Paper AAS 03-535, Big Sky, MT, 3–7 August 2003 Google Scholar
  56. 56.
    Yan, H., Alfriend, K.T.: Three-axis magnetic attitude control using pseudospectral control law in eccentric orbits. In: AAS Spaceflight Mechanics Meeting, AAS 06-103, Tampa, FL, January 2006 Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Qi Gong
    • 1
  • I. Michael Ross
    • 2
  • Wei Kang
    • 3
  • Fariba Fahroo
    • 3
  1. 1.Department of Electrical & Computer EngineeringUniversity of Texas at San AntonioSan AntonioUSA
  2. 2.Department of Mechanical and Astronautical EngineeringNaval Postgraduate SchoolMontereyUSA
  3. 3.Department of Applied MathematicsNaval Postgraduate SchoolMontereyUSA

Personalised recommendations