A sampling approach to finding Lyapunov functions for nonlinear discrete-time systems | IEEE Conference Publication | IEEE Xplore