Covert attack detection for constrained cyber-physical systems regulated by robust model predictive controllers | IEEE Conference Publication | IEEE Xplore