基于着色Petri 网的混杂监控系统建模分析

针对现有建模分析方法在混杂系统中系统建模和性能分析中表现的不足,提出一种基于离散事件监控框架的混杂系统仿真建模分析方法。应用着色Petri网技术构建混杂系统离散事件系统模型框架,内嵌连续系统模型,利用Petri网标识线性约束实现系统动态行为仿真分析和基于局部关联矩阵的Petri网监控设计。基于现有的离散事件动态理论的监控分析,采用离散事件系统Petri网监控方法实现混杂系统监控行为分析。并通过导弹拦截系统案例进行验证,实践结果证明了该混杂建模分析方法的可行性。

Modeling and Analysis of Hybrid Supervisory Systems Based on Colored Petri Net

Aiming at the disadvantages of current modeling and analysis method for system modeling and performance analysis in hybrid system,a hybrids system simulation and modeling analysis method based on discrete event supervisor framework is put forward.Use colored Petri net technology to establish system model framework of hybrid system discrete event,embed continuous system model in it.Use Petri net identification linear restriction to realize system dynamic action simulation analysis and Petri net monitoring design based on partial conjunction matrix.Based on monitoring analysis of current discrete event dynamic theory,adopt monitoring method of discrete event system Petri net to realize hybrid system monitoring action.Then validate it by missile interception system.The results show that the method is feasible.