Cyber-physical systems are ubiquitous in power systems, transportation networks, industrial control processes, and critical infrastructures. These systems need to operate reliably in the face of unforeseen failures and external malicious attacks. In this paper: i) we propose a mathematical framework for cyber-physical systems, attacks, and monitors; ii) we characterize fundamental monitoring limitations from system-theoretic and graph-theoretic perspectives; and ii) we design centralized and distributed attack detection and identification monitors. Finally, we validate our findings through compelling examples.
In REF Pasqualetti et al. authorsproposed a theoretical framework for modeling cyber-physical systems, attacks, and attack detection monitors.
Attack Detection and Identification in Cyber-Physical Systems
IEEE Transactions on Automatic Control
IEEE Transactions on Automatic Control
Mathematics Engineering Computer Science