Browsing by Subject "Stochastic discrete event systems"

Now showing items 1-6 of 6

    • 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  

      Detectability in stochastic discrete event systems 

      Keroglou, C.; Hadjicostis, Christoforos N. (2015)
      A discrete event system possesses the property of detectability if it allows an observer to perfectly estimate the current state of the system after a finite number of observed symbols, i.e., detectability captures the ...
    • Conference Object  

      Initial state opacity in stochastic des 

      Keroglou, C.; Hadjicostis, Christoforos N. (2013)
      A non-deterministic finite automaton is initial-state opaque if the membership of its true initial state to a given set of secret states S remains opaque (i.e., uncertain) to an intruder who observes system activity through ...
    • Conference Object  

      Opacity verification in stochastic discrete event systems 

      Saboori, A.; Hadjicostis, Christoforos N. (2010)
      Motivated by security and privacy considerations in applications of discrete event systems, various notions of opacity have been introduced. Specifically, a system is said to be current-state opaque if the entrance of the ...
    • 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 ...
    • Article  

      Verification of detectability in Probabilistic Finite Automata 

      Keroglou, C.; Hadjicostis, Christoforos N. (2017)
      In this paper we analyze state estimation in stochastic discrete event systems (SDES) that can be modeled as probabilistic finite automata (PFAs). For a given PFA, we obtain the necessary and sufficient conditions that ...