Advances, Systems and Applications
si | \(\mathcal {E}_{\textbf {s}}\llbracket e_{i}\rrbracket \) | \(s_{i} \land \mathcal {E}_{\textbf {s}}\llbracket e_{i}\rrbracket \) | \( s_{i} \times \mathcal {E}_{\textbf {s}}\llbracket e_{i}\rrbracket \leq s_{i}\) |
---|---|---|---|
Active | Active | Active | yes |
Inactive | Active | Inactive | yes |
Active | Inactive | Inactive | yes |
Inactive | Inactive | Inactive | yes |