Concepedia

Christoforos Keroglou

CK

11

Publications

268

Citations

10

H-Index

2011

Active since

Affiliations

University of Cyprus(Current)

University of Michigan

Christoforos Keroglou is an author at University of Cyprus specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsSystems EngineeringProbabilityData SecurityAutomated ReasoningComputer Engineering

Publications per year

2011–2023

11

Publications

11

Probabilistic system opacity in discrete event systems

Christoforos Keroglou, Christoforos N. Hadjicostis · Discrete Event Dynamic Systems · 2017 · 44 citations

Engineering, Discrete Event System, Entropy +6

Detectability in stochastic discrete event systems

Christoforos Keroglou, Christoforos N. Hadjicostis · Systems & Control Letters · 2015 · 43 citations

Engineering, Discrete Event System, Probabilistic System +6

Verification of detectability in Probabilistic Finite Automata

Christoforos Keroglou, Christoforos N. Hadjicostis · Automatica · 2017 · 31 citations

Logical Automaton, Engineering, Automated Reasoning +7

A Survey on Technical Challenges of Assistive Robotics for Elder People in Domestic Environments: The ASPiDA Concept

Christoforos Keroglou, Ioannis Kansizoglou, Panagiotis Michailidis et al. · IEEE Transactions on Medical Robotics and Bionics · 2023 · 31 citations

Engineering, Socially Assistive Robot, Field Robotics +26

Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements

Christoforos Keroglou, Christoforos N. Hadjicostis · IEEE Transactions on Automatic Control · 2018 · 28 citations

Fault Diagnosis, Engineering, Discrete Event Systems +19

Rows per page

1–5 of 11