| 引用本文: | 高娜,韩晓光,陈增强,张青.基于矩阵方法的有界Petri网系统的能观性分析[J].控制理论与应用,2018,35(1):71~78.[点击复制] |
| GAO Na,HAN Xiao-guang,CHEN Zeng-qiang,ZHANG Qing.Observability analysis of bounded petri net systems via a matrix approach[J].Control Theory and Technology,2018,35(1):71~78.[点击复制] |
|
| 基于矩阵方法的有界Petri网系统的能观性分析 |
| Observability analysis of bounded petri net systems via a matrix approach |
| 摘要点击 2450 全文点击 1324 投稿时间：2016-11-05 修订日期：2017-04-09 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2017.60835 |
| 2018,35(1):71-78 |
| 中文关键词 离散事件动态系统 能观性 有界Petri网系统 Petri网 矩阵的半张量积 |
| 英文关键词 discrete event dynamic systems observability bounded Petri net systems Petri net semi-tensor product of matrices |
| 基金项目 国家自然科学基金项目(61573199, 61573200),天津市自然科学基金项目(14JCYBJC18700)资助. |
|
| 中文摘要 |
| Petri网和有限自动机是离散事件动态系统的两类主要研究内容. 而Petri网系统的能观性分析与判别是基
于Petri 网的实际系统设计、优化、监测及控制的重要基础. 以往关于Petri网能观测性的研究缺乏定量化的充要判别
条件. 本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题. 首先, 基于矩阵的半张量积, 将带有
输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型. 然后, 针对初始标识和当前标识, 介绍了
两种能观性定义. 最后, 基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件, 并给出严格证明. 数
值算例验证了理论结果. 本文提出的方法实现了有界Petri网系统能观性的矩阵运算, 易于计算机实现. |
| 英文摘要 |
| Petri nets and finite automata are two main kinds of research contents in discrete event dynamic systems.
The observability analysis and judgement of Petri nets are essential for the design, optimization, monitoring and control
of actual systems, but quantitative necessary and sufficient conditions for observability are inexistent during existing research
literature. This study investigates the observability problem of bounded petri net systems with outputs via a matrix
approach. Firstly, several different petri nets with outputs are introduced. Secondly, using semi-tensor product of matrices,
the mathematical modeling of dynamical behavior of bounded petri net systems with outputs is established in the form
of linear equations. Thirdly, two different observability definitions, either for initial marking or current marking, are introduced.
Finally, some matrix-form necessary and sufficient conditions for both the initial and current marking are first
proposed. The proposed approach realizes the matrix operation for the observability of bounded petri net systems and it
can be realized easily by computer |
|
|
|
|
|