Secure State Estimation for Cyber-Physical Systems with Actuator Attacks | IEEE Conference Publication | IEEE Xplore