| 基于通信顺序进程的并发DEDS的规范和证实 |
| |
| 引用本文： | 徐林,吴智铭,杨根科,孟凡英. 基于通信顺序进程的并发DEDS的规范和证实[J]. 上海交通大学学报, 2002, 36(8): 1177-1180 |
| |
| 作者姓名： | 徐林 吴智铭 杨根科 孟凡英 |
| |
| 作者单位： | 1. 上海交通大学,自动化系,上海,200030
2. 上海交通大学,物理系,上海,200240 |
| |
| 基金项目： | 国家自然科学基金资助项目 (70 0 710 17)，国家高技术研究发展计划 (863 )项目 (2 0 0 1AA5 13 0 3 0 ) |
| |
| 摘 要： | 在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。
|
| 关 键 词： | 并发DEDS 实时通信顺序进程 refusal模型 离散事件动态系统 自动导引小车 火车道口系统 |
| 文章编号： | 1006-2467(2002)08-1177-04 |
Specification of DEDS Based on the Communicating Sequential Process |
| |
| XU Lin ,WU Zhi ming ,YANG Gen ke ,MENG Fan ying. Specification of DEDS Based on the Communicating Sequential Process[J]. Journal of Shanghai Jiaotong University, 2002, 36(8): 1177-1180 |
| |
| Authors: | XU Lin WU Zhi ming YANG Gen ke MENG Fan ying |
| |
| Affiliation: | XU Lin 1,WU Zhi ming 1,YANG Gen ke 1,MENG Fan ying 2 |
| |
| Abstract: | |
| |
| Keywords: | timed communicating sequential process(TCSP) refusal model discrete event dynamic system (DEDS) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
