Browsing by Subject "Redundancy"
Now showing items 1-10 of 10
-
Article
Coding approaches to fault tolerance in linear dynamic systems
(2005)This paper discusses fault tolerance in discrete-time dynamic systems, such as finite-state controllers or computer simulations, with focus on the use of coding techniques to efficiently provide fault tolerance to linear ...
-
Article
Coding techniques for fault-tolerant parallel prefix computations in Abelian groups
(2004)This paper presents coding techniques that can be used to provide fault tolerance to a parallel prefix computation that is performed on a binary tree of processing nodes. More specifically, we discuss how a parallel prefix ...
-
Conference Object
Encoded finite-state machines for non-concurrent error detection and identification
(2003)In this paper we develop a methodology for systematically constructing redundant finite-state machines in a way that enables an external mechanism to detect and identify transient state-transition faults by performing ...
-
Conference Object
Fault detection and identification in Petri net controllers
(2004)This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a ...
-
Article
Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
(2002)The traditional approach to fault-tolerant computation has been via modular hardware redundancy. Although universal and simple, modular redundancy is inherently expensive and inefficient. By exploiting particular structural ...
-
Article
Fault-tolerant dynamic systems
(2000)We use unreliable system replicas and unreliable voters to construct redundant dynamic systems that tolerate transient failures in their state transition and error correcting mechanisms. Using low density parity check ...
-
Conference Object
Fault-tolerant linear finite state machines
(Institute of Electrical and Electronics Engineers Inc., 1999)In this paper we develop a framework for constructing fault-tolerant dynamic systems, focusing primarily on linear finite state machines (LFSMs). Modular redundancy, the traditional approach to fault tolerance, is expensive ...
-
Article
Finite-state machine embeddings for nonconcurrent error detection and identification
(2005)In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system can corrupt its state and render its future functionality useless. Such ...
-
Conference Object
Non-concurrent error detection and correction in discrete-time LTI dynamic systems
(2001)In this paper we develop fault-tolerant constructions for discrete-time (DT) linear time-invariant (LTI) dynamic systems that are build out of appropriately interconnected delay, adder and gain elements. More specifically, ...
-
Article
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
(2004)State-transition faults in digital sequential systems, such as finite-state logic controllers, have traditionally been handled by embedding the given system into a larger one, in a way that preserves the state evolution ...