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

摘要：

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

关键词：时间自动机、混杂系统、UPPAAL、泵站、模型验证

所属期刊栏目：48

分类号：TP301(计算技术、计算机技术)

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

页数：共4页

页码：73-75,78