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

Proceedings of the American Control Conference

Volumn 2, Issue , 2005, Pages 1027-1032

  Qiu, Wenbin ^a   Kumar, Ratnesh ^a  

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

Author keywords

Communication delay; Discrete event systems; Distributed failure diagnosis; Joint diagnosability

Indexed keywords

BOUNDED-DELAY COMMUNICATION; DIAGNOZERS; DISTRIBUTED DIAGNOSIS; LOCAL SITE TRANSMITS;

BOUNDARY VALUE PROBLEMS; DIAGNOSIS; FAILURE ANALYSIS; NETWORK PROTOCOLS; SPECIFICATIONS;

TELECOMMUNICATION SYSTEMS;

EID: 23944497156     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. A. Beneveniste, E. Fabre, S. Haar, and C. Jard. Diagnosis of asynchronous discrete-event systems: A net unfolding approach. IEEE Transactions on Automatic Control, 48(5):714-727, 2003.
2. A. Bouloutas, G. W. Hart, and M. Schwartz. Simple finite-state fault detectors for communication networks. IEEE Trans. on Communications, 40(3):477-479, March 1992.
3. S. R. Das and L. E. Holloway. Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals. IEEE Transactions on Systems. Man, and Cybernetics-Part A: Systems and Humans, 30(1):52-66, 2000.
4. R. Debouk, S. Lafortune, and D. Teneketzis. On the effect of communication delays in failure diagnosis of decentralized discrete event systems, volume 13, pages 263-289.
5. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamical Systems: Theory and Applications, 10:33-79, 2000.
6. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, and A. E. Lindsey. Communication protocols for a fault-tolerant automated highway system. IEEE Transactions on Control Systems Technology, 8(5):787-800, September 2000.
7. C.N. Hadjicostis and G.C. Verghese. Power system monitoring based on relay and circuit breaker information. In Proceedings of the 2001 IEEE International Symposium on Circuits and Systems, volume 2, pages 197-200, May 2001.
8. S. Jiang and R. Kumar. Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. In Proceedings of IEEE Conference on Decision and Control, pages 3221-3226, Maui, Hawaii, 2003.
9. S. Jiang and R. Kumar. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. IEEE Transactions on Automatic Control, 49(6):934-945, 2004.
10. S. Jiang, R. Kumar, and H. E. Garcia. Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Transactions on Automatic Control, 19(2):310-323, 2003.
11. F. Lin. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications, 4(1):197-212, 1994.
12. J. Lygeros, D. N. Godbole, and M. Broucke. A fault tolerant control architecture for automated highway system. IEEE Transactions on Control Systems Technology, 8(2):205-219, March 2000.
13. R. E. Miller and A. K. Arisha. Fault identification in networks by passive testing. In Proceedings of the IEEE Annual Simulation Symposium, pages 277-284, 2001.
14. D. Pandalai and L. Holloway. Template languages for fault monitoring of timed discrete event processes. IEEE Transactions on Automatic Control, 45(5):868-882, May 2000.
15. A. D. Pouliezos and G. S. Stavrakakis. Real time fault monitoring of industrial processes. Kluwer Academic Publishers, Boston, MA, 1994.
16. W. Qiu and R. Kumar. Decentralized failure diagnosis of discrete event systems. In Proceedings of 2004 International Workshop on Discrete Event Systems, Reim, France, September 2004.
17. M. Sampath and S. Lafortune. Active diagnosis of discrete event systems. IEEE Transactions on Automatic Control, 43(7):908-929, 1998.
18. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575, September 1995.
19. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2): 105-124, March 1996.
20. S. Tripakis. Decentralized control of discrete-event systems with bounded or unbounded delay communication. IEEE Transactions on Automatic Control, 49(9): 1489-1501, 2004.
21. S. H. Zad, R. H. Kwong, and W. M. Wonham. Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Transactions on Automatic Control, 48(7): 1199-1212, 2003.