Nonsmooth Lyapunov Analysis in Finite and Infinite Dimensions