Attack detection and secure correction control for cyber-physical systems subject to actuator deception attacks | IEEE Conference Publication | IEEE Xplore