论文部分内容阅读
混杂动态系统(Hybrid Dynamic Systems-HDS)是研究由连续型子系统和离散型子系统相互作用而构成的一类动态系统。近些年来,混杂系统的研究引起了计算机科学领域和控制领域学者的广泛兴趣,取得了不少研究成果。如何描述混杂系统的动态行为,并对模型进行仿真验证是混杂系统研究的热点。Petri网具有异步、并发、资源共享等优点,它不仅能够反映系统的静态性能,而且能够反映系统的动态性能。Petri网作为系统建模与分析的工具,已经在众多领域得到应用。Matlab是Mathworks公司推出的优秀软件,是对混杂系统进行建模分析的重要工具。Matlab是一种直观、高效的计算机语言,同时又是一个科学计算平台。它为数据分析和数据可视化、算法和应用程序开发提供了最核心的数学和高级图形工具。本文首先对混杂系统进行了介绍,简要介绍了混杂系统建模的几种主要的方法和特点以及对混杂系统进行建模分析的软件工具。介绍了混合Petri网、时延Petri网、微分Petri网,并对P/T系统、混合Petri网、时延Petri网、微分Petri网在Matlab中的仿真进行了研究。引用了协同约束弧概念,它是将单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束,并将它引入微分Petri网,用以对具有状态反馈控制的混杂系统建模。本文在介绍Stateflow的基础上,讨论了如何将Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网进行建模和仿真,仿真结果说明了方法的有效性。