Representation of practical nonsmooth control Lyapunov functions by piecewise affine functions and neural networks

In this paper we give conditions under which control Lyapunov functions exist that can be represented by either piecewise affine functions or by neural networks with a suitable number of ReLU layers. The results provide a theoretical foundation for recent computational approaches for computing control Lyapunov functions with optimization-based and machine-learning techniques.