论文部分内容阅读
混合系统是由连续变量部分跟离散部分相互作用组成的系统,该类系统有广泛的应用空间,包括计算机领域和控制领域.因此,对混合系统的研究也成为了很多学者苦心钻研的热门课题.而对混合系统的研究又主要集中在建模分析和稳定性研究等方面. Petri网是对混合系统建模的主要工具,通过对普通Petri网的扩充定义,目前出现了时间Petri网、混合Petri网、微分Petri网等用来描述混合系统的Petri网.但是,当混合系统的子系统使用模糊微分方程表示的时候,研究相对少之又少,而本文正是针对这类特殊的混合系统进行Petri网的建模分析及其稳定性研究,以此来更好的研究混合系统.本文的主要工作在于对混合系统的模糊连续部分进行建模.首先本文讨论了混合系统的研究现状及研究方法,然后介绍了模糊数学和Petri网相关的基础知识并对几类重要的Petri网进行了简单的介绍.在普通Petri网的基础之上,本文提出了一类新的Petri网:模糊微分Petri网.本文引入了新的节点:模糊库所(变迁)、模糊微分库所(变迁).通过对模糊微分变迁关联模糊点火速度来表示模糊系统运行特征,通过模糊微分Petri网的演变图来分析混合系统.最后,本文对模糊微分Petri网的稳定性进行了研究,得到了模糊微分Petri网的稳定性算法,并通过实例分析了对模糊微分Petri网的建模能力和稳定性算法的正确性.本文的创新点在于:1、新定义了一种Petri网:模糊微分Petri网.引入了新的Petri网节点(模糊库所(变迁)、模糊微分库所(变迁),能对模糊微分方程进行表示.2、将混合系统的切换规则扩充至超平面形式,并在模糊微分Petri网上得以建模,加强了模糊微分Petri网的建模能力.3、对模糊微分Petri网的稳定性提出了稳定性算法.根据已有的混合系统的稳定性结果以及模糊微分方程的性质,本文提出了一种模糊微分Petri网的稳定性算法,通过这种算法可以得到混合系统的相关性质.