SEARCH · Searcharxiv

Search Searcharxiv

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 217 records · Page 12Linked to original sources

arXiv2026

Existential Opacity for Discrete-Event Systems with State Observations

Opacity is a fundamental system property for confidentiality in discrete-event systems (DES). Classical opacity is typically defined under event-based observations, requiring that any secret system behavior remains indistinguishable from some non-secret behavior to an external intruder. However, in many applications such as path planning or opacity-preserving tasks, the intruder observes system states rather than events. Moreover, it often suffices that the system exhibits secret behaviors that can be exploited for opacity-preserving task execution, but such a system property cannot be fully captured by existing notions of state-observation-based opacity. Motivated by this limitation, we propose a relaxed notion of existing state-observation-based opacity, called existential opacity (EO), which only requires the existence of secret behaviors (instead of all secret behaviors) that are indistinguishable from a non-secret behavior under the state observations of the intruder. We show that the notion of EO is more expressive than existing state-observation-based opacity notions. In addition, a class of EO properties together with their corresponding verification approaches are developed, enabling the analysis of existential opacity in discrete-event systems and providing a new criterion for determining the feasibility of opacity-preserving problems.

eess.SY↗

arXiv2026

Prosumer Synchronisation Risk: Impacts of Time-Varying Tariffs on Distribution Network Expansion

The rapid deployment of distributed energy resources, including heat pumps, electric vehicles, photovoltaics, and battery storage, is reshaping the operation of low-voltage networks. While distribution system operators often aim to develop time-varying tariffs to incentivise network-friendly behaviour and defer reinforcements, they risk triggering prosumer synchronisation. As prosumers follow price signals, their behaviour may synchronise, avoiding existing load peaks while creating undesirable peaks at other times. This paper quantifies the impact on low-voltage network reinforcement needs when shifting from flat tariffs to two time-varying tariffs: Time-of-Use and Real-Time Pricing. Applying a mixed-integer linear model across 471 low-voltage reference networks in Switzerland, we evaluate expansion requirements under projections of distributed energy resource deployment for 2050. In the model, prosumers operate their distributed energy resources in accordance with their subscribed electricity tariff to minimise costs, and the distribution system operator subsequently optimises reinforcements. Our results demonstrate that while adopting time-varying tariffs can reduce reinforcement investment costs by more than 50%, high adoption rates can reverse this declining trend. Specifically, once prosumer adoption exceeds the optimal thresholds of 50% for Time-of-Use and 40% for Real-Time Pricing, reinforcement needs increase by 39% and 134%, respectively, for an additional 20% of tariff adoption.

eess.SY↗

arXiv2026

A simple derivation of the Kalman filter

In this lecture note, we present a concise and self-contained derivation of the discrete-time Kalman filter equations that requires only a basic understanding of least squares estimation. The treatment is designed to minimize mathematical overhead while preserving both rigor and generality.

math.OC↗

arXiv2026

Humanoid Safe Stop via Learned Stoppability Value

Humanoid robots responding to emergency stop commands typically execute a fixed maneuver, without reasoning about whether a safe stop is actually feasible from the current state. We cast emergency stopping as a reach-avoid problem and propose Safe-Stop, a task-agnostic framework that pairs a learned stop policy with learned stoppability estimators. The estimators are complementary: a stop-probability estimator supervised by the actual outcomes of the fixed stop policy, and a reach-avoidance estimator supervised by a Hamilton-Jacobi backup over physical state. The first captures emergent stopping behavior of the learned controller; the second provides a complementary recoverability signal. Because the stop policy and estimators do not depend on the behavior policy that preceded the stop command, they transfer across diverse upstream tasks without retraining. At deployment, the two estimates are combined: Safe-Stop commits to the stop only when both estimators indicate that stopping remains feasible, otherwise it hands off to a fall policy, instantiated as a damping fallback. This agreement check yields decisions that are robust without sacrificing reactivity.

cs.RO↗

arXiv2026

On the invariance of risk-sensitive LQR gain under input randomization

This paper shows that the optimal gain of the risk-sensitive linear quadratic regulator (LQR) problem is invariant under input randomization, i.e., when the controller deliberately injects noise into the nominal control input. This appears counterintuitive at first glance because certainty equivalence does not hold for risk-sensitive LQR and input randomization inflates the effective process noise. Nonetheless, the gain is preserved because the input noise enters not only the system dynamics but also the cost functional, and its total effect on the gain eventually vanishes. Consequently, the optimal gain and its associated Riccati recursion need not be recomputed, and the increment in the optimal cost can be readily evaluated in closed form. This result facilitates the use of risk-sensitive LQR in applications that employ input randomization for privacy or exploration, such as watermarking for replay attack detection, differential privacy, and path integral control.

math.OC↗

arXiv2026

Continuous-Time Aggregation of Massive Flexible HVAC Loads Considering Uncertainty for Reserve Provision in Power System Dispatch

Heating, ventilation, and air conditioning (HVAC) loads, with their rapid response capabilities, can provide considerable intra-hour flexibility on the demand side for reserve provision in order to follow the fast variations of renewables. However, scheduling massive HVACs is challenging due to computation complexity and the uncertainty of outdoor temperature. In this paper, we first introduce a novel continuous-time (CT) aggregation model to reveal the potential intra-hour flexibility of HVACs. For accurate aggregation, a new affine transformation is designed to handle the heterogeneity in high-dimensional feasible region. Further, for reliable aggregation in practical environment, the outdoor temperature uncertainty is constructed by distributionally robust chance constrains and integrated into the aggregation model. Secondly, for the tractable calculation of the proposed CT aggregation model, a cascade of tailored reformulation techniques is proposed, including the Bernstein polynomial spline, polytope projection, and linearization transformation. Thirdly, a customized hierarchical dispatch framework is proposed via incorporating the proposed CT aggregation model into reserve provision in power system dispatch, so as to efficiently schedule massive HVACs to cope with the renewable uncertainty. Case studies verify the effectiveness and scalability of the proposed CT aggregation model in aggregation accuracy, intra-hour flexibility utilization, and uncertainty handling.

eess.SY↗

arXiv2026

Leveraging Time-Causal State Variable Aggregation for Real-Time Schedule of Massive Air Conditioners

Air conditioner (AC) loads offer promising flexibility for active distribution networks to manage uncertainties, such as those in renewable energy generation, electricity prices, and load demand. However, real-time scheduling of ACs is challenging due to their massive temporal coupling constraints and time-causal uncertainties. To address this, a novel time-causal aggregation-based approximate dynamic programming (TCA-ADP) algorithm is proposed for efficient scheduling. The time-causality requirements for aggregating state variables are first analyzed to align with the real-time sequential decision-making process. Subsequently, an enhanced aggregation model is developed to ensure both high accuracy and adherence to time causality. The aggregation process is further reformulated as a linear program to optimize aggregation parameters and enable tractable computation. Accordingly, the TCA-ADP leverages aggregated state variables to approximate the value function as a new way, balancing computational efficiency and economy against the large value function space of massive ACs. By training the value function offline using historical data, the TCA-ADP efficiently achieves near-optimal real-time scheduling of massive ACs through parallel and closed-form disaggregation. Case studies demonstrate the effectiveness and scalability of the TCA-ADP, highlighting its aggregation accuracy, uncertainty handling, and the trade-off between economy and tractability.

eess.SY↗

arXiv2026

Multivariable Geometric Laplace Transform and Fault Detection in Distributed-Converter Lines

Monitoring a DC line with many distributed power converters is a genuinely spatio-temporal problem: the information about a localized fault travels along the whole conductor and reaches a few measurement points mixed with the dynamics of the line itself. This paper develops a two-dimensional geometric Laplace transform (t,x) -> (s_t,s_x) over a commutative subalgebra of the geometric algebra Cl(4,0), isomorphic to Segre's bicomplex numbers, in which two bivectors B_t and B_x act as independent imaginary units for the temporal and the spatial phase. Because the two phases live in algebraically distinguishable planes, a fault at position x_f leaves a transformed residual that factorizes as F_f(s_t) e^{-s_x x_f}: its temporal nature stays in the first factor and its location can be read as a geometric argument of the second. On this representation we build a transmission-line model of the converter line and its space-time dispersion relation, a distributed control by admittance shaping, including an exact treatment of discrete converter sites (spatial sampling, aliasing, and a per-converter droop realization that is exact on the sub-Nyquist band), and a fault diagnosis chain that detects, localizes and classifies injection-loss, shunt, sensor and local-controller faults, extends to multiple simultaneous faults with automatic order selection, and distinguishes the outage of a plant from a cable defect. As an integral object the transform is known in bicomplex analysis, and with a single independent variable it reduces to the complex Laplace transform; the contribution lies in its geometric embedding and in its operational use for fault diagnosis in distributed-converter networks. All results are reproduced by an accompanying open implementation.

eess.SY↗

arXiv2026

Pre-Lane-change Signal in Transitional Autonomous Vehicles: Results from Controlled Experiments

This paper investigates how a production transitional autonomous vehicle (tAV) develops and executes mandatory lane-change decisions. Using 150 controlled mandatory lane changes from the NC-tALC experiments, the study examines whether the eventual target gap is observable before lateral movement begins and how the tAV progresses longitudinally from that pre-lane-change state to lane-change start. Signal time (SigT) is defined as an operational pre-lane-change-start reference point. A Firth logistic regression predicts whether the tAV eventually merges in front of or behind its nearest target-lane vehicle using relative position and relative speed at SigT. Longitudinal progression from SigT to lane-change start is then examined separately for in-position and repositioning cases. The traffic state at SigT contains substantial information about eventual target-gap choice and provides meaningful lead time before lateral movement begins. The proposed formulation predicts whether the tAV remains with its current gap or repositions to a neighboring gap by moving forward or dropping back, including cases with longitudinal overlap and ambiguous current-gap geometry. The model achieves an average five-fold cross-validated accuracy of 0.89. Results also provide preliminary evidence that in-position and repositioning cases follow different longitudinal pathways from SigT to lane-change start. These findings support a two-stage conjecture of the observable lane-change process: longitudinal preparation from SigT to lane-change start, followed by lateral maneuver execution. The formulation applies to in-position, repositioning, and longitudinally overlapping cases, and can support lane-change models that distinguish target-gap choice from lateral-onset timing while representing longitudinal preparation before lateral movement begins.

cs.RO↗

arXiv2026

Zonotope-Based Active Exposure of Stealthy Deception Attacks in Sensor-Fusion Systems

This paper investigates the stealthy attack detection for sensor-fusion cyber-physical systems with unknown-but-bounded noises through the control channel. The detection framework is particularly applicable to sensor-fusion scenarios in which multiple suspicious sensors contributing to the fused estimate may be compromised simultaneously. First, we construct an admissible output set using secure sensors and an attack output set for each attack hypothesis. Then, we introduce a receding-horizon optimization framework to design exposure inputs, namely bounded auxiliary control perturbations injected through the control channel, so as to enlarge the separation between the admissible output set and the attack output sets according to the separation tendency. A sufficient detection condition is further derived, showing that set separation guarantees detectability of the compromised sensors. Moreover, an offline exposure budget guidance is developed to support budget selection before online exposure starts. Simulations on a UAV navigation system under stealthy GNSS and LiDAR attacks validate the proposed method.

eess.SY↗

arXiv2026

Economic Model Predictive Control with Policy-Guided Terminal Ingredients

Conventional designs for model predictive control typically rely on terminal costs and constraints derived from a steady state to guarantee closed-loop stability and performance. However, this dependence on a steady-state assumption limits the applicability of this control method to systems in which such a fixed operating point is either not available or not desirable. This work introduces a novel framework, termed policy-guided MPC, to address this limitation. Our approach constructs terminal costs and constraints using a known sub-optimal control policy. Specifically, the terminal region is defined around a center determined by a rollout of the policy, and a penalty on deviation from this center is used to define the terminal cost. This method obviates the need for a steady state or reference trajectory. Closed-loop performance guarantees are established relative to the guiding policy, for both finite and infinite horizon problems. The effectiveness of the proposed framework is demonstrated through numerical simulations on an energy management example.

eess.SY↗

arXiv2026

A Dry-Contact Ear-EEG System With Continuous Electrode-Skin Impedance Mismatch Monitoring for Motion Artifact Cancellation Using DRL Stimulus

Dry-contact ear-electroencephalography (Ear-EEG) enables wearable neural monitoring. However, motion induced electrode-skin impedance (ESI) mismatches between electrodes can severely degrade signal quality. To the best of our knowledge, this paper presents the first proof-of-concept dry-contact EarEEG system that uses a driven-right-leg (DRL) stimulus for continuous ESI mismatch monitoring, enabling online adaptive motion artifact cancellation. A 1 kHz sinusoidal stimulus is injected through the DRL electrode. The resulting response to the injected carrier is separated from the EEG using bandpass filtering and demodulation, and then used to extract the ESI mismatch information as the reference input for a normalized least-mean-square adaptive filter followed by a Hampel filtering stage. To evaluate artifact suppression and preservation of neural activity, alpha-band EEG activity was analyzed involving four healthy participants performing head nodding, electrode tapping, and jaw clenching. The system achieved artifact power reductions of 6.5, 12.6, and 9.0 dB (77.6%, 92.8%, and 86.4%, respectively) while alpha-band modulation remained clearly observable after processing. This demonstrates the feasibility of DRL-stimulusbased ESI mismatch monitoring for motion artifact cancellation in wearable dry-contact Ear-EEG.

eess.SP↗

arXiv2026

Guidelines for the implementation of power oscillation damping controllers in power converters

One of the most effective ways to damp electromechanical oscillations in power systems is by means of supplementary controllers attached to the different devices in the power system is by means of power system stabilizers (PSS) in synchronous machines or by means of power oscillation damping (POD) controllers in facilities with power converters. In the recent years, the use of POD controllers in voltage source converters (VSCs) with grid-following (GFL) control has been investigated. Although the potential of POD controllers to help to damp inter-area oscillations in power systems is enormous, their correct implementation is not trivial, because their effectiveness is strongly linked to their settings. This paper provides guidelines for the implementation of POD controllers in power converters for application in real-world power systems. The paper proposes compliance criteria for POD controllers using a synthetic test system and a systematic methodology used in Spanish technical standard for monitoring compliance (NTS), considering practical considerations. The paper also includes numerical examples to illustrate compliance criteria for POD controllers in a synthetic test system. A generic power converter with grid-following (GFL) control is used for the analysis by simulation and POD controllers using modulation of active-power injection (POD-P), reactive-power injection (POD-Q) or both simultaneously (POD-PQ) will be analysed. Results were validated in a large-scale power system. The paper concludes that by using appropriate synthetic systems, methodologies and compliance criteria, POD controllers in power converters could be effective to damp electromechanical oscillation in large-scale power systems.

eess.SY↗

arXiv2026

Tests on the POD-P controller of INELFE Spain-France VSC-HVDC interconnector

INELFE interconnector consists of a 2x1000 MW high voltage direct current system based on voltage source converters (VSC-HVDC) interconnecting France and Spain. INELFE VSC-HVDC link is embedded into the high voltage alternating current (HVAC) system. Electromechanical oscillations, also known as power oscillations, are a major concern worldwide. INELFE VSC-HVDC link has specific controllers to damp power oscillations by modulating active (P)- and reactive (Q)-power injections of the VSC converters (POD-P and POD-Q controllers, respectively). The Spanish and French Transmission System Operators (TSOs) carried out a join task force to - Increase the gain of POD-P controller of INELFE VSC-HVDC link. - Make it possible to use the POD-P controller together with angle difference control (ADC) of INELFE VSC-HVDC interconnector. The objective of these modifications is to improve the effectiveness of POD-P controller and, therefore, to increase its contribution to the damping of inter-area oscillations in the Continental Europe (CE) power system. Such changes require (a) extensive simulation studies and (b) extensive tests in different operation modes, in order to ensure the correct behavior of the system. This paper presents simulation studies and field tests on the POD-P controller of INELFE VSC-HVDC interconnector in different modes of operation.

eess.SY↗

arXiv2026

Hosting Capacity Assessment of Data Centers with Voltage Ride-Through Capability in Power Systems

Large data centers are emerging as concentrated, power-electronic grid loads whose abrupt disconnection or transfer to on-site backup supply during voltage disturbances can remove large demand from the power system, and may create a system-level stability problem. Their interconnection feasibility therefore depends not only on steady-state thermal and voltage limits, but also on whether internal power-conditioning systems can maintain IT service while limiting customer-initiated load reduction. This paper presents a voltage ride-through (VRT)-aware data center and grid co-planning framework that couples transmission-level fault simulation with an internal data center ride-through model. Python-based dynamic simulations generate point-of-interconnection (POI) voltage trajectories under selected network faults, and the resulting waveforms drive an internal model incorporating IT and cooling-load dynamics, DC-link, Uninterruptible Power Supply (UPS) response, and converter apparent power limits. The IEEE 118-bus case study shows that internal VRT capability can become a binding interconnection constraint: steady-state planning alone can overestimate feasible data center capacity, whereas increased UPS converter headroom progressively restores hosting capacity. Under the reduced-order response models studied, the grid-forming mode provides greater ride-through margin than the current-limited grid-following mode under the same network fault conditions. The results further show that VRT constraints can materially change both the total hosting capacity of data centers and its spatial allocation across candidate interconnection buses.

eess.SY↗

arXiv2026

Dynamic Operational Reserve Margin Assessment from Risk-Constrained Unit Commitment States

We propose Dynamic Reserve Margin (DRM) as a time-varying operational adequacy metric derived from risk-constrained unit commitment (RCUC) states. DRM quantifies reserve adequacy using the additional generation capacity that committed generators can provide within a 5-minute response window relative to uncertainty and contingency reserve requirements. We introduce a complementary Reserve Risk Envelope (RRE) metric to quantify operational reserve headroom in directly interpretable MW terms. A low-margin duration metric is further developed to quantify the persistence of reserve stress over an operating horizon. We use an IEEE 14-bus example to illustrate these concepts, followed by large-scale RCUC case studies under multiple operating scenarios. Results demonstrate that reserve requirements and ramp-accessible reserve capability can vary substantially across operating conditions, and that commitment decisions adapt to maintain reserve adequacy under changing system conditions. The proposed DRM and RRE metrics provide an interpretable operational characterization of reserve adequacy, reveal reserve accessibility and stress persistence that are not captured by conventional reserve margin metrics.

eess.SY↗

arXiv2026

GPU-Accelerated Astrodynamics World Models for Spacecraft Rendezvous and Proximity Operations

World models are an emerging paradigm in representation learning in which an agent jointly learns state-action dynamics and observation models from offline trajectory data, enabling multi-step planning and trajectory prediction with uncertainty estimates. They have shown strong results in robotics and game environments, but, to the best of our knowledge, have not previously been applied to the space domain. This paper introduces a world model-based approach to cooperative and non-cooperative spacecraft rendezvous and proximity operations. First, we introduce an open-source, JAX-based International Space Station (ISS) docking environment supporting parallel GPU simulation of spacecraft orbit and attitude dynamics, generating the thousands of state-action transitions that world model training requires. Second, we introduce Out-of-this-World-Model, a transformer-based world model that encodes relative kinematic states and body-fixed camera imagery into a latent state and predicts its evolution under commanded thrusts and torques using one-step flow matching. It produces a distribution over future observations, capturing stochastic dynamics and per-timestep uncertainty, and outperforms DreamerV3-style posterior-correction baselines with fewer trainable parameters and hyperparameters. Third, we apply the approach to a capsule autonomously docking with the ISS under keep-out-zone constraints, demonstrating improved sample efficiency and task performance over reinforcement learning baselines (53% versus 29% docking success across ports), better out-of-distribution generalization (on held-out ports the world model more than doubles baseline success, 40% versus 17%), and detection of anomalous objects encountered during approach with 98% classification accuracy. We open-source the simulation environment and model architecture to enable further study of this paradigm.

cs.RO↗

arXiv2026

Finite-Sample Limits of Entropy-Based Structure Identification in Discretized Nonlinear Systems

Discretization fundamentally limits structure identification in stochastic systems. When system stochasticity exceeds the discretization resolution, entropy-based methods lose their ability to distinguish which input drives the output. We study this in Fuzzy Inductive Reasoning (FIR), a nonparametric framework for learning dynamical systems from discretized measurements, where the choice of input variables determines both predictive accuracy and the interpretability of the learned input--output relationships. Entropy-based selection targets explainability, i.e., identifying which variables causally drive the output, while mean-squared-error-based selection targets prediction. We introduce a resolution-stochasticity ratio that governs when entropy-based selection is reliable. Three results follow. First, entropy-based selection is consistent below this threshold but loses discriminative power above it, regardless of sample size. Second, using the entropy-selected variables for prediction instead of the MSE-selected ones incurs a closed-form excess prediction risk that grows with input complexity and shrinks with sample size. Third, reliable identification of the causally relevant inputs requires data that scales with the number of input combinations and inversely with the strength of the entropy signal. The theory is validated on a two-state Markov model and demonstrated on a distribution grid reliability dataset analyzing the impact of infrastructure investment, where the goal is to explain which investments drive reliability improvements rather than merely predict outcomes.

eess.SY↗