自举保证:动态加密控制的稳定性与性能分析
系统与控制
2024-03-28 v1 密码学与安全
系统与控制
最优化与控制
摘要
能够在无限时间内运行的加密动态控制器一直是一个具有挑战性的研究课题。其根本困难在于运行过程中内部状态中误差和缩放因子的累积。自举是全同态密码系统中常用的一种技术,可用于避免控制器状态中的溢出,但可能会引入显著的数值误差。在本文中,我们明确考虑了自举操作,对动态加密控制进行了分析。通过将控制器状态中发生的自举误差视为鲁棒控制框架中的不确定性,我们能够为整个加密控制系统提供稳定性和性能保证。此外,通过使用控制系统的提升版本,降低了稳定性和性能检验的保守性。
引用
@article{arxiv.2403.18571,
title = {Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control},
author = {Sebastian Schlor and Frank Allgöwer},
journal= {arXiv preprint arXiv:2403.18571},
year = {2024}
}