Weak normality for supervisory control of discrete event systems under partial observation | IEEE Conference Publication | IEEE Xplore