Ellipsoidal Lyapunov-based hybrid model predictive control for mixed logical dynamical systems with a recursive feasibility guarantee

This paper proposes an ellipsoidal hybrid model predictive control approach to solve the robust stability problem of uncertain hybrid dynamical systems modelled by the mixed logical dynamical framework. In this approach, the traditional terminal equality constraint is replaced by an ellipsoid that results in a maximal positive invariant set for the closed-loop system. Then, a Lyapunov decreasing condition along with the robustness criterion is introduced to the optimization problem to achieve the robust stability of the closed-loop system. As the main advantages, the ellipsoidal terminal set proposed in this paper attains a larger domain of attraction along with the recursive feasibility guarantee. Moreover, the stability and robustness constraints are achieved by a lower prediction horizon, which leads to a smaller dimension optimization problem. In addition, to reduce the computational complexity of the corresponding optimization problem, a suboptimal version of the proposed algorithm is introduced. Finally, numerical and car suspension system examples show the capabilities of the proposed method.

[1]  Alberto Bemporad,et al.  A Predictive Controller with Artificial Lyapunov Function for Linear Systems with Input/State Constraints , 1998, Autom..

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

[3]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[4]  Manfred Morari,et al.  Contractive model predictive control for constrained nonlinear systems , 2000, IEEE Trans. Autom. Control..

[5]  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).

[6]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[7]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

[8]  Mikael Johansson,et al.  Piecewise linear control systems - a computational approach , 2002, Lecture notes in control and information sciences.

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

[10]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[11]  Alberto Bemporad,et al.  Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems , 2005, HSCC.

[12]  W. Heemels,et al.  Non-smooth Model Predictive control: Stability and applications to Hybrid Systems , 2005 .

[13]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[14]  Mato Baotic,et al.  Constrained Optimal Control of Hybrid Systems With a Linear Performance Index , 2006, IEEE Transactions on Automatic Control.

[15]  H. E. Tseng,et al.  Hybrid model predictive control application towards optimal semi-active suspension , 2006 .

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

[17]  Gautam Biswas,et al.  An event-based approach to integrated parametric and discrete fault diagnosis in hybrid systems , 2010 .

[18]  Mircea Lazar,et al.  On infinity norms as Lyapunov functions: Alternative necessary and sufficient conditions , 2010, 49th IEEE Conference on Decision and Control (CDC).

[19]  David Q. Mayne,et al.  Model predictive control: Recent developments and future promise , 2014, Autom..

[20]  Alberto Bemporad,et al.  Stabilizing Dynamic Controllers for Hybrid Systems: A Hybrid Control Lyapunov Function Approach , 2014, IEEE Transactions on Automatic Control.

[21]  Guangdeng Zong,et al.  Input-to-state stability of impulsive switched hybrid time-delay systems with delayed impulse effects , 2015 .

[22]  Manfred Morari,et al.  Low-complexity control of hybrid systems using approximate multi-parametric MILP , 2016, Autom..

[23]  Alberto Bemporad,et al.  Predictive Control for Linear and Hybrid Systems , 2017 .

[24]  Julio E. Normey-Rico,et al.  A practical approach for hybrid distributed MPC , 2017 .

[25]  John Lygeros,et al.  Strong Stationarity Conditions for Optimal Control of Hybrid Systems , 2015, IEEE Transactions on Automatic Control.

[26]  Francesco Vasca,et al.  Lyapunov stability for piecewise affine systems via cone-copositivity , 2017, Autom..

[27]  Rudy R. Negenborn,et al.  A Hybrid Dynamical Approach for Allocating Materials in a Dry Bulk Terminal , 2018, IEEE Transactions on Automation Science and Engineering.

[28]  Peyman Sindareh Esfahani,et al.  H∞ model predictive control for constrained discrete‐time piecewise affine systems , 2018 .