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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barrett, G., Lafortune, S.: Decentralized supervisory control with communicating controllers. IEEE Trans. on Automatic Control 45(9), 1620–1638 (2000)
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)
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)
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)
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)
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
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)
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)
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)
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)
Chung, S.L.: Diagnosing PN-based models with partial observable transitions. International Journal of Computer Integrated Manufacturing 12 (2), 158–169 (2005)
Corona, D., Giua, A., Seatzu, C.: Marking estimation of Petri nets with silent transitions. IEEE Trans. on Automatic Control 52(9), 1695–1699 (2007)
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)
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)
Dubreil, J., Darondeau, P., Marchand, H.: Supervisory control for opacity. IEEE Trans. on Automatic Control 55(5), 1089–1100 (2010)
Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Trans. on Automation Science and Engineering 4(2), 206–219 (2007)
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)
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)
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)
Giua, A., Seatzu, C.: Observability of place/transition nets. IEEE Trans. on Automatic Control 49(9), 1424–1437 (2002)
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)
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)
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)
Jiroveanu, G., Boel, R.K.: The diagnosability of Petri net models using minimal explanations. IEEE Trans. on Automatic Control 55(7), 1663–1668 (2010)
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)
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)
Lefebvre, D., Delherm, C.: Diagnosis of DES with Petri net models. IEEE Trans. on Automation Science and Engineering 4(1), 114–118 (2007)
Lin, F.: Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems 4(2), 197–212 (1994)
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)
Özveren, C.M., Willsky, A.S.: Observability of discrete event dynamic systems. IEEE Trans. on Automatic Control 35(7), 797–806 (1990)
Prock, J.: A new tecnique for fault detection using Petri nets. Automatica 27(2), 239–245 (1991)
Ramadge, P.J.: Observability of discrete-event systems. In: Proc. 25th IEEE Conf. on Decision and Control, Athens, Greece, pp. 1108–1112 (December 1986)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters 90(1), 21–28 (2004)
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)
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)
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)
Wu, Y., Hadjicostis, C.N.: Algebraic approaches for fault identification in discrete-event systems. IEEE Trans. Robotics and Automation 50(12), 2048–2053 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)