首页    期刊浏览 2025年02月21日 星期五
登录注册

文章基本信息

  • 标题:Specification of Cyber Physical Systems Based on Clock Theory
  • 本地全文:下载
  • 作者:Bingqing Xu ; Jifeng He ; Lichen Zhang
  • 期刊名称:International Journal of Hybrid Information Technology
  • 印刷版ISSN:1738-9968
  • 出版年度:2013
  • 卷号:6
  • 期号:3
  • 出版社:SERSC
  • 摘要:Cyber Physical Systems are integrations of computing, communication and control sys-tems, and CPS make it possible to link the physical world and discrete world much moretightly and accurately. Though the appearance of CPS has triggered a great revolution tothe electronic, information and internet technology, many problems still need to be solvedwhen using the existing theories and technologies especially the description and analysis oftime in Cyber Physical Systems. Clock theory puts forward the description of time andcorresponding mechanism. This paper aims to apply the clock theory to the specification ofCyber Physical Systems.
  • 关键词:Cyber Physical Systems; continuous and discrete; clock; time analysis
国家哲学社会科学文献中心版权所有