A General Intersection-Based Architecture for Decentralized Supervisory Control of Discrete Event Systems

A certain intersection-based architecture for decentralized supervisory control of discrete event systems was proposed in the literature. This existing intersection-based architecture can be regarded as an anti-permissive one. In this paper, we propose a dual architecture, named the permissive intersection-based architecture, and develop a general architecture by combining the anti-permissive and permissive ones. Then, we define a general notion of SEI-coobservability as a part of necessary and sufficient conditions under which the specification is achieved in the developed general architecture and show how to verify it.