On the Existence of Nonblocking Bounded Supervisors for Discrete-Event Systems
Zhaoyu Xiang, Yufeng Chen, Naiqi Wu, Zhiwu Li · IEEE Transactions on Automatic Control · 2024
This paper investigates the supervisory control problem of discrete event systems modeled with deterministic finite state automata. Given a control specification represented by a non-empty regular sublanguage of the generated language of a plant, we aim to solve a synthesis problem for finding a non-blocking 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 non-blocking 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.