|
|||||
|
|
| 对时间自动机中时钟约束的处理 | |
| 引用本文： | 周清雷,周颜,赵东明.对时间自动机中时钟约束的处理[J].微计算机信息,2008,24(7):219-220. |
| 作者姓名： | 周清雷 周颜 赵东明 |
| 作者单位： | 1. 郑州市高新技术产业开发区莲花街河南工业大学信息科学与工程学院,郑州,450001 2. 450052,河南郑州,郑州大学,信息工程学院;450000,河南郑州,河南工业大学,信息科学与工程学院 3. 郑州大学,信息工程学院,河南郑州,450052 |
| 摘 要： | 在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理. |
| 关 键 词： | 时间自动机 时钟约束 可达性 时间自动机 时钟 约束 系统处理 timed automata 理论 分析 关系 可达性 求解状态 使用 实时系统建模 |
| 文章编号： | 1008-0570(2008)03-1-0219-02 |
| 修稿时间： | 2007年11月6日 |
Management of constrains of timed automata |
|
| ZHOU QINGLEI,ZHOU YAN,HAO DONGMING.Management of constrains of timed automata[J].Control & Automation,2008,24(7):219-220. | |
| Authors: | ZHOU QINGLEI ZHOU YAN HAO DONGMING |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |
