Advanced search
1 file | 977.32 KB

On-line monitoring of large Petri Net models under partial observation

Author
Organization
Abstract
We consider a Petri Net model of the plant. The observation is given by a subset of transitions whose occurrence is always and immediately sensed by a monitoring agent. Other transitions not in this subset are silent (unobservable). Classical on-line monitoring techniques, which are based on the estimation of the current state of the plant and the detection of the occurrence of undesirable events (faults), are not suitable for models of large systems due to high spatial complexity (exponential in the size of the entire model). In this paper we propose a method based on the explanation of plant observation. A legal trace minimally explains the observation if it includes all unobservable transitions whose firing is needed to enable the observed transitions. To do so, starting from an observable transition, using backward search techniques, a set of minimal explanations is derived, which are sufficient for detecting whether a fault event must have occurred for sure in the plant or not. The technique also allows production of a set of basis markings for the estimation of the current state of the plant. The set of all possible current markings can then be characterized as the unobservable reach of these basis markings. The computational complexity of the algorithm depends on the size of the largest connected subnet which includes only unobservable transitions. This allows monitoring of plants of any size in which there is no large unobservable subnet. We also illustrate the applicability of the method for the monitoring of a class of infinite state systems, unbounded Petri Nets with unobservable trap circuits, and we show how this can be useful for distributed implementations.
Keywords
diagnosis, SYSTEMS, DES, monitoring

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 977.32 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Jiroveanu, George, René Boel, and Behzad Bordbar. 2008. “On-line Monitoring of Large Petri Net Models Under Partial Observation.” Discrete Event Dynamic Systems-theory and Applications 18 (3): 323–354.
APA
Jiroveanu, G., Boel, R., & Bordbar, B. (2008). On-line monitoring of large Petri Net models under partial observation. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 18(3), 323–354.
Vancouver
1.
Jiroveanu G, Boel R, Bordbar B. On-line monitoring of large Petri Net models under partial observation. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. Dordrecht, The Netherlands: Springer; 2008;18(3):323–54.
MLA
Jiroveanu, George, René Boel, and Behzad Bordbar. “On-line Monitoring of Large Petri Net Models Under Partial Observation.” DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS 18.3 (2008): 323–354. Print.
@article{681190,
  abstract     = {We consider a Petri Net model of the plant. The observation is given by a subset of transitions whose occurrence is always and immediately sensed by a monitoring agent. Other transitions not in this subset are silent (unobservable). Classical on-line monitoring techniques, which are based on the estimation of the current state of the plant and the detection of the occurrence of undesirable events (faults), are not suitable for models of large systems due to high spatial complexity (exponential in the size of the entire model). In this paper we propose a method based on the explanation of plant observation. A legal trace minimally explains the observation if it includes all unobservable transitions whose firing is needed to enable the observed transitions. To do so, starting from an observable transition, using backward search techniques, a set of minimal explanations is derived, which are sufficient for detecting whether a fault event must have occurred for sure in the plant or not. The technique also allows production of a set of basis markings for the estimation of the current state of the plant. The set of all possible current markings can then be characterized as the unobservable reach of these basis markings. The computational complexity of the algorithm depends on the size of the largest connected subnet which includes only unobservable transitions. This allows monitoring of plants of any size in which there is no large unobservable subnet. We also illustrate the applicability of the method for the monitoring of a class of infinite state systems, unbounded Petri Nets with unobservable trap circuits, and we show how this can be useful for distributed implementations.},
  author       = {Jiroveanu, George and Boel, Ren{\'e} and Bordbar, Behzad},
  issn         = {0924-6703},
  journal      = {DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS},
  language     = {eng},
  number       = {3},
  pages        = {323--354},
  publisher    = {Springer},
  title        = {On-line monitoring of large Petri Net models under partial observation},
  url          = {http://dx.doi.org/10.1007/s10626-007-0036-x},
  volume       = {18},
  year         = {2008},
}

Altmetric
View in Altmetric
Web of Science
Times cited: