Encrypted model predictive control design for security to cyberattacks

Suryavanshi, Atharva; Alnajdi, Aisha; Alhajeri, Mohammed; Abdullah, Fahim; Christofides, Panagiotis D.

doi:10.1002/aic.18104

Encrypted model predictive control design for security to cyberattacks

Journal Article · Wed Apr 12 00:00:00 EDT 2023 · AIChE Journal

DOI:https://doi.org/10.1002/aic.18104· OSTI ID:1983477

Suryavanshi, Atharva ^[1]; Alnajdi, Aisha ^[2]; Alhajeri, Mohammed ^[1]; ^[1]; Christofides, Panagiotis D. ^[3]

Department of Chemical and Biomolecular Engineering University of California Los Angeles California USA
Department of Electrical and Computer Engineering University of California Los Angeles California USA
Department of Chemical and Biomolecular Engineering University of California Los Angeles California USA, Department of Electrical and Computer Engineering University of California Los Angeles California USA

Abstract

In recent years, cyber‐security of networked control systems has become crucial, as these systems are vulnerable to targeted cyberattacks 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 nonlinear 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, two chemical process examples are employed to demonstrate the implementation of the proposed encrypted MPC design.

View Accepted Manuscript (Publisher)

Sponsoring Organization:: USDOE

OSTI ID:: 1983477

Journal Information:: AIChE Journal, Journal Name: AIChE Journal Journal Issue: 8 Vol. 69; ISSN 0001-1541

Publisher:: Wiley Blackwell (John Wiley & Sons)Copyright Statement

Country of Publication:: United States

Language:: English

References (27)

Economic model predictive control of nonlinear process systems using Lyapunov techniques Heidarinejad, Mohsen; Liu, Jinfeng; Christofides, Panagiotis D. AIChE Journal, Vol. 58, Issue 3 https://doi.org/10.1002/aic.12672	journal	May 2011
Economic model predictive control of nonlinear time-delay systems: Closed-loop stability and delay compensation Ellis, Matthew; Christofides, Panagiotis D. AIChE Journal, Vol. 61, Issue 12 https://doi.org/10.1002/aic.14964	journal	August 2015
Machine learning‐based predictive control of nonlinear processes. Part I: Theory Wu, Zhe; Tran, Anh; Rincon, David AIChE Journal, Vol. 65, Issue 11 https://doi.org/10.1002/aic.16729	journal	August 2019
Machine‐learning‐based predictive control of nonlinear processes. Part II: Computational implementation Wu, Zhe; Tran, Anh; Rincon, David AIChE Journal, Vol. 65, Issue 11 https://doi.org/10.1002/aic.16734	journal	July 2019
A cyber‐secure control‐detector architecture for nonlinear processes Chen, Scarlett; Wu, Zhe; Christofides, Panagiotis D. AIChE Journal, Vol. 66, Issue 5 https://doi.org/10.1002/aic.16907	journal	January 2020
Detectability‐based controller design screening for processes under multiplicative cyberattacks Narasimhan, Shilpa; El‐Farra, Nael H.; Ellis, Matthew J. AIChE Journal, Vol. 68, Issue 1 https://doi.org/10.1002/aic.17430	journal	September 2021
A control‐switching approach for cyberattack detection in process systems with minimal false alarms Narasimhan, Shilpa; El‐Farra, Nael H.; Ellis, Matthew J. AIChE Journal, Vol. 68, Issue 12 https://doi.org/10.1002/aic.17875	journal	September 2022
On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming Wächter, Andreas; Biegler, Lorenz T. Mathematical Programming, Vol. 106, Issue 1 https://doi.org/10.1007/s10107-004-0559-y	journal	April 2005
Model predictive heuristic control Richalet, J.; Rault, A.; Testud, J. L. Automatica, Vol. 14, Issue 5 https://doi.org/10.1016/0005-1098(78)90001-8	journal	September 1978
A universal formula for stabilization with bounded controls Lin, Yuandan; Sontag, Eduardo D. Systems & Control Letters, Vol. 16, Issue 6 https://doi.org/10.1016/0167-6911(91)90111-Q	journal	June 1991
Post cyber-attack state reconstruction for nonlinear processes using machine learning Wu, Zhe; Chen, Scarlett; Rincon, David Chemical Engineering Research and Design, Vol. 159 https://doi.org/10.1016/j.cherd.2020.04.018	journal	July 2020
The effect of the Colonial Pipeline shutdown on gasoline prices Tsvetanov, Tsvetan; Slaria, Srishti Economics Letters, Vol. 209 https://doi.org/10.1016/j.econlet.2021.110122	journal	December 2021
Encrypted cloud-based MPC for linear systems with input constraints Darup, Moritz Schulze; Redder, Adrian; Quevedo, Daniel E. IFAC-PapersOnLine, Vol. 51, Issue 20 https://doi.org/10.1016/j.ifacol.2018.11.035	journal	January 2018
Encrypted MPC based on ADMM real-time iterations Darup, Moritz Schulze IFAC-PapersOnLine, Vol. 53, Issue 2 https://doi.org/10.1016/j.ifacol.2020.12.1708	journal	January 2020
Active multiplicative cyberattack detection utilizing controller switching for process systems Narasimhan, Shilpa; El-Farra, Nael H.; Ellis, Matthew J. Journal of Process Control, Vol. 116 https://doi.org/10.1016/j.jprocont.2022.05.014	journal	August 2022
Survey on Anomaly Detection using Data Mining Techniques Agrawal, Shikha; Agrawal, Jitendra Procedia Computer Science, Vol. 60 https://doi.org/10.1016/j.procs.2015.08.220	journal	January 2015
Stabilization of nonlinear systems with state and control constraints using Lyapunov-based predictive control Mhaskar, Prashant; El-Farra, Nael H.; Christofides, Panagiotis D. Systems & Control Letters, Vol. 55, Issue 8 https://doi.org/10.1016/j.sysconle.2005.09.014	journal	August 2006
Towards Encrypted MPC for Linear Constrained Systems Schulze Darup, Moritz; Redder, Adrian; Shames, Iman IEEE Control Systems Letters, Vol. 2, Issue 2 https://doi.org/10.1109/LCSYS.2017.2779473	journal	April 2018
Lessons from Stuxnet Chen, T. M.; Abu-Nimeh, S. Computer, Vol. 44, Issue 4 https://doi.org/10.1109/MC.2011.115	journal	April 2011
Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges Schulze Darup, Moritz; Alexandru, Andreea B.; Quevedo, Daniel E. IEEE Control Systems, Vol. 41, Issue 3 https://doi.org/10.1109/MCS.2021.3062956	journal	June 2021
A public key cryptosystem and a signature scheme based on discrete logarithms Elgamal, T. IEEE Transactions on Information Theory, Vol. 31, Issue 4 https://doi.org/10.1109/TIT.1985.1057074	journal	July 1985
Attacks against process control systems: risk assessment, detection, and response Cárdenas, Alvaro A.; Amin, Saurabh; Lin, Zong-Syun Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security - ASIACCS '11 https://doi.org/10.1145/1966913.1966959	conference	January 2011
A method for obtaining digital signatures and public-key cryptosystems Rivest, R. L.; Shamir, A.; Adleman, L. Communications of the ACM, Vol. 21, Issue 2 https://doi.org/10.1145/359340.359342	journal	February 1978
A Nonlinear Systems Framework for Cyberattack Prevention for Chemical Process Control Systems † Durand, Helen Mathematics, Vol. 6, Issue 9 https://doi.org/10.3390/math6090169	journal	September 2018
Detecting and Handling Cyber-Attacks in Model Predictive Control of Chemical Processes Wu, Zhe; Albalawi, Fahad; Zhang, Junfeng Mathematics, Vol. 6, Issue 10 https://doi.org/10.3390/math6100173	journal	September 2018
Mitigating Safety Concerns and Profit/Production Losses for Chemical Process Control Systems under Cyberattacks via Design/Control Methods Durand, Helen; Wegener, Matthew Mathematics, Vol. 8, Issue 4 https://doi.org/10.3390/math8040499	journal	April 2020
Machine Learning Techniques for Anomaly Detection: An Overview Omar, Salima; Ngadi, Asri; H. Jebur, Hamid International Journal of Computer Applications, Vol. 79, Issue 2 https://doi.org/10.5120/13715-1478	journal	October 2013

Similar Records

End-to-End Encryption for Cyber-Physical Systems Using Fully Homomorphic Encryption

Conference · Mon Apr 29 00:00:00 EDT 2024 · OSTI ID:2439933

Fully Homomorphic Encryption

Software · Thu Jun 19 20:00:00 EDT 2025 · OSTI ID:code-160029

Employing a Hardware-in-the-Loop Approach to Realize a Fully Homomorphic Controller for a Small Modular Advanced High Temperature Reactor

Conference · Tue Jun 17 00:00:00 EDT 2025 · OSTI ID:2572866

Encrypted model predictive control design for security to cyberattacks

Citation Formats

References (27)

Similar Records

Related Subjects