Fault-tolerant linear finite state machines

Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems

Volumn 2, Issue , 1999, Pages 1085-1088

  Hadjicostis, C N ^a   Verghese, G C ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICAL SYSTEMS; DYNAMICS; ERRORS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; LOGIC CIRCUITS;

ERROR-CORRECTING; FINITE TIME INTERVALS; INPUT SEQUENCE; LINEAR FINITE STATE MACHINES; LOW PROBABILITY; MODULAR REDUNDANCY; PARITY CHECKER; TRADITIONAL APPROACHES;

REDUNDANCY;

EID: 0010354805     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICECS.1999.813422     Document Type: Conference Paper

References (13)

1. J. von Neumann, Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Princeton University Press, 1956.
2. T. L. Booth, Sequential Machines and Automata Theory. New York: Wiley, 1968.
3. W. W. Peterson and E. J. Weldon Jr., Error-Correcting Codes. Cambridge, Massachusetts: The MIT Press, 1972.
4. R. E. Blahut, Theory and Practice of Data Transmission Codes. Reading, Massachusetts: Addison-Wesley, 1983.
5. C. N. Hadjicostis and G. C. Verghese, "Structured redundancy for fault tolerance in LTI state-space models and Petri nets," Kybernetika, 1999. To appear.
6. K.-H. Huang and J. A. Abraham, "Algorithm-based fault tolerance for matrix operations," IEEE Transactions on Computers, vol. 33, pp. 518-528, June 1984.
7. A. Chatterjee and M. d'Abreu, "The design of fault-tolerant linear digital state variable systems: theory and techniques," IEEE Transactions on Computers, vol. 42, pp. 794-808, July 1993.
8. R. W. Larsen and I. S. Reed, "Redundancy by coding versus redundancy by replication for failure-tolerant sequential circuits," IEEE Transactions on Computers, vol. C-21, pp. 130-137, February 1972.
9. R. G. Gallager, Low-Density Parity Check Codes. MIT Press, 1963.
10. D. A. Spielman, "Linear-time encodable and decodable error-correcting codes," IEEE Transactions on Information Theory, vol. 42, pp. 1723-1731, November 1996.
11. M. G. Taylor, "Reliable computation in computing systems designed from unreliable components," The Bell System Journal, vol. 47, pp. 2239-2366, December 1968.
12. N. Pippenger, "Developments in the synthesis of reliable organisms from unreliable components," in Proceedings of Symposia in Pure Mathematics, vol. 50, 1990.
13. M. G. Taylor, "Reliable information storage in memories designed from unreliable components," The Bell System Journal, vol. 47, pp. 2299-2337, December 1968.