hybrid automaton