A distributed algorithm for on-line diagnosis of place-bordered Petri nets
World Congress, Volume # 16 | Part# 1
Sahika Genc; Stephane Lafortune
Digital Object Identifier (DOI)
fault diagnosis,distributed algorithms,Petri nets,software implementation
A new distributed algorithm for on-line fault detection and isolation of discrete-event systems modeled by Petri nets is presented. The algorithm is applicable to systems modeled in a modular manner by means of place-bordered Petri nets, i.e., Petri nets with common places but distinct transitions. These Petri nets have transition labeled with events; fault events are modeled as transitions labeled with unobservable events. It is assumed that the diagnoser modules are able to communicate in real-time during the diagnostic process. A merge function is defined to combine the individual diagnoser states and recover the complete diagnoser state that would be obtained under a monolithic approach.
 Benveniste, A., E. Fabre, S. Haar and C. Jard (2003). Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. Automatic Control 48(5), 714-727.  Boel, R. K. and G. Jiroveanu (2004). Distributed contextual diagnosis for very large systems. In: Proc. of the 2004 International Workshop on Discrete Event Systems - WODES'04. Reims, France.  Contant, O., S. Lafortune and D. Teneketzis (2004). Diagnosis of modular discrete event systems. In: Proc. of the 2004 International Workshop on Discrete Event Systems - WODES'04. Reims, France.  de Queiroz, M. H. and J. E. R. Cury (2000). Modular control of composed systems. In: Proc. 2000 American Control Conf., Chicago, USA.  Debouk, R., S. Lafortune and D. Teneketzis (2000). Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 10(1/2), 33-86.  Genc, S. and S. Lafortune (2003). Distributed diagnosis of discrete-event systems using Petri nets. In: Application and Theory of Petri Nets, 2003 (Series Lecture Notes in Computer Science). Vol. 2679. Springer-Verlag. pp. 316-336.  Giua, Alessandro (1997). Petri net state estimators based on event observation. IEEE 36th Int. Conf. on Decision and Control pp. 4086-4091.  Hadjicostis, Christoforos N. and George C. Verghese (1999). Monitoring discrete event systems using Petri net embeddings. Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science) 1639, 188-207.  Lafortune, S., D. Teneketzis, M. Sampath, R. Sengupta and K. Sinnamohideen (2001). Failure diagnosis of dynamic systems: An approach based on discrete event systems. In: Proc. 2001 American Control Conf., pp. 2058-2071.  Sampath, M., R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis (1996). Failure diagnosis using discrete event models. IEEE Trans. Control Systems Technology 4(2), 105-124.  Sifakis, Joseph (1979). Realization of fault-tolerant systems by coding Petri nets. Journal of Design Automation and Fault-Tolerant Computing Vol. 3 pp. 93-107.  Su, R., W. M. Wonham, J. Kurien and X. Koutsoukos (2002). Distributed diagnosis for qualitative systems. In: Proc. of the 2002 International Workshop on Discrete Event Systems - WODES'02 (M. Silva, A. Giua and J.M. Colom, Eds.). IEEE Computer Society. pp. 169-174.