Skip to main content
SpringerLink
Log in

State Estimation and Fault Detection Using Petri Nets

  • Conference paper
Applications and Theory of Petri Nets (PETRI NETS 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6709))

Abstract

This extended abstract serves as a support for the plenary address given by the author at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barrett, G., Lafortune, S.: Decentralized supervisory control with communicating controllers. IEEE Trans. on Automatic Control 45(9), 1620–1638 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  2. Basile, F., Chiacchio, P., De Tommasi, G.: An efficient approach for online diagnosis of discrete event systems. IEEE Trans. on Automatic Control 54(4), 748–759 (2008)

    Article  MathSciNet  Google Scholar 

  3. Benveniste, A., Fabre, E., Haar, S., Jard, C.: Diagnosis of asynchronous discrete event systems: A net unfolding approach. IEEE Trans. on Automatic Control 48(5), 714–727 (2003)

    Article  MathSciNet  Google Scholar 

  4. Boel, R.K., van Schuppen, J.H.: Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In: Proc. 6th Work. on Discrete Event Systems, Zaragoza, Spain, pp. 175–181 (October 2002)

    Google Scholar 

  5. Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: Diagnosability analysis of unbounded Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China, pp. 1267–1272 (December 2009)

    Google Scholar 

  6. Cabasino, M.P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Engineering Practice (2010), doi:10.1016/j.conengprac.2010.12.010

    Google Scholar 

  7. Cabasino, M.P., Giua, A., Seatzu, C.: Diagnosability of bounded Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China, pp. 1254–1260 (December 2009)

    Google Scholar 

  8. Cabasino, M.P., Giua, A., Seatzu, C.: Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9), 1531–1539 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  9. Caines, P.E., Greiner, R., Wang, S.: Dynamical logic observers for finite automata. In: Proc. 27th IEEE Conf. on Decision and Control, Austin, TX, USA, pp. 226–233 (December 1988)

    Google Scholar 

  10. Caines, P.E., Wang, S.: Classical and logic based regulator design and its complexity for partially observed automata. In: Proc. 28th IEEE Conf. on Decision and Control, Tampa, FL, USA, pp. 132–137 (December 1989)

    Google Scholar 

  11. Chung, S.L.: Diagnosing PN-based models with partial observable transitions. International Journal of Computer Integrated Manufacturing 12 (2), 158–169 (2005)

    Article  Google Scholar 

  12. Corona, D., Giua, A., Seatzu, C.: Marking estimation of Petri nets with silent transitions. IEEE Trans. on Automatic Control 52(9), 1695–1699 (2007)

    Article  MathSciNet  Google Scholar 

  13. Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamical Systems 10(1), 33–86 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  14. Dotoli, M., Fanti, M.P., Mangini, A.M.: Fault detection of discrete event systems using Petri nets and integer linear programming. In: Proc. of 17th IFAC World Congress, Seoul, Korea (July 2008)

    Google Scholar 

  15. Dubreil, J., Darondeau, P., Marchand, H.: Supervisory control for opacity. IEEE Trans. on Automatic Control 55(5), 1089–1100 (2010)

    Article  MathSciNet  Google Scholar 

  16. Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Trans. on Automation Science and Engineering 4(2), 206–219 (2007)

    Article  Google Scholar 

  17. Ghazel, M., Togueni, A., Bigang, M.: A monitoring approach for discrete events systems based on a time Petri net model. In: Proc. of 16th IFAC World Congress, Prague, Czech Republic (July 2005)

    Google Scholar 

  18. Giua, A.: Petri net state estimators based on event observation. In: Proc. 36th IEEE Conf. on Decision and Control, San Diego, CA, USA, pp. 4086–4091 (December 1997)

    Google Scholar 

  19. Giua, A., Corona, D., Seatzu, C.: State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions. Discrete Events Dynamical Systems 15(1), 85–108 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  20. Giua, A., Seatzu, C.: Observability of place/transition nets. IEEE Trans. on Automatic Control 49(9), 1424–1437 (2002)

    Article  MathSciNet  Google Scholar 

  21. Giua, A., Seatzu, C., Basile, F.: Observer based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. on Automatic Control 49(1), 17–29 (2004)

    Article  MathSciNet  Google Scholar 

  22. Hadjicostis, C.N., Verghese, G.C.: Monitoring discrete event systems using Petri net embeddings. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 188–207. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  23. Hashtrudi Zad, S., Kwong, R.H., Wonham, W.M.: Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. on Automatic Control 48(7), 1199–1212 (2003)

    Article  MathSciNet  Google Scholar 

  24. Jiroveanu, G., Boel, R.K.: The diagnosability of Petri net models using minimal explanations. IEEE Trans. on Automatic Control 55(7), 1663–1668 (2010)

    Article  MathSciNet  Google Scholar 

  25. Jiroveanu, G., Boel, R.K., Bordbar, B.: On-line monitoring of large Petri net models under partial observation. Discrete Events Dynamical Systems 18(3), 323–354 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  26. Kumar, R., Garg, V., Markus, S.I.: Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. on Automatic Control 38(2), 232–247 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  27. Lefebvre, D., Delherm, C.: Diagnosis of DES with Petri net models. IEEE Trans. on Automation Science and Engineering 4(1), 114–118 (2007)

    Article  Google Scholar 

  28. Lin, F.: Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems 4(2), 197–212 (1994)

    Article  MATH  Google Scholar 

  29. Meda-Campaña, M.E., Ramírez-Treviño, A., Malo, A.: Identification in discrete event systems. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Diego, CA, USA, pp. 740–745 (October 1998)

    Google Scholar 

  30. Özveren, C.M., Willsky, A.S.: Observability of discrete event dynamic systems. IEEE Trans. on Automatic Control 35(7), 797–806 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  31. Prock, J.: A new tecnique for fault detection using Petri nets. Automatica 27(2), 239–245 (1991)

    Article  MathSciNet  Google Scholar 

  32. Ramadge, P.J.: Observability of discrete-event systems. In: Proc. 25th IEEE Conf. on Decision and Control, Athens, Greece, pp. 1108–1112 (December 1986)

    Google Scholar 

  33. Ramírez-Treviño, A., Rivera-Rangel, I., López-Mellado, E.: Observer design for discrete event systems modeled by interpreted Petri nets. In: Proc. 2000 IEEE Int. Conf. on Robotics and Automation, San Francisco, CA, USA, pp. 2871–2876 (April 2000)

    Google Scholar 

  34. Ricker, S.L., Caillaud, B.: Mind the gap: Expanding communication options in decentralized discrete-event control. In: Proc. 46th IEEE Conf. on Decision and Control, New Orleans, LA, USA, p. 5924 (December 2007)

    Google Scholar 

  35. Ru, Y., Hadjicostis, C.N.: Bounds on the number of markings consistent with label observations in Petri nets. IEEE Trans. on Automation Science and Engineering 6(2), 334–344 (2009)

    Article  Google Scholar 

  36. Ru, Y., Hadjicostis, C.N.: Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Discrete Events Dynamical Systems 19(4), 551–575 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  37. Saboori, A., Hadjicostis, C.N.: Opacity-enforcing supervisory strategies for secure discrete event systems. In: Proc. 47th IEEE Conf. on Decision and Control, Cancun, Mexico, pp. 889–894 (December 2008)

    Google Scholar 

  38. Saboori, A., Hadjicostis, C.N.: Opacity verification in stochastic discrete event systems. In: Proc. 49th IEEE Conf. on Decision and Control, Atlanta, GA, USA, pp. 6759–6764 (December 2010)

    Google Scholar 

  39. Saboori, A., Hadjicostis, C.N.: Reduced-complexity verification for initial-state opacity in modular discrete event systems. In: Proc. 10th Work. on Discrete Event Systems, Berlin, Germany (August/September 2010)

    Google Scholar 

  40. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. on Automatic Control 40(9), 1555–1575 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  41. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology 4(2), 105–124 (1996)

    Article  MATH  Google Scholar 

  42. Srinivasan, V.S., Jafari, M.A.: Fault detection and monitoring using time Petri nets. IEEE Trans. on Systems, Man and Cybernetics 23(4), 1155–1162 (1993)

    Article  Google Scholar 

  43. Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters 90(1), 21–28 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  44. Ushio, T., Onishi, L., Okuda, K.: Fault detection based on Petri net models with faulty behaviors. In: Proc. 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics, San Diego, CA, USA, pp. 113–118 (October 1998)

    Google Scholar 

  45. Wen, Y., Jeng, M.: Diagnosability analysis based on T-invariants of Petri nets. In: Proc. 2005 IEEE Int. Conf. on Networking, Sensing and Control, Tucson, AZ, USA, pp. 371–376 (March 2005)

    Google Scholar 

  46. Wen, Y., Li, C., Jeng, M.: A polynomial algorithm for checking diagnosability of Petri nets. In: Proc. 2005 IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 2542–2547 ( October 2005)

    Google Scholar 

  47. Wu, Y., Hadjicostis, C.N.: Algebraic approaches for fault identification in discrete-event systems. IEEE Trans. Robotics and Automation 50(12), 2048–2053 (2005)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DIEE, University of Cagliari, Piazza d’Armi, 09123, Cagliari, Italy

    Alessandro Giua

Authors
  1. Alessandro Giua
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Engineering, Bergen University College, Norway

    Lars M. Kristensen

  2. LIPN, CNRS UMR 7030, Université Paris XIII, 99, avenue Jean-Baptiste Clément, F-93430, Villetaneuse, France

    Laure Petrucci

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giua, A. (2011). State Estimation and Fault Detection Using Petri Nets. In: Kristensen, L.M., Petrucci, L. (eds) Applications and Theory of Petri Nets. PETRI NETS 2011. Lecture Notes in Computer Science, vol 6709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21834-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21834-7_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21833-0

  • Online ISBN: 978-3-642-21834-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation