混杂系统的扩展时间自动机模型及验证研究 |
| |
作者姓名: | 姬莉霞 马建红 周清雷 |
| |
作者单位: | 1. 郑州大学软件技术学院,郑州,450000 2. 郑州大学信息工程学院,郑州,450000 |
| |
摘 要: | 混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。
|
关 键 词: | 时间自动机 混杂系统 UPPAAL 泵站 模型验证 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|