Guided search for hybrid systems based on coarse-grained space abstractions