State estimation and fault detection using Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6709 LNCS, Issue , 2011, Pages 38-48

  Giua, Alessandro ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EXTENDED ABSTRACTS; THEORY OF PETRI NETS;

FAULT DETECTION;

PETRI NETS;

EID: 79960095683     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21834-7_3     Document Type: Conference Paper

References (47)

1. Barrett, G., Lafortune, S.: Decentralized supervisory control with communicating controllers. IEEE Trans. on Automatic Control 45(9), 1620-1638 (2000)
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)
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)
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)
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)
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
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)
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)
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)
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)
11. Chung, S.L.: Diagnosing PN-based models with partial observable transitions. International Journal of Computer Integrated Manufacturing 12 (2), 158-169 (2005)
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)
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)
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)
15. Dubreil, J., Darondeau, P., Marchand, H.: Supervisory control for opacity. IEEE Trans. on Automatic Control 55(5), 1089-1100 (2010)
16. Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Trans. on Automation Science and Engineering 4(2), 206-219 (2007)
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)
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)
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)
20. Giua, A., Seatzu, C.: Observability of place/transition nets. IEEE Trans. on Automatic Control 49(9), 1424-1437 (2002)
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)
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)
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)
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)
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)
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)
27. Lefebvre, D., Delherm, C.: Diagnosis of DES with Petri net models. IEEE Trans. on Automation Science and Engineering 4(1), 114-118 (2007)
28. Lin, F.: Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems 4(2), 197-212 (1994)
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)
30. Özveren, C.M., Willsky, A.S.: Observability of discrete event dynamic systems. IEEE Trans. on Automatic Control 35(7), 797-806 (1990)
31. Prock, J.: A new tecnique for fault detection using Petri nets. Automatica 27(2), 239-245 (1991)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
43. Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters 90(1), 21-28 (2004)
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)
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)
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)
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)