Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2403.18571 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914730440916992 |
|---|---|
| author | Schlor, Sebastian Allgöwer, Frank |
| author_facet | Schlor, Sebastian Allgöwer, Frank |
| contents | 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 bootstrapping errors occurring in the controller's state as an uncertainty in the robust control framework, we can provide stability and performance guarantees for the whole encrypted control system. Further, the conservatism of the stability and performance test is reduced by using a lifted version of the control system. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_18571 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control Schlor, Sebastian Allgöwer, Frank Systems and Control Cryptography and Security Optimization and Control 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 bootstrapping errors occurring in the controller's state as an uncertainty in the robust control framework, we can provide stability and performance guarantees for the whole encrypted control system. Further, the conservatism of the stability and performance test is reduced by using a lifted version of the control system. |
| title | Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control |
| topic | Systems and Control Cryptography and Security Optimization and Control |
| url | https://arxiv.org/abs/2403.18571 |