A model predictive approach for cyber-attack detection and mitigation in control systems | IEEE Conference Publication | IEEE Xplore