Directed Control of Discrete Event Systems for Safety and Nonblocking

We introduce the notion ofdirectedcontrol, where a directed controller is one that selects at most one controllable event to be enabled at any instant. This is in contrast tosupervisorycontrol, where a supervisory controller enables a maximum allowable set of controllable events at any instant, i.e., no specific selection for executing an enabled event is made. While the design of a supervisory controller is meaningful for plants that aregeneratorof controllable events, a directed controller design makes more sense for plants that areexecutorof controllable events. The control goal is the same as that in a supervisory control setting, namely, safety and nonblockingness. A safe and nonblocking directed controller exists if and only if a safe and nonblocking supervisory controller exists, thereby proving the polynomiality of verifying existence. We also develop a set of algorithms of polynomial complexity to compute a safe and nonblocking directed controller (whenever one exists).