Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach
Seong Jin Park, Jong Tae Lim · IEICE Transactions on Information and Systems · 2000
SUMMARY This paper presents a framework for the nonblocking supervisory control of nondeterministic discrete event systems (DESs) using multiple deterministic model.Necessary and sufficient conditions for the existence of a multiple model nonblocking supervisor are obtained for a multiple deterministic model.We show that a multiple model nonblocking supervisor guarantees the nonblockingness of an original nondeterministic system.