Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control | IEEE Journals & Magazine | IEEE Xplore