Equivalence of Nonblockings for Event-Based and State-Based

WANG Fei,HU Qi-ying
DOI: https://doi.org/10.3321/j.issn:1001-506x.2005.03.027
2005-01-01
Abstract:Nonblocking of supervisor is one of main properties in the supervisory control of discrete event systems. Due to the difference between event feedback and state feedback, the definitions of their nonblockings are different too. The relationship of nonblockings for event-based and state-based is discussedr. By the equivalence between a state feedback and some event feedback, the equivalence of nonblocking for event-based and state-based is shown. And by using the theory of nonblocking for event-based, a sufficient condition that Σ_u-invariance predicates synthesized by state feedback are contained within the set of marked states for the modular control to be nonblocking is present.
What problem does this paper attempt to address?