Hierarchical control using approximate simulation relations