Abstract
The problem of detecting and isolating fault events in dynamic systems modeled as discrete-event systems is considered. The modeling formalism adopted is that of Petri nets with labeled transitions, where some of the transitions are labeled by different types of unobservable fault events. The Diagnoser Approach for discrete-event systems modeled by automata developed in earlier work is adapted and extended to on-line fault diagnosis of systems modeled by Petri nets, resulting in a centralized diagnosis algorithm based on the notion of “Petri net diagnosers”. A distributed version of this centralized algorithm is also presented. This distributed version assumes that the Petri net model of the system can be decomposed into two place-bordered Petri nets satisfying certain conditions and that the two resulting Petri net diagnosers can exchange messages upon the occurrence of observable events. It is shown that this distributed algorithm is correct in the sense that it recovers the same diagnostic information as the centralized algorithm. The distributed algorithm provides an approach for tackling fault diagnosis of large complex systems.
This research is supported in part by NSF grant ECS-0080406.
This is a preview of subscription content, log in via an institution to check access.
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
Pouliezos, A.D., Stavrakakis, G.S.: Real time fault monitoring of industrial processes. Kluwer Academic Publishers (1994)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers (1999)
Lafortune, S., Teneketzis, D., Sampath, M., Sengupta, R., Sinnamohideen, K.: Failure diagnosis of dynamic systems: An approach based on discrete event systems. In: Proc. 2001 American Control Conf. (2001) 2058–2071
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete event systems. IEEE Trans. Automatic Control 40 (1995) 1555–1575
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete event models. IEEE Trans. Control Systems Technology 4 (1996) 105–124
Sampath, M.: Discrete event systems based diagnostics for a variable air volume terminal box application. Technical report, Advanced Development Team, Johnson Controls, Inc. (1995)
Şimşek, H.T., Sengupta, R., Yovine, S., Eskafi, F.: Fault diagnosis for intra-platoon communication. In: Proc. 38th IEEE Conf. on Decision and Control. (1999)
Sengupta, R.: Discrete-event diagnostics of automated vehicles and highways. In: Proc. 2001 American Control Conf. (2001)
Sampath, M., Godambe, A., Jackson, E., Mallow, E.: Combining qualitative and quantitative reasoning-a hybrid approach to failure diagnosis of industrial systems. In: IFAC Safe Process 2000. (2000) 494–501
Sampath, M.: A hybrid approach to failure diagnosis of industrial systems. In: Proc. 2001 American Control Conf. (2001)
García, E., Morant, F., Blasco-Giménez, R., Quiles, E.: Centralized modular diagnosis and the phenomenon of coupling. In Silva, M., Giua, A., Colom, J., eds.: Proceedings of the 6th International Workshop on Discrete Event Systems, IEEE Computer Society (2002) 161–168
Chehaibar, G.: Replacements of Open Interface Subnets and Stable State Transformation Equivalance, Springer-Verlag (1993) 1–25
Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science, vol. 625). Springer-Verlag (1998)
Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., Jard, C.: Fault detection and diagnosis in distributed systems: An approach by partially stochastic petri nets. Journal of Discrete Event Dynamical Systems Vol. 8(2) (1998) 203–231
Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. Technical Report Research Report 1456, Irisa (2002)
Hadjicostis, C.N., Verghese, G.C.: Monitoring Discrete Event Systems Using Petri Net Embeddings. Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science, vol. 1639) (1999) 188–207
Sifakis, J.: Realization of fault-tolerant systems by coding petri nets. Journal of Design Automation and Fault-Tolerant Computing Vol. 3 (1979) 93–107
Giua, A.: Petri net state estimators based on event observation. IEEE 36th Int. Conf. on Decision and Control (1997) 4086–4091
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Genc, S., Lafortune, S. (2003). Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-44919-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40334-0
Online ISBN: 978-3-540-44919-5
eBook Packages: Springer Book Archive