Construction of Lyapunov functions using Grobner bases | IEEE Conference Publication | IEEE Xplore