Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

R. Kumar, M.A. Shayman
1996 IEEE Transactions on Automatic Control  
In a previous paper we showed that supervisory control of nondeterministic discrete event systems, in the presence of driven events, can be achieved using prioritized synchronous composition as a mechanism of control, and trajectory models as a modeling formalism, first introduced by Heymann. The specifications considered in this earlier work were given by prefix-closed languages. In this paper, we extend this work to include markings so that non-closed specifications and issues such as
more » ... ues such as blocking can be addressed. It is shown that the usual notion of non-blocking, called language model non-blocking, may not be adequate in the setting of nondeterministic systems, and a stronger notion, called trajectory model non-blocking, is introduced. Necessary and sufficient conditions for the existence of language model non-blocking as well as trajectory model non-blocking supervisors are obtained for nondeterministic systems in the presence of driven events in terms of extended controllability and relative-closure conditions, and a new condition called the trajectory-closure condition.
doi:10.1109/9.533677 fatcat:cxprynwavjgklnx6evpqvom2wq