Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems

Xiaoyan Li, Christoforos N. Hadjicostis

Attacks, including the manipulation of sensor readings and the modification of actuator commands, pose a significant challenge to the security and privacy of automated systems. Thi…