A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
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 asdoi:10.1109/9.533677 fatcat:cxprynwavjgklnx6evpqvom2wq