Intersection-Based Decentralized Supervisory Control of Probabilistic Discrete Event Systems

• 成果类型: Article
• 署名作者: Deng, Weilin; Qiu, Daowen; Yang, Jingkai
• 署名单位: Guangdong University of Finance; Sun Yat Sen University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3061673
• 发表日期: 2021
• 页码: 6171-6178
• 关键词: Probabilistic logic; robots; Supervisory control; Computer architecture; observability; Discrete-event systems; decentralized control; Decentralized probabilistic supervisory control; probabilistic discrete event systems (PDESs); probabilistic controllability; probabilistic intersection-based coobservability

摘要

In our previous article, we have considered the supervisory control of the probabilistic discrete event systems (PDESs) under the centralized framework. In this article, we continue to investigate the decentralized probabilistic supervisory control issue of PDESs. The intersection-based control architecture is adopted, and the notion of the probabilistic intersection-based coobservability and its verification algorithm are presented. It is shown that this observability and the probabilistic controllability act as the necessary and sufficient conditions for the existence of the intersection-based decentralized probabilistic supervisors. Moreover, a working example is provided to illustrate the proposed concepts, the obtained results, and the potential application of the proposed control approaches.