Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control

arXiv:2403.18571v1 Announce Type: cross
Abstract: Encrypted dynamic controllers that operate for an unlimited time have been a challenging subject of research. The fundamental difficulty is the accumulation of errors and scaling factors in the internal state during operation. Bootstrapping, a technique commonly employed in fully homomorphic cryptosystems, can be used to avoid overflows in the controller state but can potentially introduce significant numerical errors. In this paper, we analyze dynamic encrypted control with explicit consideration of bootstrapping. By recognizing the …

analysis arxiv can control controllers cs.cr cs.sy dynamic eess.sy encrypted errors internal math.oc performance research scaling stability state