Attack Detection and Identification in Cyber-Physical Systems

被引:1731
作者
Pasqualetti, Fabio [1 ]
Doerfler, Florian [1 ]
Bullo, Francesco [1 ]
机构
[1] Univ Calif Santa Barbara, Ctr Control Dynam Syst & Computat, Santa Barbara, CA 93106 USA
基金
美国国家科学基金会;
关键词
Cyber-physical systems; descriptor systems; distributed control; fault detection; geometric control; graph theory; networks; security; OBSERVERS; MODELS;
D O I
10.1109/TAC.2013.2266831
中图分类号
TP [自动化技术、计算机技术];
学科分类号
080201 [机械制造及其自动化];
摘要
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.
引用
收藏
页码:2715 / 2729
页数:15
相关论文
共 53 条
[1]
Stealthy Deception Attacks on Water SCADA Systems [J].
Amin, Saurabh ;
Litrico, Xavier ;
Sastry, S. Shankar ;
Bayen, Alexandre M. .
HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2010, :161-170
[2]
Amin S, 2009, LECT NOTES COMPUT SC, V5469, P31, DOI 10.1007/978-3-642-00602-9_3
[3]
[Anonymous], 1989, SINGULAR CONTROL SYS, DOI DOI 10.1007/BFB0002475
[4]
[Anonymous], 1995, NONLINEAR CONTROL SY, DOI [DOI 10.1007/978-1-84628-615-5, 10.1007/978-1-84628-615-5]
[5]
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[6]
[Anonymous], 2004, Power System State Estimation Theory and Implementation
[7]
On convergence conditions of waveform relaxation methods for linear differential-algebraic equations [J].
Bai, Zhong-Zhi ;
Yang, Xi .
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2011, 235 (08) :2790-2804
[8]
Basile G., 1991, Controlled and Conditioned Invariants in Linear Systems Theory
[9]
Basseville M, 1993, DETECTION ABRUPT CHA
[10]
Boulos P. F., 2006, Comprehensive water distribution systems analysis handbook for engineers and planners