| 离散事件模型的代数方法及其监控理论 |
| |
| 引用本文： | 黄典伟 吴智铭. 离散事件模型的代数方法及其监控理论[J]. 上海交通大学学报, 1996, 30(4): 14-19 |
| |
| 作者姓名： | 黄典伟 吴智铭 |
| |
| 作者单位： | 上海宝钢自动化研究所，上海交通大学自动化系 |
| |
| 基金项目： | 国家自然科学基金,“八六三”高技术CIMS主题组的资助 |
| |
| 摘 要： | 有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。
|
| 关 键 词： | 离散事件模型 代数模型 离散事件系统 监控理论 |
Algebraic Approach and Supervisory Control Theory of Discrete Event Models |
| |
| Huang Dianwei. Algebraic Approach and Supervisory Control Theory of Discrete Event Models[J]. Journal of Shanghai Jiaotong University, 1996, 30(4): 14-19 |
| |
| Authors: | Huang Dianwei |
| |
| Abstract: | Finite state machine (FSM), Petri net,Communicating Sequential Process(CSP) and Finitely Recursive Process(FRP) are usually considered in describing the logic behavior of discrete event dynamic systems (DEDS).All of these models can be represented by a unique algebraic formulation. This paper provides a general algebraic approach for DEDS modeling. The DEDS supervisory control theory of the model is also discussed. |
| |
| Keywords: | s: discrete event dynamic system discrete event model algebraic model supervisory control |
| 本文献已被 CNKI 维普 等数据库收录！ |
