On the Existence of Nonblocking Bounded Supervisors for Discrete-Event Systems

• 成果类型: Article
• 署名作者: Xiang, Zhaoyu; Chen, Yufeng; Wu, Naiqi; Li, Zhiwu
• 署名单位: Macau University of Science & Technology; Xidian University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3407612
• 发表日期: 2024
• 页码: 8003-8010
• 关键词: robots; Task analysis; automobiles; Robot sensing systems; path planning; games; Discrete-event systems; discrete-event system; finite-state automaton; reachability game; Supervisory control

摘要

This article investigates the supervisory control problem of discrete-event systems modeled with deterministic finite-state automata. Given a control specification represented by a nonempty regular sublanguage of the generated language of a plant, we aim to solve a synthesis problem for finding a nonblocking supervisor for the control specification to guarantee that there exists an integer such that the length of any string in the generated language of the plant under supervision is no greater than the integer, namely a bounded nonblocking supervisor. We show that the problem can be reduced to finding a positional winning strategy in a two-player reachability game. Examples are presented to illustrate the reported approach.