IF-CPS: Influence Functions for Cyber-Physical Systems -- A Unified Framework for Diagnosis, Curation, and Safety Attribution
Jiachen Li, Shihao Li, Soovadeep Bakshi, Jiamin Xu, and Dongmei Chen

TL;DR
This paper introduces IF-CPS, a modular influence function framework tailored for cyber-physical systems, enabling effective diagnosis, data curation, and safety attribution by accounting for CPS-specific properties.
Contribution
The paper presents a novel influence function framework specifically designed for CPS, incorporating safety, trajectory, and propagated influence variants to improve attribution tasks.
Findings
IF-CPS outperforms standard influence functions in most benchmarks.
Achieves AUROC 1.00 in Pendulum poisoning detection.
Spearman ρ = 0.55 for constraint boundary correlation in Pendulum.
Abstract
Neural network controllers trained via behavior cloning are increasingly deployed in cyber-physical systems (CPS), yet practitioners lack tools to trace controller failures back to training data. Existing data attribution methods assume i.i.d.\ data and standard loss targets, ignoring CPS-specific properties: closed-loop dynamics, safety constraints, and temporal trajectory structure. We propose IF-CPS, a modular influence function framework with three CPS-adapted variants: safety influence (attributing constraint violations), trajectory influence (temporal discounting over trajectories), and propagated influence (tracing effects through plant dynamics). We evaluate IF-CPS on six benchmarks across diagnosis, curation, and safety attribution tasks. IF-CPS improves over standard influence functions in the majority of settings, achieving AUROC in Pendulum (5-10\% poisoning), …
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdversarial Robustness in Machine Learning · Anomaly Detection Techniques and Applications · Formal Methods in Verification
