Observability of hybrid automata by abstraction