A discrete event systems approach to network fault management: Detection & diagnosis of faults

Proceedings of the American Control Conference

Volumn 6, Issue , 2004, Pages 5108-5113

  Bhattacharyya, S ^a   Huang, Z ^a   Chandra, V ^b   Kumar, R ^c  

^a UNIVERSITY OF KENTUCKY   (United States)

^b EASTERN KENTUCKY UNIVERSITY   (United States)

^c Iowa State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SYSTEMS; EVENT SETS; FINITE STATE MACHINES; NETWORK FAULT MANAGEMENT;

COMMUNICATION SYSTEMS; COMPUTER SIMULATION; NETWORK PROTOCOLS; SYNCHRONIZATION; TRANSFER FUNCTIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 8744318554     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2004.249125     Document Type: Conference Paper

References (10)

1. L. E. Holloway and S. Chand. Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations. Integrated Computer-Aided Engineering, 3(4), 1996.
2. Z. Huang, V. Chandra, S. Jiang, and R. Kumar Modeling of discrete event systems with faults using a rules based modeling formalism. Mathematical and Computer Modeling of Dynamical Systems, 9(3):233-254, 2003.
3. S. Jiang, Z. Huang, V. Chandra, and R. Kumar. A polynomial algorithm for testing diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 46(8):1318-1321, 2001.
4. S. Jiang and R. Kumar. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifi cations. IEEE Transactions on Automatic Control, To appear, 2004.
5. S. Jiang, R. Kumar, and H. E. Garcia. Diagnosis of repeated failures in discrete event systems. IEEE Transactions on Robotics and Automation, 19(2):310-323, 2003.
6. R. Kumar and V. K. Garg. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston, MA, 1995.
7. D. Lee, A. Netravali, K. Sabnani, B. Sugla, and A. John. Passive test and application to network management. In Proceedings of 1997 IEEE International Conference on Network Protocols, 1997.
8. R. Miller and K. Arisha. Fault identifi cation in networks using a cfsm model by passive testing. Technical report, Department of Computer Science University of Maryland, College Park, USA, 2001.
9. 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.
10. 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, 1996.