Comparing Stable Manifold and backward reachable set Method for Estimating the Region of Attraction | IEEE Conference Publication | IEEE Xplore