期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Checking Temporal Duration Properties of Timed Automata 被引量:2
1
作者 李勇 dang van hung 《Journal of Computer Science & Technology》 SCIE EI CSCD 2002年第6期689-698,共10页
In this paper, the problem of checking a timed automaton for a Duration Cal-culus formula of the form Temporal Duration Property is addressed. It is shown that TemporalDuration Properties are in the class of discretis... In this paper, the problem of checking a timed automaton for a Duration Cal-culus formula of the form Temporal Duration Property is addressed. It is shown that TemporalDuration Properties are in the class of discretisable real-time properties of Timed Automata,and an algorithm is given to solve the problem based on linear programming techniques andthe depth-first search method in the integral region graph of the automaton. The complexityof the algorithm is in the same class as that of the solution of the reachability problem of timedautomata. 展开更多
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部