Table 6 State expressions of Invariant #1 for SWaT
From: Deriving invariant checkers for critical infrastructure using axiomatic design principles
State expression | Label |
|---|---|
!MV-101 and !LIT-101 | Anomaly |
!MV-101 and LIT-101 | No anomaly |
MV-101 and !LIT-101 | No anomaly |
MV-101 and LIT-101 | Anomaly |