Browsing by Subject "Redundancy"

Now showing items 1-10 of 10

    • Article  

      Coding approaches to fault tolerance in linear dynamic systems 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Hadjicostis, Christoforos N. (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 

      Hadjicostis, Christoforos N. (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 

      Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (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 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Hadjicostis, Christoforos N. (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 

      Hadjicostis, Christoforos N. (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 

      Hadjicostis, Christoforos N. (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 ...