Improving reachability analysis of hybrid automata for engine control