Encrypted Model Predictive Control of Nonlinear Systems

Atharva V. Suryavanshi, Aisha Alnajdi, Mohammed S. Alhajeri, Fahim Abdullah, P. Christofides
{"title":"Encrypted Model Predictive Control of Nonlinear Systems","authors":"Atharva V. Suryavanshi, Aisha Alnajdi, Mohammed S. Alhajeri, Fahim Abdullah, P. Christofides","doi":"10.1109/MED59994.2023.10185646","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":270226,"journal":{"name":"2023 31st Mediterranean Conference on Control and Automation (MED)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 31st Mediterranean Conference on Control and Automation (MED)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MED59994.2023.10185646","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
非线性系统的加密模型预测控制
近年来,网络控制系统的网络安全变得至关重要,因为这些系统容易受到有针对性的网络攻击,从而损害这些系统的稳定性、完整性和安全性。在这项工作中,使用半同态加密在传感器-控制器和控制器-执行器元件之间建立安全和私有通信链路,以确保非线性系统模型预测控制(MPC)的网络安全。具体地说,Paillier密码系统实现了通信链路中的加解密操作。一般来说,密码系统是在整数子集上工作的。由于加密算法的这种性质,在非线性系统的闭环MPC中会产生量化误差。因此,设计的闭环加密MPC对量化误差具有一定的鲁棒性。此外,还讨论了加密MPC的准确性和计算成本之间的权衡。最后,以多输入多输出连续搅拌槽式反应器(CSTR)为例,验证了加密MPC设计的实现。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Nonlinear state observer for PMSM with evolutionary algorithm Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints Design Constraints in the Synthesis of Control of Positive Linear Discrete-time Systems An Event-Triggered Dynamic Consensus-Based Adaptive Electric Vehicles Fast Charging Control in an Isolated Microgrid A Swarm-Based Distributed Algorithm for Target Encirclement with Application to Monitoring Tasks in Precision Agriculture Scenarios
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1