Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications

• 成果类型: Article
• 署名作者: Takai, Shigemasa
• 署名单位: University of Osaka
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2020.3015453
• 发表日期: 2021
• 页码: 3197-3204
• 关键词: automata; Supervisory control; Discrete-event systems; Upper bound; calculus; sensors; Maximally permissive supervisor; nondeterministic discrete event system; similarity control

摘要

In this article, we consider the problem of synthesizing a nondeterministic supervisor for the plant and the specification modeled as nondeterministic automata. A similarity control problem requires us to synthesize a supervisor such that the supervised plant is simulated by the specification. Ideally, the synthesized supervisor should be as permissive as possible. We develop a method for synthesizing a maximally permissive supervisor that solves the similarity control problem.