面向混杂系统建模的粒子Petri网研究

摘要

本文面向混杂系统建模中离散事件和连续变量的描述问题，提出一种混合Petri网模型-粒子(Particle)Petri网，并给出粒子Petri网的形式化定义以及相应的触发规则和状态演化过程。该网引入粒子滤波器，能够更加精确地计算系统中连续参数的变化，从而可以处理混杂系统连续变量变化过程中的不确定性。相对于已有的混杂系统建模方法，该模型能够更加精确地描述系统行为的演变过程。通过对应用实例进行建模，表明该方法是可行的和有效的。