Advanced search
1 file | 212.70 KB Add to list

On Fault Diagnosis of random Free-choice Petri Nets

(2009) IFAC papersOnline. p.1390-1395
Author
Organization
Abstract
This paper presents an on-line diagnosis algorithm for Petri nets where a priori probabilistic knowledge about the plant operation is available. We follow the method developed by Benveniste, Fabre, and Haar to assign probabilities to configurations in a net unfolding thus avoiding the need for randomizing all concurrent interleavings of transitions. We consider different settings of the diagnosis problem, including estimating the likelihood that a fault may have happened prior to the most recent observed event, the likelihood that a fault will have happened prior to the next observed event. A novel problem formulation treated in this paper considers deterministic diagnosis of faults that occurred prior to the most recent observed event, and simultaneous calculation of the likelihood that a fault will occur prior to the next observed event.
Keywords
Fault-tolerant control, Dependability, Discrete-event and hybrid systems

Downloads

  • SafeprocessFrB3-04.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 212.70 KB

Citation

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

MLA
Flochova, Jana, and René Boel. “On Fault Diagnosis of Random Free-choice Petri Nets.” IFAC papersOnline. Ed. Janos Gertler. IFAC (International Federation of Automatic Control), 2009. 1390–1395. Print.
APA
Flochova, J., & Boel, R. (2009). On Fault Diagnosis of random Free-choice Petri Nets. In J. Gertler (Ed.), IFAC papersOnline (pp. 1390–1395). Presented at the Safeprocess’09 - 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, IFAC (International Federation of Automatic Control).
Chicago author-date
Flochova, Jana, and René Boel. 2009. “On Fault Diagnosis of Random Free-choice Petri Nets.” In IFAC papersOnline, ed. Janos Gertler, 1390–1395. IFAC (International Federation of Automatic Control).
Chicago author-date (all authors)
Flochova, Jana, and René Boel. 2009. “On Fault Diagnosis of Random Free-choice Petri Nets.” In IFAC papersOnline, ed. Janos Gertler, 1390–1395. IFAC (International Federation of Automatic Control).
Vancouver
1.
Flochova J, Boel R. On Fault Diagnosis of random Free-choice Petri Nets. In: Gertler J, editor. IFAC papersOnline. IFAC (International Federation of Automatic Control); 2009. p. 1390–5.
IEEE
[1]
J. Flochova and R. Boel, “On Fault Diagnosis of random Free-choice Petri Nets,” in IFAC papersOnline, Barcelona, Spain, 2009, pp. 1390–1395.
@inproceedings{681331,
  abstract     = {This paper presents an on-line diagnosis algorithm for Petri nets where a priori probabilistic knowledge about the plant operation is available. We follow the method developed by Benveniste, Fabre, and Haar to assign probabilities to configurations in a net unfolding thus avoiding the need for randomizing all concurrent interleavings of transitions. We consider different settings of the diagnosis problem, including estimating the likelihood that a fault may have happened prior to the most recent observed event, the likelihood that a fault will have happened prior to the next observed event. A novel problem formulation treated in this paper considers deterministic diagnosis of faults that occurred prior to the most recent observed event, and simultaneous calculation of the likelihood that a fault will occur prior to the next observed event.},
  author       = {Flochova, Jana and Boel, René},
  booktitle    = {IFAC papersOnline},
  editor       = {Gertler, Janos},
  issn         = {N/A},
  keywords     = {Fault-tolerant control,Dependability,Discrete-event and hybrid systems},
  language     = {eng},
  location     = {Barcelona, Spain},
  pages        = {1390--1395},
  publisher    = {IFAC (International Federation of Automatic Control)},
  title        = {On Fault Diagnosis of random Free-choice Petri Nets},
  year         = {2009},
}