On the construction of Lyapunov functions using the sum of squares decomposition | IEEE Conference Publication | IEEE Xplore