Estimating the Region of Attraction of Nonlinear Control Systems with Saturating Actuators | IEEE Conference Publication | IEEE Xplore