Estimating the region of attraction using polynomial optimization: A converse Lyapunov result | IEEE Conference Publication | IEEE Xplore