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, allowing the application of ellipsoidal calculus techniques. An iterative algorithm is proposed to compute stabilizing controllers by solving constrained optimization problems at each step to drive the system to a terminal ellipsoidal set within a finite number of steps while satisfying input constraints.