An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming
Systems and Control
2012-10-17 v1 Artificial Intelligence
Abstract
This document demonstrates that the efficient approach for diagnosis of Petri nets via integer linear programming may be unable to detect a fault even if the system is diagnosable.
Cite
@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}
}
Comments
3 pages