• Article  

      Bounds on FSM switching activity 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2008)
      This paper obtains lower and upper bounds for the switching activity on the state lines of a finite state machine (FSM) that is driven by typical input sequences. More specifically, the paper provides bounds on the average ...
    • 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 ...
    • 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 ...
    • Article  

      Probabilistic approaches to fault detection in networked discrete event systems 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2005)
      In this paper, we consider distributed systems that can be modeled as finite state machines with known behavior under fault-free conditions, and we study the detection of a general class of faults that manifest themselves ...
    • 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  

      Probability of error bounds for failure diagnosis and classification in hidden Markov models 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2008)
      In this paper we consider a formulation of the failure diagnosis problem in stochastic systems as a maximum likelihood classification problem: a diagnoser observes the system under diagnosis online and determines which ...
    • 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 ...
    • Conference Object  

      Upper and lower bounds on fsm switching activity 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2003)
      This paper obtains upper and lower bounds for the switching activity on the state lines of a finite state machine (FSM) that is driven with typical input sequences. By exploiting the symmetries between the Hamming distances ...