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.