对时间自动机中时钟约束的处理

摘要：

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.

关键词：时间自动机、时钟约束、可达性

所属期刊栏目：24

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金69873040

在线出版日期：2008-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：219-220,142