%0 Journal Article
%T On the Decidability and Expressive Power of Timed Interval Temporal Logic<br>时间区间时序逻辑的判定性与表达能力
%A ZHU Wei-jun
%A ZHOU Qing-lei
%A <br>朱维军
%A 周清雷
%J 计算机科学
%D 2010
%I 
%X Model checking is used widely in verification of real-time system. Satisfiability of discrete Timed Interval Temporal Logic is decidable, so is model checking of it, But in dense-time domain, the problem of model checking Timed Interval Temporal Logic is not clear. We prove that Satisfiability of Timed Interval Temporal Logic is un-decidable and we find a subset of Timed Interval Temporal Logic which can be decidable. So, it can be decidable to model checking the subset.
%K Timed interval temporal logic
%K Checking the satisfiability
%K Expressive power
%K Model checking<br>时间区间时序逻辑，可满足性判定，表达能力，模型检测
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=67CC6D909555D7C1180FE981491DEA1B&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=708DD6B15D2464E8&sid=0DEB7A8A66C33AAD&eid=F8035C8B7D8A4264&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0