Safety verification of hybrid systems by constraint propagation based abstraction refinement
Reachability of Uncertain Linear Systems Using Zonotopes