On hybrid systems and closed-loop MPC systems

The following five classes of hybrid systems were recently proven to be equivalent: linear complementarity, extended linear complementarity, mixed logical dynamical systems, piecewise affine systems and max-min-plus-scaling systems. Some of the equivalences were obtained under additional assumptions, such as boundedness of certain system variables. In this paper, for linear or hybrid plants in closed-loop with a model predictive control (MPC) controller based on a linear model fulfilling linear constraints on input and state variables and utilizing a quadratic cost criterion, we provide a simple and direct proof that the closed-loop system is a subclass of any of the former five classes of hybrid systems. This result is of extreme importance, as it opens up the use of tools developed for the mentioned hybrid model classes, such as (robust) stability and safety analysis tools, to study closed-loop properties of MPC.

[1]  Bart De Schutter,et al.  Model predictive control for max-plus-linear discrete event systems , 2001, Autom..

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

[3]  Domine M. W. Leenaerts,et al.  Explicit formulas for the solutions of piecewise linear networks , 1999 .

[4]  Alberto Bemporad,et al.  Performance analysis of piecewise linear systems and model predictive control systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[5]  R. Fletcher.  Practical Methods of Optimization , 1988 .

[6]  M. Morari,et al.  Stability and stabilization of piecewise affine and hybrid systems: an LMI approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[7]  Alberto Bemporad,et al.  Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems , 2000, HSCC.

[8]  Alberto Bemporad,et al.  Robust model predictive control: A survey , 1998, Robustness in Identification and Control.

[9]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

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

[11]  Bart De Schutter,et al.  The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems , 1997, Hybrid Systems.

[12]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[13]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[14]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[15]  A. J. van der Schaft,et al.  Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..

[16]  Domine M. W. Leenaerts,et al.  Piecewise Linear Modeling and Analysis , 1998 .

[17]  Richard W. Cottle,et al.  Linear Complementarity Problem. , 1992 .

[18]  W. Heemels.  Linear complementarity systems : a study in hybrid dynamics , 1999 .

[19]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

[20]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[21]  B. Schutter,et al.  On hybrid systems and closed-loop MPC systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[22]  Arjan van der Schaft,et al.  Complementarity modelling of hybrid systems , 1997 .

[23]  B. C. Eaves,et al.  Equivalence of LCP and PLS , 1981, Math. Oper. Res..

[24]  P. Antsaklis.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

[25]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[26]  W. Heemels,et al.  Consistency of a time-stepping method for a class of piecewise-linear networks , 2002 .

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

[28]  Alberto Bemporad,et al.  Moving horizon estimation for hybrid systems and fault detection , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[29]  Bart De Schutter,et al.  Optimal Control of a Class of Linear Hybrid Systems with Saturation , 1999, SIAM J. Control. Optim..

[30]  B. Schutter,et al.  Model predictive control for max-min-plus-scaling systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).