Nonsmooth Lyapunov analysis in finite and infinite dimensions. (2020)