Browsing by Author "Verghese, G. C."

Now showing items 1-9 of 9

    • 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  

      Encoded dynamics for fault tolerance linear finite-state machines 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2002)
      This note 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 ...
    • 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  

      Monitoring discrete event systems using Petri net embeddings 

      Hadjicostis, Christoforos N.; Verghese, G. C. (1999)
      In this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net ...
    • Conference Object  

      Power system monitoring based on relay and circuit breaker information 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2001)
      In this paper we develop monitoring schemes that are able to detect and identify failures in power transmission lines by analyzing binary status information from relays and circuit breakers. The approach, which is based ...
    • Article  

      Power system monitoring using Petri net embeddings 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2000)
      A failure in a power transmission line causes a number of circuit breakers to activate in an effort to isolate the failure and prevent it from corrupting the rest of the power system. Based on information from these ...
    • Article  

      Structured redundancy for fault tolerance in state-space models and Petri nets 

      Hadjicostis, Christoforos N.; Verghese, G. C. (1999)
      The design and implementation of systems in state form has traditionally focused on minimal representations which require the least number of state variables. However, "structured redundancy" - redundancy that has been ...