Searcharxiv⌕ Search

arXiv · 2610.32662

Iterative Behavioral Identification for Covert Misappropriation Attacks

Abstract

We present a data-driven, three-phase framework for covert misappropriation attacks on closed-loop networked control systems. A man-in-the-middle (MITM) adversary, with access only to intercepted input-output data, incrementally identifies the plant's behavioral subspace while maintaining stealth under an infinity-norm intrusion-detection system (IDS). Phase 1 collects an initial rank-deficient Hankel matrix using a low-amplitude probing signal that satisfies an analytical stealth bound. Phase 2 adapts online rank-increasing experiment design to the closed-loop setting, using causal predictor-based masking to limit IDS residuals while the Hankel rank grows from 1 to the full behavioral rank n + mL in exactly n + mL - 1 steps. We show that the identified subspaces are strictly nested and that the projection error of any desired trajectory decreases monotonically, strictly so almost surely at each rank increase. Phase 3 employs the final Hankel matrix in a DeePC-style optimization to synthesize a covert attack that tracks an arbitrary reference while respecting the IDS constraint. Simulations on a DC motor with PI control demonstrate full-rank identification and stealthy tracking. Stealth is guaranteed analytically in Phases 1 and 3 and is numerically supported in Phase 2. The method is model-free and assumes noise-free LTI dynamics.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Victor Mattos, Amit Bhaya, Daniel Sadoc Menasche, Alan O. de Sá. 2026-10-23. Iterative Behavioral Identification for Covert Misappropriation Attacks. https://arxiv.org/abs/2610.32662

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

KEEP EXPLORING

Related papers

Controller-Agnostic Runtime Safety Certificates for Tool-Using AI Agents via Data-Driven Robust Reachability

Software agents built on large language models act by issuing tool calls, some of which cannot be undone. To control theory the model is an opaque feedback controller, replaced every few months, whose closed loop cannot be analyzed directly. We propose a runtime filter, or shield, between any such controller and its environment that certifies a bound on the probability of reaching an unsafe condition during a bounded task. Given a predicate abstraction and candidate successor sets, everything else comes from logs: the loop becomes a finite controlled Markov chain, the estimated kernel is surrounded by a distribution-free confidence region, and robust reach-avoid value iteration runs over it. The certificate is probably approximately correct and uniform over controllers respecting the filter, so one model may replace another without recomputation. In all tested datasets the true risk stayed within certificate and budget; in a file-system sandbox the filter stays sound against a hazard the logs barely covered, where a plug-in baseline certifies safety and fails; and it holds seven controllers, three of them open-weights models, to zero unsafe outcomes in 1050 episodes.

eess.SY↗

Scalable Reservoir Computing for Disturbance Localization and Identification in Power Grids

In this paper, we present a novel method for the localization and temporal waveform reconstruction of disturbances in complex power grids using observations of system state variables. Although various methods exist for detecting these events, accurately identifying and responding to them remains a significant challenge due to the grid's size, speed, complexity, and inherently dynamic behavior. We formulate a method for disturbance localization and reconstruction based on reservoir computing, a recurrent neural network architecture. We show that our method is able to recover the time dependence of previously unobserved disturbances, is robust to missing information, and can operate online. The approach requires only observed system data and knowledge of the network topology, without requiring a physical model of the system dynamics, and can recover simultaneous disturbances occurring at multiple locations. We implement a scalable parallelized reservoir architecture and demonstrate our algorithm on test IEEE cases and a reduced WECC system.

eess.SY↗

Stability Enhancement of Cascaded DC Systems via Source Output-Impedance Reshaping Using Model-Free Control

Cascaded DC systems may become unstable through source-load impedance interactions even when their constituent converters are locally stable. This paper proposes a source-side model-free control (MFC) method that reuses bus-voltage feedback to reshape the source output impedance while preserving nominal reference-to-output dynamics. The controller uses only nominal source-loop information and requires neither a load-converter model nor load-side measurements. A current-controlled buck source supplying a regulated buck-resistor load that exhibits constant-power load (CPL) behaviour at low frequencies is used as the case study. Impedance analysis predicts that the proposed MFC increases the maximum stable load power by approximately 50%, thereby improving the stability margin of the cascaded system. Switched-model simulations confirm preservation of the nominal reference-to-output response and show that the MFC-controlled system remains stable at load levels for which the baseline system becomes unstable.

eess.SY↗