Differential automata and their discrete simulators