Christoforos Keroglou
Christoforos Keroglou
Postdoctoral Fellow in Decision and Control Systems at KTH Royal Institute of Technology
Verified email at
Cited by
Cited by
Detectability in stochastic discrete event systems
C Keroglou, CN Hadjicostis
Systems & Control Letters 84, 21-26, 2015
Probabilistic system opacity in discrete event systems
C Keroglou, CN Hadjicostis
Discrete Event Dynamic Systems 28 (2), 289-314, 2018
Initial state opacity in stochastic DES
C Keroglou, CN Hadjicostis
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
Verification of detectability in probabilistic finite automata
C Keroglou, CN Hadjicostis
Automatica 86, 192-198, 2017
Distributed diagnosis using predetermined synchronization strategies
C Keroglou, CN Hadjicostis
53rd IEEE Conference on Decision and Control, 5955-5960, 2014
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
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
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
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
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
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
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
Opacity formulations and verification in discrete event systems
CN Hadjicostis, C Keroglou
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
Insertion Functions with Memory for Opacity Enforcement
C Keroglou, L Ricker, S Lafortune
IFAC-PapersOnLine 51 (7), 394-399, 2018
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
Hidden Markov model classification based on empirical frequencies of observed symbols
C Keroglou, CN Hadjicostis
IFAC Proceedings Volumes 47 (2), 7-12, 2014
Bound on the probability of HMM misclassification
C Keroglou, CN Hadjicostis
2011 19th Mediterranean Conference on Control & Automation (MED), 449-454, 2011
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
State estimation in logical and stochastic discrete event systems
CE Keroglou
Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή/University of Cyprus, Faculty of …, 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
The system can't perform the operation now. Try again later.
Articles 1–20