Compositional Abstractions of Hybrid Control Systems