Approximation of explicit model predictive control using regular piecewise affine functions: An input-to-state stability approach

IET Control Theory and Applications

Volumn 6, Issue 8, 2012, Pages 1015-1028

  Genuit, B A G ^a   Lu, L ^a,b   Heemels, W P M H ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b KEY LABORATORY OF INTEGRATED AUTOMATION OF PROCESS INDUSTRY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION METHODS; CONSTRAINT SATISFACTION; CONTROL LAWS; EXPLICIT MODEL PREDICTIVE CONTROL; FAST SYSTEMS; FEEDBACK CONTROL LAW; INPUT-TO-STATE STABILITY; ISS-LYAPUNOV FUNCTIONS; LINEAR PROGRAMS; LOW-COMPLEXITY; NUMERICAL EXAMPLE; ON-LINE EVALUATION; PIECEWISE AFFINE FUNCTIONS; PIECEWISE AFFINES; REGULAR PARTITIONS; SEMIDEFINITE PROGRAMS;

APPROXIMATION THEORY; ASYMPTOTIC STABILITY; CONTROL THEORY; FEEDBACK CONTROL; LYAPUNOV FUNCTIONS; MODEL PREDICTIVE CONTROL;

PREDICTIVE CONTROL SYSTEMS;

EID: 84867061878     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta.2010.0709     Document Type: Article

References (51)

1. Hassibi, A., and Boyd, S.: ' Quadratic stabilization and control of piecewise-linear systems ', Proc. 1998 American Control Conf., 1998, 6, p. 3659-3664
2. Rantzer, A., and Johansson, M.: ' Piecewise linear quadratic optimal control ', IEEE Trans. Autom. Control, 2000, 45, (4), p. 629-637 10.1109/9.847100 0018-9286
3. Bemporad, A., and Morari, M.: ' Control of systems integrating logic, dynamics, and constraints ', Automatica, 1999, 35, (3), p. 407-427 10.1016/S0005-1098(98)00178-2 0005-1098
4. Baotić, M., Christophersen, F.J., and Morari, M.: ' Constrained optimal control of hybrid systems with a linear performance index ', IEEE Trans. Autom. Control, 2006, 51, (12), p. 1903-1919 10.1109/TAC.2006.886486 0018-9286 (Pubitemid 46002284)
5. Lazar, M., Heemels, W.P.M.H., Weiland, S., and Bemporad, A.: ' Stabilizing model predictive control of hybrid systems ', IEEE Trans. Autom. Control, 2006, 51, (11), p. 1813-1818 10.1109/TAC.2006.883059 0018-9286 (Pubitemid 44824367)
6. Camacho, E.F., and Bordons, C.: ' Model predictive control ', 'Series Advanced Textbooks in Control and Signal Processing', (Springer-Verlag, London, 2004), 2nd
7. Maciejowski, J.: ' Predictive control with constraints ', (Prentice-Hall, Harlow, UK, 2002)
8. Rawlings, J.B., and Mayne, D.Q.: ' Model predictive control: theory and design ', (Nob Hill Publishing, Madison, Wisconsin, USA, 2009), 1st
9. Bemporad, A., Borrelli, F., and Morari, M.: ' Model predictive control based on linear programming - the explicit solution ', IEEE Trans. Autom. Control, 2002, 47, (12), p. 1974-1985 10.1109/TAC.2002.805688 0018-9286
10. Bemporad, A., Morari, M., Dua, V., and Pistikopoulos, E.N.: ' The explicit linear quadratic regulator for constrained systems ', Automatica, 2002, 38, (1), p. 3-20 10.1016/S0005-1098(01)00174-1 0005-1098 (Pubitemid 33034535)
11. de Berg, M., van Kreveld, M., Overmars, M., and Cheong, O.: ' Computational geometry ', (Springer-Verlag, Berlin, 2008), 3rd
12. Tondel, P., Johansen, T.A., and Bemporad, A.: ' Evaluation of piecewise affine control via binary search tree ', Automatica, 2003, 39, (5), p. 945-950 10.1016/S0005-1098(02)00308-4 0005-1098
13. Oliveri, A., Oliveri, A., Poggi, T., and Storace, M.: ' Circuit implementation of piecewise-affine functions based on a binary search tree ', 2009 ECCTD, 2009, p. 145-148
14. Bayat, F., Johansen, T.A., and Jalali, A.A.: ' Using hash tables to manage the time-storage complexity in a point location problem: application to explicit model predictive control ', Automatica, 2011, 47, (3), p. 571-577 10.1016/j.automatica.2011.01.009 0005-1098
15. Bemporad, A., and Filippi, C.: ' Suboptimal explicit receding horizon control via approximate multiparametric quadratic programming ', J. Optim. Theory Appl., 2003, 117, (1), p. 9-38 10.1023/A:1023696221899 0022-3239
16. Johansen, T.A., and Grancharova, A.: ' Approximate explicit constrained linear model predictive control via orthogonal search tree ', IEEE Trans. Autom. Control, 2003, 48, (5), p. 810-815 10.1109/TAC.2003.811259 0018-9286
17. Muñoz de la Peña, D., Bemporad, A., and Filippi, C.: ' Robust explicit MPC based on approximate multiparametric convex programming ', IEEE Trans. Autom. Control, 2006, 51, (8), p. 1399-1403 10.1109/TAC.2006.878755 0018-9286 (Pubitemid 44283248)
18. Christophersen, F.J., Zeilinger, M.N., Jones, C.N., and Morari, M.: ' Controller complexity reduction for piecewise affine systems through safe region elimination ', 2007 46th IEEE CDC, 2007, p. 4773-4778 (Pubitemid 351277897)
19. Kvasnica, M., Christophersen, F.J., Herceg, M., and Fikar, M.: ' Polynomial approximation of closed-form MPC for piecewise affine systems ', Proc. 17th IFAC World Congress, Seoul, Korea, 2008, p. 3877-3882
20. Summers, S., Jones, C.N., Lygeros, J., and Morari, M.: ' A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees ', Proc. 48th IEEE CDC, December, 2009, p. 6327-6332
21. Jones, C.N., and Morari, M.: ' Polytopic approximation of explicit model predictive controllers ', IEEE Trans. Autom. Control, 2010, 55, (11), p. 2542-2553 10.1109/TAC.2010.2047437 0018-9286
22. Bemporad, A., Oliveri, A., Poggi, T., and Storace, M.: ' Ultra-fast stabilizing model predictive control via canonical piecewise affine approximations ', IEEE Trans. Autom. Control, 2011, 56, in press 10.1109/TAC.2011.2141410 0018-9286
23. Jones, C.N., and Morari, M.: ' Approximate explicit MPC using bilevel optimization ', European Control Conf., Budapest, Hungary, August, 2009
24. Julián, P., Desages, A., and Agamennoni, O.: ' High-level canonical piecewise linear representation using a simplicial partition ', IEEE Trans. Circuits Syst. I: Fundam. Theory Appl., 1999, 46, (4), p. 463-480 10.1109/81.754847 1057-7122 (Pubitemid 32262741)
25. Storace, M., Repetto, L., and Parodi, M.: ' A method for the approximate synthesis of cellular non-linear networks - part 1: circuit definition ', Int. J. Circuit Theory Appl., 2003, 31, (3), p. 277-297 10.1002/cta.232 0098-9886
26. Storace, M., and Poggi, T.: ' Digital architectures realizing piecewise-linear multivariate functions: two FPGA implementations ', Int. J. Circuit Theory Appl., 2009, 39, (1), p. 1-15 10.1002/cta.610 0098-9886
27. di Federico, M., Poggi, T., Julián, P., and Storace, M.: ' Integrated circuit implementation of multi-dimensional piecewise-linear functions ', Digital Signal Process., 2010, 20, (6), p. 1723-1732 10.1016/j.dsp.2010.02.007
28. Sontag, E.D.: ' Smooth stabilization implies coprime factorization ', IEEE Trans. Autom. Control, 1989, 34, (4), p. 435-443 10.1109/9.28018 0018-9286
29. di Federico, M., Poggi, T., Julián, P., and Storace, M.: ' Further facts about ISS ', IEEE Trans. Autom. Control, 1990, 35, (4), p. 473-476 10.1109/9.52307 0018-9286 (Pubitemid 20701334)
30. Jiang, Z.P., and Wang, Y.: ' Input-to-state stability for discrete-time nonlinear systems ', Automatica, 2001, 37, (6), p. 857-869 10.1016/S0005- 1098(01)00028-0 0005-1098 (Pubitemid 32426067)
31. Lazar, M., Muñoz de la Peña, D., Heemels, W., and Alamo, T.: ' On input-to-state stability of min-max nonlinear model predictive control ', Syst. Control Lett., 2008, 57, (1), p. 39-48 10.1016/j.sysconle.2007.06.013 0167-6911 (Pubitemid 350087248)
32. Roset, B.J.P., Heemels, W.P.M.H., Lazar, M., and Nijmeijer, H.: ' On robustness of constrained discrete-time systems to state measurement errors ', Automatica, 2007, 44, (4), p. 1161-1165 10.1016/j.automatica.2007.08.002 0005-1098
33. Messina, M.J., Tuna, S.E., and Teel, A.R.: ' Discrete-time certainty equivalence output feedback: allowing discontinuous control laws including those from model predictive control ', Automatica, 2005, 41, (4), p. 617-628 10.1016/j.automatica.2004.11.015 0005-1098 (Pubitemid 40266208)
34. Marruedo, D.L., Alamo, T., and Camacho, E.F.: ' Input-to-state stable MPC for constrained discrete-time nonlinear systems with bounded additive uncertainties ', Proc. 41st IEEE Conf. on Decision and Control, 2002, 2002, 4, p. 4619-4624
35. Grimm, G., Messina, M.J., Tuna, S.E., and Teel, A.R.: ' Nominally robust model predictive control with state constraints ', IEEE Trans. Autom. Control, 2007, 52, (10), p. 1856-1870 10.1109/TAC.2007.906187 0018-9286 (Pubitemid 350130526)
36. Lazar, M., and Heemels, W.P.M.H.: ' Predictive control of hybrid systems: Input-to-state stability results for sub-optimal solutions ', Automatica, 2009, 45, (1), p. 180-185 10.1016/j.automatica.2008.06.007 0005-1098
37. Boyd, S., Ghaoui, L.E., Feron, E., and Balakrishnan, V.: ' Linear matrix inequalities in system and control theory ', 'Series Studies in Applied Mathematics', (Society for Industrial and Applied Mathematics, Philadelphia, 1994), 15, 1st
38. Johansson, M., and Rantzer, A.: ' Computation of piecewise quadratic Lyapunov functions for hybrid systems ', IEEE Trans. Autom. Control, 1998, 43, (4), p. 555-559 10.1109/9.664157 0018-9286 (Pubitemid 128737378)
39. Ferrari-Trecate, G., Cuzzola, F.A., Mignone, D., and Morari, M.: ' Analysis of discrete-time piecewise affine and hybrid systems ', Automatica, 2002, 38, (12), p. 2139-2146 10.1016/S0005-1098(02)00142-5 0005-1098 (Pubitemid 35276215)
40. Hovd, M., and Olaru, S.: ' Piecewise quadratic Lyapunov functions for stability verification of approximate explicit MPC ', Modeling, Identification Control: A Norwegian Res. Bull., 2010, 31, (2), p. 45-53 10.4173/mic.2010.2.1
41. Boyd, S., and Vandenberghe, L.: ' Convex optimization ', (Cambridge University Press, 2009), 7th
42. Sturm, J.F.: ' Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones ', Optim. Methods Softw., 1999, 11-12, p. 625-653 10.1080/10556789908805766
43. Corp, I.: ' ILOG CPLEX V12.1 user's manual ', Available: www.ibm.com/cplex
44. Makhorin, A.: ' GLPK (GNU Linear Programming Kit) user's guide ', Available: http://www.gnu.org/software/glpk/
45. Ohta, Y., and Yokoyama, H.: ' Stability analysis of uncertain piecewise linear systems using piecewise quadratic Lyapunov functions ', 2010 IEEE ISIC, 2010, p. 2112-2117
46. Mayne, D.Q., Rawlings, J.B., Rao, C.V., and Scokaert, P.O.M.: ' Constrained model predictive control: Stability and optimality ', Automatica, 2000, 36, (6), p. 789-814 10.1016/S0005-1098(99)00214-9 0005-1098 (Pubitemid 30587683)
47. Lazar, M., Heemels, W.P.M.H., and Teel, A.R.: ' Lyapunov functions, stability and input-to-state stability subtleties for discrete-time discontinuous systems ', IEEE Trans. Autom. Control, 2009, 54, (10), p. 2421-2425 10.1109/TAC.2009.2029297 0018-9286
48. Borrelli, F., Baotíc, M., Bemporad, A., and Morari, M.: ' Dynamic programming for constrained optimal control of discrete-time linear hybrid systems ', Automatica, 2005, 41, (10), p. 1709-1721 10.1016/j.automatica.2005. 04.017 0005-1098 (Pubitemid 41119029)
49. Kvasnica, M., Grieder, P., and Baotíc, M.: ' Multi-parametric toolbox (MPT) ', March 2006. Available: http://control.ee.ethz.ch/ mpt/
50. Löfberg, J.: ' YALMIP: a toolbox for modeling and optimization in MATLAB ', Proc. CACSD Conf., Taipei, Taiwan, 2004
51. Giorgetti, N., and Klitgord, N.: ' GLPKMEX, a Matlab MEX interface for the GLPK library ', Available: http://glpkmex.sourceforge.net