Compositional abstractions of hybrid control systems