arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2110.06270

Toward nonlinear dynamic control over encrypted data for infinite time horizon

Junsoo Kim·Farhad Farokhi·Iman Shames·Hyungbo Shim
View original source ↗Read source document ↗Export metadata ↓

Abstract

Recent studies on encrypted control using homomorphic encryption allow secure operation by directly performing computations on encrypted data without decryption. Implementing dynamic controllers on encrypted data presents unique challenges due to limitations on the number of operations on an encrypted message. Hence, it may not be possible to perform the recursive operations for an infinite time horizon. In this note, we demonstrate that it is possible to run a dynamic controller over encrypted data for an infinite time horizon if the output of the controller can be represented as a function of a fixed number of previous inputs and outputs. The presented implementation requires encryption at both input and output of the plant. We identify a class of nonlinear systems that can accommodate the proposed implementation. The closed-loop performance can be guaranteed using the proposed encrypted controller by ensuring that quantization error is made arbitrarily small with appropriate choice of parameters. We show that the proposed method is amenable to linear systems (as a subset of the said nonlinear systems) with performance guarantees.

Explore related subjects

eess.SYcs.SY

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Junsoo Kim, Farhad Farokhi, Iman Shames, Hyungbo Shim. 2021-10-12. Toward nonlinear dynamic control over encrypted data for infinite time horizon. https://arxiv.org/abs/2110.06270

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Reduced-Order Data Assimilation for Thermospheric Density Using Physics-informed SINDyc Models

Orbit prediction and space situational awareness require accurate thermospheric mass density, which responds nonlinearly to solar and geomagnetic forcing across several orders of magnitude. Physics-based general circulation models resolve that response but are computationally expensive, while empirical models run cheaply and carry no time-evolving atmospheric state. An autoregressive Sparse Identification of Nonlinear Dynamics with control (SINDyc-AR) model, derived from the Thermosphere-Ionosphere-Electrodynamics General Circulation Model (TIE-GCM), captures the dominant modes of variability and their dependence on the drivers at a fraction of the parent model's cost. An extended Kalman filter assimilates in situ observations from CHAMP, GRACE, GRACE-FO, GOCE, and Swarm into that model across several orbital configurations and geomagnetic conditions, with a linear DMDc model as reference. Assimilation reduces density error relative to open-loop prediction, most visibly during geomagnetic storms and under single-satellite coverage. The two reduced-order models perform comparably throughout. NRLMSIS 2.1 and HASDM can outperform the assimilated model far from the assimilated track, so results are framed as improvements over the open-loop forecast. An observation-calibrated global density record spanning August 2000 to December 2025 is released alongside this work.

eess.SY↗
arXiv2026

Joint Spectrum and Airspace Resource Optimization for Low-altitude Wireless Network

Low-altitude wireless networks have emerged as a promising platform for enabling the safe and efficient operation of unmanned aerial vehicles (UAVs). However, due to the limited spectrum and airspace resources, it is challenging to efficiently accomplish UAV flight tasks without collisions. In this paper, we propose a sequential framework with two coupled stages that coordinates spectrum allocation and airspace planning to construct efficient low-altitude air corridors. Specifically, the low-altitude airspace is discretized into a set of digital grids, where obstacles are modeled as impermeable units. Then, we formulate an optimization problem to minimize the total traversal cost of air corridors, which is challenging to solve due to the tight coupling between spectrum allocation and path planning.Therefore, we first design a constrained Vickrey-Clarke-Groves (VCG) ascending auction mechanism to allocate the spectrum resources. Then, we propose a joint spectrum and airspace resource allocation algorithm to minimize the total traversal cost of air corridors. Finally, simulation results show that the proposed algorithms achieve lower total costs than the baseline algorithms.

eess.SY↗
arXiv2026

IMU-Centric Moving Horizon Estimation for Lateral Dynamics Estimation Across Vehicles and Grip Conditions

Accurate estimation of lateral vehicle dynamics near the adhesion limit is important for stability control and high-performance driving, but lateral velocity is rarely measured directly because sensors such as optical sensors are costly. This paper presents an inertial measurement unit (IMU)-centric Moving Horizon Estimation framework that reconstructs lateral velocity using standard onboard signals, without relying on exteroceptive odometry or detailed tire-parameter tuning. Experimental validation on human-driven sports cars and an autonomous open-wheel race car across tracks, maneuvers, and conditions demonstrates accurate and robust lateral velocity and lateral acceleration estimates. The proposed framework is available at https://github.com/Aseuffo/IMU-Centric-MHE

eess.SY↗