Skip to main content
Log in

Structure Exploitation in an Interior-Point Method for Fully Discretized, State Constrained Optimal Control Problems

  • Published:
Vietnam Journal of Mathematics Aims and scope Submit manuscript

Abstract

We discuss a direct discretization method for state-constrained optimal control problems and an interior-point method, which is used to solve the resulting large-scale and sparse nonlinear optimization problems. The main focus of the paper is on the investigation of an efficient method to solve the occurring linear equations with saddle-point structure. To this end, we exploit the particular structure that arises from the optimal control problem and the discretization scheme and use a tailored linear algebra solver alglin in combination with a re-ordering of the saddle-point matrices. Numerical experiments for a simple optimal control problem show a significant speed-up compared to state-of-the-art sparse LU decomposition methods like MA57 or MUMPS in combination with Ipopt.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Notes

  1. https://www.bitbucket.org/ebertolazzi/alglin

  2. https://software.intel.com/en-us/mkl

  3. http://www.hsl.rl.ac.uk/catalogue/ma57.html

References

  1. Akimova, E.N., Belousov, D.V.: Parallel algorithms for solving linear systems with block-tridiagonal matrices on multi-core CPU with GPU. J. Comput. Sci. 3, 445–449 (2012)

    Article  Google Scholar 

  2. Amestoy, P.R., Duff, I.S., L’Excellent, J.-Y., Koster, J.: MUMPS: a general purpose distributed memory sparse solver. In: Sørevik, T., Manne, F., Gebremedhin, A.H., Moe, R. (eds.) Applied Parallel Computing. New Paradigms for HPC in Industry and Academia. 5th International Workshop, PARA 2000 Bergen, Norway, June 18–20, 2000 Proceedings. Lecture Notes in Computer Science, vol. 1947, pp 121–130. Springer, Berlin (2001)

    Google Scholar 

  3. Betts, J.T.: Practical Methods for Optimal Control and Estimation Using Nonlinear Programming, 2nd edn. Cambridge University Press, New York (2009)

  4. Bock, H.G., Plitt, K.J.: A multiple shooting algorithm for direct solution of optimal control problems. In: Proceedings of the 9th IFAC World Congress, pp. 242–247, Budapest (1984)

    Google Scholar 

  5. Bryson, A.E., Ho, Y.-C.: Applied Optimal Control: Optimization, Estimation and Control. CRC Press, Washington (1973)

    Google Scholar 

  6. Curtis, F.E., Schenk, O., Wächter, A.: An interior-point algorithm for large-scale nonlinear optimization with inexact step computations. SIAM J. Sci. Comput. 32, 3447–3475 (2010)

    Article  MathSciNet  Google Scholar 

  7. Diehl, M., Ferreau, H.J., Haverbeke, N.: Efficient numerical methods for nonlinear MPC and moving horizon estimation. In: Magni, L., Raimondo, D.M., Allgöwer, F (eds.) Nonlinear Model Predictive Control: Towards New Challenging Applications. Selected Papers Based on the Presentations at the International Workshop on Assessment and Future Directions of Nonlinear Model Predictive Control (NMPC08), Pavia, Italy, September 5–9, 2008. Lecture Notes in Control and Information Sciences, vol. 384, pp 391–417. Springer, Berlin (2009)

    Chapter  Google Scholar 

  8. Domahidi, A.: Methods and Tools for Embedded Optimization and Control. PhD thesis, ETH zürich, Diss. ETH No. 21366 (2013)

  9. Duff, I.S.: MA57—A code for the solution of sparse symmetric definite and indefinite systems. ACM Trans. Math. Softw. 30, 118–144 (2004)

    Article  MathSciNet  Google Scholar 

  10. Ferreau, H.J., Kirches, C., Potschka, A., Bock, H.G., Diehl, M.: qpOASES: a parametric active-set algorithm for quadratic programming. Math. Program. Comput. 6, 327–363 (2014)

    Article  MathSciNet  Google Scholar 

  11. Gerdts, M.: Optimal control of ODEs and DAEs. de Gruyter, Berlin (2012)

    Book  Google Scholar 

  12. Guennebaud, G., Jacob, B., et al.: Eigen v3. http://eigen.tuxfamily.org (2010)

  13. 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, 181–218 (1995)

    Article  MathSciNet  Google Scholar 

  14. Jerez, J.L.: Custom Optimization Algorithms for Efficient Hardware Implementation. PhD thesis, Department of Electrical and Electronic Engineering Imperial College London (2013)

  15. Kirches, C., Bock, H.G., Schlöder, J.P., Sager, S.: A factorization with update procedures for a KKT matrix arising in direct optimal control. Math. Program. Comput. 3, 319–348 (2011)

    Article  MathSciNet  Google Scholar 

  16. Kirches, C., Bock, H.G., Schlöder, J. P., Sager, S.: Block-structured quadratic programming for the direct multiple shooting method for optimal control. Optim. Methods Softw. 26, 239–257 (2011)

    Article  MathSciNet  Google Scholar 

  17. Mattor, N., Williams, T.J., Hewett, D.W.: Algorithm for solving tridiagonal matrix problems in parallel. Parallel Comput. 21, 1769–1782 (1995)

    Article  MathSciNet  Google Scholar 

  18. Nocedal, J., Wright, S.J.: Numerical Optimization, 2nd edn. Springer, New York (2006)

  19. Sanderson, C., Curtin, R.: Armadillo: a template-based c+ + library for linear algebra. J. Open Source Softw. 1, 26 (2016)

    Article  Google Scholar 

  20. Steinbach, M.: Fast Recursive SQP Methods for Large-Scale Optimal Control Problems. Univ. Naturwiss.-Math. Gesamtfak., Heidelberg (1995)

    MATH  Google Scholar 

  21. Wächter, A., Biegler, L.T.: Line search filter methods for nonlinear programming: local convergence. SIAM J. Optim. 16, 32–48 (2005)

    Article  MathSciNet  Google Scholar 

  22. Wächter, A., Biegler, L.T.: Line search filter methods for nonlinear programming: motivation and global convergence. SIAM J. Optim. 16, 1–31 (2005)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthias Gerdts.

Additional information

This paper is dedicated to Professor Hans Georg Bock on the occasion of his 70th birthday.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Huber, A., Gerdts, M. & Bertolazzi, E. Structure Exploitation in an Interior-Point Method for Fully Discretized, State Constrained Optimal Control Problems. Vietnam J. Math. 46, 1089–1113 (2018). https://doi.org/10.1007/s10013-018-0318-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10013-018-0318-7

Keywords

Mathematics Subject Classification (2010)

Navigation