32. The device of claim 30, wherein the controller identifies an initial state and terminal states of the hybrid automaton and an initial state and terminal states of the automaton, generates hybrid strings by traversing the hybrid automaton from the initial state to anyone of the terminal states, generates strings by traversing the automaton from the initial state to anyone of the terminal states, and verifies that each of the strings of the hybrid automaton is identical to a unique one of the strings of the automaton.
32. The device of claim 30, wherein the controller identifies an initial state and terminal states of the hybrid automaton and an initial state and terminal states of the automaton, generates hybrid strings by traversing the hybrid automaton from the initial state to anyone of the terminal states, generates strings by traversing the automaton from the initial state to anyone of the terminal states, and verifies that each of the strings of the hybrid automaton is identical to a unique one of the strings of the automaton. 33. The device of claim 32, wherein the simulation exists if each of the strings of the hybrid automaton is identical to a unique one of the strings of the automaton.