期刊文献+

Nested timed automata with various clocks

Nested timed automata with various clocks
原文传递
导出
摘要 It is a great challenge to analyze a timed system extended with recursions,e.g.interrupt,since two dimensions of infinity,an unbounded stack,dense time recorded by clocks,occur in such a system.Furthermore,when investigating a recursive timed system,various types of clocks,such as global clocks,local clocks,frozen clocks,should be taken into consideration.The mixture of different types of clocks affects the expressiveness of recursive timed models.This paper gives detailed and complete investigation on the decidability results of a recursive timed system with different kinds of clocks,under a model named nested timed automata.These results can be naturally extended to other recursive timed systems. It is a great challenge to analyze a timed system extended with recursions,e.g.interrupt,sincetwo dimensions of infinity,anunbounded stack,dense timer ecorded by clocks,occur in such asystem.
出处 《Science Foundation in China》 CAS 2016年第2期51-68,共18页 中国科学基金(英文版)
基金 supported by the NSFC-JSPS Bilateral Joint Research Project(Grant No.61511140100) the National Natural Science Foundation of China(Grant Nos.61100052and 61472240)
关键词 Nested TIMED AUTOMATA Global clocks LOCAL clocks FROZEN clocks REACHABILITY Nested timed automata Global clocks Local clocks Frozen clocks Reachability
  • 相关文献

参考文献28

  • 1Abdulla P A,Atig M F,Stenman J.Dense-Timed Pushdown Automata. IEEE Symposium on Logic in Computer Science . 2012
  • 2Li G,Ogawa M,Yuen S.Nested Timed Automata with Frozen Clocks. Formal Modeling and Analysis of Timed Systems . 2015
  • 3Wen Y,Li G,Yuen S.An Over-Approximation Forward Analysis for Nested Timed Automata. Structured Object-Oriented Formal Language and Method . 2014
  • 4Bérard B,Haddad S,Sassolas M.Real time properties for interrupt timed automata. Temporal Representation and Reasoning (TIME),2010 17th International Symposium on . 2010
  • 5Trivedi A,Wojtczak D.Recursive timed automata. Automated Technology for Verification and Analysis . 2010
  • 6Benerecetti M,Minopoli S,Peron A.Analysis of timed recursive state machines. Temporal Representation and Reasoning (TIME),201017th International Symposium on . 2010
  • 7M.L Minsky.Computation:Finite and Infinite Machines. . 1967
  • 8Bouajjani A,Echahed R,Robbana R.On the automatic verification of systems with continuous variables and unbounded discrete data structures. Hybrid Systems II . 1994
  • 9Clemente L,Lasota S.Timed pushdown automata revisited. Logic in Computer Science (LICS),2015 30th Annual ACM/IEEE Symposium on . 2015
  • 10Cai X,Ogawa M.Well-structured pushdown system:case of dense timed pushdown automata. Functional and Logic Programming . 2014

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部