HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION

摘要：

In this paper, we propose a specification model combining interface automata, hybrid automata and Z language, named HZIA. This model can be used to describe temporal properties, hybrid properties, and data properties of hybrid software/hardware components. We also study the approximated refinement relation on HZIAs.

关键词： Interface automata Z notation Hybrid automata Approximated refinement relation

作者: Zining Cao Hui Wang

作者单位: National Key Laboratory of Science and Technology on Avionics System Integration, Shanghai 200233, C National Key Laboratory of Science and Technology on Avionics System Integration, Shanghai 200233, C

会议类型: 国际会议

会议名称: 13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)

会议地点: 北京

会议语种:英文

页码: 1897-1902

在线出版日期: 2011-06-08（万方平台首次上网日期，不代表论文的发表时间）