A control switching theory for supervisory control of discrete event systems

In this paper, we introduce the concept of switching from one supervisory control to another one when changes in the state of an embedded sensory network occur. The sensory devices are assumed to be single functional, that is, they are programmed to observe and report only one event. The switching model is built based on the two criteria of language observability and state synchronization. Switching model is the basis for a megacontroller, which monitors the state of the sensory network embedded in the plant as well as the state of the supervisor in charge. Every time the state of this network changes, the megacontroller reconfigures the control system by finding an appropriate supervisor.