The report describes the calculation of reachability sets for controlled processes under hard bounds on the controls and state space variables with an emphasis on linear systems. Ellipsoidal techniques for approximating reach sets and tubes are proposed which induce a smaller computational burden than in other methods. The proposed techniques rely on a nonstandard version of the maximum principle under state constraints. Applications to target problems relevant for verification of new types of complex systems are indicated.