Attack detection and secure state estimation for discrete-time nonlinear systems | IEEE Journals & Magazine | IEEE Xplore