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

Management of constrains of timed automata

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

Timed automata is an universal tool for modeling the real-time system。It s important to management of time constraints when computing reachability relation of the states.Based on the existing algorithms,this article gives an algorithm of how to management the timed system which includes difference constrains.