Dynamic Controller That Operates Over Homomorphically Encrypted Data for Infinite Time Horizon

被引:33
|
作者
Kim, Junsoo [1 ]
Shim, Hyungbo [2 ]
Han, Kyoohyung [3 ]
机构
[1] KTH Royal Inst Technol, Div Decis & Control Syst, S-10044 Stockholm, Sweden
[2] Seoul Natl Univ, Dept Elect & Comp Engn, ASRI, Seoul 151744, South Korea
[3] Samsung SDS, Seoul 05510, South Korea
基金
新加坡国家研究基金会;
关键词
Cryptography; Actuators; Homomorphic encryption; Matrix converters; Stability analysis; Performance evaluation; Degradation; Dynamic system over encrypted data; encrypted control; homomorphic encryption; privacy; security; SECURE;
D O I
10.1109/TAC.2022.3142124
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this article, we present a dynamic feedback controller that computes the next state and the control signal over encrypted data using homomorphic properties of cryptosystems, whose performance is equivalent to the linear dynamic controllers over real-valued data. Assuming that the input as well as the output of the plant is encrypted and transmitted back to the controller, it is shown that the state matrix of any linear time-invariant controller can be always converted to a matrix of integer components. This allows the dynamic feedback controller to operate for infinite time horizon without decryption or reset of its internal state. For implementation in practice, we illustrate the use of a cryptosystem that is based on the Learning With Errors problem, which allows both multiplication and addition over encrypted data. It is also shown that the effect of injected random numbers during encryption for security can be maintained within a small bound by way of the closed-loop stability.
引用
收藏
页码:660 / 672
页数:13
相关论文
共 50 条
  • [21] Model robustness of finite state nonlinear filtering over the infinite time horizon
    Chigansky, Pavel
    van Handel, Ramon
    ANNALS OF APPLIED PROBABILITY, 2007, 17 (02): : 688 - 715
  • [22] The infinite time horizon dynamic pricing problem with multi-unit demand
    Cheng Wang
    Wansheng Tang
    Ruiqing Zhao
    Optimization Letters, 2013, 7 : 1125 - 1138
  • [23] The infinite time horizon dynamic pricing problem with multi-unit demand
    Wang, Cheng
    Tang, Wansheng
    Zhao, Ruiqing
    OPTIMIZATION LETTERS, 2013, 7 (06) : 1125 - 1138
  • [24] Infinite Time Horizon Active Fault Diagnosis based on Approximate Dynamic Programming
    Puncochar, Ivo
    Skach, Jan
    Simandl, Miroslav
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 4456 - 4461
  • [25] Hamilton–Jacobi–Bellman Equations with Time-Measurable Data and Infinite Horizon
    V. Basco
    H. Frankowska
    Nonlinear Differential Equations and Applications NoDEA, 2019, 26
  • [26] Verifiable dynamic ranked search with forward privacy over encrypted cloud data
    Chen, Chien-Ming
    Tie, Zhuoyu
    Wang, Eric Ke
    Khan, Muhammad Khurram
    Kumar, Sachin
    Kumari, Saru
    PEER-TO-PEER NETWORKING AND APPLICATIONS, 2021, 14 (05) : 2977 - 2991
  • [27] A Novel Dynamic Ranked Fuzzy Keyword Search Over Cloud Encrypted Data
    Jie, Wang
    Xiao, Yu
    Ming, Zhao
    Yong, Wang
    2014 IEEE 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC)/2014 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING (EMBEDDEDCOM)/2014 IEEE 12TH INTERNATIONAL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING (PICOM), 2014, : 91 - +
  • [28] OPTIMAL STOPPING INVESTMENT WITH NON-SMOOTH UTILITY OVER AN INFINITE TIME HORIZON
    Chen, Xiaoshan
    Li, Xun
    Yi, Fahuai
    JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, 2019, 15 (01) : 81 - 96
  • [29] Verifiable dynamic ranked search with forward privacy over encrypted cloud data
    Chien-Ming Chen
    Zhuoyu Tie
    Eric Ke Wang
    Muhammad Khurram Khan
    Sachin Kumar
    Saru Kumari
    Peer-to-Peer Networking and Applications, 2021, 14 : 2977 - 2991
  • [30] Secure and Efficient Deduplication over Encrypted Data with Dynamic Updates in Cloud Storage
    Koo, Dongyoung
    Hur, Junbeom
    Yoon, Hyunsoo
    FRONTIER AND INNOVATION IN FUTURE COMPUTING AND COMMUNICATIONS, 2014, 301 : 229 - 235