摘要
混成系统是一类既包含连续动态行为又包含离散动态行为的系统,这类系统在实际应用中显得越来越重要,对这类系统需要探索新的模型和研究方法。从建模、分析与验证三个方面综述了混成系统的研究现状和需要进一步研究的课题。
The hybrid systems contain both＂ the discrete events and the continuous dynamic events. These systems are becoming more and more important and call for new modeling and analysis approach. This paper reviewed status of the hybrid system from modeling, analysis and verification of the three aspects and the need for further researches.
出处
《计算机应用研究》
CSCD
北大核心
2008年第8期2255-2259,2288,共6页
Application Research of Computers
基金
国家自然科学基金资助项目(60673061)
湖南省科技计划资助项目(2007GK3047)
湖南省自然科学基金资助项目(07JJ6108)
关键词
混成系统
建模
分析
验证
hybrid system
modeling
analysis
verification
