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

• 作者: 张青 陈增强 韩晓光 高娜
• 来源期刊: 控制理论与应用
• 学科: 工学
• 关键词: 离散事件动态系统 能观性 有界Petri网系统 Petri网 矩阵的半张量积
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 离散事件动态系统专题
• 页码范围: 71-78
• 页数: 8页
• 分类号: TP273
• 字数: 8774字
• 语种: 中文
• DOI: 10.7641/CTA.2017.60835

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈增强	南开大学计算机与控制工程学院	345	4297	35.0	48.0
4	张青	中国民航大学理学院	53	225	8.0	12.0
5	高娜	南开大学计算机与控制工程学院	2	4	2.0	2.0
9	韩晓光	南开大学计算机与控制工程学院	7	8	2.0	2.0