DIAGNOSIS OF DISCRETE EVENT SYSTEMS WITH PETRI NETS AND CODING THEORY

Dimitri Lefebvre

Abstract

Event sequences estimation is an important issue for fault diagnosis of DES, so far as fault events cannot be directly measured. This work is about event sequences estimation with Petri net models. Events are assumed to be represented with transitions and firing sequences are estimated from measurements of the marking variation. Estimation with and without measurement errors are discussed in n – dimensional vector space over alphabet Z3 = {-1, 0, 1}. Sufficient conditions and estimation algorithms are provided. Performance is evaluated and the efficiency of the approach is illustrated on two examples from manufacturing engineering.

References

  1. Askin R.G., Standridge C. R. (1993). Modeling and analysis of Petri nets, John Wiley and sons Inc.
  2. Berlekamp R.E. (1984). Algebraic coding theory, Laguna Hills, CA, Aegean Park.
  3. Blanke M., Kinnaert M., Lunze J., Staroswiecki M. (2003). Diagnosis and fault tolerant control, Springer Verlag, New York.
  4. Cassandras C.G., Lafortune S. (1999). Introduction to discrete event systems, Kluwer Academic Pub.
  5. David R., Alla H. (1992). Petri nets and grafcet - tools for modelling discrete events systems, Prentice Hall, London.
  6. Lefebvre D., El Moudni A. (2001). Firing and enabling sequences estimation for timed Petri nets, Trans. IEEE - SMCA, vol. 31, no.3, pp. 153- 162.
  7. Lefebvre D., Delherm C. (2007). Fault detection and isolation of discrete event systems with Petri net models, Trans. IEEE - TASE, vol. 4, no. 1, pp. 114 - 118.
  8. Lefebvre D. (2008). Firing sequences estimation in vector space over Z3 for ordinary Petri nets, , accepted for publication in Trans. IEEE - SMCA.
  9. Li L., Hadjicostis C. N. Sreenivas R. S. (2004). Fault Detection and Identification in Petri Net Controllers, Proc. IEEE-CDC04, pp. 5248 - 5253, Atlantis, Paradise Island, Bahamas.
  10. Ramirez-Trevino A., Ruiz-Bletran E., Rivera-Rangel I., Lopez-Mellado E. (2007). Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach, Trans. IEEE - TASE, vol. 4, no. 1, pp. 31-39.
  11. Rausand M., Hoyland A. (2004). System reliability theory : models, statistical methods, and applications, Wiley, Hoboken, New Jersey.
  12. Ren H., Mi Z. (2006). Power system fault diagnosis modeling techniques based on encoded Petri nets, Proc. IEEE Power Engineering Society General Meeting.
  13. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., Teneketzis D. (1995). Diagnosibility of discrete event systems, Trans. IEEE-TAC, vol. 40, no.9, pp. 1555- 1575.
  14. Silva M., Recalde L. (2004). On fluidification of Petri Nets: from discrete to hybrid and continuous models, Annual Reviews in Control, vol. 28, no. 2, pp. 253-266.
  15. Ushio T., Onishi I., Okuda K., (1998). Fault detection based on Petri net models with faulty behaviours, Proc. IEEE - SMC98, pp 113-118.
  16. Van Lint J.H. (1999). Introduction to Coding Theory, Graduate Texts in Mathematics, vol. 86, Springer Verlag.
  17. Wu Y., Hadjicostis N. (2002). Non-concurrent fault identification in discrete event systems using encoded Petri net states, Proc. IEEE - CDC02, vol. 4, pp4018- 4023.
  18. Wu Y., Hadjicostis N. (2005). Algebraic approaches for fault identification in discrete event systems, Trans. IEEE - TAC, vol. 50, no. 12, pp. 2048 - 2053.
Download


Paper Citation


in Harvard Style

Lefebvre D. (2008). DIAGNOSIS OF DISCRETE EVENT SYSTEMS WITH PETRI NETS AND CODING THEORY . In Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-8111-31-9, pages 15-22. DOI: 10.5220/0001481700150022


in Bibtex Style

@conference{icinco08,
author={Dimitri Lefebvre},
title={DIAGNOSIS OF DISCRETE EVENT SYSTEMS WITH PETRI NETS AND CODING THEORY},
booktitle={Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2008},
pages={15-22},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001481700150022},
isbn={978-989-8111-31-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - DIAGNOSIS OF DISCRETE EVENT SYSTEMS WITH PETRI NETS AND CODING THEORY
SN - 978-989-8111-31-9
AU - Lefebvre D.
PY - 2008
SP - 15
EP - 22
DO - 10.5220/0001481700150022