Supervisory Control Of Discrete Event Systems Under Nondeterministic Observations | IEEE Conference Publication | IEEE Xplore