Browsing Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering by Author "Athanasopoulou, E."
Now showing items 1-9 of 9
-
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 ...