Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
scientific article; zbMATH DE number 5841195