基于矩阵方法的有界Petri网系统的能观性分析

TP273; Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Pe...

Full description

Saved in:
Bibliographic Details
Published in控制理论与应用 Vol. 35; no. 1; pp. 71 - 78
Main Authors 高娜, 韩晓光, 陈增强, 张青
Format Journal Article
LanguageChinese
Published 南开大学计算机与控制工程学院,天津300350 2018
中国民航大学理学院,天津300300%中国民航大学理学院,天津,300300
天津市智能机器人技术重点实验室,天津300350
天津市智能机器人技术重点实验室,天津300350%南开大学计算机与控制工程学院,天津300350
Subjects
Petri网
能观性
discrete event dynamic systems
离散事件动态系统
有界Petri网系统
矩阵的半张量积
observability
bounded Petri net systems
Petri net
semi-tensor product of matrices
Online AccessGet full text
ISSN1000-8152
DOI10.7641/CTA.2017.60835

Cover

More Information
Summary:TP273; Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.
ISSN:1000-8152
DOI:10.7641/CTA.2017.60835