混杂系统的扩展时间自动机模型及验证研究

• 作者: 周清雷 姬莉霞 马建红
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 时间自动机 混杂系统 UPPAAL 泵站 模型验证
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 73-75,78
• 分类号: TP301
• 字数: 3432字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.08.020

摘要

混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题.为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证.具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	姬莉霞	郑州大学软件技术学院	26	272	9.0	15.0
3	马建红	郑州大学软件技术学院	30	152	7.0	11.0