Talk:Hybrid automaton