| 一种有界Petri网的可诊断性验证方法 |
| |
| 作者姓名： | 郝真鸣 李承旺 张超岩 冉宁 |
| |
| 作者单位： | 河北大学电子信息工程学院,河北保定071002;河北大学物联网智能技术研究中心,河北保定071002;河北大学电子信息工程学院,河北保定071002;河北大学电子信息工程学院,河北保定071002;河北大学节能技术研发中心,河北保定071002 |
| |
| 基金项目： | 国家自然科学基金资助项目(61903119);;河北省自然科学基金资助项目(F2019201088;A2020201021);;河北省高等学校科学技术研究项目(BJ2021008); |
| |
| 摘 要： | 离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断...
|
| 关 键 词： | 离散事件系统 Petri网 故障诊断 可诊断性 |
| 收稿时间： | 2021-02-03 |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《河北大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《河北大学学报(自然科学版)》下载全文 |
|
