Finite-state machine embeddings for nonconcurrent error detection and identification

IEEE Transactions on Automatic Control

Volumn 50, Issue 2, 2005, Pages 142-153

  Hadjicostis, Christoforos N ^a  

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

Author keywords

Error recovery; Fault tolerance; Finite state machines (FSMs); Nonconcurrent error detection and correction; Transient faults

Indexed keywords

COMPUTER SYSTEM RECOVERY; CONSTRAINT THEORY; EMBEDDED SYSTEMS; ERROR CORRECTION; ERROR DETECTION; FINITE AUTOMATA; REDUNDANCY;

FINITE STATE MACHINES; NONCONCURRENT ERROR DETECTION; TRANSIENT FAULTS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 14644436373     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2004.841887     Document Type: Article

References (56)

1. R. E. Blahut, Algebraic Codes for Data Transmission. Cambridge, U.K.: Cambridge Univ. Press. 2002.
2. S. B. Wicker, Error Control Systems. Upper Saddle River. NJ: Prentice-Hall. 1995.
3. T. R. N. Rao and E. Fujiwara, Error-Control Coding for Computer Systems. Upper Saddle River, NJ: Prentice-Hall, 1989.
4. T. R. N. Rao, Error Coding for Arithmetic Processors. New York: Academic, 1974.
5. K.-H. Huang and J. A. Abraham, "Algorithm-based fault tolerance for matrix operations," IEEE Trans. Comput., vol. 33, no. 6, pp. 518-528, Jun. 1984.
6. J.-Y. Jou and J. A. Abraham, "Fault-tolerant matrix arithmetic and signal processing on highly concurrent parallel structures," Proc. IEEE, vol. 74, no. 5, pp. 732-741, May 1986.
7. J.-Y. Jou and J. A. abraham, "Fault-tolerant FFT networks," IEEE Trans. Comput., vol. 37, no. 5, pp. 548-561, May 1988.
8. J.-L. Sung and G. R. Redinbo, "Algorithm-based fault to1erant synthesis for linear operations," IEEE Trans. Comput., vol. 45, no. 4, pp. 425-437, Apr. 1996.
9. A. Roy-Chowdhury and P. Banerjee, "Algorithm-based fault location and recovery for matrix computations on multiprocessor systems," IEEE Trans. Comput., vol. 45, no. 11, pp. 1239-1247, Nov. 1996.
10. P. E. Beckmann, "Fault-tolerant computation using algebraic homomorphisms, " Ph.D. dissertation, EECS Dept, Mass. Inst. Technol., Cambridge, MA, 1992.
11. C. N. Hadjicostis, "Fault-tolerant computation in semigroups and semirings, " M.Eng. thesis. EECS Dept., Mass. Inst. Technol., Cambridge, MA, 1995.
12. C. N. Hadjicostis and G. C. Verghese, "Fault-tolerant computation in groups and semigroups," J. Franklin Inst., vol. 339, no. 4-5, pp. 387-430, Jul.-Aug. 2002.
13. G. R. Redinbo, "Generalized algorithm-based fault tolerance: Error correction via Kalman estimation," IEEE Trans. Comput., vol. 47, pp. 639-655, Jun. 1998.
14. C. N. Hadjicostis and G. C. Verghese, "Structured redundancy for fault tolerance in LTI state-space models and Petri nets," Kybernetika, vol. 35, no. 1, pp. 39-55, Jan. 1999.
15. I. S. Reed and A. C. L. Chiang, "Coding techniques for failure-tolerant counters," IEEE Trans. Comput., vol. 19, no. 11, pp. 1035-1038, Nov. 1970.
16. A. Sengupta, D. K. Chattopadhyay, A. Palit, A. K. Bandyopadhyay, and A. K. Choudhury, "Realization of fault-tolerant machines - Linear code application," IEEE Trans. Comput., vol. C-30, no. 3, pp. 237-240, Mar. 1981.
17. G. R. Redinbo, "Finite field fault-tolerant digital filtering architecture," IEEE Trans. Comput., vol. C-36, no. 10, pp. 1236-1242, Oct. 1987.
18. C. N. Hadjicostis and G. C. Verghese, "Encoded dynamics for fault tolerance in linear finite-state machines," IEEE Trans. Autom. Control, vol. 47, no. 1, pp. 189-192, Jan. 2002.
19. R. W. Larsen and I. S. Reed, "Redundancy by coding versus redundancy by replication for failure-tolerant sequential circuits," IEEE Trans. Comput., vol. C-21, no. 2, pp. 130-137, Feb. 1972.
20. G. X. Wang and G. R. Redinbo, "Probability of state transition errors in a finite state machine containing soft failures," IEEE Trans. Comput., vol. 33, no. 3, pp. 269-277, Mar. 1984.
21. V. S. Iyengar and L. L. Kinney, "Concurrent fault detection in microprogrammed control units," IEEE Trans. Comput., vol. C-34, no. 9, pp. 810-821, Sep. 1985.
22. R. Leveugle and G. Saucier, "Optimized synthesis of concurrently checked controllers," IEEE Trans. Comput., vol. 39, no. 4, pp. 419-425, Apr. 1990.
23. L. P. Holmquist and L. L. Kinney, "Concurrent error detection in sequential circuits using convolutional codes," in Proc. 9th Int. Symp. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 1991, pp. 183-194.
24. L. P. Holmquist and L. L. Kinney, "Concurrent error detection for restricted fault sets in sequential circuits and microprogrammed control units using convolutional codes," in Proc. Int. Test Conf., 1991, pp. 926-935.
25. S. H. Robinson and J. P. Shen, "Direct methods for synthesis of selfmonitoring state machines," in Proc. 22nd Int. Symp. Fault-Tolerant Computing, Digest of Papers, 1992, pp. 306-315.
26. C. N. Hadjicostis, Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems. Norwell, MA: Kluwer, 2002.
27. D. Siewiorek and R. Swarz, Reliable Computer Systems: Design and Evaluation. Natick, MA: A.K. Peters, 1998.
28. D. K. Pradhan, Fault-Tolerant Computer System Design. Upper Saddle River, NJ: Prentice-Hall, 1996.
29. B. Johnson, Design and Analysis of Fault-Tolerant Digital Systems. Reading, MA: Addison-Wesley, 1989.
30. C. N. Hadjicostis, "Non-concurrent error detection and correction in discrete-time LTI dynamic systems," in Proc. 40th IEEE Conf. Decision and Control, vol. 2, Dec. 4-7, 2001, pp. 1899-1904.
31. C. N. Hadjicostis, "Non-concurrent error detection and correction in discrete-time LTI dynamic systems," IEEE Trans. Circuits Syst., vol. 50, no. 1, pp. 45-55, Jan. 2003.
32. C. N. Hadjicostis, "Non-concurrent error detection and correction in fault-tolerant linear finite-state machines," presented at the 10th Mediterranean Conf. Control and Automation, Lisbon, Portugal, Jul. 9-13, 2002.
33. C. N. Hadjicostis, "Non-concurrent error detection and correction in fault-tolerant linear finite state machines," IEEE Trans. Autom. Control, vol. 48, pp. 2133-2140, Dec. 2003.
34. 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.
35. 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.
36. V. S. Srinivasan and M. A. Jafari, "Fault detection/monitoring using time Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 4, pp. 1155-1162, Jul.-Aug. 1993.
37. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in timed discrete-event systems," in Proc. 38th IEEE Conf. Decision and Control, Phoenix, AZ, 1999, pp. 1756-1761.
38. D. N. Pandalai and L. E. Holloway, "Template languages for fault monitoring of timed discrete event processes," IEEE Trans. Autom. Control, vol. 45, pp. 868-882, May 2000.
39. 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.
40. C. Wang and M. Schwartz, "Fault detection with multiple observers," IEEE/ACM Transactions on Networking, vol. 1, pp. 48-55, Jan. 1993.
41. Y. Park and E. K. P. Chong, "Fault detection and identification in communication networks: A discrete event systems approach," in Proceedings of the 33rd Annual Allerton Conf. on Communication, Control, and Computing, 1995, pp. 126-135.
42. M. Silva and S. Velilla, "Error detection and correction in Petri net models of discrete events control systems," in Proc. IEEE Int. Symp. Circuits and Systems, 1985, pp. 921-924.
43. R. Valette, J. Cardoso, and D. Dubois, "Monitoring manufacturing systems by means of Petri nets with imprecise markings," in Proc. IEEE Int. Symp. Intelligent Control, 1989, pp. 233-238.
44. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Application and Theory of Petri Nets 1999. New York: Springer-Verlag, 1999, vol. 1639, Lecture Notes in Computer Science, pp. 188-208.
45. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 335-440, Sep. 2002.
46. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Autom. Control, vol. 33, no. 3, pp. 249-260, Mar. 1988.
47. R. Debouk, S. Lafortune, and D. Teneketzis, "On the effect of communication delays in failure diagnosis of decentralized discrete event systems," in Proc. 39th IEEE Conf. Decision and Control, 2000, pp. 2245-2251.
48. R. Debouk, S. Lafortune, and D. Teneketzis, "On an optimization problem in sensor selection for failure diagnosis," in Proc. 38th IEEE Conf. Decision and Control, 1999, pp. 4990-4995.
49. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," in Proc. 37th IEEE Conf. Decision and Control, 1998, pp. 3763-3768.
50. G. Barrett and S. Lafortune, "Decentralized supervisory control with communicating controllers," IEEE Trans. Autom. Control, vol. 45, no. 9, pp. 1620-1638, Sep. 2000.
51. A. Benveniste, E. Fabre, C. Jard, and S. Haar, "Diagnosis of asynchronous discrete-event systems, a net unfolding approach," IRISA, Paris, France, Tech. Rep. RR-4181, 2001.
52. A. Mahmood and E. J. McCluskey, "Concurrent error detection using watchdog processors - A survey," IEEE Trans. Comput., vol. 37, no. 2, pp. 160-174, Feb. 1988.
53. J. Rosenthal and F. V. York. "BCH convolutional codes," IEEE Trans. Inf. Theory, vol. 45, no. 9, pp. 1833-1844, Sep. 1999.
54. Codes, Systems, and Graphical Models, vol. 123, IMA Volumes in Mathematics and its Applications, B. Marcus and J. Rosenthal, Eds., Springer-Verlag, New York, 2001.
55. J. L. Massey and M. K. Sain, "Codes, automata, and continuous systems: Explicit interconnections," IEEE Trans. Autom. Control, vol. TAC-12, no. 12, pp. 644-650, Dec. 1967.
56. E. V. York, J. Rosenthal, and J. M. Schumacher, "On the relationship between algebraic systems theory and coding theory: Representations of codes," in Proc. 34th Conf. Decision and Control, vol. 3, New Orleans, LA, 1995, pp. 3271-3276.