Automatica, Vol.45, No.3, 675-683, 2009
Smooth patchy control Lyapunov functions
A smooth patchy control Lyapunov function for a nonlinear system consists of an ordered family of smooth local control Lyapunov functions, whose open domains form a locally finite cover of the state space of the system, and which satisfy certain further increase or decrease conditions. We prove that such a control Lyapunov function exists for any asymptotically controllable nonlinear system. We also show a construction, based on such a control Lyapunov function, of a stabilizing hybrid feedback that is robust to measurement noise. (C) 2008 Elsevier Ltd. All rights reserved.
Keywords:Hybrid feedback;Control Lyapunov function;Nonlinear system;Asymptotic controllability;Asymptotic stability