Distributed diagnosis under bounded-delay communication of immediately forwarded local observations

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 38, Issue 3, 2008, Pages 628-643

  Qiu, Wenbin ^a   Kumar, Ratnesh ^b  

^a Corning Incorporated ^*  (United States)

^b Iowa State University of Science and Technology   (United States)

Author keywords

Communication delay; Discrete event systems (DESs); Distributed failure diagnosis; Joint diagnosability

Indexed keywords

DELAY CONTROL SYSTEMS; DISCRETE EVENT SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; PROGRAM DIAGNOSTICS;

BOUNDED-DELAY COMMUNICATION; DISTRIBUTED FAILURE DIAGNOSIS; JOINT DIAGNOSABILITY;

TELECOMMUNICATION SYSTEMS;

EID: 43249102435     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2008.918627     Document Type: Article

References (33)

1. R. K. Boel J. H. van Schuppen Decentralized failure diagnosis for discrete-event systems with constrained communication between diagnosers Proc. Int. Workshop Discrete Event Syst. Proc. Int. Workshop Discrete Event Syst. 2002
2. O. Contant S. Lafortune D. Teneketzis Diagnosis of intermittent faults Discret. Event Dyn. Syst.: Theory Appl. 14 2 171 202 Apr. 2004
3. S. R. Das L. E. Holloway Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals IEEE Trans. Syst., Man, Cybern. A, Syst., Humans 30 1 52 66 Jan. 2000
4. R. Debouk S. Lafortune D. Teneketzis Coordinated decentralized protocols for failure diagnosis of discrete event systems Discret. Event Dyn. Syst.: Theory Appl. 10 1/2 33 79 Jan. 2000
5. H. E. Garcia T. S. Yoo Model-based detection of routing events in discrete flow networks Automatica 41 4 583 594 Apr. 2005
6. L. E. Holloway S. Chand Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations Integr. Comput.-Aided Eng. 3 4 244 254 1996
7. S. Jiang Z. Huang V. Chandra R. Kumar A polynomial algorithm for testing diagnosability of discrete-event systems IEEE Trans. Autom. Control 46 8 1318 1321 Aug. 2001
8. S. Jiang R. Kumar Failure diagnosis of discrete-event systems with linear-time temporal logic fault specifications IEEE Trans. Autom. Control 49 6 934 945 Jun. 2004
9. S. Jiang R. Kumar Diagnosis of dense-time systems using digital-clocks Proc. Amer. Control Conf. 6051 6056 Proc. Amer. Control Conf. Minneapolis MN 2006-Jun.
10. S. Jiang R. Kumar Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications IEEE Trans. Autom. Sci. Eng. 3 1 47 59 Jan. 2006
11. S. Jiang R. Kumar H. E. Garcia Diagnosis of repeated/intermittent failures in discrete event systems IEEE Trans. Robot. Autom. 19 2 310 323 Apr. 2003
12. R. Kumar V. K. Garg Modeling and Control of Logical Discrete Event Systems 1995 Kluwer MA, Boston
13. R. Kumar S. Takai Inference-based ambiguity management in decentralized decision making: Decentralized failure diagnosis of discrete event systems Proc. Amer. Control Conf. 6069 6074 Proc. Amer. Control Conf. Minneapolis MN 2006-Jun.
14. A. Paoli S. Lafortune Safe diagnosability for fault-tolerant supervision of discrete event systems Automatica 41 8 1335 1347 2005
15. A. D. Pouliezos G. S. Stavrakakis Real Time Fault Monitoring of Industrial Processes 1994 Kluwer MA, Boston
16. W. Qiu R. Kumar Decentralized diagnosis of event-driven systems for safely reacting to failures Proc. IFAC World Congr. Proc. IFAC World Congr. Prague Czech Republic 2005-Jul.
17. W. Qiu R. Kumar Decentralized failure diagnosis of discrete event systems IEEE Trans. Syst., Man, Cybern. A, Syst. Humans 36 2 384 395 Mar. 2006
18. W. Qiu R. Kumar S. Jiang Decidability of distributed diagnosis under unbounded-delay communication IEEE Trans. Autom. Control 52 1 114 117 Jan. 2007
19. P. J. Ramadge W. M. Wonham The control of discrete event systems Proc. IEEE 77 1 81 98 Jan. 1989
20. S. L. Ricker J. H. van Schuppen Decentralized failure diagnosis with asynchronous communication between supervisors Proc. Eur. Control Conf. 1002 1006 Proc. Eur. Control Conf. 2001
21. M. Sampath S. Lafortune Active diagnosis of discrete-event systems IEEE Trans. Autom. Control 43 7 908 929 Jul. 1998
22. M. Sampath R. Sengupta S. Lafortune K. Sinaamohideen D. Teneketzis Diagnosability of discrete event systems IEEE Trans. Autom. Control 40 9 1555 1575 Sep. 1995
23. R. Sengupta S. Tripakis Decentralized diagnosis of regular language is undecidable Proc. IEEE Conf. Decision Control 423 428 Proc. IEEE Conf. Decision Control Las Vegas NV 2002-Dec.
24. R. Su W. M. Wonham J. Kurien X. Koutsoukos Distributed diagnosis for qualitative systems Proc. Int. Workshop Discrete Event Syst. 169 Proc. Int. Workshop Discrete Event Syst. 2002
25. D. Thorsley D. Teneketzis Diagnosability of stochastic discrete-event systems IEEE Trans. Autom. Control 50 4 476 498 Apr. 2005
26. S. Tripakis Formal Techniques in Real Time and Fault Tolerant Systems 2469 2002 Springer-Verlag New York Fault diagnosis for timed automata
27. S. Tripakis Decentralized control of discrete-event systems with bounded or unbounded delay communication IEEE Trans. Autom. Control 49 9 1489 1501 Sep. 2004
28. Y. Wang T.-S. Yoo S. Lafortune Decentralized diagnosis of discrete event systems using unconditional and conditional decisions Proc. IEEE Conf. Decision Control 6298 6304 Proc. IEEE Conf. Decision Control Seville Spain 2005-Dec.
29. T. Yoo H. E. Garcia Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays Proc. Amer. Control Conf. 5102 5107 Proc. Amer. Control Conf. Boston MA 2004-Jun.
30. T. S. Yoo S. Lafortune Polynomial-time verification of diagnosability of partially observed discrete-event systems IEEE Trans. Autom. Control 47 9 1491 1495 Sep. 2002
31. S. H. Zad R. H. Kwong W. M. Wonham Fault diagnosis in timed discrete-event systems Proc. 38th IEEE Conf. Decision Control 1756 1761 Proc. 38th IEEE Conf. Decision Control Phoenix AZ 1999
32. S. H. Zad R. H. Kwong W. M. Wonham Fault diagnosis in discrete-event systems: Framework and model reduction IEEE Trans. Autom. Control 48 7 1199 1212 Jul. 2003
33. C. Zhou R. Kumar Computation of diagnosable fault-occurrence indices for systems with repeatable-faults Proc. IEEE Conf. Decision Control Eur. Control Conf. 6311 6316 Proc. IEEE Conf. Decision Control Eur. Control Conf. Seville Spain 2005-Dec.