Abstract: This work investigates cyber attacks targeting cyber-physical systems in the framework of discrete event systems. From intruders' perspective, we propose a concept called k-step ...