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.
Similar content being viewed by others
References
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)
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)
Betts, J.T.: Practical Methods for Optimal Control and Estimation Using Nonlinear Programming, 2nd edn. Cambridge University Press, New York (2009)
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)
Bryson, A.E., Ho, Y.-C.: Applied Optimal Control: Optimization, Estimation and Control. CRC Press, Washington (1973)
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)
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)
Domahidi, A.: Methods and Tools for Embedded Optimization and Control. PhD thesis, ETH zürich, Diss. ETH No. 21366 (2013)
Duff, I.S.: MA57—A code for the solution of sparse symmetric definite and indefinite systems. ACM Trans. Math. Softw. 30, 118–144 (2004)
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)
Gerdts, M.: Optimal control of ODEs and DAEs. de Gruyter, Berlin (2012)
Guennebaud, G., Jacob, B., et al.: Eigen v3. http://eigen.tuxfamily.org (2010)
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)
Jerez, J.L.: Custom Optimization Algorithms for Efficient Hardware Implementation. PhD thesis, Department of Electrical and Electronic Engineering Imperial College London (2013)
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)
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)
Mattor, N., Williams, T.J., Hewett, D.W.: Algorithm for solving tridiagonal matrix problems in parallel. Parallel Comput. 21, 1769–1782 (1995)
Nocedal, J., Wright, S.J.: Numerical Optimization, 2nd edn. Springer, New York (2006)
Sanderson, C., Curtin, R.: Armadillo: a template-based c+ + library for linear algebra. J. Open Source Softw. 1, 26 (2016)
Steinbach, M.: Fast Recursive SQP Methods for Large-Scale Optimal Control Problems. Univ. Naturwiss.-Math. Gesamtfak., Heidelberg (1995)
Wächter, A., Biegler, L.T.: Line search filter methods for nonlinear programming: local convergence. SIAM J. Optim. 16, 32–48 (2005)
Wächter, A., Biegler, L.T.: Line search filter methods for nonlinear programming: motivation and global convergence. SIAM J. Optim. 16, 1–31 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper is dedicated to Professor Hans Georg Bock on the occasion of his 70th birthday.
Rights and permissions
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10013-018-0318-7