TY - JOUR
T1 - Analysis and Design of Actuation-Sensing-Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems
AU - Pequito, Sergio
AU - Khorrami, Farshad
AU - Krishnamurthy, Prashanth
AU - Pappas, George J.
N1 - Funding Information:
Manuscript received October 9, 2017; revised May 6, 2018; accepted August 7, 2018. Date of publication August 27, 2018; date of current version May 28, 2019. This work was supported in part by the TerraSwarm Research Center, one of six centers supported by the STARnet phase of the Focus Center Research Program (FCRP) a Semiconductor Research Corporation program sponsored by MARCO and DARPA, and in part by the NSF ECCS-1306128 grant. Recommended by Associate Editor L. Xie. (Corresponding author: Sérgio Pequito.) S. Pequito is with the Department of Industrial and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY 12180 USA (e-mail:, sergio.pequito@gmail.com).
Publisher Copyright:
© 2014 IEEE.
PY - 2019/6
Y1 - 2019/6
N2 - This paper considers the analysis and design of resilient/robust decentralized control systems. Specifically, we aim to assess how the pairing of sensors and actuators lead to architectures that are resilient to attacks/hacks for industrial control systems and other complex cyber-physical systems. We consider inherent structural properties such as internal fixed modes of a dynamical system depending on actuation, sensing, and interconnection/communication structure for linear discrete time-invariant dynamical systems. We introduce the notion of a resilient fixed-modes free system that ensures the nonexistence of fixed modes when the actuation-sensing-communication structure is compromised due to attacks by a malicious agent on actuators, sensors, or communication components and natural failures. Also, we provide a graph-theoretical characterization for the resilient structurally fixed modes that enables to capture the nonexistence of resilient fixed modes for almost all possible systems' realizations. Additionally, we address the minimum actuation-sensing-communication codesign ensuring the nonexistence of resiliently structurally fixed modes, which we show to be NP-hard. Notwithstanding, we identify conditions that are often satisfied in engineering settings and under which the codesign problem is solvable in polynomial-time complexity. Furthermore, we leverage the structural insights and properties to provide a convex optimization method to design the gain for a parameterized system and satisfying the sparsity of a given information pattern. Thus, exploring the interplay between structural and nonstructural systems to ensure their resilience. Finally, the efficacy of the proposed approach is demonstrated on a power grid example.
AB - This paper considers the analysis and design of resilient/robust decentralized control systems. Specifically, we aim to assess how the pairing of sensors and actuators lead to architectures that are resilient to attacks/hacks for industrial control systems and other complex cyber-physical systems. We consider inherent structural properties such as internal fixed modes of a dynamical system depending on actuation, sensing, and interconnection/communication structure for linear discrete time-invariant dynamical systems. We introduce the notion of a resilient fixed-modes free system that ensures the nonexistence of fixed modes when the actuation-sensing-communication structure is compromised due to attacks by a malicious agent on actuators, sensors, or communication components and natural failures. Also, we provide a graph-theoretical characterization for the resilient structurally fixed modes that enables to capture the nonexistence of resilient fixed modes for almost all possible systems' realizations. Additionally, we address the minimum actuation-sensing-communication codesign ensuring the nonexistence of resiliently structurally fixed modes, which we show to be NP-hard. Notwithstanding, we identify conditions that are often satisfied in engineering settings and under which the codesign problem is solvable in polynomial-time complexity. Furthermore, we leverage the structural insights and properties to provide a convex optimization method to design the gain for a parameterized system and satisfying the sparsity of a given information pattern. Thus, exploring the interplay between structural and nonstructural systems to ensure their resilience. Finally, the efficacy of the proposed approach is demonstrated on a power grid example.
KW - Closed-loop systems
KW - control design
KW - decentralized control
KW - output feedback
UR - http://www.scopus.com/inward/record.url?scp=85052639022&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85052639022&partnerID=8YFLogxK
U2 - 10.1109/TCNS.2018.2867415
DO - 10.1109/TCNS.2018.2867415
M3 - Article
AN - SCOPUS:85052639022
SN - 2325-5870
VL - 6
SP - 667
EP - 678
JO - IEEE Transactions on Control of Network Systems
JF - IEEE Transactions on Control of Network Systems
IS - 2
M1 - 8447498
ER -