Peer Revenue Now accepting positions

Papers

Fresh from arXiv, typeset properly. Highlighted words trade on the market.

Electrical Engineering and Systems Science

eess Watch Electrical Engineering and Systems Science (sign in to use)

Thursday 30 July

Signal Processing

When Linear RUL Labels Disagree with Vibration Degradation: A Stage-Aware Target and Dual-Scale Predictor Evaluated on XJTU-SY and IMS

Remaining useful life (RUL) studies commonly treat the label as fixed, although clock-linear labels may decline while measured vibration remains nearly stable and then changes rapidly near failure. We separate target design from prediction. A development-only pipeline constructs an oriented vibration health indicator, identifies chronological early, middle, and late stages, and fits a continuous linear-quadratic-exponential degradation-state target. A compact CNN-LSTM and Transformer learn the target from causal feature sequences, and validation-fitted Ordered Weighted Averaging combines their outputs. In a bearing-wise XJTU-SY hold-out, all bearings ending in 5 are excluded from fitted preprocessing, training, early stopping, and fusion. The fused predictor obtains an RMSE of 0.0608, an MAE of 0.0392, and an R-squared value of 0.9617, with the Transformer providing most of the accuracy. Target shape is assessed independently on three documented IMS failed-bearing trajectories. Against the best anchored linear fit to the same vibration-derived reference, the stage-aware curve reduces RMSE by 3.6-18.2% and MAE by 3.1-31.1%; the mean reductions are 10.2% and 15.0%, respectively. Conservative BIC differences of 128.8-368.1 favor the stage-aware representation, whereas moving-block bootstrap intervals cross zero. Thus, stage-dependent targets better describe the evaluated vibration-derived degradation states, but the evidence remains descriptive because only three official IMS runs are available. The study establishes a measurement-oriented target-validity framework, not a universal nonlinear law for physical time-to-failure or robust cross-domain prediction.
Read the full abstract

All authors Behrad Mousaei Shir-Mohammad, Seyed Reza Tavakoli, Mohammad Mohammadi, Siavash Ahmadi, Babak Hossein Khalaj, Mohammad Hossein Rohban

Signal Processing

Beamforming and Phase Shift Design for STAR-RIS Assisted Secure Sensing and Communication in ISAC Systems

Integrated sensing and communication(ISAC), as a rapidly advancing technique, introduces a fresh approach for achieving secure communication and intelligent sensing for future wireless networks. An ISAC framework empowered by simultaneously transmitting and reflecting reconfigurable intelligent surfaces(STAR-RIS) is explored in this paper, where a base station equipped with multiple antennas establishes wireless links to users each with a single antenna during the detection of a point target. The point target, regarded as an eavesdropper, trying to intercept users' information. Cramer-Rao bound(CRB) serves as evaluation criterion to assess sensing accuracy of point eavesdropper, whereas the secrecy rate is employed to quantify the security level of the communication link. To optimize sensing-communication tradeoff, a joint optimization problem is constructed. To approach the formulated problem, a hybrid Block Coordinate Descent(BCD)-based algorithm is developed, which alternately updates the transmission beamforming and STAR-RIS phase shifts, using successive convex approximation(SCA) technique, penalty dual decomposition (PDD) framework and projected gradient method(PGM).
Read the full abstract

All authors Haijun Zhang, Shuqing Wu, Xiaoqi Zhang, Zijun Wu, Xu Ma, Yuzheng Ren

Signal Processing

Fractional Doppler Effects on OTFS-NOMA HetNets with Mixed-Mobility Users

Heterogeneous networks (HetNets) are considered a promising approach to meet the increasing throughput requirements of 6G vehicular networks. The integration of orthogonal time frequency space (OTFS) modulation and non-orthogonal multiple access (NOMA) has demonstrated significant improvements in the reliability of wireless networks under mixed-mobility. Applying this combination in HetNets helps accommodate high-mobility (HM) and low-mobility (LM) users while effectively addressing high Doppler shifts. However, in practical scenarios, fractional Doppler arises from the mismatch between the actual Doppler frequency and its discrete representation on the DD grid. This effect leads to inter-Doppler interference (IDI) that can significantly degrade detection performance. In our work, we investigate the effect of fractional Doppler on OTFS-NOMA systems under mixed-mobility conditions and analyze how NOMA power allocation can be optimized to mitigate the resulting performance degradation. OTFS modulation is used for the HM user, while the LM users' symbols are embedded in the time-frequency (TF) domain. Minimum mean square error (MMSE) detection is utilized under multiple assumptions regarding the knowledge of the IDI parameters. We investigate the impact of optimizing NOMA power allocation on the overall system performance. The purpose of this work is to analyze the impact of fractional Doppler in OTFS-NOMA systems in HetNets rather than proposing new detection algorithms for OTFS modulation. The results validate the significant performance impact of fractional Doppler on the system and demonstrate the role of power allocation in mitigating IDI effects in terms of spectral efficiency and number of users served.
Read the full abstract

Image and Video Processing

TSOG: A Format For Temporally And Spatially Ordered Gaussians

We propose Temporally and Spatially Ordered Gaussians (TSOG), a format for efficient representation of 4D Gaussian Splatting (4DGS) content. TSOG extends the Spatially Ordered Gaussians (SOG) framework to the temporal domain by introducing a timeline attribute and temporal parameterization of geometry and appearance attributes. Similar to SOG, TSOG is a lossy format that assigns each Gaussian a unique index and encodes attribute values as index-aligned image data. TSOG is model-agnostic, extensible, and compatible with both discrete and continuous 4DGS representations. Evaluation using a PLYs sequence and FreeTimeGS as baselines, serving as simplistic and state-of-the-art 4DGS representations respectively, shows file size reductions exceeding 90%, with PSNR differences ranging between -0.42 and +0.85 dB. These results demonstrate substantial file size savings with minimal quality degradation, enabling efficient representation, storage, and delivery of dynamic scenes for next-generation 4D content.
Read the full abstract

All authors Shady Gmira, Evangelos Alexiou, Emmanouil Potetsianakis, Emmanuel Thomas

Signal Processing

A Stochastic Optimization Framework for RIS-Aided Wireless Network Design

Reconfigurable intelligent surfaces (RISs) are a promising technology for improving the spectral and energy efficiency of future wireless networks, which make use of metasurfaces. However, optimizing RIS configurations typically leads to large-scale, non-convex problems whose complexity grows significantly with the number of scattering elements and the adoption of advanced metasurface architectures. In this paper, we develop a stochastic optimization framework for RIS-aided wireless networks based on continuous versions of the ($a$) cross-entropy (CE) and ($b$) Metropolis-Hastings (MH) methods. Unlike existing stochastic approaches that mainly focus on discrete optimization, the proposed framework directly handles continuous variables and can be readily applied to discrete settings through relaxation and projection. We provide a theoretical characterization of the proposed algorithms, including convergence guarantees and efficiency analysis. The framework is applied to ($i$) achievable-rate maximization with nearly-passive RISs and ($ii$) energy-efficiency maximization with active RISs. Numerical results show that the proposed methods achieve performance comparable to, or better than, state-of-the-art deterministic algorithms, while reducing execution times up to 10 times in representative scenarios.
Read the full abstract

All authors Davide Gagliardi, Alessio Zappone, Domenico Ciuonzo, Marco Di Renzo

Signal Processing

Multi-Agent Reinforcement Learning for Base Station Placement in TDOA-Based Localization

Accurate localization of devices is a key capability for emerging 5G and 6G networks and depends on effective base station (BS) placement. Conventional geometry-based approaches such as Geometric Dilution of Precision (GDOP) ignore realistic propagation effects such as Non-Line of Sight (NLOS) shadowing and multipath-induced Time of Arrival (TOA) bias caused by buildings. This paper proposes a ray-tracing-assisted Multi-Agent Reinforcement Learning (MARL) framework for environment-aware BS placement in Time Difference of Arrival (TDOA) localization systems. Proximal Policy Optimization (PPO) agents are trained on Channel Impulse Responses (CIRs) generated from a detailed 3D model of a university campus. Each agent cooperatively places one BS while optimizing a shared reward that combines localization accuracy and coverage. The approach is evaluated on five campus segments with varying propagation characteristics. Results show that the learned policy achieves localization accuracy comparable to conventional GDOP-based placement, lowering the average localization Mean Absolute Error (MAE) by about 3 % relative to the stronger (mean-optimized) geometric baseline. The behavior is segment-dependent, with a clear improvement on individual segments (up to about 14 %) and comparable or slightly higher error on the others. These findings indicate that incorporating site-specific propagation data into the placement process can match and selectively improve upon purely geometric strategies, motivating further work toward consistent gains.
Read the full abstract

All authors Bastian Perner, Pratik Gajanan Raut, Maximilian Lübke, Norman Franchi

Signal Processing

Power-Efficient XL-MIMO Design for Mixed Near- and Far-Field SWIPT Systems

This paper examines the power consumption (PC) efficiency of a mixed near- and far-field (MF) simultaneous wireless information and power transfer (SWIPT) system underpinned by a hybrid beamforming (HB)-based modular extra-large multiple-input-multiple output (XL-MIMO) array. Multiple information decoding (ID) and energy harvesting (EH) users are served by multiple constituent subarrays in both the near-field (NF) and far-field (FF) region of the transmit array. A novel decision method is proposed for accurate classification of different field users using Frobenius norm-based frequency correlation of the least square (LS) channel estimates. The NF spatial non-stationarities (SnS) effects entail distinct electromagnetic (EM) visibility regions (VRs), which can be customized to employ strategic activation of the constituent XL-MIMO subarrays. We formulate a two-tier joint optimization problem to minimize the overall PC, considering the power allocation (PA) for both ID and EH users in addition to the subarray activation (SA). This challenging mixed-integer problem is transformed into computationally tractable formulations, accompanied by the development of well-optimized algorithms. Our simulation results demonstrate an overall PC reduction for our proposed PA-SA-HB scheme by up to 93% against the equal PA with full array (FA) and up to 18% with respect to the PA-FA-HB case.
Read the full abstract

All authors Muhammad Zeeshan Mumtaz, Mohammadali Mohammadi, Hien Quoc Ngo, Hyundong Shin, Michail Matthaiou

Systems and Control · Cross-listed from cs.LG

Exact Action Values Are Not Enough: Rollout-Verified Reinforcement Fine-Tuning of a Reasoning Model for Multi-Zone VAV Control

Multi-zone variable-air-volume control must balance thermal comfort, indoor air quality, and electricity use across several continuous actuators. Model predictive control and reinforcement learning are widely studied, but deployment typically requires building-specific modeling or training, limiting scalability. We first test whether a frontier reasoning model (an LLM trained to use additional inference-time computation) can achieve competitive VAV control from text without building-specific training. With that capability established, we then test whether TD3-guided reinforcement fine-tuning (RFT) can transfer control knowledge into a locally deployable open-weight model. Five controllers are evaluated over three summer days in a physics-based four-zone emulator. Relative to a Guideline 36-based baseline, TD3 reduced HVAC electricity by 4.5% while improving temperature and CO$_2$ compliance. Without building-specific training, GPT-5 achieved the largest reduction (6.2%) but reduced the ventilation margin. For RFT, deterministic rollouts restore a saved state, apply one candidate, and follow TD3 to score each action. Auditing a learned critic against these rollouts exposed a failure hidden by its near-perfect across-time correlation ($r=0.9998$): within-state ranking was unreliable; the critic selected the rollout-best candidate in only 5 of 10 states. Even with the rollout verifier, 200 RFT steps produced no sustained improvement in sampled-action return; the open-weight controller used more electricity than the baseline before and after training, and its five-minute predictions remained worse than persistence. GPT-5 predicted transitions far better. Exact rollout scores rank sampled actions but reveal neither next-state effects nor an improvement direction. The unchanged transition errors motivate transition-focused supervised fine-tuning before value-based RFT.
Read the full abstract

Systems and Control

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey

Data-driven approaches with formal guarantees have recently emerged as a powerful means for the verification and controller synthesis of complex dynamical systems. Interest in these methods is rapidly growing, as system models are often unavailable in practice, and challenges such as nonlinear behavior, uncertainty, and the curse of dimensionality typically render accurate modeling infeasible. These difficulties motivate leveraging limited data collected from the system while still providing formal guarantees on its overall behavior. The community has therefore proposed a few hundred articles on the development of data-driven frameworks that enable the formal verification and synthesis of dynamical systems without explicit models, addressing complex specifications beyond stability. Despite this rapid growth, existing results remain scattered and lack a coherent organization, limiting a clear understanding of their principles, distinctions, and practical potential. This survey fills this gap by providing a comprehensive overview of these data-driven methods for both deterministic and stochastic dynamical systems. We structure the literature around three main methodological pillars in formal methods: (in)finite-abstraction-based techniques, functional certificate approaches, such as control barrier certificates, and compositional methods. For each of these approaches, we classify the resulting data-driven guarantees into three main categories: (i) statistical guarantees grounded in probably approximately correct and scenario-based frameworks, (ii) guarantees derived from Lipschitz continuity, and (iii) guarantees exploiting structural properties. While the literature on deterministic systems is considerably richer, we also devote particular attention to the stochastic counterpart, highlighting the inherent differences and challenges that arise compared to the deterministic case.
Read the full abstract

All authors Behrad Samari, Alessandro Abate, Antoine Girard, Majid Zamani, Amy Nejati, Abolfazl Lavaei

Signal Processing

Multi-Chirp AFDM for Rydberg Atomic Quantum Receivers: Waveform and Algorithm Design

We propose a multi-chirp affine frequency division multiplexing (MC-AFDM) scheme for joint delay-Doppler estimation with Rydberg atomic quantum receivers (RAQRs). The work is motivated by the fact that RAQRs, while offering superior sensitivity and advantageous sensing capabilities, suffer from an optical ambiguity due to Doppler shifts in doubly-dispersive (DD) channel caused by target mobility, which precludes the reliable estimation of delay-Doppler parameters. To resolve this optical ambiguity and unleash the potential of RAQRs in DD channel, the proposed MC-AFDM employs multiple distinct AFDM post-chirp signals to overcome the rank-deficiency problem of the classical single-chirp AFDM (SC-AFDM), thereby enabling accurate delay-Doppler estimation of multiple targets. Our analysis reveals that the edge distribution of the multiple post-chirp parameters can further improve estimation accuracy by minimizing the condition number. Building on the proposed MC-AFDM waveform, we design a sequential signal processing algorithm based on orthogonal matching pursuit (OMP) and least squares (LS), and we derive the theoretical lower bounds for delay and Doppler estimation. Numerical results show that the proposed MC-AFDM improves range and velocity estimation accuracy by up to two orders of magnitude compared to the classical SC-AFDM, and approaches its theoretical bounds through post-chirp optimization, validating the quantum-induced advantage of RAQRs for high-resolution quantum wireless sensing.
Read the full abstract

All authors Hanvit Kim, Hyeon Seok Rou, Kihong Min, Giuseppe Thadeu Freitas de Abreu, Sunwoo Kim

Systems and Control

On the Strong Structural Controllability of Matrix-Weighted Networks

This paper investigates the strong structural controllability of multi-agent networks. Based on the definition of equitable partitions, an upper bound for the strong structural controllable subspace (SSCS) is established. To reflect the physical significance of matrix weights where the state dimension is greater than one, the multi-agent system is modeled using higher-order dynamics. Furthermore, to address matrix singularity and asymmetric couplings, a matrix space basis decomposition method is proposed to transform the matrix-weighted network into layered scalar networks. Additionally, by extending this basis decomposition to the lower bound estimation, a layer-specific distance partition (LDP) is introduced. This formulation establishes a tighter Squeeze Theorem, narrowing the mathematical boundaries for the controllable subspace by capturing layer-specific structural delays. To systematically identify the optimal basis that minimizes the bounds gap, an algebraic algorithm based on null-space projection is formulated. Furthermore, by introducing pattern matrices and generic rank, the almost-everywhere existence of this optimal basis in the parameter space is rigorously proved, perfectly aligning with the definition of strong structural controllability. To break the NP-hard combinatorial bottleneck of manually pre-defining the targets, a polynomial-time automated discovery algorithm based on the multi-layer Weisfeiler-Lehman (WL) color refinement is proposed. Finally, the strong structural observability and invariant attributes of the network are evaluated. Numerical examples with asymmetric matrix weights and directed multi-layer topologies are provided to verify the derived theorems.
Read the full abstract

Systems and Control

Safety-Gated Agentic Supervisory Control on a Coupled Distillation Benchmark: Regime Map, Auditable Gate, and Co-Design Findings

An open-weight LLM can write composition setpoints every five minutes. What a plant still needs is a hard check: named constraints, logged margins, and an admit/block decision before the regulatory layer moves. This paper puts that check in a rule-based forked-twin counterfactual gate (nine pinned constraints) and leaves the regulatory layer unchanged. On Skogestad's Column A the ladder is PID-only (C0), linear MPC (C1), ungated agent (C2), and gated agent (C3) under one contract: identical level closure (M_D, M_B), scenarios, and seeds; C2/C3 share the linear-MPC backend. The split is not subtle. Off-nominal target acquisition: the agent beats Pareto-tuned linear MPC in the strong band (C2/C1 IAE ratio 0.361 at the upper CI). Disturbance rejection on the same 16-point grid inverts by 16.03 at the upper CI (10.18 at the point estimate), where an ungated LLM supervisor does not belong. The gate compresses a specification-abandonment attractor into a bounded offset (d approx. -1.4; P95 cell IAE 11.5 to 0.77). A one-line prompt fix removes the attractor at source (6/10 to 0/10; sensitivity only, not a new headline). In a 250-cell statistical pass, 534 of 590 gate interventions are spec-on-bound geometry: the operating specification sits on a safety limit, so a well-behaved OP becomes inoperable while misbehaving ones are only contained; 318 blocks still correct actively harmful proposals. Headlines are single-column and model-conditional on DeepSeek-V4-Flash. A second-family sweep (NVIDIA Nemotron-3-Super) keeps the disturbance-rejection fails band and plant-side failure geography; magnitudes and protocol operability stay model-conditional, and Super target-acquisition strong cells are survivors only (not confirmation). Transfer means twin, constraint envelope, and setpoint interface, not a second plant class measured here.
Read the full abstract

Audio and Speech Processing · Cross-listed from cs.SD

CrowdioSet and PaRIRset: Two Datasets Towards Live Music Source Separation

Most Music Source Separation (MSS) models do not generalize well to live music recordings because they are trained on studio recordings alone, disregarding the venue acoustics, the speaker system's response and audience noise. We propose to bridge this gap by providing and training a model on two novel datasets. First, we present CrowdioSet: a noise dataset comprising 4800 real ambience tracks from Freesound and synthetic sing-alongs for the vocals in MUSDB18 and MOISESDB datasets, generated from zero-shot singing voice conversions. CrowdioSet enables effective audio denoising for live recordings, resulting in superior separation both in objective and subjective evaluations. Second, we introduce PaRIRset, a stereo impulse response dataset captured across 40 professional concert venues using a microphone array. Our results show that adding PaRIRset RIRs increases the performance of a MSS model compared to using real RIRs from Speech Enhancement tasks alone. We make the examples, code, model weights, PaRIRset, and CrowdioSet freely available to the public.
Read the full abstract

Image and Video Processing

Endo-NeRF++: Uncertainty-Aware Neural Rendering with Multi-Resolution Hash Encoding for Dynamic Surgical Scene Reconstruction

Reconstructing dynamic surgical scenes is crucial for robot-assisted minimally invasive surgery; however, it continues to be difficult because of tissue deformation, occlusions, specular reflections, and restricted viewpoints. In this study, we introduce Endo-NeRF++, a neural rendering framework that accounts for uncertainty in the reconstruction of dynamic surgical scenes. Expanding on EndoNeRF, the suggested approach incorporates multi-resolution hash-grid encoding, temporal feature merging, and uncertainty-informed adaptive sampling to enhance reconstruction accuracy and temporal coherence in deformable endoscopic scenes.The multi-resolution hash-grid representation within the framework effectively captures both coarse and fine anatomical details, while temporal feature blending ensures stable reconstruction during tissue deformation and surgical tool occlusions. Additionally, uncertainty-driven adaptive sampling assigns more samples to uncertain areas to enhance rendering quality and geometric coherence. Experiments on robotic surgical video sequences demonstrate that the proposed uncertainty-guided adaptive sampling improves PSNR by up to 1.22dB (4.3%), increases SSIM by up to 5.3%, and reduces LPIPS by up to 55.1% compared with the EndoNeRF baseline.
Read the full abstract

Systems and Control

Robust PIDNet Control of a Dual-Actuator Thrust Vectoring Platform

This paper presents a robust controller for attitude tracking on a dual-actuator thrust vectoring platform. The control objective is to track a desired thrust direction on the unit sphere using two linear actuators connected through a universal joint. The proposed framework combines a bounded nonlinear PD action with a radial basis function (RBF) network that generates state-dependent integral compensation through online weight adaptation, relying solely on tracking error and its time derivative from actuator-displacement measurements. The control law is formulated as a coupled multiple-input–multiple-output structure, enabling the RBF network to compensate cross-channel effects, including direction-dependent friction and geometric coupling, with model-free implementation. Stability is established through a convex Lyapunov function whose gradient is naturally bounded along the error manifold. An H-infinity gain bound is derived for the extended error, with a local linearized interpretation in terms of tracking accuracy. The proposed controller is validated experimentally on a two-degree-of-freedom gimbal rig, achieving improved performance relative to a conventional PID and to a super-twisting controller, with online adaptation reducing the ITNE by 10% over the non-adaptive baseline at no additional control effort.
Read the full abstract

All authors Connor Calme, Lundon Salley, AJ Munoz-Vazquez, Luis F. Zapata-Rivera

Audio and Speech Processing · Cross-listed from cs.SD

Cocktail-Talker: Multi-Speaker Dialog Modeling in Noisy Social Environments with Turn Action GRPO

Spoken dialog systems are typically designed for clean, dyadic interactions in which a single user and an assistant take turns speaking. Real-world social conversations, however, are often more ambiguous: multiple speakers may participate in the same conversation amid irrelevant speech and background noise. Each utterance may be directed to the assistant, addressed to another speaker, or completely irrelevant. In such settings, the assistant must decide not only what to say, but also whether to speak at all. In this paper, we introduce Cocktail-Talker, a speech LLM framework for multi-speaker spoken dialog modeling in noisy social environments. We model the assistant's behavior with three action tokens: <|respond|>, <|listen|>, and <|ignore|>, placed before a response or silence. Cocktail-Talker is trained via supervised finetuning and reinforcement learning to generate the appropriate action token and, only in <|respond|> mode, a speech response. To prepare the training data, we develop Cocktail-DialogGen, an LLM-based data pipeline that simulates realistic multi-speaker dialogs with speaker roles across diverse social settings. Together, these components take a step toward spoken dialog systems that interact more naturally and selectively in complex social environments.
Read the full abstract

All authors Xilin Jiang, Riki Shimizu, Sukru Samet Dindar, Junkai Wu, Zhongweiyang Xu, Nima Mesgarani

Systems and Control

Chance-Constrained Nonlinear Covariance Control via Robust Linearization Remainder Bounds

When dealing with nonlinear systems, classical covariance steering typically propagates uncertainty via first-order linearizations, discarding higher-order Taylor remainders. This truncation causes computed statistical moments to diverge from the true physical state distribution, often leading to chance constraint violations. This paper introduces a discrete-time Sequential Convex Programming (SCP) framework that casts the deterministic one-step nonlinear numerical map as a Linear Stochastic Inclusion. The The Taylor remainder is modeled as a state-independent unstructured uncertainty block, bounded over a uniform envelope. The second-moment tubes are propagated via what we refer to as a robust Stochastic Linear Matrix Inequality (S-LMI) derived from the Petersen's lemma, providing an upper bound on the expected uncentered second moment. Domain-exit risk is bounded analytically via a Markov trace inequality, and spatial chance constraints are enforced via Gauss unimodal second-moment bounds within a Difference-of-Convex program. Simulations on a state-dependent nonlinear dynamic system demonstrate constraint satisfaction.
Read the full abstract

Signal Processing · Cross-listed from math.NA

Numerical Spectrum Linking: Identification of Governing PDE via Koopman-Chebyshev Approximation with Resampling

A numerical framework is proposed for identifying governing partial differential equations (PDEs) from observational data by establishing a link between observation-driven and equation-driven Koopman operators in a common Chebyshev spectral domain. In contrast to data-driven approaches such as dynamic mode decomposition (DMD), which approximate Koopman operators without explicitly relating them to differential operators, the proposed framework constructs finite-dimensional Koopman operators using Chebyshev spectral representations, thereby enabling direct comparison between data-derived dynamics and candidate governing PDEs. A unified observation model together with a least-squares coefficient recovery formulation is introduced to recover Chebyshev spectral coefficients from observations obtained on arbitrary sampling grids. This provides a numerically consistent interface between practical observations and Chebyshev-based Koopman analysis. Numerical experiments under direct Chebyshev, uniform, and irregular sampling configurations demonstrate that the proposed framework accurately identifies the governing PDE from observations. An observation-density study shows that reliable PDE identification is consistently achieved once sufficient independent observations are available for stable coefficient recovery, providing a practical guideline.
Read the full abstract

Signal Processing

V-RIS: Virtual-Aperture DoA Estimation with Sparse RIS

Large-aperture reconfigurable intelligent surfaces (RISs) enable high-resolution 2D direction-of-arrival (DoA) estimation, but existing approaches still tie hardware cost and control overhead to aperture size. To decouple the effective sensing aperture from the number of physically deployed RIS elements, we present V-RIS, a framework for virtual-aperture surface-field reconstruction and DoA estimation. V-RIS uses only four corner subarrays and a single-antenna receiver to reconstruct the virtual-aperture surface field from receiver observations collected under multiple RIS phase configurations, and then performs DoA estimation on the reconstructed virtual-aperture surface field. Our key observation is that, under far-field illumination, the discretized RIS surface field satisfies finite-order spatial recurrences along both aperture axes. We enforce data-level consistency through the RIS-coded receiver observations and propagation consistency through the far-field spatial recurrence, while using a four-corner deployment geometry that retains both contiguous local elements and long aperture baselines. To improve robustness in practical receiver observations, we adopt a bias-invariant receiver-domain loss that suppresses quasi-static hardware distortions and configuration-invariant multipath contributions. Extensive simulations show that V-RIS approaches the DoA accuracy of a full-aperture benchmark while producing cleaner spectra than matrix-completion and least-squares baselines. An outdoor prototype further validates the design: with only 25% programmable elements, V-RIS keeps both elevation and azimuth errors within $1^\circ$ of the ground truth.
Read the full abstract

All authors Fenghao Zheng, Fuhai Wang, Zihan Jin, Gui Zhou, Robert Caiming Qiu, Zenan Ling

Systems and Control · Cross-listed from cs.RO

Write-Safe Flow Field Mapping under Ambiguous Onboard Sensing and Localization Drift

Mobile robots can infer local flow structure from onboard sensing, but a locally plausible estimate is not always safe to write into a global map. Similar flow structures may produce ambiguous observations, while localization drift causes predicted patches to be written at incorrect locations. Repeated misregistered updates then accumulate into persistent ghost structures. We address this failure mode with a map-reference-aware conservative fusion framework. The model predicts a local velocity patch and a learned write-safety score that continuously attenuates uncertain map updates while permitting initialization when no reliable map reference is available. Across synthetic jet and crossflow environments, the proposed method reduces average ghost contamination by 42% relative to ungated fusion. A zero-shot hardware replay using real pressure and optical-flow measurements from a thruster wake further reduces ghost contamination by 39% while retaining 81% map coverage. These results show that safe map writing is critical for flow mapping under ambiguous sensing and localization drift.
Read the full abstract

All authors Linhao Jin, Qimin Feng, Peter Gunnarson, Qiang Zhong

Systems and Control

Structural Averaged Controllability for Linear Ensemble Systems: Multi-input Case

We study structural averaged controllability for multi-input linear ensemble systems. In this problem, one asks whether a sparsity pattern admits a linear ensemble system that is averaged controllable. The single-input case has been characterized completely, while the general multi-input case has remained open. In this work, we give a complete characterization for the general multi-input case. In particular, we prove that in addition to accessibility, a necessary and sufficient condition for structural averaged controllability of ensemble systems is existence of a row-saturating matching for its core, an acyclic subgraph associated with the system which plays a central role in the result for the single-input case.
Read the full abstract

Systems and Control · Cross-listed from cs.LG

Event-Structured Physics-Informed Neural Networks for Differentiable Critical Clearing Boundaries

Transient-stability assessment determines whether a power system can recover after a disturbance and is therefore essential to preventing generator trips and cascading outages. A key metric is the critical clearing time (CCT), which specifies the maximum time available to clear a fault before synchronism is lost. Reliable CCT estimation is challenging because complicated fault-clearing dynamics require repeated simulations over many fault severities and clearing times. We propose an event-structured physics-informed neural network (ES-PINN) that aligns its representation with the pre-fault, fault-on, and post-clearing swing dynamics and enforces exact state chaining across event interfaces. A smooth trajectory-induced stability margin defines a differentiable approximation of the CCT boundary, enabling accurate boundary extraction, local sensitivity analysis, and optional direct CCT prediction through a distilled readout. We further prove a local residual-to-trajectory-to-CCT error estimate, in which exact event chaining eliminates separate state-interface defect terms. Experiments on IEEE 9-, 14-, and 30-bus systems show that ES-PINN consistently improves held-out trajectory and stability-boundary accuracy over matched neural-surrogate baselines across mechanical and electrical contingencies with multiple clearing configurations. Additional full-network DAE validation, multi-fault experiments, and runtime analyses further demonstrate the effectiveness and computational efficiency of the proposed framework.
Read the full abstract

All authors Baoli Hao, Chenxi Hu, Ming Zhong, Ren Wang

Systems and Control · Cross-listed from cs.CR

Strategy Phasing of Cyber Attacks on Digital Substations

Digital substations that comply with IEC 61850 have improved the operational efficiency of modern power systems. However, adversaries can abuse IEC 61850 communication to manipulate circuit breaker operations in substations, which can result in severe system impacts. These cyber attacks are crafted based on broader multi-phase strategies. The existing intrusion detection systems (IDSs) often flag only isolated symptoms. Thus, there is a lack of context in the attack phase to support the deployment of mitigation measures. This paper proposes Substation Cyber Attack Strategy Phasing (SubCASP), a Hidden Markov Model(HMM)- based method that fuses IDS data logs to infer the current attack phase, next attack phase, and retrospective attack path. The attack phases are derived from an ATT&CK-based threat modeling. The SubCASP model is trained and evaluated on a reproducible attack-graph dataset. Test results are presented to demonstrate the robustness of SubCASP for various IDS observability levels and missing IDS data logs scenarios.
Read the full abstract

All authors Akila Herath, Chen-Ching Liu, Junho Hong, Kuchan Park

Signal Processing

Radar-Aided Near-Field Beam Prediction via Beam Map Learning for XL-MIMO V2I Communications

Near-field beam training in extremely large-scale multiple-input multiple-output (XL-MIMO) vehicle-to-infrastructure (V2I) systems incurs high overhead due to large range-angle codebooks and rapid channel variation. This paper proposes a passive radar-aided framework for near-field beam prediction based on radar-to-beam map learning. By exploiting the spatial correlation between radar observations and communication signals, the proposed method maps radar Bartlett spectra to communication beam maps using a lightweight encoder-decoder convolutional neural network. Gaussian soft supervision is further introduced to preserve beam-space continuity. Simulations on a synchronized Sionna ray tracing radar-communication dataset show that the proposed method consistently improves Top-k accuracy, distance-based accuracy, beam loss, and spectral efficiency.
Read the full abstract

All authors Jiali Nie, Yu Han, Yuanhao Cui, Xiaojie Li, Shi Jin, Chao-Kai Wen

Systems and Control · Cross-listed from cond-mat.mtrl-sci

Physics to Circuit Analysis of GaN RF Integrated Circuits versus GaAs and Silicon

The migration of radio-frequency (RF) integrated-circuit platforms from silicon to GaAs and now to gallium nitride is derived here from first principles. The hexagonal non-centrosymmetric GaN lattice admits a macroscopic polarization; elasticity and the piezoelectric tensor fix the bound sheet charge at an AlGaN/GaN interface, and Poisson's equation with triangular-well quantisation yields a degenerate quasi-two-dimensional channel of ~10^13 cm^-2 with no doping. Energy-momentum conservation for pair creation and phonon-limited energy relaxation set the breakdown field (3.3 MV/cm) and saturation velocity (2.5 x 10^7 cm/s), which combine into geometry-free limits V_brf_T = E_cv_sat/(2pi) and R_on^sp = 4V_br^2/(muepsilonE_c^3). These limits are mapped onto the low-noise amplifier, power amplifier, and switch/phase-shifter functions of a transmit/receive front end and quantified by a MATLAB device-physics model comparing GaN, GaAs, and Si up to 90 GHz. The purpose of this framework and its simulations is to identify which material platform offers the best performance at millimeter-wave frequency signals.
Read the full abstract

Systems and Control · Cross-listed from cs.RO

A Systems Engineering Framework for Vision-Language-Enabled UAV Triage and Disaster Response

Recent advances in Vision Language Models (VLMs) have created new opportunities for disaster response, where responders must interpret large volumes of sensor data under time pressure. Current VLM applications include social media monitoring for situational awareness, generation of draft action plans, and translation of technical alerts into public-facing messages. While these efforts can accelerate information flow, they remain largely limited to decision-support roles. Such approaches can increase operator burden because humans must still translate outputs into coordinated actions across teams and robotic assets. This study explores the viability of embedding VLMs as coordination agents within the human-UAV loop. The proposed architecture integrates natural language interaction, mission-level task coordination, software-in-the-loop implementation, and communication aligned with the Incident Command System (ICS). Rather than functioning solely as advisory tools, VLMs facilitate communication between human operators, mission control logic, and UAV task execution. The framework was developed using a Model-Based Systems Engineering (MBSE) approach, with use case and block definition diagrams representing system roles, internal structure, and component interactions. Three key elements, the VLM Coordinator Agent, UAV Mission Control, and Task Allocator, were implemented within an integrated simulation and control environment. A preliminary human-factors evaluation with seven participants showed reduced perceived workload across mental demand, effort, and frustration, along with high ratings for AI trust and communication clarity. By integrating MBSE, software-in-the-loop testing, and human-factors evaluation, this work advances scalable human-autonomy teaming for high-stakes disaster response, with broader implications for aerospace autonomy and civil safety.
Read the full abstract

All authors Swapnil Saha, Bhuvan Rajanasiriyur Jagadeesha, Karishma Patnaik, Neelakshi Majumdar

Systems and Control

Inter-Area Oscillation Damping in Data-Center-Integrated Power Systems

This paper develops explicit dynamic models of a hyperscale data center, including its heating, ventilation, and air conditioning (HVAC) and uninterruptible power supply (UPS) subsystems, and integrates them into a small-signal stability framework to investigate the impact of data center demand response on power system inter-area oscillations. Through eigenvalue analysis and time-domain simulations, the results demonstrate that UPS-based demand response can enhance inter-area oscillation damping. In contrast, the HVAC subsystem is shown to be inherently incapable of providing effective oscillation damping due to its limited thermal response bandwidth. A gradient-based optimization algorithm is used to tune the UPS controller gain to maximize the damping ratio of the critical inter-area mode. The effectiveness of the proposed approach is validated using the IEEE 39-bus test system.
Read the full abstract

Wednesday 29 July

Systems and Control · Cross-listed from math.OC

Optimal Design of Distributed Inexact Gradient Tracking: Exact Worst-case Convergence Rate and Explicit Parameters

This paper addresses the problem of designing distributed optimization algorithms. Different to existing methods that usually give sufficient conditions and conservative convergence rates, we propose a framework for determining the exact worst-case convergence rate. The worst-case convergence is defined over the set of $\mu$-strongly convex and $L$-Lipschitz objective functions and the set of connected graphs with given algebraic connectivity. Focusing on the Distributed Inexact Gradient Tracking (DIGing)–an algorithm widely deployed in applications and extensively studied in recent years, we develop a systematic design methodology by integrating techniques from graph signal processing and robust control theory. First, we present a novel decomposition structure that enables partial subsystem decoupling. Then we derive explicit formulas for the exact worst-case convergence rate and the corresponding parameters. Numerical experiments validate the correctness and effectiveness of our theoretical results.
Read the full abstract

Signal Processing

Passive AoA Estimation of COTS 5G NR Handsets from Uplink SRS: A Practical USRP-B210 Implementation

This paper presents a passive network-side framework for estimating the uplink angle of arrival (AoA) of unmodified commercial 5G handsets from native Sounding Reference Signal (SRS) transmissions. The proposed system operates on an srsRAN Project gNB and estimates AoA directly from the per-antenna SRS channel estimates using a calibrated two-element Universal Software Radio Peripheral (USRP) B210 receiver and a MUSIC-based estimator, requiring neither protocol modifications nor user-equipment cooperation. Independent SRS channel estimates enable simultaneous AoA estimation for up to four commercial handsets. The framework is evaluated through indoor and outdoor measurement campaigns. Indoor measurements on bands n40 and n78 achieve a root-mean-square error of 1.5 on n40 over a 30 broadside sector. Outdoor experiments in a live 5G standalone deployment demonstrate simultaneous multi-user operation and show that estimation accuracy is primarily governed by propagation conditions and received signalto-interference-plus-noise ratio (SINR) rather than transmitter distance. These results demonstrate the feasibility of passive uplink AoA estimation using native 5G signaling, low-cost SDR hardware, and commercial handsets.
Read the full abstract

All authors Ricardo N. Barrios-Muñoz, Azim Akhtarshenas, David Gomez-Barquero, David López-Pérez

Systems and Control

Estimated-State Adaptive Sliding Mode Control and Disturbance Observation Using Second-Order Surfaces for Spacecraft Formation Reconfiguration

This paper presents a two-phase relative orbit control framework for spacecraft formation flying that combines analytic energy-optimal transfer with robust adaptive sliding mode tracking. In the first phase, a chaser is transferred from an arbitrary initial relative state to a projected circular orbit (PCO) under the Clohessy–Wiltshire dynamics. Rather than selecting the PCO entry phase by numerical sweeping, the transfer cost is parameterized by the phase angle, and the stationarity condition is reduced to a quartic polynomial whose real roots yield all candidate entry phases. In the second phase, the chaser maintains the PCO in the presence of external disturbances. An adaptive sliding mode controller (ASMC) and a sliding mode disturbance observer (SMDO) are employed in both phases to provide robust tracking and disturbance compensation. The observer reduces the lumped disturbance to a bounded residual, while the controller updates its adaptive gain from an estimated-state second-order sliding variable. The second-order surface tightens the ultimate tracking error bound, and a practical derivative estimation method reuses available reference velocity and acceleration signals, avoiding finite-difference noise amplification and additional differentiator tuning. Simulations demonstrate accurate tracking, effective disturbance rejection, and a smooth transition between the two phases.
Read the full abstract