The Equivalence Between Supervisory Control and State Feedback Method in Des
离散事件系统监控与状态反馈方法的等价性

In this paper, it is proved that when the specification is given in the form of predicate, the supervisory control can be used to reach the same states as using state feedback logic, and when the specification is given in the form of language, the state feedback logic can be used to generate the same language as using supervisory control. Hence, these two kinds of methods are equivalent from the point of view of synthesis.