Security Index of Linear Cyber-Physical Systems: A Geometric Perspective

This paper is mainly concerned with developing security indices for linear cyber-physical systems (CPS). The approaches for computing security (and consequently vulnerability analysis) of CPS in the literature are based on algebraic methods and system matrices. In this paper, for the first time in the literature we formally address the security index analysis and computation from a geometric system theory perspective. This point of view enables one to develop an algorithm for computing an upper bound on the security index having a linear time complexity with respect to dimension of the system (i.e., $O(n)$). This is a significant improvement compared to the currently available approaches in the literature that have polynomial time complexity. Unlike the approaches in the literature our methodology does not need any restriction on the representation of the system. Moreover, the geometric approach provides a tool to formally analyze the attack signals injected to the CPS by introducing a new type of attack that is more sophisticated than zero dynamic attacks. Finally, we illustrate our proposed methodology through a numerical example.

[1]  R. Stephenson A and V , 1962, The British journal of ophthalmology.

[2]  Mohammad-Ali Massoumnia,et al.  A geometric approach to failure detection and identification in linear systems , 1986 .

[3]  Francesco Bullo,et al.  Control-Theoretic Methods for Cyberphysical Security: Geometric Principles for Optimal Cross-Layer Resilient Control Systems , 2015, IEEE Control Systems.

[4]  Jezdimir Milosevic,et al.  Model Based Impact Analysis and Security Measure Allocation for Control Systems , 2018 .

[5]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[6]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[7]  W. Wonham Linear Multivariable Control: A Geometric Approach , 1974 .

[8]  Henrik Sandberg,et al.  From control system security indices to attack identifiability , 2016, 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS).

[9]  Harry L. Trentelman,et al.  Control theory for linear systems , 2002 .

[10]  W. H. Chung,et al.  A game theoretic fault detection filter , 1998, IEEE Trans. Autom. Control..

[11]  Christian Commault,et al.  On the fixed controllable subspace in linear structured systems , 2017, Syst. Control. Lett..

[12]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[13]  J. Massey,et al.  Invertibility of linear time-invariant dynamical systems , 1969 .

[14]  Ling Shi,et al.  Guest Editorial Special Issue on Secure Control of Cyber-Physical Systems , 2017, IEEE Trans. Control. Netw. Syst..

[15]  Andre Teixeira,et al.  Toward Cyber-Secure and Resilient Networked Control Systems , 2014 .

[16]  Christian Commault,et al.  A geometric approach for structured systems: Application to disturbance decoupling , 1997, Autom..