Table 3 Observer net for current-state opacity verification.

From: Current-state opacity verification in discrete event systems using an observer net

 

Framework

Acyclic

On-line/Off-line

NFA to DFA

Complexity

10

NFA

Yes

No

Yes

PSPACE-complete

27

LPN

Yes

No

Yes

PSPACE-complete

28

POPN

Yes

No

No

PSPACE-complete

Our work

LPN

Not required

Yes

No

PSPACE-complete

Back to article page