离散事件系统监控与状态反馈方法的等价性
The Equivalence Between Supervisory Control and State Feedback Method in Des
-
Abstract: Is 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.
-
Key words:
- discrete event systems /
- supervisory control /
- state feedback logic /
- modular control /
- model transform
计量
- 文章访问数: 1968
- HTML全文浏览量: 111
- PDF下载量: 927
- 被引次数: 0