Browsing by Subject "Pspace-hardness"

Now showing items 1-1 of 1

    • 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 ...