Reachability analysis of hybrid systems using bisimulations