%0 Journal Article
%T The Equivalence Between Supervisory Control and State Feedback Method in Des<br>离散事件系统监控与状态反馈方法的等价性
%A Yang Xiaojun
%A Zheng Yingping
%A <br>杨小军
%A 郑应平
%J 自动化学报
%D 1993
%I 
%X 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.
%K discrete event systems
%K supervisory control
%K state feedback logic
%K modular control
%K model transform<br>离散事件系统
%K 监控
%K 状态反馈
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=E1A9B5EAA95C90887B1AA7E2A1DA6D74&yid=D418FDC97F7C2EBA&vid=2A8D03AD8076A2E3&iid=B31275AF3241DB2D&sid=2B6C525BCE31A7DA&eid=2E4E3741E8FB64E9&journal_id=0254-4156&journal_name=自动化学报&referenced_num=1&reference_num=3