Avoiding blocking in prioritized synchronization based control of nondeterministic systems

In this paper, we have extended our earlier work on supervisory control of nondeterministic systems to include markings so that the issue of blocking can be investigated. Since language model non-blocking is inadequate for certain nondeterministic systems, the stronger requirement of trajectory model non-blocking is introduced. Necessary and sufficient conditions are obtained for the existence of language model non-blocking as well as trajectory model non-blocking supervisors that meet given language specifications. In [8] we extend the work presented here by considering design of supervisor under partial observation.