Browsing by Subject "Finite state machines"

Now showing items 1-9 of 9

    • Conference Object  

      Decentralized failure diagnosis in discrete event systems 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2006)
      In this paper, we develop and analyze decentralized failure diagnosis schemes for systems that can be modeled as finite state machines (FSMs). We consider a scenario where we are given multiple local diagnosers (with partial ...
    • 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  

      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  

      Maximum likelihood diagnosis in partially observable finite state machines 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2005)
      In this paper we develop a probabilistic approach for fault diagnosis in deterministic finite state machines (FSMs). The proposed approach determines whether the FSM under consideration is faulty or not by observing (part ...
    • 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 ...
    • Conference Object  

      Probabilistic failure diagnosis in finite state machines under unreliable observations 

      Athanasopoulou, E.; Li, N.; Hadjicostis, Christoforos N. (2006)
      In this paper we develop a probabilistic methodology for calculating the likelihood that an observed, possibly corrupted event sequence was generated by two (or more) candidate finite state machines (FSMs) (one of which ...
    • Conference Object  

      Probabilistic fault detection in finite-state machines based on state occupancy measurements 

      Hadjicostis, Christoforos N. (2002)
      This paper discusses a probabilistic methodology for detecting permanent or transient functional changes in the state-transition mechanism of a deterministic finite-state machine (FSM). The associated detector observes the ...
    • Article  

      Stochastic testing of finite state machines 

      Hadjicostis, Christoforos N. (2001)
      This paper discusses an approach that uses statistical observations about the steady-state behavior of a finite state machine (FSM) in order to detect and identify permanent failures in its state transition mechanism. The ...
    • Conference Object  

      Synchronization-based fault detection in discrete event systems 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2004)
      In this paper we study fault detection in systems that can be modeled as finite state machines (FSMs). We aim at detecting faults that manifest themselves as permanent changes in the next-state transition functionality of ...