基于赋时层次着色Petri网的混杂系统建模与行为分析  

Modeling and Behavior Analysis of Hybrid System Using Timed Hierarchical CPN

作　　者：李胜昌[1] 宋阿妮[2] 王明哲[1] 

机构地区：[1]华中科技大学自动化学院,武汉430074 [2]湖北工业大学电气与电子工程学院,武汉430068

出　　处：《应用科学学报》2014年第3期293-300,共8页Journal of Applied Sciences

基　　金：国家自然科学基金(No.61273207)资助

摘　　要：大型混杂系统的复杂性使建模与行为分析面临巨大挑战.为此,提出一种基于赋时层次着色Petri网的建模方法,以离散事件驱动为主线,将连续部分模型通过扩展变迁嵌入到离散模型中.离散部分和连续部分分别利用各自领域里的专业工具建模,通过通信接口交互实现混杂交互仿真,同时保证整个系统的数据一致性和时间同步性.在进行混杂系统行为分析时,根据Petri网的结构化分析方法得到混杂系统的不同行为模式,针对各模式进行多属性仿真分析.最后通过一个导弹防御系统的例子说明该建模分析方法的可行性.Modeling and behavior analysis for a large hybrid system is challenging because of complexity of the system. A modeling method based on timed hierarchical colored Petri net （THCPN） is proposed in this paper. Using the idea of a discrete event driven system, the continuous part is embedded into the model by extension transition. Thus, both discrete and continuous parts of the hybrid system can be modeled using pro- fessional tools in the respective fields. Hybrid interactive simulation can be implemented with communication interface. This way, data consistency and time synchronization are ensured. In analyzing the hybrid model, a structure analysis method of Petri net is performed to get different behavior patterns of the hybrid system. Thus, a multi-attribute simulation analysis of different behavior patterns can be conducted. Feasibility of the method is shown by a missile defense system.

关 键 词：混杂系统 赋时层次着色Petri网 结构化分析 行为仿真 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]