期刊文献+

混成自动机技术一览

原文传递
导出
摘要 混成系统是一种复杂的动态系统,一般来说由离散和连续两部分组件构成[1]。离散组件的主要功能是进行信息处理,比如相关程序的集合;连续组件的主要功能是生成离散组件的输入并且对离散组件的输出做出响应,比如嵌入式系统工作的外部环境。离散组件和连续组件的交互是混成系统动态行为的主要内容。相当多的嵌入式系统都可以作为混成系统的实例,比如汽车和飞机中的控制器。
作者 黄影
出处 《中国电子教育》 2015年第1期69-75,共7页 China Electronics Education
  • 相关文献

参考文献6

  • 1Alur R,Courcoubetis C,Henzinger TA,et al.Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems . 1993
  • 2HENZINGER T A.Verification of digital and hybrid systems. NATO ASI Series F: Computer and Systems Sciences . 2000
  • 3Henzinger T A,Ho P H,Wong-Toi H.Hy Tech:A model checker for hybrid systems. Computer Aided Verification . 1997
  • 4Casagrande A,Piazza C.Model Checking on Hybrid Automata. Digital System Design DSD 2012 15th Euromicro Conference on . 2012
  • 5FREHSE G.PHAVer:Algorithmic verificatin of hybrid systems past HyTech. Hybrid Systems:Computation and Control . 2005
  • 6Henzinger T A.The theory of hybrid automata. . 2000

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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