Hybrid systems with finite bisimulations