混成系统是一类既包含连续动态行为又包含离散动态行为的系统,这类系统在实际应用中显得越来越重要,对这类系统需要探索新的模型和研究方法。从建模、分析与验证三个方面综述了混成系统的研究现状和需要进一步研究的课题。
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.