混合系统的形式化模型

• 作者: 张广泉 沈一栋
• 来源期刊: 重庆大学学报（自然科学版）
• 学科: 工学
• 关键词: 混合系统 计算模型 混合转换系统
• 年，卷（期）: 1999,（6）
• 页码范围: 53-58
• 分类号: TP13
• 语种: 中文
• DOI: 10.3969/j.issn.1000-582X.1999.06.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈一栋	重庆大学计算机学院	14	308	9.0	14.0
2	张广泉	重庆大学计算机学院	2	14	2.0	2.0