Computing continuous and piecewise affine lyapunov functions for nonlinear systems

- Hafstein, Sigurdur F.; Kellett, Christopher M.; Li, Huijuan