Christoforos Keroglou

According to our database, Christoforos Keroglou authored at least 15 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Hidden Markov models for presence detection based on CO2 fluctuations.

Christos Karasoulas, Christoforos Keroglou, Eleftheria Katsiri, Georgios Ch. Sirakoulis

Frontiers Robotics AI, February, 2023

2021

Embedded Insertion Functions for Opacity Enforcement.

Christoforos Keroglou, Stéphane Lafortune

IEEE Trans. Autom. Control., 2021

2019

Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard.

Christoforos Keroglou, Christoforos N. Hadjicostis

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Revised Test for Stochastic Diagnosability of Discrete-Event Systems.

Jun Chen, Christoforos Keroglou, Christoforos N. Hadjicostis, Ratnesh Kumar

IEEE Trans Autom. Sci. Eng., 2018

Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements.

Christoforos Keroglou, Christoforos N. Hadjicostis

IEEE Trans. Autom. Control., 2018

Probabilistic system opacity in discrete event systems.

Christoforos Keroglou, Christoforos N. Hadjicostis

Discret. Event Dyn. Syst., 2018

2017

Verification of detectability in Probabilistic Finite Automata.

Christoforos Keroglou, Christoforos N. Hadjicostis

Autom., 2017

Verification and synthesis of embedded insertion functions for opacity enforcement.

Christoforos Keroglou, Stéphane Lafortune

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2015

Detectability in stochastic discrete event systems.

Christoforos Keroglou, Christoforos N. Hadjicostis

Syst. Control. Lett., 2015

Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints.

Christoforos Keroglou, Christoforos N. Hadjicostis

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Hidden Markov Model Classification Based on Empirical Frequencies of Observed Symbols.

Christoforos Keroglou, Christoforos N. Hadjicostis

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Opacity formulations and verification in discrete event systems.

Christoforos N. Hadjicostis, Christoforos Keroglou

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Distributed diagnosis using predetermined synchronization strategies.

Christoforos Keroglou, Christoforos N. Hadjicostis

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Initial state opacity in stochastic DES.

Christoforos Keroglou, Christoforos N. Hadjicostis

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2011

Bounds on the probability of misclassification among hidden Markov models.

Christoforos Keroglou, Christoforos N. Hadjicostis

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011