Supervisory control of nondeterministic discrete event systems with driven events via masked prioritized synchronization

Studies the supervisory control problem of nondeterministic discrete event systems with driven events in the setting of masked prioritized synchronous composition (MPSC). MPSC was extended from prioritized synchronous composition (PSC) by Kumar and Heymann in order to permit systems interaction with their environment via interface masks. In their paper they solved the supervisory control problem under the assumption that the set of driven events is empty. In this paper the above assumption is removed. We first solve the supervisor synthesis problem for controlling the plant behavior as observed at the interface level, and then derive a necessary and sufficient condition for the existence of a supervisor for controlling the plant behavior as observed at the plant level. We establish a link between MPSC and PSC by showing that a supervisory control problem in the setting of MPSC can be transferred to a supervisory control problem in the setting of PSC under certain conditions. The results of this paper can also be used to derive the main result of Heymann and Lin (1998) which first showed that the supervisory control problem in the nondeterministic setting can be reduced to one in the deterministic setting.