FORCES NLP: an efficient implementation of interior-point methods for multistage nonlinear nonconvex programs

References

• Andersson, J. , Akesson, J. , & Diehl, M. (2012). CasADi – A symbolic package for automatic differentiation and optimal control. In S. Forth , P. Hovland , E. Phipps , J. Utke , & A. Walther (Eds.), Recent Advances in Algorithmic Differentiation, Lecture Notes in Computational Science and Engineering (Vol. 87, pp. 297–307). Berlin: Springer.
   Google Scholar
• Bemporad, A. , & Morari, M. (1999). Control of systems integrating logic, dynamics, and constraints. Automatica, 35 (3), 407–427.
   Web of Science ®Google Scholar
• Benson, H. , & Shanno, D. (2008). Interior-point methods for nonconvex nonlinear programming: Regularization and warmstarts. Computational Optimization and Applications, 40 (143), 143–189.
   Web of Science ®Google Scholar
• Bock, H. , & Plitt, K. (1984). A multiple shooting algorithm for direct solution of optimal control problems. In Proceedings of the 9th IFAC World Congress (pp. 242–247). Budapest: Pergamon Press.
   Google Scholar
• Chen, W. , Balance, D. , & O'Reilly, J. (2000). Model predictive control of nonlinear systems: Computational burden and stability. IEE Proceedings – Control Theory and Applications, 147 (4), 387–394.
   Google Scholar
• Deng, J. , Becerra, V. M. , & Stobart, R. (2009). Input constrained handling in an MPC/feedback linearization scheme. International Journal of Applied Mathematics and Computer Science, 19 (2), 219–232.
   Web of Science ®Google Scholar
• Diehl, M. , Bock, H. G. , & Schlöder, J. P. (2005). A real-time iteration scheme for nonlinear optimization in optimal feedback control. SIAM Journal on Control and Optimization, 43 (5), 1714–1736. .
   Web of Science ®Google Scholar
• Diehl, M. , Bock, H. G. , Schloder, J. P. , Findeisen, R. , Nagy, Z. , & Allgöwer, F. (2002). Real-time optimization and nonlinear model predictive control of processes governed by differential-algebraic equations. Journal of Process Control, 12 (4), 577–585.
   Web of Science ®Google Scholar
• Diehl, M. , Ferreau, H. , & Haverbeke, N. (2009). Nonlinear model predictive control, efficient numerical methods for nonlinear MPC and moving horizon estimation. Lecture Notes in Control and Information Sciences, 384 , 391–417.
   Google Scholar
• Diehl, M. , Findeisen, R. , & Allgöwer, F. (2007). A stabilizing real-time implementation of nonlinear model predictive control. In L. Biegler , O. Ghattas , M. Heinkenschloss , D. Keyes & B. van Bloemen Waanders (Eds.), Real-Time and Online PDE-Constrained Optimization, 23–52. SIAM.
   Google Scholar
• Domahidi, A. , & Jerez, J. (2016). FORCES Nonlinear Programming Solver . embotech GmbH. Retrieved from https://www.embotech.com/FORCES-Pro/User-Manual/High-level-Interface. Zurich, Switzerland.
   Google Scholar
• Domahidi, A. , Zgraggen, A. , Zeilinger, M. , Morari, M. , & Jones, C . (2012). Efficient interior point methods for multistage problems arising in receding horizon control. In IEEE Conference on Decision and Control (pp. 668–674). Maui, HI.
   Google Scholar
• Duff, I. (2004). Ma57 – a code for the solution of sparse symmetric definite and indefinite systems. ACM Transactions on Mathematical Software, 30 (2), 118–144.
   Web of Science ®Google Scholar
• Falcone, P. , Borrelli, F. , Asgari, J. , Tseng, H. E. , & Hrovat, D. (2007). Predictive active steering control for autonomous vehicle systems. IEEE Transactions on Control Systems Technology, 15 (3), 566–580.
   Web of Science ®Google Scholar
• Ferreau, H. , Houska, B. , Geebelen, K. , & Diehl, M. (2011). Real-time control of a kite-model using an auto-generated nonlinear MPC algorithm. Proceedings of 18th IFAC World Congress, 44 (1), 2488–2493.
   Google Scholar
• Ferreau, H. , Kirches, C. , Potschka, A. , Bock, H. , & Diehl, M. (2014). qpOASES: A parametric active-set algorithm for quadratic programming. Mathematical Programming Computation, 6 (4), 327–363.
   Google Scholar
• Findeisen, R. , & Allgöwer, F. (2004). Computational delay in nonlinear model predictive control. In Proceedings of International Symposium on Advanced Control of Chemical Processes (pp. 427–432 ). Hong Kong.
   Google Scholar
• Forsgren, A. (2006). On warm starts for interior methods (pp 51–66). Boston, MA: Springer.
   Google Scholar
• Frison, G. , Sorensen, H. B. , Dammann, B. , & Jørgensen, J. B. (2014). High-performance small-scale solvers for linear model predictive control. In Proceedings of European Control Conference (pp. 128–133). Strasbourg, France.
   Google Scholar
• Garcia, C. , Prett, D. , & Morari, M. (1988). Model predictive control: Theory and practice – A survey. Automatica, 25 (3), 335–348.
   Web of Science ®Google Scholar
• Giselsson, P. (2012). Execution time certification for gradient-based optimization in model predictive control. In Proceedings of the 51st IEEE Conference on Decision and Control (pp. 3165–3170). Maui, HI.
   Google Scholar
• Gondzio, J. , & Grothey, A. (2006). A new unblocking technique to warmstart interior point methods based on sensitivity analysis. SIAM Journal on Control and Optimization, 19 (3), 1184–1210.
   Web of Science ®Google Scholar
• Houska, B. , Ferreau, H. , & Diehl, M. (2011). An auto-generated real-time iteration algorithm for nonlinear MPC in the microsecond range. Automatica, 47 (10), 2279–2285.
   Web of Science ®Google Scholar
• Jerez, J. , Goulart, P. , Richter, S. , Constantinides, G. , Kerrigan, E. , & Morari, M. (2014). Embedded online optimization for model predictive control at megahertz rates. IEEE Transactions on Automatic Control, 59 (12), 3238–3251.
   Web of Science ®Google Scholar
• Kang, J. , Cao, Y. , Word, D. , & Laird, C. (2014). An interior-point method for efficient solution of block-structured NLP problems using an implicit Schur-complement decomposition. Computers & Chemical Engineering, 71 , 563–573.
   Web of Science ®Google Scholar
• Kothare, M. V. , Balakrishnan, V. , & Morari, M. (1996). Robust constrained model predictive control using linear matrix inequalities. Automatica, 32 (10), 1361–1379.
   Web of Science ®Google Scholar
• Nicolao, G. D. , Magni, L. , & Scattolini, R. (1998). Nonlinear model predictive control, Stability and robustness of nonlinear receding horizon control. Progress in Systems and Control Theory, 3–22.
   Google Scholar
• Nocedal, J. , Wächter, A. , & Waltz, R. (2006). Adaptive barrier update strategies for nonlinear interior methods. SIAM Journal on Optimization, 19 (4), 1674–1693.
   Web of Science ®Google Scholar
• Nocedal, J. , & Wright, S. J. (2006). Numerical optimization. Springer Series in Operations Research and Financial Engineering (2nd ed.). Berlin: Springer.
   Google Scholar
• Ohtsuka, T. (2004). A continuation/GMRES method for fast computation of nonlinear receding horizon control. Automatica, 4 (40), 563–574.
   Web of Science ®Google Scholar
• Powell, M. (1978). A fast algorithm for nonlinearly constrained optimization calculations. In G. A. Watson (Ed.), Numerical Analysis (pp. 144–157). Berlin: Springer.
   Google Scholar
• Qin, S. J. , & Badgwell, T. A. (2003). A survey of industrial model predictive control technology. Control Engineering Practice, 11 (7), 733–764.
   Web of Science ®Google Scholar
• Quirynen, R. , Gros, S. , & Diehl, M. (2013a). Efficient NMPC for nonlinear models with linear subsystems. In Proceedings of the 12th IEEE Conference on Decision and Control (pp. 5101–5106). Florence, Italy.
   Google Scholar
• Quirynen, R. , Gros, S. , & Diehl, M. (2013b). Fast auto generated ACADO integrators and application to MHE with multi-rate measurements. In Proceedings of the 12th European Control Conference (pp. 3077–3082). Zurich, Switzerland.
   Google Scholar
• Quirynen, R. , Gros, S. , Houska, B. , & Diehl, M. (2016). Lifted collocation integrators for direct optimal control in ACADO toolkit. Mathematical Programming Computation (under review, preprint available at Optimization Online - www.optimization-online.org/DB_HTML/2016/ 05/5468.html) .
   Google Scholar
• Quirynen, R. , Vukov, M. , & Diehl, M. (2012). Auto generation of implicit integrators for embedded NMPC with microsecond sampling times. In Proceedings of the IFAC Nonlinear Model Predictive Control Conference (pp. 175–180). Noordwijkerhout, The Netherlands.
   Google Scholar
• Quirynen, R. , Vukov, M. , Zanon, M. , & Diehl, M. (2014). Autogenerating microsecond solvers for nonlinear MPC: A tutorial using ACADO integrators. Optimal Control Applications and Methods, 36 , 685–704.
   Web of Science ®Google Scholar
• Richter, S. , Jones, C. , & Morari, M. (2012). Computational complexity certification for real-time MPC with input constraints based on the fast gradient method. IEEE Transactions on Automatic Control, 57 (6), 1391–1403.
   Web of Science ®Google Scholar
• Santos, L. O. , Afonso, P. , Castro, J. , Oliveira, N. , & Biegler, L. T. (2001). On-line implementation of nonlinear MPC: An experimental case study. Control Engineering Practice, 9 (8), 847–857.
   Web of Science ®Google Scholar
• Shahzad, A. , & Goulart, P. (2011). A new hot-start interior-point method for model predictive control. In Proceedings of the 18th IFAC World Congress (pp. 2470–2475). Milano, Italy.
   Google Scholar
• Shahzad, A. , Kerrigan, E. , & Constantinides, G. (2010). A warm-start interior-point method for predictive control. In Proceedings of the UKACC International Conference on Control. Coventry, UK.
   Google Scholar
• Siciliano, B. , Sciavicco, L. , Villani, L. , & Oriolo, G. (2009). Robotics: Modelling, planning and control . Berlin: Springer.
   Google Scholar
• Simon, D. , Loefberg, J. , & Glad, T. (2013). Nonlinear model predictive control using feedback linearization and local inner convex constraint approximations. In Proceedings of the 12th European Control Conference (pp. 2056–2061). Zurich, Switzerland.
   Google Scholar
• Vanderbei, R. , & Shanno, D. (1999). An interior point algorithm for nonconvex nonlinear programming. Computational Optimization and Applications, 13 , 231–252.
   Web of Science ®Google Scholar
• Wächter, A. , & Biegler, L. (2006). On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. Mathematical Programming, 106 (25), 25–57.
   Web of Science ®Google Scholar
• Wright, S. J. (1993). Interior point methods for optimal control of discrete time systems. Journal of Optimization Theory and Applications, 77 (1), 161–187.
   Web of Science ®Google Scholar
• Yildirim, E. , & Wright, S. J. (2002). Warm-start strategies in interior-point methods for linear programming. SIAM Journal on Optimization, 12 (3), 782–810.
   Web of Science ®Google Scholar
• Zanelli, A. , Quirynen, R. , Jerez, J. , & Diehl, M. (2017). A homotopy-based nonlinear interior-point method for NMPC applications. In Proceedings of 20th IFAC World Congress . Toulouse, France.
   Google Scholar
• Zavala, V. M. , & Biegler, L. T. (2009). The advanced step NMPC controller: Optimality, stability and robustness. Automatica, 45 (1), 86–93.
   Web of Science ®Google Scholar