Table 1 Performance of Algorithm 2.
From: Current-state opacity verification in discrete event systems using an observer net
Event occurrence | Time (s) | CSO |
|---|---|---|
Observable event a occurs | \(7.4 \times 10^{-2}\) | Y |
Observable event a occurs | \(6.7 \times 10^{-1}\) | Y |
Observable event b occurs | \(1.1 \times 10^{1}\) | Y |
Observable event a occurs | \(2.6 \times 10^{1}\) | Y |
Observable event a occurs | \(3.9 \times 10^{1}\) | Y |
Observable event b occurs | \(5.7 \times 10^{1}\) | N |
