基于矩阵方法的有界Petri网系统的能观性分析
高娜1
韩晓光1
陈增强2
张青3
1.南开大学计算机与控制工程学院,天津300350;天津市智能机器人技术重点实验室,天津3003502.南开大学计算机与控制工程学院,天津300350;天津市智能机器人技术重点实验室,天津300350;中国民航大学理学院,天津3003003.中国民航大学理学院,天津,300300
摘要：Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.
关键词：离散事件动态系统能观性有界Petri网系统Petri网矩阵的半张量积
分类号：TP273(自动化技术及设备)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：8( 71-78 )
英文信息