Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control

• URL: http://arxiv.org/abs/2403.18571v1
• Date: Wed, 27 Mar 2024 13:52:41 GMT
• Title: Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control
• Abstract summary: bootstrapping, a technique commonly employed in fully homomorphic cryptosystems, can be used to avoid overflows in the controller state. We analyze dynamic encrypted control with explicit consideration of bootstrapping.
• Score: 0.057550045763103325
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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 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.

Related papers

• Online Learning for Supervisory Switching Control [32.18235763142726]
  We study supervisory switching control for partially-observed linear dynamical systems.<n>The objective is to identify and deploy the best controller for the unknown system by selecting among a collection of $N$ candidate controllers.<n>We propose a novel, non-asymptotic analysis of supervisory control that adapts multi-armed bandit algorithms to a control-theoretic setting.
  arXiv  Detail & Related papers  (2026-03-16T02:52:09Z)
• Disturbance Compensation for Safe Kinematic Control of Robotic Systems with Closed Architecture [5.705899925573079]
  In commercial robotic systems, it is common to encounter a closed inner-loop torque controller that is not user-modifiable.<n>In this work, we focus on the development of an easily integrated add-on at the outer-loop layer.<n>Our solution demonstrates superior performance in terms of simplicity of implementation, robustness, tracking precision, and safety.
  arXiv  Detail & Related papers  (2025-12-04T22:29:12Z)
• Comparison and performance analysis of dynamic encrypted control approaches [0.5371337604556311]
  homomorphic encryption has proven to guarantee the privacy of measurement and control signals, as well as system and controller parameters, while regulating the system as intended.<n>We review recent approaches to dynamic control encrypted, such as bootstrapping, periodic resets of the controller state, integer reformulations, and FIR controllers, and equip them with a stability and performance analysis to evaluate their suitability.
  arXiv  Detail & Related papers  (2025-10-20T09:26:33Z)
• Towards a constructive framework for control theory [0.0]
  computational uncertainty should be addressed explicitly in controller synthesis and system analysis. A series of previous works is overviewed, including constructive system stability and stabilization, approximate optimal controls, eigenvalue problems, Caratheodory trajectories, measurable selectors.
  arXiv  Detail & Related papers  (2025-01-04T12:07:45Z)
• Automatically Adaptive Conformal Risk Control [49.95190019041905]
  We propose a methodology for achieving approximate conditional control of statistical risks by adapting to the difficulty of test samples. Our framework goes beyond traditional conditional risk control based on user-provided conditioning events to the algorithmic, data-driven determination of appropriate function classes for conditioning.
  arXiv  Detail & Related papers  (2024-06-25T08:29:32Z)
• Improving the Performance of Robust Control through Event-Triggered Learning [74.57758188038375]
  We propose an event-triggered learning algorithm that decides when to learn in the face of uncertainty in the LQR problem. We demonstrate improved performance over a robust controller baseline in a numerical example.
  arXiv  Detail & Related papers  (2022-07-28T17:36:37Z)
• Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations [50.37808220291108]
  This paper addresses learning safe output feedback control laws from partial observations of expert demonstrations. We first propose robust output control barrier functions (ROCBFs) as a means to guarantee safety. We then formulate an optimization problem to learn ROCBFs from expert demonstrations that exhibit safe system behavior.
  arXiv  Detail & Related papers  (2021-11-18T23:21:00Z)
• Sparsity in Partially Controllable Linear Systems [56.142264865866636]
  We study partially controllable linear dynamical systems specified by an underlying sparsity pattern. Our results characterize those state variables which are irrelevant for optimal control.
  arXiv  Detail & Related papers  (2021-10-12T16:41:47Z)
• How Are Learned Perception-Based Controllers Impacted by the Limits of Robust Control? [17.775878968489852]
  We revisit the difficulty of optimal control problems in terms of system properties like minimum eigenvalues of controllability/observability gramians. We ask: to what extent are quantifiable control and perceptual difficulty metrics of a task predictive of the performance and sample complexity of data-driven controllers? Our results show that the fundamental limits of robust control have corresponding implications for the sample-efficiency and performance of learned perception-based controllers.
  arXiv  Detail & Related papers  (2021-04-02T00:31:31Z)
• Enforcing robust control guarantees within neural network policies [76.00287474159973]
  We propose a generic nonlinear control policy class, parameterized by neural networks, that enforces the same provable robustness criteria as robust control. We demonstrate the power of this approach on several domains, improving in average-case performance over existing robust control methods and in worst-case stability over (non-robust) deep RL methods.
  arXiv  Detail & Related papers  (2020-11-16T17:14:59Z)
• Robust Model-Free Learning and Control without Prior Knowledge [1.14219428942199]
  We present a model-free control algorithm that robustly learn and stabilize an unknown discrete-time linear system. The controller does not require any prior knowledge of the system dynamics, disturbances, or noise. We will conclude with simulation results that show that despite the generality and simplicity, the controller demonstrates good closed-loop performance.
  arXiv  Detail & Related papers  (2020-10-01T05:43:33Z)
• Learning Stabilizing Controllers for Unstable Linear Quadratic Regulators from a Single Trajectory [85.29718245299341]
  We study linear controllers under quadratic costs model also known as linear quadratic regulators (LQR) We present two different semi-definite programs (SDP) which results in a controller that stabilizes all systems within an ellipsoid uncertainty set. We propose an efficient data dependent algorithm -- textsceXploration -- that with high probability quickly identifies a stabilizing controller.
  arXiv  Detail & Related papers  (2020-06-19T08:58:57Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.