THE EQUIVALENCE BETWEEN SUPERVISORY CONTROL AND STATE FEEDBACK METHOD IN DES
Heng Yue · Acta Automatica Sinica · 1993
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.