混合系统的形式化模型

摘要：

混合系统是一种离散和连续构件融合在一起的反应系统,通常以微分方程为连续模型,以离散事件系统或自动机为离散模型.本文概述了目前几个重要的混合计算模型,并通过扩充公平转换系统FTS,提出混合系统的一种新的计算模型--混合转换系统HTS.

关键词：混合系统、计算模型、混合转换系统

所属期刊栏目：22

分类号：TP13(自动化基础理论)

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

页码：53-58