TY - GEN
T1 - Encrypted Model Predictive Control of Nonlinear Systems
AU - Suryavanshi, Atharva V.
AU - Alnajdi, Aisha
AU - Alhajeri, Mohammed S.
AU - Abdullah, Fahim
AU - Christofides, Panagiotis D.
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023
Y1 - 2023
N2 - In recent years, cyber-security of networked control systems has become crucial, as these systems are vulnerable to targeted cyber-attacks that compromise the stability, integrity and safety of these systems. In this work, secure and private communication links are established between sensor-controller and controller-actuator elements using semi-homomorphic encryption to ensure cyber-security in Model Predictive Control (MPC) of nonlinear systems. Specifically, Paillier Cryptosystem is implemented for encryption-decryption operations in the communication links. Cryptosystems, in general, work on a subset of integers. As a direct consequence of this nature of encryption algorithms, quantization errors arise in the closed-loop MPC of non-linear systems. Thus, the closed-loop encrypted MPC is designed with a certain degree of robustness to the quantization errors. Furthermore, the trade-off between the accuracy of the encrypted MPC and the computational cost is discussed. Finally, a multi-input multi-output continuous stirred tank reactor (CSTR) example is presented to demonstrate the implementation of the proposed encrypted MPC design.
AB - In recent years, cyber-security of networked control systems has become crucial, as these systems are vulnerable to targeted cyber-attacks that compromise the stability, integrity and safety of these systems. In this work, secure and private communication links are established between sensor-controller and controller-actuator elements using semi-homomorphic encryption to ensure cyber-security in Model Predictive Control (MPC) of nonlinear systems. Specifically, Paillier Cryptosystem is implemented for encryption-decryption operations in the communication links. Cryptosystems, in general, work on a subset of integers. As a direct consequence of this nature of encryption algorithms, quantization errors arise in the closed-loop MPC of non-linear systems. Thus, the closed-loop encrypted MPC is designed with a certain degree of robustness to the quantization errors. Furthermore, the trade-off between the accuracy of the encrypted MPC and the computational cost is discussed. Finally, a multi-input multi-output continuous stirred tank reactor (CSTR) example is presented to demonstrate the implementation of the proposed encrypted MPC design.
UR - http://www.scopus.com/inward/record.url?scp=85167790367&partnerID=8YFLogxK
U2 - 10.1109/MED59994.2023.10185646
DO - 10.1109/MED59994.2023.10185646
M3 - Conference contribution
AN - SCOPUS:85167790367
T3 - 2023 31st Mediterranean Conference on Control and Automation, MED 2023
SP - 904
EP - 911
BT - 2023 31st Mediterranean Conference on Control and Automation, MED 2023
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 31st Mediterranean Conference on Control and Automation, MED 2023
Y2 - 26 June 2023 through 29 June 2023
ER -