We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic, is proposed, which is an extension of the traditional point-interval temporal logic.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。
A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic, is proposed, which is an extension of the traditional point-interval temporal logic.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。
应用推荐