计算机工程与应用2012，Vol.48Issue(8)：73-75,78,4.DOI:10.3778/j.issn.1002-8331.2012.08.020
混杂系统的扩展时间自动机模型及验证研究
Study of model and verification about hybrid system based on extended timed automata
姬莉霞 1马建红 1周清雷2
作者信息
- 1. 郑州大学软件技术学院,郑州450000
- 2. 郑州大学信息工程学院,郑州450000
- 折叠
摘要
Abstract
Hybrid system is high complex and involves extensive area, there is no general way to solve it's problems such as analysis and design. To model and check a class of industrial control hybrid systems, this paper extends the semantics of timed automata. After conversion, it contains a continuous variable and variable constraint. The method uses extended timed automata to model such hybrid systems, uses tool UPPAAL to analysis and simulate, and then uses a simplified version of CTL to v.erify the requirement specification of systems. The specific case study shows that the method is feasible and effective for a class of hybrid systems analysis and design.关键词
时间自动机/混杂系统/UPPAAL/泵站/模型验证Key words
timed automata/ hybrid system/ UPPAAL/ pumping station/ model checking分类
信息技术与安全科学引用本文复制引用
姬莉霞,马建红,周清雷..混杂系统的扩展时间自动机模型及验证研究[J].计算机工程与应用,2012,48(8):73-75,78,4.
