Sums-of-Squares optimization represents an important tool for the direct computation of a local Lyapunov function for a nonlinear dynamic system. Specifically, it can certify a sub-levelset of the cost-to-go from an optimal feedback controller like the Linear Quadratic Regulator (LQR), geometrically an ellipsoid in the state space, as Region of Attraction… (More)