Abstract
A nonlinear model predictive control (NMPC) strategy requires the formulation of an optimization problem. For online NMPC the nonlinear programming problem must be solved numerically at every sampling interval, while explicit NMPC assumes that an explicit representation of the solution can be computed using multi-parametric nonlinear programming. This chapter considers the formulation of the optimization problem, which is an essential part of the control design and involves numerous decisions that are important for the control performance, stability, and robustness as well as the computational complexity and the numerical challenges of computing the solution. Key elements are discretization and parameterization procedures that leads to a finite-dimensional numerical optimal control problem that can be addressed using e.g. direct single shooting, direct multiple shooting, or collocation methods. Fundamental properties like feasibility and continuity of solutions are discussed, before various modifications that are needed to explicitly guarantee stability, feasibility, and robustness, are discussed. We then discuss further extensions for handling integer variables, output feedback, decentralized and distributed implementations, before some remarks on numerical and computational challenges are discussed at the end.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Åkesson, B.M., Toivonen, H.T.: A neural network model predictive controller. Journal of Process Control 16, 937–946 (2006)
Alamir, M., Bornard, G.: Stability of a truncated infinite constrained receding horizon scheme: The general discrete nonlinear case. Automatica 31, 1353–1356 (1995)
Alessandri, A., Baglietto, M., Parisini, T., Zoppoli, R.: A neural state estimator with bounded errors for nonlinear systems. IEEE Transactions on Automatic Control 44, 2028–2042 (1999)
Allgöwer, F., Badgwell, T.A., Qin, J.S., Rawlings, J.B., Wright, S.J.: Nonlinear predictive control and moving horizon estimation – An introductory overview. In: Frank, P.M. (ed.) Advances in Control, Highlights of ECC 1999, pp. 391–449. Springer (1999)
Angeli, D., Casavola, A., Mosca, E.: Constrained predictive control of nonlinear plants via polytopic linear system embedding. Int. J. Robust Nonlinear Control 10, 1091–1103 (2000)
Arellano-Garcia, H., Wendt, M., Barz, T., Wozny, G.: Closed-loop stochastic dynamic optimization under probabilistic output constraints. In: Findeisen, R., Allgöwer, F., Biegler, L.T. (eds.) Assessment and Future Directions of Nonlinear Model Predictive Control. LNCIS, vol. 358, pp. 305–315. Springer (2007)
Athans, M., Falb, P.L.: Optimal control. An introduction to the theory and its applications. McGraw Hill Ltd. (1966)
Balchen, J.G., Ljungquist, D., Strand, S.: State-space predictive control. Chemical Engineering Science 47, 787–807 (1992)
Bayat, F., Johansen, T.A., Jalali, A.A.: Using hash tables to manage time-storage complexity in point location problem: Application to Explicit MPC. Automatica 47, 571–577 (2011)
Bayat, F., Johansen, T.A., Jalali, A.A.: Combining truncated binary search tree and direct search for flexible piecewise function evaluation for explicit MPC in embedded microcontrollers. In: Proceedings of the 18th IFAC World Congress, Milano (2011), www.IFAC-PapersOnLine.net
Bayat, F., Johansen, T.A., Jalali, A.A.: Flexible piecewise function evaluation methods with application to explicit model predictive control. In: IEEE Int. Conf. Mechatronics, Istanbul (2011)
Bellman, R.: Dynamic programming. Princeton University Press, New Jersey (1957)
Bemporad, A., Filippi, C.: Suboptimal explicit RHC via approximate multiparametric quadratic programming. J. Optimization Theory and Applications 117, 9–38 (2003)
Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35, 407–427 (1999)
Bemporad, A., Borrelli, F., Morari, M.: Optimal controllers for hybrid systems: Stability and piecewise linear explicit form. In: Proceedings of the IEEE Conference on Decision and Control, Sydney (2000)
Bemporad, A., Morari, M., Dua, V., Pistikopoulos, E.N.: The explicit linear quadratic regulator for constrained systems. Automatica 38, 3–20 (2002)
Betts, J.T.: Practical methods for optimal control using nonlinear programming. SIAM, Philadelphia (2001)
Biegler, L.: Efficient solution of dynamic optimization and NMPC problems. In: Allgöwer, F., Zheng, A. (eds.) Nonlinear Predictive Control, pp. 219–244. Birkhäuser (2000)
Biegler, L.T.: Solution of dynamic optimization problems by successive quadratic programming and orthogonal collocation. Computers and Chemical Engineering 8, 243–248 (1984)
Bischof, C., Carle, A., Kadhemi, P., Mauer, A.: ADIFOR2.0: Automatic differentiation of Fortran 77 programs. IEEE Computational Science and Engineering 3, 18–32 (1996)
Biyik, E., Arcak, M.: A hybrid redesign of Newton observers in the absence of an exact discrete time model. Systems and Control Letters 55, 429–436 (2006)
Bølviken, E., Acklam, P.J., Christophersen, N., Størdal, J.M.: Monte Carlo filters for non-linear state estimation. Automatica 37, 177–183 (2001)
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. 243–247. Pergamon Press, Budapest (1984)
Bock, H.G., Diehl, M., Leineweber, D.B., Schlöder, J.P.: Efficient direct multiple shooting in nonlinear model predictive control. In: Keil, F., Mackens, W., Voss, H., Werther, J. (eds.) Scientific Computing in Chemical Engineering II, vol. 2, pp. 218–227. Springer, Berlin (1999)
Borrelli, F., Morari, M.: Offset free model predictive control. In: Proceedings of the IEEE Conference on Decision and Control, pp. 1245–1250 (2007)
Boyd, S., Ghaoui, L.E., Feron, E., Balahrishnan, V.: Linear matrix inequalities in system and control theory. SIAM, Philadelphia (1994)
Cannon, M., Kouvaritakis, B.: Optimizing prediction dynamics for robust MPC. IEEE Trans. Automatic Control 50, 1892–1897 (2005)
Cannon, M., Ng, D., Kouvaritakis, B.: Successive Linearization NMPC for a Class of Stochastic Nonlinear Systems. In: Magni, L., Raimondo, D.M., Allgöwer, F. (eds.) Nonlinear Model Predictive Control: Towards New Challenging Applications. LNCIS, vol. 384, pp. 249–262. Springer, Heidelberg (2009)
Casavola, A., Famularo, D., Franze, G.: Predictive control of constrained nonlinear systems via LPV linear embeddings. Int. J. Robust Nonlinear Control 13, 281–294 (2003)
Cervantes, A., Biegler, L.: Large-scale DAE optimization using a simultaneous NLP formulation. AIChE Journal 44, 1038–1050 (1998)
Chen, C.C., Shaw, L.: On receding horizon feedback control. Automatica 18, 349–352 (1982)
Chen, H., Allgöwer, F.: A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability. Automatica 34, 1205–1217 (1998)
Christophersen, F., Kvasnica, M., Jones, C.N., Morari, M.: Efficient evaluation of piecewise control laws defined over a large number of polyhedra. In: Proceedings of the European Control Conference, pp. 2360–2367 (2007)
Conn, A., Scheinberg, K., Vicente, L.N.: Introduction to derivative-free optimization. SIAM (2009)
Conn, A.R., Gould, N.I.M., Toint, P.L.: Trust region methods. SIAM (2000)
Deuflhard, P.: A modified Newton method for the solution of ill-conditioned systems of nonlinear equations with application to multiple shooting. Numer. Math. 22, 289–315 (1974)
Diehl, M., Bock, H.G., Schlöder, J.P., Findeisen, R., Nagy, Z., Allgöwer, F.: Real- time optimization and nonlinear model predictive control of processes governed by differential-algebraic equations. J. Process Control 12, 577–585 (2002)
Diehl, M., Magni, L., de Nicolao, G.: Online NMPC of unstable periodic systems using approximate infinite horizon closed loop costing. Annual Reviews in Control 28, 37–45 (2004)
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. LNCIS, vol. 384, pp. 391–417. Springer, Heidelberg (2009)
Dunbar, W.B., Murray, R.M.: Distributed receding horizon control for multi-vehicle formation stabilization. Automatica 42, 549–558 (2006)
Feng, L., Gutvik, C.R., Johansen, T.A., Sui, D.: Barrier function nonlinear optimization for optimal decompression of divers. In: Proceedings of the IEEE Conference on Decision and Control, Shanghai (2009)
Fiacco, A.V.: Introduction to sensitivity and stability analysis in nonlinear programming. Academic Press, Orlando (1983)
Findeisen, R., Imsland, L., Allgöwer, F., Foss, B.A.: Output feedback stabilization for constrained systems with nonlinear model predictive control. Int. J. Robust and Nonlinear Control 13, 211–227 (2003a)
Findeisen, R., Imsland, L., Allgöwer, F., Foss, B.A.: State and output feedback nonlinear model predictive control: An overview. European J. Control 9, 179–195 (2003b)
Foss, B.A., Schei, T.S.: Putting nonlinear model predictive control into use. In: Findeisen, R., Allgöwer, F., Biegler, L. (eds.) Assessment and Future Directions of Nonlinear Model Predictive Control. LNCIS, vol. 358, pp. 407–417. Springer, Heidelberg (2007)
Foss, B.A., Johansen, T.A., Sørensen, A.V.: Nonlinear predictive control using local models - applied to a batch fermentation process. Control Engineering Practice 3, 389–396 (1995)
Gill, P., Murray, W., Wright, M.: Practical optimization. Academic Press, Inc. (1981)
Gill, P., Barclay, A., Rosen, J.B.: SQP methods and their application to numerical optimal control. Tech. Rep. NA 97–3, Department of Mathematics, University of California, San Diego (1997)
Gondzio, J., Grothey, A.: A new unblocking technique to warmstart interior point methods based on sensitivity analysis. SIAM J. Optimization 19, 1184–1210 (2008)
Goodwin, G.C., Østergaard, J., Quevedo, D.E., Feuer, A.: A Vector Quantization Approach to Scenario Generation for Stochastic NMPC. In: Magni, L., Raimondo, D.M., Allgöwer, F. (eds.) Nonlinear Model Predictive Control: Towards New Challenging Applications. LNCIS, vol. 384, pp. 235–248. Springer, Heidelberg (2009)
Grancharova, A., Johansen, T.A., Tøndel, P.: Computational aspects of approximate explicit nonlinear model predictive control. In: Findeisen, R., Allgöwer, F., Biegler, L. (eds.) Assessment and Future Directions of Nonlinear Model Predictive Control. LNCIS, vol. 358, pp. 181–192. Springer, Heidelberg (2007)
Grancharova, A., Johansen, T.A.: Computation, approximation and stability of explicit feedback min-max nonlinear model predictive control. Automatica 45, 1134–1143 (2009)
Griewank, A., Walther, A.: Evaluating derivatives, 2nd edn. SIAM (2008)
Griewank, A., Juedes, D., Utke, J.: ADOL-C, A package for the automatic differentiation of algorithms written in C/C++. ACM Trans. Mathematical Software 22, 131–167 (1996)
Grimm, G., Messina, M.J., Tuna, S.E., Teel, A.R.: Examples when nonlinear model predictive control is nonrobust. Automatica 40, 1729–1738 (2004)
Heemels, W.P.M.H., Schutter, B.D., Bemporad, A.: Equivalence of hybrid dynamical models. Automatica 37, 1085–1091 (2001)
Hicks, G.A., Ray, W.H.: Approximation methods for optimal control synthesis. Can. J. Chem. Engng. 49, 522–528 (1971)
Houska, B., Ferreau, H.J., Diehl, M.: ACADO toolkit - an open-source framework for automatic control and dynamic optimization. Optimal Control Applications and Methods (2010)
Isidori, A.: Nonlinear control systems, 2nd edn. Springer, Berlin (1989)
Jadbabaie, A., Yu, J., Hauser, J.: Unconstrained receding-horizon control of nonlinear systems. IEEE Trans. Automatic Control 46, 776–783 (2001)
Johansen, T.A.: Approximate explicit receding horizon control of constrained nonlinear systems. Automatica 40, 293–300 (2004)
Kantas, N., Maciejowski, J.M., Lecchini-Visintini, A.: Sequential Monte Carlo for Model Predictive Control. In: Magni, L., Raimondo, D.M., Allgöwer, F. (eds.) Nonlinear Model Predictive Control: Towards New Challenging Applications. LNCIS, vol. 384, pp. 263–274. Springer, Heidelberg (2009)
Keerthi, S.S., Gilbert, E.G.: Optimal infinite horizon feedback laws for a general class of constrained discrete-time systems: Stability and moving horizon approximations. J. Optimization Theory and Applications 57, 265–293 (1988)
Kerrigan, E., Maciejowski, J.M.: Invariant sets for constrained nonlinear discrete-time systems with application to feasibility in model predictive control. In: Proceedings of the IEEE Conference on Decision and Control, Sydney (2000)
Keviczky, T., Borrelli, F., Balas, G.J.: Decentralized receding horizon control for large scale dynamically decoupled systems. Automatica 42, 2105–2115 (2006)
Kim, I., Liebman, M., Edgar, T.: A sequential error-in-variables method for nonlinear dynamic systems. Comp. Chem. Engr. 15, 663–670 (1991)
Kojima, M.: Strongly stable stationary solutions in nonlinear programs. In: Robinson, S.M. (ed.) Analysis and Computation of Fixed Points, pp. 93–138. Academic Press, New York (1980)
Kraft, D.: On converting optimal control problems into nonlinear programming problems. In: Schittkowski, K. (ed.) Computational Mathematical Programming. NATO ASI Series, vol. F15, pp. 261–280. Springer (1985)
Krstic, M., Kanellakopoulos, I., Kokotovic, P.: Nonlinear and adaptive control design. Wiley and Sons (1995)
Lazar, M., Heemels, W., Bemporad, A., Weiland, S.: Discrete-time non-smooth nonlinear MPC: Stability and robustness. In: Findeisen, R., Allgöwer, F., Biegler, L.T. (eds.) Assessment and Future Directions of Nonlinear Model Predictive Control. LNCIS, vol. 358, pp. 93–103. Springer, Heidelberg (2007)
Lazar, M., Heemels, W.P.M.H., Roset, B.J.P., Nijmeijer, H., van den Bosch, P.P.J.: Input-to- state stabilizing sub-optimal NMPC with an application to DC-DC converters. International Journal of Robust and Nonlinear Control 18, 890–904 (2008)
Leineweber, D.B., Bauer, I., Bock, H.G., Schlöder, J.P.: An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization. part i: Theoretical aspects. Comp. Chem. Eng. 27, 157–166 (2003)
Li, W.C., Biegler, L.T.: Multistep Newton-type control strategies for constrained nonlinear processes. Chem. Eng. Res. Des. 67, 562–577 (1989)
Li, W.C., Biegler, L.T.: Newton-type controllers for constrained nonlinear processes with uncertainty. Ind. Engr. Chem. Res. 29, 1647–1657 (1990)
Limon, D., Alamo, T., Camacho, E.F.: Input-to-state stable MPC for constrained discrete-time nonlinear systems with bounded additive uncertainties. In: Proceedings of the IEEE Conference on Decision and Control, Las Vegas, NV, pp. 4619–4624 (2002)
Limon, D., Alamo, T., Salas, F., Camacho, E.F.: Input-to-state stability of min-max MPC controllers for nonlinear systems with bounded uncertainties. Automatica 42, 797–803 (2006)
Magni, L., Scattolini, R.: Stabilizing decentralized model predictive control of nonlinear systems. Automatica 42, 1231–1236 (2006)
Magni, L., Scattolini, R.: Robustness and robust design of MPC for nonlinear discrete-time systems. In: Findeisen, R., Allgöwer, F., Biegler, L. (eds.) Assessment and Future Directions of Nonlinear Model Predictive Control. LNCIS, vol. 358, pp. 239–254. Springer, Heidelberg (2007)
Magni, L., Nicolao, G.D., Scattolini, R.: Output feedback and tracking of nonlinear systems with model predictive control. Automatica 37, 1601–1607 (2001a)
Magni, L., Nicolao, G.D., Scattolini, R.: A stabilizing model-based predicitve control algorithm for nonlinear systems. Automatica 37, 1351–1362 (2001b)
Magni, L., De Nicolao, G., Scattolini, R., Allgöwer, F.: Robust model predictive control for nonlinear discrete-time systems. International Journal of Robust and Nonlinear Control 13, 229–246 (2003)
Mangasarian, O.L., Rosen, J.B.: Inequalities for stochastic nonlinear programming problems. Operations Research 12, 143–154 (1964)
Marino, R., Tomei, P.: Nonlinear control design: Geometric, adaptive and robust. Prentice-Hall, UK (1995)
Mayne, D.Q., Michalska, H.: Receding horizon control of nonlinear systems. IEEE Trans. Automatic Control 35, 814–824 (1990)
Mayne, D.Q., Rawlings, J.B., Rao, C.V., Scokaert, P.O.M.: Constrained model predictive control: Stability and optimality. Automatica 36, 789–814 (2000)
Messina, M.J., Tuna, S.E., Teel, A.R.: Discrete-time certainty equivalence output feedback: allowing discontinuous control laws including those from model predictive control. Automatica 41, 617–628 (2005)
Michalska, H., Mayne, D.Q.: Robust receding horizon control of constrained nonlinear systems. IEEE Trans. Automatic Control 38, 1623–1633 (1993)
Michalska, H., Mayne, D.Q.: Moving horizon observers and observer-based control. IEEE Transactions Automatic Control 40, 995–1006 (1995)
Morari, M., Lee, J.: Model predicitve control: Past, present and future. Comp. and Chem. Eng. 23, 667–682 (1999)
Muske, K.R., Badgwell, T.A.: Disturbance modeling for offset-free linear model predictive control. J. Process Control 12, 617–632 (2002)
Nagy, Z., Braatz, R.D.: Robust nonlinear model predictive control of batch processes. AIChE Journal 49, 1776–1786 (2003)
Nagy, Z., Mahn, B., Franke, R., Allgöwer, F.: Real-time implementation of nonlinear model predictive control of batch processes in an industrial framework. In: Findeisen, R., Allgöwer, F., Biegler, L.T. (eds.) Assessment and Future Directions of Nonlinear Model Predictive Control. LNCIS, vol. 358, pp. 465–472. Springer, Heidelberg (2007)
Nicolao, G.D., Magni, L., Scattolini, R.: Stability and robustness of nonlinear receding horizon control. In: Allgöwer, F., Zheng, A. (eds.) Nonlinear Predictive Control, pp. 3–23. Birkhäuser (2000)
Nijmeijer, H., van der Schaft, A.J.: Nonlinear dynamical control systems. Springer, New York (1990)
Nørgaard, M., Ravn, O., Poulsen, N.K., Hansen, L.K.: Neural networks for modelling and control of dynamic systems. Springer, London (2000)
Nocedal, J., Wright, S.J.: Numerical optimization. Springer, New York (1999)
Ohtsuka, T.: A continuation/GMRES method for fast computation of nonlinear receding horizon control. Automatica 40, 563–574 (2004)
Pannocchia, G., Bemporad, A.: Combined design of disturbance model and observer for offset-free model predictive control. IEEE Trans. Automatic Control 52, 1048–1053 (2007)
Pannocchia, G., Rawlings, J.B.: Disturbance models for offset-free model predictive control. AIChE J. 49, 426–437 (2003)
Qin, S.J., Badgwell, T.A.: An overview of industrial model predictive control technology, preprint CPC-V, Lake Tahoe (1996)
Qin, S.J., Badgwell, T.A.: An overview of nonlinear model predictive control applications. In: Nonlinear Predictive Control, pp. 369–392. Springer (2000)
Rawlings, J.B.: Tutorial overview of model predictive control. IEEE Contr. Syst. Magazine 20, 38–52 (2000)
Roset, B.J.P., Lazar, M., Heemels, W.P.M.H., Nijmeijer, H.: A stabilizing output based nonlinear model predictive control scheme. In: Proceedings of the 45th IEEE Conference on Decision and Control, San Diego, USA, pp. 4627–4632 (2006)
Saberi, A., Han, J., Stoorvogel, A.A.: Constrained stabilization problems for linear plants. Automatica 38, 639–654 (2002)
Sargent, R.W.H., Sullivan, G.R.: The development of an efficient optimal control package. In: Proceedings of the 8th IFIP Conference on Optimization Techniques. Springer, Heidelberg (1977)
Scattolini, R.: Architectures for distributed and hierarchical model predictive control - a review. Journal of Process Control 19, 723–731 (2009)
Schei, T.S.: A finite-difference method for linearization in nonlinear estimation algorithms. Automatica 33, 2053–2058 (1997)
Scokaert, P.O.M., Mayne, D.Q., Rawlings, J.B.: Suboptimal model predictive control (feasibility implies stability). IEEE Trans. Automatic Control 44, 648–654 (1999)
Sepulchre, R., Jankovic, M., Kokotovic, P.: Constructive nonlinear control. Springer, London (1997)
Sequeira, S.E., Graells, M., Luis, P.: Real-time evolution for on-line optimization of continuous processes. Industrial and Engineering Chemistry Research, 1815–1825 (2002)
Shahzad, A., Kerrigan, E.C., Constantinides, G.A.: A warm-start interior-point method for predictive control. In: Proceedings of UKACC (2010)
Shin, K.G., McKay, N.D.: Minimum-time control of robotic manipulators with geometric path constraints. IEEE Transactions on Automatic Control 30, 531–541 (1985)
von Stryk, O.: Numerical solution of optimal control problems by direct collocation. In: Optimal Control. International Series in Numerical Mathematics, vol. 111, pp. 129–143 (1993)
Tenny, M.J., Rawlings, J.B., Wright, S.J.: Closed-loop behavior of nonlinear model predictive control. AIChE Journal 50, 2142–2154 (2004)
Tøndel, P., Johansen, T.A., Bemporad, A.: Evaluation of piecewise affine control via binary search tree. Automatica 39, 743–749 (2003)
Tsang, T.H., Himmelblau, D.M., Edgar, T.F.: Optimal control via collocation and non-linear programming. Int. J. Control 21, 763–768 (1975)
Tyler, M.L., Morari, M.: Propositional logic in control and monitoring problems. Automatica 35, 565–582 (1999)
Vada, J., Slupphaug, O., Foss, B.A.: Infeasibility handling in linear MPC subject to prioritized constraints. In: Proceedings of IFAC World Congress, Beijing, vol. D, pp. 163–168 (1999)
Wan, Z.Y., Kothare, M.V.: Efficient scheduled stabilizing output feedback model predictive control for constrained nonlinear systems. IEEE Trans. Automatic Control 49, 1172–1177 (2004)
Williams, H.P.: Model building in mathematical programming (1999)
Wright, S.J.: Primal-dual interior-point methods. SIAM, Philadelphia (1997)
Wright, S.J., Tenny, M.J.: A feasible trust-region sequential quadratic programming algorithm. SIAM Journal on Optimization 14, 1074–1105 (2004)
Xiong, Q., Jutan, A.: Continuous optimization using a dynamic simplex method. Chemical Engineering Science, 3817–3828 (2003)
Zavala, V.M., Biegler, L.T.: The advanced step NMPC controller: Optimality, stability and robustness. Automatica 45, 86–93 (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this chapter
Cite this chapter
Grancharova, A., Johansen, T.A. (2012). Nonlinear Model Predictive Control. In: Explicit Nonlinear Model Predictive Control. Lecture Notes in Control and Information Sciences, vol 429. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28780-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-28780-0_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28779-4
Online ISBN: 978-3-642-28780-0
eBook Packages: EngineeringEngineering (R0)