Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems

• 成果类型: Article
• 署名作者: Li, Jinglun; Takai, Shigemasa
• 署名单位: University of Osaka
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3195152
• 发表日期: 2023
• 页码: 3529-3544
• 关键词: automata; Supervisory control; Heuristic algorithms; Discrete-event systems; Upper bound; trajectory; Task analysis; Maximal permissiveness; nonblocking supervisor; nondeterministic discrete-event system; partial observation; similarity control

摘要

This article investigates a nonblocking similarity control problem for nondeterministic discrete-event systems, which is a problem of synthesizing a nonblocking supervisor such that the supervised system is simulated by the given specification. In this article, the state of the system is not required to be observable, and the event occurrence is allowed to be partially observed. We propose an algorithm that computes a nonblocking supervisor from a possibly blocking one by iteratively removing certain states. Then, we identify two key properties of input supervisors, named state-unmergedness and strong maximal permissiveness, which together guarantee the maximal permissiveness of output nonblocking supervisors. The algorithm is applied to a supervisor with these two properties to obtain a maximally permissive nonblocking supervisor. In addition, we show that a nonblocking supervisor is generated by the algorithm if and only if there exists a solution to the nonblocking similarity control problem.