Decentralized supervisory control using partial event and state observations

This paper studies decentralized supervisory control using partial event and state observations. We derive necessary and sufficient conditions for the existence of a decentralized supervisor.