Convex Inner Approximations for Safe AC Dispatch With Device Dynamics

Ziqing Zhu

Home/Archive/arXiv

arXiv · 2610.26634

Convex Inner Approximations for Safe AC Dispatch With Device Dynamics

Ziqing Zhu

View original source ↗Read source document ↗Export metadata ↓

Abstract

Safe AC dispatch requires both feasible operating points and enough ramping capability to reach the next target. This paper constructs convex inner approximations that connect nonlinear network feasibility, constrained device response, and dispatch-interval tracking. A fixed-point certificate enforces AC operating limits under bounded load uncertainty. Componentwise response envelopes convert heterogeneous device dynamics into affine conditions on measured states and power references. A command governor then combines these conditions with available ramping capability and a hard terminal-error bound. It selects an admissible target through a minimum-deviation objective and holds the corresponding reference while reserved fast regulation remains active. The resulting quadratic program has no network-trajectory decision variables. Tests on the IEEE 39- and 118-bus systems include 96 single-target executions and 64 transitions in continuous dispatch sequences at five- and fifteen-minute intervals. All 160 transitions satisfy the AC constraints, independent balancing-generator capability checks, and the prescribed regulation-adjusted terminal accuracy. A paired ablation verifies the contribution of the terminal condition under slow device responses. Complete admission-cycle computation has median times of 3.45 and 8.79 ms for the two systems. The construction provides a tractable link between available ramping capability and safe, timely execution of AC dispatch.

Explore related subjects

eess.SY cs.SY

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ziqing Zhu. 2026-10-19. Convex Inner Approximations for Safe AC Dispatch With Device Dynamics. https://arxiv.org/abs/2610.26634

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

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

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.

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↗