Title :
Encoded dynamics for fault tolerance in linear finite-state machines
Author :
Hadjicostis, C.N. ; Verghese, G.C.
Author_Institution :
Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
fDate :
1/1/2002 12:00:00 AM
Abstract :
This paper discusses fault tolerance in linear finite-state machines (LFSMs). By replacing a given LFSM with a larger, redundant LFSM that preserves the state of the original one in some linearly-encoded form, various alternatives to modular redundancy are considered. We characterize the class of appropriate redundant machines in terms of added dynamics and their coupling with the dynamics of the original machine, and illustrate how these can be chosen to minimize redundant hardware
Keywords :
encoding; fault tolerance; finite state machines; linear systems; minimisation; redundancy; added dynamics; dynamic coupling; encoded dynamics; fault tolerance; large redundant machine; linear coding; linear finite-state machines; linearly encoded state preservation; modular redundancy; redundant hardware minimization; system embeddings; Costs; Encoding; Error correction; Fault detection; Fault tolerance; Fault tolerant systems; Galois fields; Hardware; Protection; Redundancy;
Journal_Title :
Automatic Control, IEEE Transactions on