Observer-Based Control for Linear Continuous-Time Systems With Fully Homomorphic Encryption

被引:2
作者
Nguyen, Hung [1 ]
Nguyen, Binh [2 ]
Lee, Hyung-Gon [1 ]
Ahn, Hyo-Sung [1 ]
机构
[1] Gwangju Inst Sci & Technol, Sch Mech Engn, Gwangju 61005, South Korea
[2] Texas A&M Univ Corpus Christi, Coll Engn, Corpus Christi, TX 78412 USA
来源
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS | 2025年 / 12卷 / 01期
基金
新加坡国家研究基金会;
关键词
Quantization (signal); Control systems; Stability criteria; Asymptotic stability; Symmetric matrices; Process control; Homomorphic encryption; Discontinuous Lyapunov functional; learning with errors (LWE)-based encryption; linear matrix inequalities (LMIs); observed-based controller; sampled-data system; SAMPLED-DATA CONTROL; SECURE;
D O I
10.1109/TCNS.2024.3401268
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This article is concerned with designing an encrypted observer-based controller for linear continuous-time systems. To be specific, this article deploys a fully homomorphic encryption (FHE) scheme to directly compute control inputs in an encrypted form without decryption, thus avoiding data eavesdropping. Note that the deployment of FHE in observer-based controllers inevitably faces challenges in handling quantization errors due to the quantization required by the encryption-decryption processes. This motivates us to propose a novel encrypted form for computations of the continuous-time controller and present rigorous stability analysis based on its virtual dynamics. Consequently, stability criteria are formulated in terms of tractable conditions associated with quantization gains and sampling intervals. Numerical results on dc motor control corresponding to several quantization gains and sampling intervals demonstrate the validity of our method.
引用
收藏
页码:700 / 712
页数:13
相关论文
共 48 条
[1]   An Adaptive Two-Level Quantizer for Networked Control Systems [J].
Almakhles, Dhafer ;
Swain, Akshya K. ;
Nasiri, Alireza ;
Patel, Nitish .
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2017, 25 (03) :1084-1091
[2]  
Antsaklis P.J., 2007, A Linear Systems Primer
[3]  
Boyd S., 1994, Linear Matrix Inequalities in system and control theory
[4]   Optimal Cloud Computing Resource Allocation for Demand Side Management in Smart Grid [J].
Cao, Zijian ;
Lin, Jin ;
Wan, Can ;
Song, Yonghua ;
Zhang, Yi ;
Wang, Xiaohui .
IEEE TRANSACTIONS ON SMART GRID, 2017, 8 (04) :1943-1955
[5]  
Chen L, 2016, REPORT POSTQUANTUM C, DOI DOI 10.6028/NIST.IR.8105
[6]  
Darup M. S., 2020, Privacy Dynamical System, P231
[7]   Encrypted Control for Networked Systems AN ILLUSTRATIVE INTRODUCTION AND CURRENT CHALLENGES [J].
Darup, Moritz Schulze ;
Alexandru, Andreea B. ;
Quevedo, Daniel E. ;
Pappas, George J. .
IEEE CONTROL SYSTEMS MAGAZINE, 2021, 41 (03) :58-78
[8]   Towards Encrypted MPC for Linear Constrained Systems [J].
Darup, Moritz Schulze ;
Redder, Adrian ;
Shames, Iman ;
Farokhi, Farhad ;
Quevedo, Daniel .
IEEE CONTROL SYSTEMS LETTERS, 2018, 2 (02) :195-200
[9]   A PUBLIC KEY CRYPTOSYSTEM AND A SIGNATURE SCHEME BASED ON DISCRETE LOGARITHMS [J].
ELGAMAL, T .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1985, 31 (04) :469-472
[10]   Secure and private control using semi-homomorphic encryption [J].
Farokhi, Farhad ;
Shames, Iman ;
Batterham, Nathan .
CONTROL ENGINEERING PRACTICE, 2017, 67 :13-20