一个示例说明通过整数线性规划诊断 Petri 网的高效方法的不精确性

Alban Grastien

一个示例说明通过整数线性规划诊断 Petri 网的高效方法的不精确性

系统与控制 2012-10-17 v1 人工智能

作者: Alban Grastien

在 arXiv 上查看 ↗ PDF ↗

摘要

本文论证了通过整数线性规划诊断 Petri 网的高效方法可能无法检测到故障，即使该系统是可诊断的。

关键词

Petri 网故障诊断整数线性规划可诊断性高效方法

引用

@article{arxiv.1210.4231,
  title  = {An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming},
  author = {Alban Grastien},
  journal= {arXiv preprint arXiv:1210.4231},
  year   = {2012}
}