2 papers
cs.CR2026
Where Does Detection Fail? A Residual-Evidence Diagnostic Workflow for Industrial Control Systems
Peiran Shi, Jian Xiang, Xiang Zhang +1
Residual-based anomaly detectors for industrial control systems (ICS) convert model residuals into anomaly scores and alarms, but final detection metrics provide little guidance on…
eess.SY2024
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
Jian Xiang, Ruggero Lanotte, Simone Tini +2
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a…