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 application/pdf
.
Mutually nonblocking supervisory control of discrete event systems
2000
Automatica
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for the case when the desired specifications must all simultaneously be met. In this paper, we study the case when at least one of the desired specifications must always be met while never blocking any of the remaining specifications. In addition, the entire controlled system must be nonblocking. Thus, we study the case of
doi:10.5555/s0005-1098(00)00102-3
fatcat:vsknwaqsn5hxdczpungnf5cxoa