Compositional synthesis of safety controllers door