Browsing by Author "Keroglou, C."
Now showing items 1-18 of 18
-
Article
An approach for preoperative planning and performance of MR-guided Interventions demonstrated with a manual manipulator in a 1.5T MRI scanner
Seimenis, I.; Tsekos, N. V.; Keroglou, C.; Eracleous, E.; Pitris, Costas; Christoforou, E. G. (2012)
-
Conference Object
An approach to MR-guided interventions with a manually-operated manipulator
Christoforou, E. G.; Keroglou, C.; Tsekos, N. V.; Andreou, E.; Pitris, Costas; Eracleous, E.; Seimenis, I. (2010)
-
Conference Object
Bound on the probability of HMM misclassification
Keroglou, C.; Hadjicostis, Christoforos N. (2011)In this paper we consider the problem of classifying a sequence of observations among two known hidden Markov models (HMMs). We use a classifier that minimizes the probability of error (i.e., the probability of misclassification), ...
-
Conference Object
Bounds on the probability of misclassification among hidden Markov models
Keroglou, C.; Hadjicostis, Christoforos N. (2011)Given a sequence of observations, classification among two known hidden Markov models (HMMs) can be accomplished with a classifier that minimizes the probability of error (i.e., the probability of misclassification) by ...
-
Conference Object
Consideration of geometric constraints regarding MR-compatible interventional robotic devices
Keroglou, C.; Seimenis, I.; Tsekos, N. V.; Pitris, Costas; Eracleous, E.; Christoforou, E. G. (2010)
-
Conference Object
Design of MR-compatible robotic devices: Magnetic and geometric compatibility aspects
Keroglou, C.; Tsekos, N. V.; Seimenis, I.; Eracleous, E.; Christodoulou, C. G.; Pitris, Costas; Christoforou, E. G. (2009)
-
Conference Object
Detectability in stochastic discrete event systems
Keroglou, C.; Hadjicostis, Christoforos N. (IFAC Secretariat, 2014)In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing ...
-
Article
Detectability in stochastic discrete event systems
Keroglou, C.; Hadjicostis, Christoforos N. (2015)A discrete event system possesses the property of detectability if it allows an observer to perfectly estimate the current state of the system after a finite number of observed symbols, i.e., detectability captures the ...
-
Conference Object
Distributed diagnosis using predetermined synchronization strategies
Keroglou, C.; Hadjicostis, Christoforos N. (Institute of Electrical and Electronics Engineers Inc., 2014)We consider distributed fault diagnosis in a discrete event system modeled as a nondeterministic finite automaton that is observed, at multiple observation sites, through distinct natural projection maps. The majority of ...
-
Conference Object
Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints
Keroglou, C.; Hadjicostis, Christoforos N. (IEEE Computer Society, 2015)We consider distributed fault diagnosis in a discrete event system modeled as a nondeterministic finite automaton that is observed at multiple observation sites through distinct natural projection maps. The majority of ...
-
Article
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
Keroglou, C.; Hadjicostis, Christoforos N. (2018)We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at ...
-
Conference Object
Hidden markov model classification based on empirical frequencies of observed symbols
Keroglou, C.; Hadjicostis, Christoforos N. (IFAC Secretariat, 2014)Given a sequence of observations, classification among two known hidden Markov models (HMMs) can be accomplished with a classifier that minimizes the probability of error (i.e., the probability of misclassification) by ...
-
Conference Object
Initial state opacity in stochastic des
Keroglou, C.; Hadjicostis, Christoforos N. (2013)A non-deterministic finite automaton is initial-state opaque if the membership of its true initial state to a given set of secret states S remains opaque (i.e., uncertain) to an intruder who observes system activity through ...
-
Conference Object
Opacity formulations and verification in discrete event systems
Hadjicostis, Christoforos N.; Keroglou, C. (Institute of Electrical and Electronics Engineers Inc., 2014)In many emerging security applications, a property of a system, that may reveal important details about its behaviour, needs to be kept secret (opaque) to outside observers (intruders). Motivated by such applications, ...
-
Conference Object
Probabilistic system opacity in discrete event systems
Keroglou, C.; Hadjicostis, Christoforos N. (Institute of Electrical and Electronics Engineers Inc., 2016)In many emerging security applications, a system designer frequently needs to ensure that a certain property of a given system (that may reveal important details about the system's operation) be kept secret (opaque) to ...
-
Article
Probabilistic system opacity in discrete event systems
Keroglou, C.; Hadjicostis, Christoforos N. (2018)In many emerging security applications, a system designer frequently needs to ensure that a certain property of a given system (that may reveal important details about the system’s operation) be kept secret (opaque) to ...
-
Article
Revised Test for Stochastic Diagnosability of Discrete-Event Systems
Chen, J.; Keroglou, C.; Hadjicostis, Christoforos N.; Kumar, R. (2018)This paper provides revisions to the algorithms presented by Chen et al., 2013 for testing diagnosability of stochastic discrete-event systems. Additional new contributions include PSPACE-hardness of verifying strong ...
-
Article
Verification of detectability in Probabilistic Finite Automata
Keroglou, C.; Hadjicostis, Christoforos N. (2017)In this paper we analyze state estimation in stochastic discrete event systems (SDES) that can be modeled as probabilistic finite automata (PFAs). For a given PFA, we obtain the necessary and sufficient conditions that ...