Nonconcurrent Error Detection and Correction in Fault-Tolerant Linear Finite-State Machines

IEEE Transactions on Automatic Control

Volumn 48, Issue 12, 2003, Pages 2133-2140

  Hadjicostis, Christoforos N ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Fault tolerance; Linear coding; Linear finite state machines; Nonconcurrent error detection and correction; System embeddings; Transient faults

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONVOLUTIONAL CODES; ERROR CORRECTION; ERROR DETECTION; STATE ESTIMATION;

LINEAR CODING; LINEAR FINITE STATE MACHINES (LFSM); SYSTEM EMBEDDINGS; TRANSIENT FAULTS;

LINEAR CONTROL SYSTEMS;

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

References (27)

1. R. E. Blahut, Algebraic Codes for Data Transmission, Cambridge, U.K.: Cambridge Univ. Press, 2002.
2. T. R. N. Rao and E. Fujiwara, Error-Control Coding for Computer Systems, Upper Saddle River, NJ: Prentice-Hall, 1989.
3. K.-H. Huang and J. A. Abraham, "Algorithm-based fault tolerance for matrix operations," IEEE Trans. Comput., vol. 33, pp. 518-528, June 1984.
4. J.-L. Sung and G. R. Redinbo, "Algorithm-based fault tolerant synthesis for linear operations," IEEE Trans. Comput., vol. 45, pp. 425-437, Apr. 1996.
5. P. E. Beckmann, "Fault-tolerant computation using algebraic homomorphisms," Ph.D. dissertation, Elect. Eng. Comput. Sci. Dept., Mass. Inst. Technol., Cambridge, MA, 1992.
6. C. N. Hadjicostis, "Fault-tolerant computation in semigroups and semirings," M.Eng. thesis, Elect. Eng. Comput. Sci. Dept., Mass. Inst. Technol., Cambridge, MA, 1995.
7. _, Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems. Boston, MA: Kluwer, 2002.
8. G. R. Redinbo, "Finite field fault-tolerant digital filtering architecture," IEEE Trans. Comput., vol. 36, pp. 1236-1242, Oct. 1987.
9. _, "Generalized algorithm-based fault tolerance: Error correction via Kalman estimation," IEEE Trans. Comput., vol. 47, pp. 639-655, June 1998.
10. 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.
11. _, "Encoded dynamics for fault tolerance in linear finite-state machines," IEEE Trans. Automat. Contr., vol. 47, pp. 189-192, Jan. 2002.
12. _, "Non-concurrent error detection and correction in discrete-time LTI dynamic systems," in Proc. 40th IEEE Conf. Decision Control, vol. 2, Orlando, FL, 2001, pp. 1899-1904.
13. _, "Non-concurrent error detection and correction in discrete-time LTI dynamic systems," IEEE Trans. Circuits Syst., vol. 50, pp. 45-55, Jan. 2003.
14. J. Rosenthal, "Some interesting problems in systems theory which are of fundamental importance in coding theory," in Proc. 36th Conf. Decision Control, vol. 5, San Diego, CA, 1997, pp. 4574-4579.
15. J. Rosenthal and F. V. York, "BCH convolutional codes," IEEE Trans. Inform. Theory, vol. 45, pp. 1833-1844, Sept. 1999.
16. R. Smarandache, H. Gluesing-Luerssen, and J. Rosenthal, "Constructions of MDS-convolutional codes," IEEE Trans. Inform. Theory, vol. 47, pp. 2045-2049, July 2001.
17. M. A. Harrison, Lectures on Linear Sequential Machines. New York: Academic, 1969.
18. T. L. Booth, Sequential Machines and Automata Theory. New York: Wiley, 1968.
19. J. L. Massey and M. K. Sain, "Codes, automata, and continuous systems: Explicit interconnections," IEEE Trans. Automat. Contr., vol. AC-12, pp. 644-650, Dec. 1967.
20. 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 Control, vol. 3, New Orleans, LA, 1995, pp. 3271-3276.
21. J. L. Massey and M. K. Sain, "Inverses of linear sequential circuits," IEEE Trans. Comput., vol. C-17, pp. 330-337, Apr. 1968.
22. D. Siewiorek and R. Swarz, Reliable Computer Systems: Design and Evaluation. Natick, MA: A.K. Peters, 1998.
23. D. K. Pradhan, Fault-Tolerant Computer System Design. Upper Saddle River, NJ: Prentice-Hall, 1996.
24. B. Johnson, Design and Analysis of Fault-Tolerant Digital Systems. Reading, MA: Addison-Wesley, 1989.
25. J. Rosenthal and R. Smarandache, "Maximum distance separable convolutional codes," Appl. Alg. Eng., Commun. Comput., vol. 10, no, 1, pp. 15-32, 1999.
26. B. Marcus and J. Rosenthal, Eds., Codes, Systems, and Graphical Models, ser. IMA Volumes in Mathematics and its Applications. New York: Springer-Verlag, 2001, vol. 123.
27. J. Riordan, An Introduction to Combinatorial Analysis. New York: Wiley, 1958.