Encrypted Dynamic Control with Stability Tests and Application to Pantograph-Catenary Systems
DOI:
https://doi.org/10.59992/IJSR.2026.v5n8p6Keywords:
Homomorphic Encryption, Encrypted Control, Stability Tests, Pantograph-Catenary System, Integer State MatrixAbstract
This paper addresses the challenges of implementing linear dynamic controllers on encrypted data using homomorphic encryption, focusing on the problem of scaling factor accumulation that leads to performance instability when operating systems with non-integer matrices over long time horizons. The paper demonstrates that integer matrices represent a fundamental solution to this problem, allowing signal scale to remain fixed throughout the operation without the need for re-encryption or resetting. The paper also presents two tests for analyzing the stability of nonlinear systems at equilibrium points: the first determines global stability based on the sign of determinants, while the second relies on Gershgorin criteria for local stability. The tests are applied to a dynamic system model of the pantograph-catenary system, identifying stability and instability regions in the parameter plane, and studying the influence of pantograph speed on system stability. Numerical results demonstrate the effectiveness of the proposed mathematical models in analyzing the behavior of complex physical systems.
References
1. J. Kim, H. Shim, and K. Han, "Dynamic controller that operates over homomorphically encrypted data for infinite time horizon," arXiv preprint arXiv:1912.07362, 2019.
2. P. Parlier, "Public-key cryptosystems based on composite degree residuality classes," in Advances in Cryptology – EUROCRYPT 1999, Prague, Czech Republic, Springer, 1999, pp. 223–238.
3. O. Regev, "On lattices, learning with errors, random linear codes, and cryptography," in Proc. 37th Annual ACM Symp. Theory of Computing (STOC), Baltimore, MD, USA, 2005, pp. 84–93.
4. Z. Brake ski and V. Vaikuntanathan, "Efficient fully homomorphic encryption from (standard) LWE," in Proc. IEEE 52nd Annu. Symp. Found. Compute. Sci. (FOCS), Palm Springs, CA, USA, 2011, pp. 97–106.
5. C. Gentry, A Fully Homomorphic Encryption Scheme, Ph.D. thesis, Stanford University, 2009.
6. J. H. Cheon, A. Kim, M. Kim, and Y. Song, "Homomorphic encryption for arithmetic of approximate numbers," in Advances in Cryptology – ASIACRYPT 2017, Hong Kong, China, Springer Cham, 2017, pp. 409–437.
7. K. Kagiso and T. Fujita, "Cyber-security enhancement of networked control systems using homomorphic encryption," in Proc. 54th IEEE Conf. Decision and Control (CDC), Osaka, Japan, 2015, pp. 7256–7263.
8. C. Murguia, F. Farokhi, and I. Shames, "Secure and private implementation of dynamic controllers using semi homomorphic encryption," IEEE Trans. Autom. Control, vol. 65, no. 9, pp. 3950–3957, 2020.
9. N. Schlüter, P. Binfet, and M. Schulze Darup, "A brief survey on encrypted control: From the first to the second generation and beyond," Annu. Rev. Control, vol. 56, p. 100913, 2023.
10. M. Schulze Darup, "Encrypted model predictive control in the cloud," in Privacy in Dynamical Systems, Singapore, Springer, 2019, pp. 231–265.
11. J. H. Cheon, K. Han, H. Kim, J. Kim, and H. Shim, "Need for controllers having integer coefficients in homomorphically encrypted dynamic system," in Proc. 57th IEEE Conf. Decision and Control (CDC), Miami, FL, USA, 2018, pp. 5020–5025.
12. J. Kim, H. Shim, H. Sandberg, and K. H. Johansson, "Method for running dynamic systems over encrypted data for infinite time horizon without bootstrapping and re-encryption," in Proc. 60th IEEE Conf. Decision and Control (CDC), Austin, TX, USA, 2021, pp. 6528–6534.
13. J. Lee, D. Lee, and J. Kim, "Stabilization by controllers having integer coefficients," 2025. Preprint: https://arxiv.org/abs/2505.00481.
14. J. Lee, D. Lee, S. Lee, J. Kim, and H. Shim, "Conversion of controllers to have integer state matrix for encrypted control: Non-minimal order approach," in Proc. 62nd IEEE Conf. Decision and Control (CDC), Singapore, 2023, pp. 5091–5096.
15. N. Schlüter, M. Neuhaus, and M. Schulze Darup, "Encrypted dynamic control with unlimited operating time via FIR filters," in Proc. 2021 European Control Conf. (ECC), Rotterdam, Netherlands, 2021, pp. 952–957.
16. J. Adamek, N. Schlüter, and M. Schulze Darup, "On the design of stabilizing FIR controllers," in Proc. 10th Int. Conf. Control, Decision and Information Technologies (CoDIT), Valletta, Malta, 2024, pp. 2037–2042.
17. S. Schor and F. Allgaier, "Bootstrapping guarantees: Stability and performance analysis for dynamic encrypted control," IEEE Control Syst. Lett., vol. 8, pp. 2235–2240, 2024.
18. A. B. Alexandru, A. Tsiamis, and G. J. Pappas, "Towards private data-driven control," in Proc. 59th IEEE Conf. Decision and Control (CDC), Jeju, South Korea, 2020, pp. 5449–5456.
19. R. L. Rivest, A. Shamir, and L. Adleman, "A method for obtaining digital signatures and public-key cryptosystems," Commun. ACM, vol. 21, no. 2, pp. 120–126, 1978.
20. N. Schlüter, M. Neuhaus, and M. Schulze Darup, "Encrypted extremum seeking for privacy-preserving PID tuning as-a-service," in Proc. 2022 European Control Conf. (ECC), London, UK, 2022.
21. J. Kim et al., "Encrypting controller using fully homomorphic encryption for security of cyber-physical systems," IFAC-Papers Online, vol. 49, no. 22, pp. 175–180, 2016.
22. S. Lang, M. Seidel, and F. Allgaier, "Robust performance for switched systems with constrained switching and its application to weakly hard real-time control systems," in Cyber-physical Networking, Springer, 2024. Preprint: https://arxiv.org/abs/2411.08436v1.
23. C. Scherer and S. Weiland, Linear Matrix Inequalities in Control, vol. 3, Delft, The Netherlands, Lecture Notes, Dutch Institute for Systems and Control, 2000.
24. M. Green and D. J. N. Lime beer, Linear Robust Control, Englewood Cliffs, NJ, Prentice-Hall, 1995.
25. J. Lomberg, "YALMIP: A toolbox for modeling and optimization in MATLAB," in Proc. CACSD Conf., Taipei, Taiwan, 2004.
26. MOSEK Apes, MOSEK Optimization Toolbox for MATLAB 10.2.17, 2024.
27. A. Al Badawi and Y. Polyakov, "Demystifying bootstrapping in fully homomorphic encryption," Cryptal. Print Arch., Paper 2023/149, 2023.
28. C. Marcella, V. Sacasas, M. Manzano, R. Assoil, F. H. P. Fitzek, and N. Aara, "Survey on fully homomorphic encryption, theory, and applications," Proc. IEEE, vol. 110, no. 10, pp. 1572–1609, 2022.
