Control Lyapunov-Barrier function-based model predictive control of nonlinear systems

Abstract In this paper, we propose a Control Lyapunov-Barrier Function-based model predictive control (CLBF-MPC) method for solving the problem of stabilization of nonlinear systems with input constraint satisfaction and guaranteed safety for all times. Specifically, considering the input constraints, a constrained Control Lyapunov-Barrier Function is initially employed to design an explicit control law and characterize a set of initial conditions, starting from which the solution of the nonlinear system is guaranteed to converge to the steady-state without entering a specified unsafe region in the state space. Then, the CLBF-MPC is proposed and is shown to be recursively feasible, and stabilizing and to ensure the avoidance of a set of states in state–space associated with unsafe operating conditions under sample-and-hold control action implementation. Finally, we demonstrate the efficacy of the proposed CLBF-MPC method through application to a chemical process example.

[1]  M. Malisoff,et al.  Constructions of Strict Lyapunov Functions , 2009 .

[2]  Panagiotis D. Christofides,et al.  Lyapunov-Based Model Predictive Control of Nonlinear Systems Subject to Data Losses , 2007, IEEE Transactions on Automatic Control.

[3]  Mrdjan Jankovic,et al.  Combining Control Lyapunov and Barrier Functions for constrained stabilization of nonlinear systems , 2017, 2017 American Control Conference (ACC).

[4]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

[5]  Francis Eng Hock Tay,et al.  Barrier Lyapunov Functions for the control of output-constrained nonlinear systems , 2009, Autom..

[6]  Paulo Tabuada,et al.  Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[7]  Frank Allgöwer,et al.  CONSTRUCTIVE SAFETY USING CONTROL BARRIER FUNCTIONS , 2007 .

[8]  Panagiotis D. Christofides,et al.  Stabilization of nonlinear systems with state and control constraints using Lyapunov-based predictive control , 2005, Proceedings of the 2005, American Control Conference, 2005..

[9]  Roy E. Sanders Chemical Process Safety: Learning from Case Histories , 1999 .

[10]  Daniel A. Crowl,et al.  Chemical Process Safety: Fundamentals with Applications , 2001 .

[11]  Yuandan Lin,et al.  A universal formula for stabilization with bounded controls , 1991 .

[12]  Eduardo Sontag A universal construction of Artstein's theorem on nonlinear stabilization , 1989 .

[13]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[14]  Jun Zhao,et al.  Barrier Lyapunov functions for the output tracking control of constrained nonlinear switched systems , 2013, Syst. Control. Lett..

[15]  Bayu Jayawardhana,et al.  Stabilization with guaranteed safety using Control Lyapunov-Barrier Function , 2016, Autom..

[16]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..