Browsing by Author "Kumar, Ratnesh"

Now showing items 1-1 of 1

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