• 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  

      Maximum likelihood failure diagnosis in finite state machines under unreliable observations 

      Athanasopoulou, E.; Li, L.; Hadjicostis, Christoforos N. (2010)
      In this paper, we develop a probabilistic methodology for failure diagnosis in finite state machines based on a sequence of unreliable observations. Given prior knowledge of the input probability distribution but without ...