Safe & robust reachability analysis of hybrid systems