摘要
混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。
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 verify 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.
出处
《计算机工程与应用》
CSCD
2012年第8期73-75,78,共4页
Computer Engineering and Applications
