Supervisory Control of Networked Discrete Event Systems With Observation Losses

• 成果类型: Article
• 署名作者: Wang, Xiaojun; Shu, Shaolong; Lin, Feng
• 署名单位: University of Shanghai for Science & Technology; Tongji University; Wayne State University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2025.3572318
• 发表日期: 2025
• 关键词: COMMUNICATION DELAYS; diagnosability; HISTORY

摘要

Networks have now been widely used in everyday life. Many engineering systems are networked systems that can be modeled as discrete event systems (DES). To control such systems, supervisory control of networked DES has been developed. Because of nondeterminism, the behavior of a controlled/supervised system is described by the upper bound (large) language and the lower bound (small) language. Therefore, three types of controls are needed: 1) control for the large language to ensure safety, 2) deterministic control (when the large and small languages are equal) to ensure nonblocking, and 3) control for the small language to ensure minimum requirements. Network observability, DL-observability, and network S-observability are needed to characterize the existences of three types of controls, respectively. In this article, algorithm to check network observability is developed for systems with observation losses. DL-observability is then defined. Algorithm to check DL-observability is also developed for systems with observation losses. The algorithm is of polynomial complexity. Finally, the relationship among three types of controls are investigated and proved.