Covert attack detection for constrained cyber-physical systems regulated by robust model predictive controllers.