Finding surface Lyapunov functions through sum-of-squares programming | IEEE Conference Publication | IEEE Xplore