• Conference Object  

      Decentralized failure diagnosis in discrete event systems 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2006)
      In this paper, we develop and analyze decentralized failure diagnosis schemes for systems that can be modeled as finite state machines (FSMs). We consider a scenario where we are given multiple local diagnosers (with partial ...
    • Conference Object  

      Detectability in stochastic discrete event systems 

      Keroglou, C.; Hadjicostis, Christoforos N. (IFAC Secretariat, 2014)
      In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing ...
    • Article  

      On the history of diagnosability and opacity in discrete event systems 

      Lafortune, S.; Lin, F.; Hadjicostis, Christoforos N. (2018)
      This paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata or Petri nets in the 1990s. The goal ...
    • Conference Object  

      Resolution of initial-state in security applications of des 

      Hadjicostis, Christoforos N. (2012)
      A non-deterministic labeled finite automaton is initial-state opaque if the membership of its true initial state to a set of secret states S remains opaque (i.e., uncertain) to an intruder who observes system activity ...
    • Article  

      Revised Test for Stochastic Diagnosability of Discrete-Event Systems 

      Chen, J.; Keroglou, C.; Hadjicostis, Christoforos N.; Kumar, R. (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 ...