Ultra-fast stabilizing model predictive control via canonical piecewise affine approximations

IEEE Transactions on Automatic Control

Volumn 56, Issue 12, 2011, Pages 2883-2897

  Bemporad, Alberto ^a   Oliveri, Alberto ^b   Poggi, Tomaso ^b   Storace, Marco ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

Hardware synthesis; Model predictive control (MPC); Piecewise affine (PWA) approximations

Indexed keywords

CONTROL LAWS; FAST IMPLEMENTATION; HARDWARE SYNTHESIS; MODEL PREDICTIVE CONTROL (MPC); ON CHIPS; PIECEWISE AFFINE (PWA) APPROXIMATIONS; PIECEWISE AFFINE APPROXIMATION; PIECEWISE AFFINE FUNCTIONS; STABILITY PROPERTIES; ULTRA-FAST;

CONTROLLERS; LYAPUNOV FUNCTIONS; PREDICTIVE CONTROL SYSTEMS;

MODEL PREDICTIVE CONTROL;

EID: 83255166721     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2011.2141410     Document Type: Article

References (53)

1. E. Camacho and C. Bordons, Model Predictive Control, ser. Advanced Textbooks in Control and Signal Processing, 2nd ed. London, U.K.: Springer-Verlag, 2004.
2. A. Alessio and A. Bemporad, "A survey on explicit model predictive control," in Nonlinear Model Predictive Control: Towards New Challenging Applications, ser. Lecture Notes in Control and Information Sciences, D. R. L. Magni and F. Allgower, Eds. Berlin, Heidelberg, DEU: Springer-Verlag, 2009, vol. 384, pp. 345-369.
3. S. Di Cairano, D. Yanakiev, A. Bemporad, I. Kolmanovsky, and D. Hrovat, "An MPC design flow for automotive control and applications to idle speed regulation," in Proc. 47th IEEE Conf. Decision Control, Cancun, Mexico, 2008, pp. 5686-5691.
4. A. Beccuti, G. Papafotiou, R. Frasca, and M. Morari, "Explicit hybrid model predictive control of the DC-DC boost converter," in Proc. IEEE PESC, Orlando, FL Jun. 2007, pp. 2503-2509.
5. A. Bemporad and C. Filippi, "Suboptimal explicit receding horizon control via approximate multiparametric quadratic programming," J. Optim. Theory Applicat., vol. 117, no. 1, pp. 9-38, Apr. 2003.
6. C. Jones, M. Baric, and M. Morari, "Multiparametric linear programming with applications to control," Eur. J. Control, vol. 13, pp. 152-170, 2007.
7. T. A. Johansen and A. Grancharova, "Approximate explicit constrained linear model predictive control via orthogonal search tree," IEEE Trans. Autom. Control, vol. 58, no. 5, pp. 810-815, May 2003.
8. T.A. Johansen, "Approximate explicit receding horizon control of constrained nonlinear systems," Automatica, vol. 40, pp. 293-300, 2004.
9. D. Muñoz de la Peña, A. Bemporad, and C. Filippi, "Robust explicit MPC based on approximate multi-parametric convex programming," IEEE Trans. Autom. Control, vol. 51, no. 8, pp. 1399-1403, Aug. 2006. (Pubitemid 44283248)
10. P. Grieder and M. Morari, "Complexity reduction of receding horizon control," in Proc. 42th IEEE Conf. Decision Control, Maui, HI, 2003, pp. 3179-3184.
11. F. Christophersen, M. Zeilinger, C. Jones, and M. Morari, "Controller complexity reduction for piecewise affine systems through safe region elimination," in Proc. IEEE Conf. Decision Control, New Orleans, LA, 2007, pp. 4773-4778. (Pubitemid 351277897)
12. T. A. Johansen, W. Jackson, R. Schrieber, and P. Toøndel, "Hardware synthesis of explicit model predictive controllers," IEEE Trans. Control Syst. Technol., vol. 15, no. 1, pp. 191-197, Jan. 2007. (Pubitemid 46056111)
13. S. Mariéthoz, U. Mäder, and M. Morari, "High-speed FPGA implementation of observers and explicit model predictive controllers," in Proc. IEEE IECON, Ind. Electron. Conf., Porto, Portugal, Nov. 2009.
14. T. Parisini and R. Zoppoli, "A receding-horizon regulator for nonlinear systems and a neural approximation," Automatica, vol. 31, no. 10, pp. 1443-1451, 1995.
15. M. Canale, L. Fagiano, and M. Milanese, "Set membership approximation theory for fast implementation of model predictive control," Automatica, vol. 45, no. 1, pp. 45-54, 2009.
16. P. Julián, A. Desages, and O. Agamennoni, "High-level canonical piecewise linear representation using a simplicial partition," IEEE Trans. Circuits Syst. I, vol. 46, no. 4, pp. 463-480, Apr. 1999. (Pubitemid 32262741)
17. P. Julián, A. Desages, and B. D'Amico, "Orthonormal high level canonical PWL functions with applications to model reduction," IEEE Trans. Circuits Syst. I, vol. 47, no. 5, pp. 702-712, May 2000.
18. M. Storace, L. Repetto, and M. Parodi, "A method for the approximate synthesis of cellular non-linear networks-Part 1: Circuit definition," Int. J. Circuit Theory Applicat., vol. 31, no. 3, pp. 277-297, May-Jun. 2003.
19. M. Storace and T. Poggi, "Digital architectures realizing piecewiselinear multi-variate functions: Two FPGA implementations," Int. J. Circuit Theory Applicat., vol. 39, pp. 1-15, 2011.
20. M. Di Federico, T. Poggi, P. Julian, and M. Storace, "Integrated circuit implementation of multi-dimensional piecewise-linear functions," Digital Signal Process., vol. 20, pp. 1723-1732, 2010, 10.1016/j.dsp. 2010.02.007.
21. A. Bemporad, M. Morari, V. Dua, and E. Pistikopoulos, "The explicit linear quadratic regulator for constrained systems," Automatica, vol. 38, no. 1, pp. 3-20, 2002. (Pubitemid 33034535)
22. A. Bemporad, M. Morari, and N. Ricker, "Model Predictive Control Toolbox for Matlab-User's Guide," The Mathworks, Inc., 2004 [Online]. Available: http://www.mathworks.com/access/helpdesk/help/toolbox/mpc/
23. A. Bemporad, "Hybrid Toolbox-User's Guide," Jan. 2004 [Online]. Available: http://www.dii.unisi.it/hybrid/toolbox
24. A. Bemporad, "Model-based predictive control design: New trends and tools," in Proc. 45th IEEE Conf. Decision Control, San Diego, CA, 2006, pp. 6678-6683. (Pubitemid 351284374)
25. A. Oliveri, A. Oliveri, T. Poggi, and M. Storace, "Circuit implementation of piecewise-affine functions based on a binary search tree," in Proc. ECCTD'09, Antalya, Turkey, Aug. 2009, pp. 145-148.
26. P. Toøndel, T. A. Johansen, and A. Bemporad, "Evaluation of piecewise affine control via binary search tree," Automatica, vol. 39, no. 5, pp. 945-950, May 2003.
27. C. Filippi, "An algorithm for approximate multiparametric linear programming," J. Optim. Theory Applicat., vol. 120, no. 1, pp. 73-95, 2004.
28. L. Repetto, M. Storace, andM. Parodi, "A method for the approximate synthesis of cellular non-linear networks-Part 2: Circuit reduction," Int. J. Circuit Theory Applicat., vol. 31, no. 3, pp. 299-313, May-Jun. 2003.
29. H. Kuhn, "Some combinatorial lemmas in topology," IBM J. Res. Develop., vol. 4, pp. 518-524, 1960.
30. H. Kuhn, "Simplicial approximation of fixed points," Proc. Nat. Acad. Sci. U.S.A., vol. 61, pp. 1238-1242, 1968.
31. M. Chien and E. Kuh, "Solving nonlinear resistive networks using piecewise-linear analysis and simplicial subdivision," IEEE Trans. Circuits Syst., vol. CAS-24, no. 6, pp. 305-317 Jun. 1977. (Pubitemid 8557350)
32. R. Rovatti, M. Borgatti, and R. Guerrieri, "A geometric approach to maximum-speed n-dimensional continuous linear interpolation in rectangular grids," IEEE Trans. Comput., vol. 47, no. 8, pp. 894-899, Aug. 1998.
33. R. Rovatti, C. Fantuzzi, and S. Simani, "High-speed DSP-based implementation of piecewise-affine and piecewise-quadratic fuzzy systems," Signal Process., vol. 80, pp. 951-963, 2000.
34. A. Boggiano, S. Delfitto, T. Poggi, and M. Storace, "FPGA implementation of a new scheme for the circuit realization of PWL functions," in Proc. Eur. Conf. Circuit Theory Design (ECCTD'07), Aug. 2007, pp. 874-877.
35. P. Echevarria, M. Martínez, J. Echanobe, I. del Campo, and J. Tarela, "Digital hardware implementation of high dimensional fuzzy systems," in Applications of Fuzzy Sets Theory, ser. Lecture Notes in Computer Science. Berlin, DEU: Springer, 2007, pp. 245-252. (Pubitemid 350270285)
36. S. Di Cairano and A. Bemporad, "Model predictive control tuning by controller matching," IEEE Trans. Autom. Control, vol. 55, no. 1, pp. 185-190, Jan. 2010.
37. T. Poggi, F. Comaschi, and M. Storace, "Digital circuit realization of piecewise affine functions with non-uniform resolution: Theory and FPGA implementation," IEEE Trans. Circuits Syst. II, vol. 52, no. 2, pp. 131-135 Feb. 2010.
38. A. Bemporad, W. Heemels, and B. D. Schutter, "On hybrid systems and closed-loop MPC systems," IEEE Trans. Autom. Control, vol. 47, no. 5, pp. 863-869, May 2002. (Pubitemid 34692275)
39. M. Johannson and A. Rantzer, "Computation of piece-wise quadratic Lyapunov functions for hybrid systems," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 555-559, Apr. 1998.
40. G. Ferrari-Trecate, F. Cuzzola, D. Mignone, and M. Morari, "Analysis of discrete-time piecewise affine and hybrid systems," Automatica, vol. 38, pp. 2139-2146, 2002. (Pubitemid 35276215)
41. P. Grieder, M. Kvasnica, M. Baotić, and M. Morari, "Stabilizing low complexity feedback control of constrained piecewise affine systems," Automatica, vol. 41, no. 10, pp. 1683-1694, 2005. (Pubitemid 41119027)
42. M. Lazar and A. Jokić, "On infinity norms as Lyapunov functions for piecewise affine systems," in Proc. Hybrid Syst.: Comput. Control, Stockholm, Sweden, 2010, pp. 131-139.
43. F. Blanchini, "Ultimate boundedness control for uncertain discrete- time systems via set-induced Lyapunov functions," IEEE Trans. Autom. Control, vol. 39, no. 2, pp. 428-433 Feb. 1994.
44. H. Lin and P. Antsaklis, "Synthesis of uniformly ultimate boundedness switching laws for discrete-time uncertain switched linear systems," in Proc. 42th IEEE Conf. Decision Control, Maui, HI, 2003, pp. 4806-4811.
45. A. Alessio, M. Lazar, A. Bemporad, and W. Heemels, "Squaring the circle: An algorithm for generating polyhedral invariant sets from ellipsoidal ones," Automatica, vol. 43, pp. 2096-2103, Dec. 2007. (Pubitemid 350137275)
46. E. Gilbert and K. T. Tan, "Linear systems with state and control constraints: The theory and applications of maximal output admissible sets," IEEE Trans. Autom. Control, vol. 36, no. 9, pp. 1008-1020, Sep. 1991. (Pubitemid 21689717)
47. F. Blanchini, "Set invariance in control," Automatica, vol. 35, no. 11, pp. 1747-1767, 1999. (Pubitemid 32078089)
48. M. Kothare, V. Balakrishnan, and M. Morari, "Robust constrained model predictive control using linear matrix inequalities," Automatica, vol. 32, no. 10, pp. 1361-1379, 1996. (Pubitemid 126365465)
49. S. Boyd and L. Vandenberghe, Convex Optimization. New York: Cambridge Univ. Press, 2004 [Online]. Available: http://www.stanford. edu/boyd/cvxbook. html
50. L. Yepremyan and J. Falk, "Delaunay partitions in applied to nonconvex programs and vertex/facet enumeration problems," Comput. Oper. Res., vol. 32, no. 4, pp. 793-812, 2005.
51. J. Löfberg, "YALMIP: A toolbox for modeling and optimization in MATLAB," in Proc. CACSD Conf., Taipei, Taiwan, 2004 [Online]. Available: http://users.isy.liu.se/johanl/yalmip
52. M. Grant and S. Boyd, "CVX: Matlab software for disciplined convex programming," Stanford Univ. Jun. 2009 [Online]. Available: http://stanford.edu/boyd/cvx, Tech. Rep.
53. A. Makhorin, "GLPK (GNU Linear Programming Kit) User's Guide," 2004 [Online]. Available: http://www.gnu.org/software/glpk/glpk.html