Ellipsoidal techniques for reachability analysis: Internal approximation
scientific article; zbMATH DE number 1521864