A distributed algorithm for on-line diagnosis of place-bordered petri nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 68-73

  Genç, Şahika ^a   Lafortune, Stéphane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Distributed algorithms; Fault diagnosis; Petri nets; Software implementation

Indexed keywords

FAILURE ANALYSIS; PARALLEL ALGORITHMS; PETRI NETS;

DIAGNOSTIC PROCESS; DISCRETE EVENTS; FAULT EVENT; ON-LINE DIAGNOSIS; ON-LINE FAULT DETECTION; REAL TIME; SOFTWARE IMPLEMENTATION; UNOBSERVABLE;

FAULT DETECTION;

EID: 79960733015     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.01436     Document Type: Conference Paper

References (12)

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.