A General Architecture for Intersection-Based 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 antipermissive one. In this article, we propose a dual architecture, named the permissive intersection-based architecture, and develop a general architecture by combining the antipermissive and permissive ones. Then, we define a general notion of state-estimator-intersection-based coobservability (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. Moreover, SEI-coobservability is compared with inference observability for inference-based decentralized supervisory control.