| Probabilistic system opacity in discrete event systems C Keroglou, CN Hadjicostis Discrete Event Dynamic Systems 28, 289-314, 2018 | 41 | 2018 |
| Detectability in stochastic discrete event systems C Keroglou, CN Hadjicostis Systems & Control Letters 84, 21-26, 2015 | 36 | 2015 |
| Initial state opacity in stochastic DES C Keroglou, CN Hadjicostis 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 27 | 2013 |
| Verification of detectability in probabilistic finite automata C Keroglou, CN Hadjicostis Automatica 86, 192-198, 2017 | 26 | 2017 |
| 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 | 25 | 2018 |
| 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 | 14 | 2016 |
| Distributed diagnosis using predetermined synchronization strategies C Keroglou, CN Hadjicostis 53rd IEEE Conference on Decision and Control, 5955-5960, 2014 | 14 | 2014 |
| 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 | 12 | 2017 |
| 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 | 12 | 2015 |
| Insertion functions with memory for opacity enforcement C Keroglou, L Ricker, S Lafortune IFAC-PapersOnLine 51 (7), 394-399, 2018 | 10 | 2018 |
| 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, 359-367, 2012 | 9 | 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 | 9 | 2010 |
| Embedded insertion functions for opacity enforcement C Keroglou, S Lafortune IEEE Transactions on Automatic Control 66 (9), 4184-4191, 2020 | 8 | 2020 |
| Opacity formulations and verification in discrete event systems CN Hadjicostis, C Keroglou Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014 | 8 | 2014 |
| 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 | 8 | 2011 |
| 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 | 6 | 2009 |
| Towards probabilistic intrusion detection in supervisory control of discrete event systems R Meira-Góes, C Keroglou, S Lafortune IFAC-PapersOnLine 53 (2), 1776-1782, 2020 | 5 | 2020 |
| Detectability in stochastic discrete event systems C Keroglou, CN Hadjicostis IFAC Proceedings Volumes 47 (2), 27-32, 2014 | 4 | 2014 |
| 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 | 2 | 2019 |
| Hidden Markov model classification based on empirical frequencies of observed symbols C Keroglou, CN Hadjicostis IFAC Proceedings Volumes 47 (2), 7-12, 2014 | 2 | 2014 |
Christoforos HadjicostisProfessor of Electrical and Computer Engineering, University of CyprusVerified email at ucy.ac.cy
