Observability of Hybrid Automata by Abstraction