Πλοήγηση ανά Συγγραφέα "Keroglou, Christoforos"

Αποτελέσματα 1-4 από 4

    • Article  

      Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements 

      Keroglou, Christoforos; Hadjicostis, Christoforos N. (2018)
      We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at ...
    • Article  

      Probabilistic system opacity in discrete event systems 

      Keroglou, Christoforos; Hadjicostis, Christoforos N. (2018)
      In many emerging security applications, a system designer frequently needs to ensure that a certain property of a given system (that may reveal important details about the system’s operation) be kept secret (opaque) to ...
    • Article  

      Revised Test for Stochastic Diagnosability of Discrete-Event Systems 

      Chen, Jun; Keroglou, Christoforos; Hadjicostis, Christoforos N.; Kumar, Ratnesh (2018)
      This paper provides revisions to the algorithms presented by Chen et al., 2013 for testing diagnosability of stochastic discrete-event systems. Additional new contributions include PSPACE-hardness of verifying strong ...
    • Conference Object  

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

      Keroglou, Christoforos; Hadjicostis, Christoforos N. (2019)
      In this paper we consider the complexity of verifying the property of AA-diagnosability in probabilistic finite automata and establish that AA-diagnosability is, in general, a PSPACE-hard problem. In deterministic and ...