Two approaches to estimating reachable and controllable sets, the first based on optimal control theory techniques, and the second, based on theorems related to Lyapunov stability criteria, have been the most widely discussed in the literature. This paper reviews the algorithms associated with each approach for time-invariant systems governed by ordinary differential equations, difference equations, and retarded functional differential equations. Emphasis is placed on linear systems with constrained control.