论文部分内容阅读
本文在混合系统的自动机和变迁系统模型的基础上,对混合系统按照不同抽象层次进行系统分解,提出了一种递归形式的混合系统模型。这种模型支持由粗到细逐步细化的建模。当这种模型满足给出的若干附加性质时,它容易转化为逻辑结构清晰的混合仿真程序。最后对一个混合系统的实例建立了其混合仿真的递归形式仿真模型。