Progress on reachability analysis of hybrid systems using predicate abstraction