Using supervisory control to synthesize safety controllers for connected spaces | IEEE Conference Publication | IEEE Xplore