• 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 ...
    • 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 ...