Christoforos Keroglou
Christoforos Keroglou
Postdoctoral Fellow in Decision and Control Systems at KTH Royal Institute of Technology
Verified email at kth.se
Title
Cited by
Cited by
Year
Detectability in stochastic discrete event systems
C Keroglou, CN Hadjicostis
Systems & Control Letters 84, 21-26, 2015
232015
Probabilistic system opacity in discrete event systems
C Keroglou, CN Hadjicostis
Discrete Event Dynamic Systems 28 (2), 289-314, 2018
212018
Initial state opacity in stochastic DES
C Keroglou, CN Hadjicostis
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
202013
Verification of detectability in probabilistic finite automata
C Keroglou, CN Hadjicostis
Automatica 86, 192-198, 2017
142017
Distributed diagnosis using predetermined synchronization strategies
C Keroglou, CN Hadjicostis
53rd IEEE Conference on Decision and Control, 5955-5960, 2014
112014
Distributed fault diagnosis in discrete event systems via set intersection refinements
C Keroglou, CN Hadjicostis
IEEE Transactions on Automatic Control 63 (10), 3601-3607, 2018
92018
Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints
C Keroglou, CN Hadjicostis
2015 IEEE International Conference on Automation Science and Engineering …, 2015
92015
Revised test for stochastic diagnosability of discrete-event systems
J Chen, C Keroglou, CN Hadjicostis, R Kumar
IEEE Transactions on Automation Science and Engineering 15 (1), 404-408, 2016
82016
Bounds on the probability of misclassification among hidden Markov models
C Keroglou, CN Hadjicostis
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
82011
An approach for preoperative planning and performance of MR-guided interventions demonstrated with a manual manipulator in a 1.5 T MRI scanner
I Seimenis, NV Tsekos, C Keroglou, E Eracleous, C Pitris, EG Christoforou
Cardiovascular and interventional radiology 35 (2), 359-367, 2012
72012
Consideration of geometric constraints regarding MR-compatible interventional robotic devices
C Keroglou, I Seimenis, NV Tsekos, C Pitris, E Eracleous, EG Christoforou
2010 3rd IEEE RAS & EMBS International Conference on Biomedical Robotics and …, 2010
72010
Design of MR-compatible robotic devices: magnetic and geometric compatibility aspects
C Keroglou, NV Tsekos, I Seimenis, E Eracleous, CG Christodoulou, ...
2009 9th International Conference on Information Technology and Applications …, 2009
62009
Opacity formulations and verification in discrete event systems
CN Hadjicostis, C Keroglou
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
42014
Insertion Functions with Memory for Opacity Enforcement
C Keroglou, L Ricker, S Lafortune
IFAC-PapersOnLine 51 (7), 394-399, 2018
32018
Verification and synthesis of embedded insertion functions for opacity enforcement
C Keroglou, S Lafortune
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4217-4223, 2017
32017
Hidden Markov model classification based on empirical frequencies of observed symbols
C Keroglou, CN Hadjicostis
IFAC Proceedings Volumes 47 (2), 7-12, 2014
12014
Bound on the probability of HMM misclassification
C Keroglou, CN Hadjicostis
2011 19th Mediterranean Conference on Control & Automation (MED), 449-454, 2011
12011
Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard
C Keroglou, CN Hadjicostis
2019 IEEE 58th Conference on Decision and Control (CDC), 6712-6717, 2019
2019
State estimation in logical and stochastic discrete event systems
CE Keroglou
Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή/University of Cyprus, Faculty of …, 2016
2016
A manually-actuated MRI compatible robotic manipulator for image-guided interventions
EG Christoforou, C Keroglou, A Webb, NV Tsekos, I Seimenis
Physica Medica, e55-e56, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20