Process theory for supervisory control with partial observation of events and states | IEEE Conference Publication | IEEE Xplore