Probabilistic approaches to fault detection in networked discrete event systems

IEEE Transactions on Neural Networks

Volumn 16, Issue 5, 2005, Pages 1042-1052

  Athanasopoulou, Eleftheria ^a   Hadjicostis, Christoforos N ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Communication protocols; Discrete event system (DES); Distributed systems; Finite state machines (FSMs); Markov models; Probabilistic fault detection

Indexed keywords

COMPUTER NETWORKS; DISTRIBUTED COMPUTER SYSTEMS; FINITE AUTOMATA; MARKOV PROCESSES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBABILITY;

DISCRETE EVENT SYSTEM; MARKOV MODELS; PROBABILISTIC FAULT DETECTION;

FAULT TOLERANT COMPUTER SYSTEMS;

ALGORITHM; ARTICLE; ARTIFACT; ARTIFICIAL INTELLIGENCE; AUTOMATED PATTERN RECOGNITION; COMPUTER SIMULATION; EVALUATION; INFORMATION RETRIEVAL; INTERNET; METHODOLOGY; SIGNAL PROCESSING; STATISTICAL MODEL; TELECOMMUNICATION;

ALGORITHMS; ARTIFACTS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; INFORMATION STORAGE AND RETRIEVAL; INTERNET; MODELS, STATISTICAL; PATTERN RECOGNITION, AUTOMATED; SIGNAL PROCESSING, COMPUTER-ASSISTED; TELECOMMUNICATIONS;

EID: 26844494151     PISSN: 10459227     EISSN: None     Source Type: Journal    
DOI: 10.1109/TNN.2005.853430     Document Type: Article

References (38)

1. S. Rich and V. Venkatasubramanian, "Model-based reasoning in diagnostic expert systems for chemical process plants," Comput. Chem. Eng., vol. 11, no. 2, pp. 111-122, 1987.
2. W. Hamscher, L. Console, and J. Kleer, Readings in Model Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
3. A. A. Lazar, W. W. Wang, and R. H. Deng, "Models and algorithms for network fault detection and identification: A review," in Proc. IEEE ICCS/ISITA, vol. 3, Nov. 1992, pp. 999-1003.
4. C. S. Hood and C. Ji, "Probabilistic network fault detection," in Proc. Global Telecommunications Conf. vol. 3, Nov. 1996, pp. 1872-1876.
5. L. L. Ho, D. J. Cavuto, S. Papavassiliou, and A. G. Zawadzki, "Adaptive and automated detection of service anomalies in transaction-oriented WAN's: Network analysis, algorithms, implementation, and deployment," IEEE J. Sel. Areas Commun., vol. 18, no. 5, pp. 744-757, May 2000.
6. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete-event systems: A net unfolding approach," IEEE Trans. Autom. Control, vol. 48, no. 5, pp. 714-727, May 2003.
7. A. Benveniste, E. Fabre, and S. Haar, "Markov nets: Probabilistic models for distributed and concurrent systems," IEEE Trans. Autom. Control, vol. 48, no. 11, pp. 1936-1950, Nov. 2003.
8. A. Ramirez-Trevino, I. Rivera-Rangel, and E. Lopez-Mellado, "Observability of discrete event systems modeled by interpreted Petri nets," IEEE Trans. Robot. Autom., vol. 19, no. 4, pp. 557-565, Aug. 2003.
9. C. G. Cassandras and S. Lafortune, Introduction to Discrete-Event Systems. Norwell, MA: Kluwer, 1999.
10. A. T. Boulotitas, G. W. Hart, and M. Schwartz, "Simple finite-state fault detectors for commumcation networks," IEEE Trans. Commun., vol. 40, no. 3, pp. 477-479, Mar. 1992.
11. A. T. Boulotitas, G. W. Hart, and M. Schwartz, "Fault identification using a finite state machine model with unreliable partially observed data sequences," IEEE Trans. Commun., vol. 41, no. 7, pp. 1074-1083, Jul. 1993.
12. C. Wang and M. Schwartz, "Fault detection with multiple observers," IEEE/ACM Trans. Netw., vol. 1, no. 1, pp. 48-55, Feb. 1993.
13. S. H. Low, "Probabilistic conformance testing of protocols with unobservable transitions," in Proc. IEEE Int. Conf. Network Protocols, Oct. 1993, pp. 368-375.
14. K. El-Fakih, N. Yevtushenko, and G. v. Bochmann, "FSM-based incremental conformance testing methods," IEEE Trans. Softw. Eng., vol. 30, no. 7, pp. 425-436, Jul. 2004.
15. A. Fukada, A. Nakata, J. Kitamichi, T. Higashino, and A. Cavalli, "A conformance testing method for communication protocols modeled as concurrent DFSM's. Treatment of nonobservable nondeterminism," in Proc. IEEE Int. Conf. Information Networking, Jan. 2001, pp. 155-162.
16. A. Bouloutas, G. W. Hart, and M. Schwartz, "Simple finite-state fault detectors for communication networks," IEEE Trans. Commun., vol. 40, no. 3, pp. 477-479, Mar. 1992.
17. M. Baldi, E. Macii, and M. Poncino, "Property verification of communication protocols based on probabilistic reachability analysis," in Proc. IEEE Midwest Symp. Circuits Systems, vol. 3, Aug. 1996, pp. 1143-1146.
18. D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla, and A. John, "Passive testing and applications to network management," in Proc. IEEE Int. Conf. Networks Protocols, vol. 28-31, Oct. 1997, pp. 113-122.
19. R. E. Miller and K. A. Arisha, "On fault location in networks by passive testing," in Proc. IEEE Int. Conf. Performance, Computing, and Communications, vol. 20-22, Feb. 2000, pp. 281-287.
20. R. E. Miller and K. A. Arisha, "Fault management using passive testing for mobile IPv6 networks," in Proc. IEEE Conf. Global Telecommunications, vol. 3, Nov. 2001, pp. 25-29.
21. A. Ghedamsi, G. V. Bochmann, and R. Dssouli, "Diagnostic tests for communicating finite state machines," in Proc. IEEE Annu. Int. Phoenix Conf. Computers and Communications, Mar. 1993, pp. 254-260.
22. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
23. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Contr. Syst. Technol., vol. 4, no. 2, pp. 105-124, Feb. 1996.
24. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete-event systems," IEEE Trans. Autom. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.
25. D. P. L. Thorsley and D. Teneketzis, "Failure diagnosis of stochastic automata," in Proc. 14th Int. Workshop on Principles of Diagnosis, 2003.
26. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
27. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-Tolerant Control. New York: Springer-Verlag, 2003.
28. P. J. G. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, Jan. 1987.
29. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-97, Jan. 1989.
30. M. L. Bushnell and V. D. Agrawai, Essentials of Electronic Testing. Norwell, MA: Kluwer, 2000.
31. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines - A survey," Proc. IEEE, vol. 84, no. 8, pp. 1090-1123, Aug. 1996.
32. W. Daehn, T. W. Williams, and K. D. Wagner, "Aliasing errors in linear automata used as multiple-input signature analyzers," IBM J. Res. Devel., vol. 34, pp. 363-380, Mar.-May 1990.
33. M. Damiani, P. Olivio, M. Favalli, S. Ercolani, and B. Ricco, "Aliasing in signature analysis testing with multiple input shift registers," IEEE Trans. Comput.-Aided Des., vol. 9, no. 12, pp. 1355-1353, Dec. 1990.
34. E. Athanasopoulou and C. N. Hadjicostis, "Aliasing probability calculations in testing sequential circuits," in Proc. IEEE Med. Conf. Control and Automation, Jun. 2003.
35. P. Bremaud, Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues. New York: Springer-Verlag, 1999.
36. A. Graham, Kronecker Products and Matrix Calculus with Applications. Chichester, U.K.: Ellis Horwood, 1981. Mathematics and its Applications.
37. D. K. Pradhan, Fault Tolerant Computer System Design. Englewood Cliffs, NJ: Prentice-Hall, 1996.
38. Logical Link Control, 1985. The Institute of Electrical and Electronics Engineers, American National Standards Institute, ANSI/IEEE Std. 802.2.