The document summarizes an approach for algorithmically synthesizing control strategies for discrete-time nonlinear uncertain systems based on reachable set computations using ellipsoidal calculus. The method uses a first-order Taylor approximation of the nonlinear dynamics combined with a conservative approximation of the Lagrange remainder to transform the system into an affine form. The reachable sets are then over-approximated using ellipsoidal operations. An iterative algorithm is proposed to compute stabilizing controllers by solving constrained optimization problems to drive the system state into a target ellipsoidal set within a finite number of steps while satisfying input constraints.