An Efficient and Stabilizing Model Predictive Control of Switched Systems

Model Predictive Control (MPC) of switched systems typically requires an on-line solution of a Mixed Integer Program (MIP). Since the worst case complexity of the optimization problem increases exponentially with respect to the number of integer variables, an on-line implementation of the MPC for problems with large number of sub-systems and/or large horizons is usually expensive. In this technical note, we propose a stabilizing MPC formulation for state-dependent switched systems, that enables a tradeoff between the computational complexity of the MPC controller and the optimal performance of the closed-loop system. The proposed approach uses a pre-terminal set, in addition to the positively invariant terminal set, which aids in reducing the on-line complexity although at the expense of optimality. Examples are presented to illustrate the computational benefits of the proposed MPC strategy over existing MPC for switched systems.

[1]  David Q. Mayne,et al.  Correction to "Constrained model predictive control: stability and optimality" , 2001, Autom..

[2]  Eduardo F. Camacho,et al.  On the computation of invariant sets for constrained nonlinear systems: An interval arithmetic approach , 2003, ECC.

[3]  J. Maciejowski,et al.  Invariant sets for constrained nonlinear discrete-time systems with application to feasibility in model predictive control , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[4]  Alberto Bemporad,et al.  Stabilizing Model Predictive Control of Hybrid Systems , 2006, IEEE Transactions on Automatic Control.

[5]  D. Limon,et al.  Enlarging the domain of attraction of MPC controllers , 2005, Autom..

[6]  Olaf Stursberg,et al.  Applied Hybrid System Optimization: An Empirical Investigation of Complexity ? , 2004 .

[7]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[8]  Naresh N. Nandola,et al.  Hybrid system identification using a structural approach and its model based control : An experimental validation , 2009 .

[9]  Basil Kouvaritakis,et al.  Enlargement of polytopic terminal region in NMPC by interpolation and partial invariance , 2003, Proceedings of the 2003 American Control Conference, 2003..

[10]  M. Morari,et al.  Move blocking strategies in receding horizon control , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[11]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988, Wiley interscience series in discrete mathematics and optimization.

[12]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[13]  Zongli Lin,et al.  On the horizons in constrained linear quadratic regulation , 2007, 2007 46th IEEE Conference on Decision and Control.

[14]  D. Mayne,et al.  Model predictive control of constrained piecewise affine discrete‐time systems , 2003 .

[15]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[16]  Michael S. Branicky,et al.  General Hybrid Dynamical Systems: Modeling, Analysis, and Control , 1996, Hybrid Systems.

[17]  Frank Allgöwer,et al.  Stabilizing linear model predictive control: On the enlargement of the terminal set , 2013, 2013 European Control Conference (ECC).

[18]  K. T. Tan,et al.  Linear systems with state and control constraints: the theory and application of maximal output admissible sets , 1991 .

[19]  Alberto Bemporad,et al.  Dynamic programming for constrained optimal control of discrete-time linear hybrid systems , 2005, Autom..

[20]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[21]  M. Morari,et al.  Optimal controllers for hybrid systems: stability and piecewise linear explicit form , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[22]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[23]  D. Chmielewski,et al.  On constrained infinite-time linear quadratic optimal control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[24]  E. Kerrigan.  Robust Constraint Satisfaction: Invariant Sets and Predictive Control , 2000 .

[25]  E. F. Camacho,et al.  On the computation of convex robust control invariant sets for nonlinear systems , 2010, Autom..

[26]  Sergio Grammatico,et al.  Achieving a large domain of attraction with short-horizon linear MPC via polyhedral Lyapunov functions , 2013, 2013 European Control Conference (ECC).

[27]  M. Cwikel,et al.  Convergence of an algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states , 1985, 1985 24th IEEE Conference on Decision and Control.

[28]  Riccardo Scattolini,et al.  A stabilizing model-based predictive control algorithm for nonlinear systems , 2001, Autom..

[29]  James B. Rawlings,et al.  Constrained linear quadratic regulation , 1998, IEEE Trans. Autom. Control..

[30]  Mato Baotic,et al.  Stabilizing low complexity feedback control of constrained piecewise affine systems , 2005, Autom..

[31]  Sirish L. Shah,et al.  State estimation and nonlinear predictive control of autonomous hybrid system using derivative free state estimators , 2010 .

[32]  Alberto Bemporad,et al.  HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems , 2004, IEEE Transactions on Control Systems Technology.

[33]  Jun-ichi Imura,et al.  Controlled invariant feasibility - A general approach to enforcing strong feasibility in MPC applied to move-blocking , 2009, Autom..

[34]  Eduardo F. Camacho,et al.  Input to state stability of min-max MPC controllers for nonlinear systems with bounded uncertainties , 2006, Autom..

[35]  Ionela Prodan,et al.  Mixed-Integer Representations in Control Design: Mathematical Foundations and Applications , 2015 .