Analyzing Robustness in Cyber-Physical Systems under Sensor Attacks

The author presents a formal framework for analyzing the robustness of cyber-physical systems under sensor attacks using differential dynamic logic, introducing forward and backward safety notions to quantify system resilience. The approach focuses on measuring the impact of sensor attacks on system safety through simulation distances.