1. Secure Formation Control via Edge Computing Enabled by Fully Homomorphic Encryption and Mixed Uniform-Logarithmic Quantization
- Author
-
Kerstin Bunte, Mariano Perez Chaher, Matteo Marcantoni, Bayu Jayawardhana, Intelligent Systems, Discrete Technology and Production Automation, and Robotics and image-guided minimally-invasive surgery (ROBOTICS)
- Subjects
Control and Optimization ,Optimization and Control (math.OC) ,Control and Systems Engineering ,FOS: Electrical engineering, electronic engineering, information engineering ,FOS: Mathematics ,Systems and Control (eess.SY) ,Electrical Engineering and Systems Science - Systems and Control ,Mathematics - Optimization and Control ,Computer Science::Cryptography and Security - Abstract
Recent developments in communication technologies, such as 5G, together with innovative computing paradigms, such as edge computing, provide further possibilities for the implementation of real-time networked control systems. However, privacy and cyber-security concerns arise when sharing private data between sensors, agents and a third-party computing facility. In this paper, a secure version of the distributed formation control is presented, analyzed and simulated, where gradient-based formation control law is implemented in the edge, with sensor and actuator information being secured by fully homomorphic encryption method based on learning with error (FHE-LWE) combined with a proposed mixed uniform-logarithmic quantizer (MULQ). The novel quantizer is shown to be suitable for realizing secure control systems with FHE-LWE where the critical real-time information can be quantized into a prescribed bounded space of plaintext while satisfying a sector bound condition whose lower and upper-bound can be made sufficiently close to an identity. An absolute stability analysis is presented, that shows the asymptotic stability of the closed-loop secure control system.
- Published
- 2023
- Full Text
- View/download PDF