Christoforos Keroglou

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 10

Top Topics

Finite Automata

Timed Petri Nets

Fault Diagnosis

Top Venues

IEEE Trans. Autom. Control.

Frontiers Robotics AI

Publications

Thanos Petsanis, Christoforos Keroglou, Athanasios Ch. Kapoutsis, Elias B. Kosmatopoulos, Georgios Ch. Sirakoulis
Decomposing user-defined tasks in a reinforcement learning setup using TextWorld. Frontiers Robotics AI 10 (2023)
Christos Karasoulas, Christoforos Keroglou, Eleftheria Katsiri, Georgios Ch. Sirakoulis
Hidden Markov models for presence detection based on CO2 fluctuations. Frontiers Robotics AI 10 (2023)
Christoforos Keroglou, Stéphane Lafortune
Embedded Insertion Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 66 (9) (2021)
Christoforos Keroglou, Christoforos N. Hadjicostis
Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard. CDC (2019)
Christoforos Keroglou, Christoforos N. Hadjicostis
Probabilistic system opacity in discrete event systems. Discret. Event Dyn. Syst. 28 (2) (2018)
Christoforos Keroglou, Christoforos N. Hadjicostis
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements. IEEE Trans. Autom. Control. 63 (10) (2018)
Jun Chen, Christoforos Keroglou, Christoforos N. Hadjicostis, Ratnesh Kumar
Revised Test for Stochastic Diagnosability of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 15 (1) (2018)
Christoforos Keroglou, Stéphane Lafortune
Verification and synthesis of embedded insertion functions for opacity enforcement. CDC (2017)
Christoforos Keroglou, Christoforos N. Hadjicostis
Verification of detectability in Probabilistic Finite Automata. Autom. 86 (2017)
Christoforos Keroglou, Christoforos N. Hadjicostis
Probabilistic system opacity in discrete event systems. WODES (2016)
Christoforos Keroglou, Christoforos N. Hadjicostis
Detectability in stochastic discrete event systems. Syst. Control. Lett. 84 (2015)
Christoforos Keroglou, Christoforos N. Hadjicostis
Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints. CASE (2015)
Christoforos Keroglou, Christoforos N. Hadjicostis
Distributed diagnosis using predetermined synchronization strategies. CDC (2014)
Christoforos Keroglou, Christoforos N. Hadjicostis
Hidden Markov Model Classification Based on Empirical Frequencies of Observed Symbols. WODES (2014)
Christoforos N. Hadjicostis, Christoforos Keroglou
Opacity formulations and verification in discrete event systems. ETFA (2014)
Christoforos Keroglou, Christoforos N. Hadjicostis
Detectability in Stochastic Discrete Event Systems. WODES (2014)
Christoforos Keroglou, Christoforos N. Hadjicostis
Initial state opacity in stochastic DES. ETFA (2013)
Christoforos Keroglou, Christoforos N. Hadjicostis
Bounds on the probability of misclassification among hidden Markov models. CDC/ECC (2011)