arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.27599

Data-Driven Minimum Energy Control for Stochastic Linear Systems with Finite Sample Guarantees

Vaishnavi Sharma·Vaibhav Katewa
View original source ↗Read source document ↗Export metadata ↓

Abstract

The open-loop minimum-energy control (MEC) problem asks for control inputs that minimize the control energy while ensuring the terminal state reaches a desired value. In this paper, we study the open-loop MEC problem for stochastic linear time-invariant systems. We consider a variety of stochastic constraints that enforce the terminal error to be \emph{small}, and show that Stochastic MEC (SMEC) problem can be formulated as a QCQP. We obtain the optimal solution for SMEC and show that it generalizes the well-known Deterministic MEC problem by introducing novel stochastic variants of controllability and Gramian matrices and show that there exists a fundamental lower bound on the optimal control energy which cannot be overcome by increasing the time horizon of the problem. We then extend the formulation to systems with unknown dynamics using maximum-likelihood estimation and conformal calibration, and compare these approaches with direct sample-based estimation that do not incorporate structural information of SMEC problem into account. Further, with the help of bias-variance analysis, we show when incorporating structural information proves to be better than direct sample based approach. Finally, we establish finite-sample high-probability upper bounds on optimal-cost sub-optimality and original constraint-violation probability under the data-driven controller, quantifying their dependence on the number of experiments, number of samples per experiment, system dimension, input sequence dimension, and noise-to-signal ratio. Using simulations, we validate the theoretical results numerically.

Explore related subjects

eess.SYcs.SYmath.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vaishnavi Sharma, Vaibhav Katewa. 2026-10-20. Data-Driven Minimum Energy Control for Stochastic Linear Systems with Finite Sample Guarantees. https://arxiv.org/abs/2610.27599

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

KEEP EXPLORING

Related papers

arXiv2026

Multiplexed Label-Free Cytokine Sensing Using a 128x128 CMOS ISFET Array with Flexdym Microfluidic Partitioning

Cytokine-mediated inflammation disorders such as sepsis and cytokine release syndrome demand bedside multiplex panels that resolve pro- and anti-inflammatory dynamics in minutes, yet label-free FET cytokine sensors remain limited to few devices, single analytes, and PDMS packaging that sorbs small molecules and leaches oligomers. We present a CMOS platform pairing a 128 x 128 ion-sensitive field-effect transistor (ISFET) array (SkyWater 130 nm, SiN gate) with a FlexDym 4 x 1 micro-well overlay that partitions the membrane into four chemically independent regions (approximately 2,176 pixels each, square-root-of-N averaging). Two wells carry capture antibodies (anti-IL-6, anti-IL-10), one is a non-specific reference, and one tests specificity; the transduced signal is defined as the differential current relative to the reference signal (Delta I_D(W_n) - Delta I_D(W_3)). Single-analyte dose-response measurements spanning 100 fM to 10 nM successfully resolve both IL-6 and IL-10 above the non-specific detection floor, including at healthy-serum baseline concentrations. The array shows a per-pixel pH sensitivity of 1.13 microamperes per pH unit (CV approximately 14%). Across two chips, device-to-device variation is dominated by transconductance spread (g_m CV approximately 62%); a one-time per-device g_m calibration reduces analyte-measurement variance to approximately 16%. We further validate the surface functionalization, characterize device-to-device variation, and demonstrate the FlexDym integration workflow. Simultaneous multiplexed cytokine measurements resolve IL-6 (W1) and IL-10 (W2) against the chemistry-only reference (W3). At the same time, cross-specificity characterization is assessed by applying IL-6 to an anti-IL-10 well (W4), establishing a scalable label-free ISFET architecture for multiplexed cytokine sensing.

eess.SY↗
arXiv2026

Anytime-Valid Runtime Monitoring of Learned Barrier Certificates

Learned barrier certificates provide a principled mechanism for establishing safety of stochastic systems, but their validity may deteriorate during deployment when the underlying dynamics differ from those used for training. We propose an anytime-valid runtime monitor that audits a learned barrier certificate using observed closed-loop trajectories. The monitor is intended to detect loss of statistical support for the deployed barrier condition; it does not by itself guarantee detection before unsafe entry or safety of a subsequent intervention. Specifically, the conditional barrier-drift condition is formulated as an episode-wise sequential hypothesis test, and observed barrier increments are transformed into a nonnegative test supermartingale, yielding finite-sample false-alarm control under arbitrary stopping times. Inspired by finite-horizon safety verification, we further introduce a deterministic temporal shaping of the monitoring boundary, making the monitor more conservative early in a prescribed deployment horizon while preserving anytime-validity. The monitor is designed to detect statistical evidence that the safety certificate is no longer consistent with the observed dynamics, rather than to predict unsafe entry. To assess the monitor empirically, we evaluate empirical alarm behavior under valid and invalid certificates. Code and data are available at https://github.com/FormalCert-AI/runtime-barrier-monitor.

eess.SY↗
arXiv2026

Active Inference via Incentive Design: Eliciting Divergent Behaviors under Partial Observability

We introduce Active Inference through Incentive Design, a framework in which a leader offers strategic incentive to elicit diverging behaviors from followers of different types, thereby improving intent inference under imperfect observations. We analyze two settings: Case 1: a perfectly observable leader with two homogeneous followers with different original/unmodified reward functions, under the assumption that followers' best responses induce Gibbs trajectory distributions in their respective Markov decision processes, we show that this inference problem can be reformulated as maximizing the difference in expected cumulative return, under a modified reward for one follower, between the best-response policies of the two followers; Case 2 considers a partially observable leader who aims to distinguish among heterogeneous followers differing in dynamics and/or rewards. The leader balances incentive cost against information gain, measured by the posterior entropy over follower types, consider the follower's best responses to the incentive design. We develop an efficient first-order gradient-based algorithm to optimize the information-theoretic inference objective. Experiments in stochastic gridworld environments demonstrate significant improvements in both inference accuracy and efficiency over unincentivized baselines.

eess.SY↗