Signal Processing
When Linear RUL Labels Disagree with Vibration Degradation: A Stage-Aware Target and Dual-Scale Predictor Evaluated on XJTU-SY and IMS
Behrad Mousaei Shir-Mohammad, Seyed Reza Tavakoli, Mohammad Mohammadi et al. (+3 more)
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
Haijun Zhang, Shuqing Wu, Xiaoqi Zhang et al. (+3 more)
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
Wafa Hedhly, Leila Musavian and Nikolaos Thomos
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
Shady Gmira, Evangelos Alexiou, Emmanouil Potetsianakis et al. (+1 more)
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
Davide Gagliardi, Alessio Zappone, Domenico Ciuonzo et al. (+1 more)
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
Bastian Perner, Pratik Gajanan Raut, Maximilian Lübke et al. (+1 more)
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
Muhammad Zeeshan Mumtaz, Mohammadali Mohammadi, Hien Quoc Ngo et al. (+2 more)
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
Takumi Shioda, Kohei Terashima and Tatsuo Nagai
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
Behrad Samari, Alessandro Abate, Antoine Girard et al. (+3 more)
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
Hanvit Kim, Hyeon Seok Rou, Kihong Min et al. (+2 more)
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
Lanhao Zhao
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
Christian Rosenthal
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
Enric Gusó and Xavier Serra
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
Gousia Habib and Laura Ruotsalainen
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
Connor Calme, Lundon Salley, AJ Munoz-Vazquez et al. (+1 more)
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
Xilin Jiang, Riki Shimizu, Sukru Samet Dindar et al. (+3 more)
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
Man Jun Koh, Hyochoong Bang and SooJean Han
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
Phonepaserth Sisaykeo and Shogo Muramatsu
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
Fenghao Zheng, Fuhai Wang, Zihan Jin et al. (+3 more)
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
Linhao Jin, Qimin Feng, Peter Gunnarson et al. (+1 more)
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
Amirreza Neshaei Moghaddam, Xudong Chen and Bahman Gharesifard
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
Baoli Hao, Chenxi Hu, Ming Zhong et al. (+1 more)
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
Akila Herath, Chen-Ching Liu, Junho Hong et al. (+1 more)
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
Jiali Nie, Yu Han, Yuanhao Cui et al. (+3 more)
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
Harkirat Kaur, Palak Kapoor and Rajesh Vedala
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
Swapnil Saha, Bhuvan Rajanasiriyur Jagadeesha, Karishma Patnaik et al. (+1 more)
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
Ahmed Alfatlawi and Masoud H. Nazari
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 ▾