Approximated Symbolic Computations over Hybrid Automata