Symbolic Simulation of Hybrid Systems