» Download Article

Authors
Sahika Genc; Stephane Lafortune

Digital Object Identifier (DOI)
10.3182/20050703-6-CZ-1902.01436

Page Numbers:
1435-1435

Index Terms
fault diagnosis,distributed algorithms,Petri nets,software implementation

Abstract
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.

References

[1] 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.
[2] 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.
[3] 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.
[4] de Queiroz, M. H. and J. E. R. Cury (2000). Modular
    control of composed systems. In: Proc. 2000
    American Control Conf., Chicago, USA.
[5] 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.
[6] 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.
[7] Giua, Alessandro (1997). Petri net state estimators
    based on event observation. IEEE 36th Int. Conf.
    on Decision and Control pp. 4086-4091.
[8] 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.
[9] 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.
[10] 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.
[11] 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.
[12] 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.