Control of Nondeterministic Discrete Event Systems for Simulation Equivalence | IEEE Journals & Magazine | IEEE Xplore