Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor

From MaRDI portal