Stability domain estimation and design for nonlinear systems with bounded control inputs