| 格值离散事件系统的监控 |
| |
| 引用本文： | 楼志刚,刘宏昭. 格值离散事件系统的监控[J]. 西安理工大学学报, 2012, 28(4) |
| |
| 作者姓名： | 楼志刚 刘宏昭 |
| |
| 作者单位： | 西安理工大学机械与精密仪器工程学院,陕西西安,710048 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 引入了赋值域是格时离散事件系统的形式化定义,并提出了由它所生成的语言的可控性概念,以及给出并证明了格值离散事件系统的可控性的充要条件.最后得到了给定语言的极大可控子语言和极小可控超语言的存在性的证明以及它们的表达式.
|
| 关 键 词： | 离散事件系统 格 可控格值语言 极大可控格值子语言 极小可控格值超语言 |
Supervisory Control of Lattice-Valued Discrete Event Systems |
| |
| LOU Zhigang , LIU Hongzhao. Supervisory Control of Lattice-Valued Discrete Event Systems[J]. Journal of Xi'an University of Technology, 2012, 28(4) |
| |
| Authors: | LOU Zhigang LIU Hongzhao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
