Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction | IEEE Conference Publication | IEEE Xplore