Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.
简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。
To reduce the state space, FPTA records the integer values of clocks together with the order of decimal fraction instead of the real number values.
FPTA只记录时钟值的整数部分，而用时钟序的概念来模拟表示时钟值小数部分的大小关系，从而减少生成的状态空间。
To reduce the state space, FPTA records the integer values of clocks together with the order of decimal fraction instead of the real number values.
FPTA只记录时钟值的整数部分，而用时钟序的概念来模拟表示时钟值小数部分的大小关系，从而减少生成的状态空间。
应用推荐