Abstractions for hybrid systems