Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
Keywords: Decentralized supervisory control; Nondeterministic discrete event systems; Robust supervisors; Nonblockingness; Trajectory models