时间自动机（timed automaton）是在传统的有限状态自动机的基础上加入了时间约束机制，使传统的有限状态自动机的行为带上了时间的特性，从而其有了一定的表达时...
基于38个网页-相关网页
An optimization definition of clock equivalence,the key to model checking real-time,is described for model checking timed automaton. Based on its equivalent finite-state clock valuation,region automaton that the finite-state model resulted from timed automaton is redefined.
提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机。
参考来源 - 一种基于时间自动机的时钟等价性优化方法 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
Next, a priced probabilistic timed automaton is extended to a multi-priced probabilistic timed automaton with multiple price variables.
另外，通过扩展代价和概率时间自动机模型，得到多代价和概率时间自动机。
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
用时间自动机验证一个有穷状态实时系统的正确性，可归结为判定两个时间正则语言的包含问题，亦可归结为判定两个时间正则语言的交是否为空的问题。
The property of timed automaton is presented. The basic concept of the timed automaton is given. The construction of the region automaton is described, and the algorithm to realize it is given.
给出时间自动机的基本概念，描述了区域自动机的构造方法，并且实现了区域自动机的构造算法。
应用推荐