Flexible control Lyapunov functions

A central tool in systems theory for synthesizing control laws that achieve stability are control Lyapunov functions (CLFs). Classically, a CLF enforces that the resulting closed-loop state trajectory is contained within a cone with a fixed, predefined shape, and which is centered at and converges to a desired converging point. However, such a requirement often proves to be overconservative. In this paper we propose a novel idea that improves the design of CLFs in terms of flexibility, i.e. the CLF is permitted to be locally non-monotone along the closed-loop trajectory. The focus is on the design of optimization problems that allow certain parameters that define a cone associated with a standard CLF to be decision variables. In this way non-monotonicity of the CLF is explicitly linked with a decision variable that can be optimized on-line. Conservativeness is significantly reduced compared to classical CLFs, which makes flexible CLFs more suitable for stabilization of constrained discrete-time nonlinear systems and real-time control.

[1]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[2]  Hiroshi Ito,et al.  A degree of flexibility in Lyapunov inequalities for establishing input-to-state stability of interconnected systems , 2008, Autom..

[3]  Frédéric Mazenc,et al.  Stabilization of feedforward systems approximated by a non-linear chain of integrators , 1997 .

[4]  Michael Malisoff,et al.  Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems , 2006, math/0610210.

[5]  Z. Artstein Stabilization with relaxed controls , 1983 .

[6]  Jamal Daafouz,et al.  Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach , 2002, IEEE Trans. Autom. Control..

[7]  Mircea Lazar,et al.  Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program , 2009, HSCC.

[8]  Eduardo Sontag,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999, at - Automatisierungstechnik.

[9]  Amir Ali Ahmadi,et al.  Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[10]  Eduardo Sontag A Lyapunov-Like Characterization of Asymptotic Controllability , 1983, SIAM Journal on Control and Optimization.

[11]  David Q. Mayne,et al.  Design of nonlinear feedback controllers , 1980 .

[12]  Eduardo Sontag Stability and stabilization: discontinuities and the effect of disturbances , 1999, math/9902026.

[13]  Panagiotis D. Christofides,et al.  Stabilization of nonlinear systems with state and control constraints using Lyapunov-based predictive control , 2005, ACC.

[14]  Dragan Nesic,et al.  Optimization-Based Stabilization of Sampled-Data Nonlinear Systems via Their Approximate Discrete-Time Models , 2003, SIAM J. Control. Optim..

[15]  Andrew R. Teel,et al.  Discrete-time asymptotic controllability implies smooth control-Lyapunov function , 2004, Syst. Control. Lett..

[16]  Mircea Lazar,et al.  Model predictive control of hybrid systems : stability and robustness , 2006 .

[17]  F. Clarke,et al.  Nonlinear Analysis, Differential Equations and Control , 1999 .

[18]  V. I. Vorotnikov Partial stability and control , 1998 .

[19]  Stefano Di Cairano,et al.  Low-complexity model predictive control of electromagnetic actuators with a stability guarantee , 2009, 2009 American Control Conference.

[20]  Murat Arcak,et al.  Constructive nonlinear control: a historical perspective , 2001, Autom..

[21]  John Doyle,et al.  A receding horizon generalization of pointwise min-norm controllers , 2000, IEEE Trans. Autom. Control..