Figure 7
From: Current-state opacity verification in discrete event systems using an observer net
Observer net \(\Phi\) dynamics.
Figure 7 | Scientific Reports
From: Current-state opacity verification in discrete event systems using an observer net
Observer net \(\Phi\) dynamics.
