State Key Laboratory of Mathematical Engineering and Advanced Computing;
Zhengzhou 450001;
China;
College of Control Science and Engineering;
Zhejiang University;
Hangzhou 310027;
China;
College of Computer Science and Technology;
Guizhou University;
Guiyang 550025;
China;
School of Information Systems;
Singapore Management University;
Singapore 689867;
Singapore;
industrial control system; programmable logic controller; proactive defense; heterogeneous redundant architecture;