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

• 成果类型: Article
• 署名作者: Hayano, Akihito; Takai, Shigemasa
• 署名单位: University of Osaka
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3299552
• 发表日期: 2024
• 页码: 674-680
• 关键词: Coobservability; decentralized supervisory control; Discrete event system (DES); intersection-based architecture

摘要

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.