Algorithm 2 MPC-DSPTI: MPC Strategy for DSPTI

1:Initialize $\widehat{Y}\leftarrow \varnothing$, $\underset{\_}{z}\leftarrow -\infty$, $\overline{z}\leftarrow +\infty$, $\widehat{\mathbf{x}}\leftarrow \mathbf{0}$, $t\leftarrow 0$ 2:while$|V_s|<|V|$do 3:      Malware Detection: obtain a set $V_d\left(t\right)$ 4:      if $V_d\left(t\right)\ne \varnothing$ then 5:         Defender’s Decision: solve LG-SSPTI(t) for ${\mathbf{x}}^t$ 6:         Malware Interdiction: allocate countermeasures          according to ${\mathbf{x}}^t$ 7:      Attacker’s Decision: solve [Sub(${\mathbf{x}}^t$)] for ${\mathbf{y}}^t$ 8:      Malware propagation: penetrate the CPS based on ${\mathbf{y}}^t$ 9:      $t\leftarrow t+1$