On stability domain estimation via a quadratic Lyapunov function: convexity and optimality properties for polynomial systems | IEEE Conference Publication | IEEE Xplore