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 条
  • [41] Almost sure optimality and optimality in probability for stochastic control problems over an infinite time horizon
    Pra, PD
    Di Masi, GB
    Trivellato, B
    ANNALS OF OPERATIONS RESEARCH, 1999, 88 : 161 - 171
  • [42] Verifiable dynamic search over encrypted data in cloud-assisted intelligent systems
    Wang, Yunling
    Wei, Pei
    Miao, Meixia
    Zhang, Xuefeng
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2022, 37 (12) : 11830 - 11852
  • [43] Dynamic secure multi-keyword ranked search over encrypted cloud data
    Hozhabr, Maryam
    Asghari, Parvaneh
    Javadi, Hamid Haj Seyyed
    JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2021, 61
  • [44] Real-time infinite horizon linear-quadratic tracking controller for vibration quenching in flexible beams
    Alba-Flores, Rocio
    Barbieri, Enrique
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 38 - +
  • [45] Efficient dynamic multi-keyword fuzzy search over encrypted cloud data
    Zhong, Hong
    Li, Zhanfei
    Cui, Jie
    Sun, Yue
    Liu, Lu
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2020, 149
  • [46] Convergence of Dynamic Programming on the Semidefinite Cone for Discrete-Time Infinite-Horizon LQR
    Lee, Donghwan
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (10) : 5661 - 5668
  • [47] Time-Restricted, Verifiable, and Efficient Query Processing Over Encrypted Data on Cloud
    Li, Meng
    Gao, Jianbo
    Zhu, Liehuang
    Zhang, Zijian
    Lal, Chhagan
    Conti, Mauro
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2024, 17 (03) : 1239 - 1251
  • [48] VMKDO: Verifiable multi-keyword search over encrypted cloud data for dynamic data-owner
    Miao, Yinbin
    Ma, Jianfeng
    Liu, Ximeng
    Liu, Zhiquan
    Shen, Limin
    Wei, Fushan
    PEER-TO-PEER NETWORKING AND APPLICATIONS, 2018, 11 (02) : 287 - 297
  • [49] VMKDO: Verifiable multi-keyword search over encrypted cloud data for dynamic data-owner
    Yinbin Miao
    Jianfeng Ma
    Ximeng Liu
    Zhiquan Liu
    Limin Shen
    Fushan Wei
    Peer-to-Peer Networking and Applications, 2018, 11 : 287 - 297
  • [50] Distributed infinite-horizon optimal control of continuous-time linear systems over network
    Battilotti, Stefano
    Cacace, Filippo
    D'Angelo, Massimiliano
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2021, 31 (06) : 2082 - 2096