Nonblocking supervisory control of nondeterministic systems based on multiple deterministic model approach
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.
nonblocking supervisor multiple deterministic model nondeterministic dess