Supervisory control of a kind of extended finite state machines

The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years. However, the problem of state explosion in the exiting theories obstructs its widespread application. To alleviate the problem, extended finite state machines (EFSMs) is considered to model discrete event systems. This paper focuses on the supervisory control of a kind of EFSMs. Based on the concept of controllability, a necessary and sufficient condition for supervisor existence and an optimal algorithm to such supervisor design are presented.