Estimating Relevant Portion of Stability Region using Lyapunov Approach and Sum of Squares | IEEE Conference Publication | IEEE Xplore