A universal feedback controller for discontinuous dynamical systems using nonsmooth control Lyapunov functions

The consideration of nonsmooth Lyapunov functions for proving stability of feedback discontinuous systems is an important extension to classical stability theory since there exist nonsmooth dynamical systems whose equilibria cannot be proved to be stable using standard continuously differentiable Lyapunov function theory. For dynamical systems with continuously differentiable flows, the concept of smooth control Lyapunov functions was developed by Artstein to show the existence of a feedback stabilizing controller. A constructive feedback control law based on a universal construction of smooth control Lyapunov functions was given by Sontag. Even though a stabilizing continuous feedback controller guarantees the existence of a smooth control Lyapunov function, many systems that possess smooth control Lyapunov functions do not necessarily admit a continuous stabilizing feedback controller. However, the existence of a control Lyapunov function allows for the design of a stabilizing feedback controller that admits Filippov and Krasovskii closed-loop system solutions. In this paper, we develop a constructive feedback control law for discontinuous dynamical systems based on the existence of a nonsmooth control Lyapunov function defined in the sense of generalized Clarke gradients and set-valued Lie derivatives.