Signal Processing · Cross-listed from cs.LG
Filter Learning for Subgraphs: Algebras and Performance Risk Bounds
Purui Zhang, Feng Ji, Yanan Zhao et al. (+2 more)
Graph signal processing tasks that leverage spectral information typically assume access to the complete graph
topology, which is often unavailable in practice. We propose a systematic framework for subgraph filter learning (SFL), where subgraph-supported operators approximate ambient graph filters under partial observations. We formulate SFL as a statistical learning problem in which optimal subgraph operators are inherently data-dependent. To address the difficulty of directly estimating such operators, we develop a subgraph filter
algebra based on distance-aware
Laplacian constructions, defining a structured and controllable class of filters for effective approximation. We further establish performance risk bounds under the least squares loss, quantifying how well the learned operator approximates the restricted ambient mapping. Experiments real-world
datasets show that, for SFL tasks, the proposed algebraic models consistently outperform
polynomial filters, distribution-agnostic operators, and direct numerical filter learning baselines that attempt to recover the underlying structure from data.
Read the full abstract ▾
All authors Purui Zhang, Feng Ji, Yanan Zhao, Bihan Wen, Wee Peng Tay
Signal Processing
Automated Full-Sphere Measurement Methodology for Reconfigurable Intelligent Surface Beam Steering in an Anechoic Chamber
Tobias Kancz, Robert Langwieser and Philipp Svoboda
Reconfigurable intelligent surfaces (RISs) need measurement methodologies that quantify the three-dimensional scattering response of a programmed surface, not only the received power of one bistatic link. This paper presents an automated anechoic-chamber methodology for full-sphere characterization of a varactor-based RIS around 5 GHz. The developed platform combines a state-of-the-art spherical near-field scanner with a near-field-to-far-field transformation, which is suitable for
antenna measurements, with a common, low-scattering mount for the RIS and the excitation
antenna. It enables programming of several independent DC voltages for remote RIS beam steering configuration via a control unit integrated into the chamber, which features a multichannel digital-to-analog converter. The RIS states are synthesized from a pre-measured phase-voltage characteristic and evaluated against an unbiased-RIS reference using local angular power averages. Measurements at 5.3 GHz serve as a proof of operation: the workflow programs one-dimensional and two-dimensional anomalous-reflection states, localizes the resulting beams over the sphere, and extracts target-window gain, maximum-window gain, and pointing error from the same
dataset. For five measured RIS beam-steering states, the prescribed target windows show relative beam-steering gains up to 8.8 dB, while the locally detected main-lobe windows show relative gains up to 14.0 dB with an average of 11.3 dB. The reported gain is not active amplification by the RIS; it is a reference-normalized local power ratio for a fixed measurement configuration.
Read the full abstract ▾
Systems and Control
Deep Reinforcement Learning for Adaptive Gain Tuning in Control of Teleoperation Manipulators with Joint Flexibility and Time-Varying Delays
Armin Attarzadeh, Mohammad Ali Ghaemifar, Alireza Khanzadeh et al. (+1 more)
Bilateral teleoperation systems that include joint flexibility better reflect real robotic systems used in surgery, space, and rehabilitation. However, joint flexibility together with time-varying communication delays makes it difficult to maintain stable and coordinated motion between the master and slave
robots. To address this, we propose a hybrid control method that combines a stable Proportional-plus-Damping (P+d) controller with a model-free deep reinforcement learning
agent based on the Twin Delayed Deep Deterministic Policy Gradient (TD3)
algorithm. The P+d controller provides basic stability under bounded delays, while the learning
agent adjusts and tunes the remote-side proportional and damping gains in real time to reduce vibrations and improve tracking. Stability is guaranteed for bounded time-varying delays using Lyapunov-Krasovskii analysis. The approach provides a practical solution for teleoperation systems facing both joint flexibility and uncertain network delays.
Read the full abstract ▾
All authors Armin Attarzadeh, Mohammad Ali Ghaemifar, Alireza Khanzadeh, Soheil Ganjefar
Systems and Control
Safety and Security: Experimental Validation of Encrypted Model Predictive Control
Juraj Holaza, Martin Kalúz, Matúš Furka et al. (+2 more)
In this paper, we revisit the problem of an encrypted model predictive control (MPC) design, representing a significant challenge in the recent field of secure process control. Existing methods in secure optimization-based control are non-existent and even partial implementation fails to address the closed-loop system stability and recursive feasibility properties of the constrained MPC. To overcome these limitations, we propose a novel approach that utilizes a
polynomial approximation of the optimal control law. This method evaluates the explicit control law within a fully homomorphic encryption framework, ensuring that the controller is securely deployed on any third-party or cloud-based platform, with both process data and controller coefficients protected. Experimental results from a laboratory-scale implementation and validation of the proposed
privacy-aware control method demonstrate its advantages.
Read the full abstract ▾
All authors Juraj Holaza, Martin Kalúz, Matúš Furka, Martin Klaučo, Juraj Oravec
Signal Processing
Quantifying Event-Related (De)Synchronization Variability for Brain-Computer Interface: A Unified and Interpretable Framework
Simon Kojima and Fabien Lotte
Objective:
Brain-Computer Interfaces (BCIs) enable the control of external devices by decoding user intentions from electroencephalography (
EEG). However, substantial
EEG variability within and between users remains a major challenge. To better understand this variability, we propose interpretable metrics that independently quantify temporal, spatial, and frequency variability in BCI related
brain activity within and between users. Methods: We propose a framework to quantify variability by extracting
EEG features and defining variability as their dispersion around their centroid using appropriate distance functions. Using two motor imagery BCI
datasets (N = 133 users), we investigated the relationship between BCI performance and the variability metrics through within-user and cross-user classification experiments. Results: Negative correlations of -0.2 to -0.4 were observed across most conditions, suggesting that lower variability is associated with higher BCI performance. Moreover, the metrics revealed differences in robustness to variability between the deep learning and Riemannian-based classifiers, with the former showing weaker correlations. Conclusion: The results demonstrate the effectiveness of the proposed variability metrics and suggest that reducing variability may improve BCI performance while revealing differences in the sensitivity of classification models to different types of variability. Significance: The framework quantifies temporal, spatial, and frequency variability at multiple hierarchical levels (within-trial, between-trial, and between-trial-group), providing interpretable measures to better understand
EEG variability and support more robust BCIs. It could also be used to characterize
dataset variability, evaluate classifier sensitivity, incorporate variability into objective functions, and provide variability-based user feedback.
Read the full abstract ▾
Systems and Control
Semi-Explicit Solutions to the Prying-Pedestrian Surveillance-Evasion Differential Game and Extensions to Two Pursuers
Philipp Braun, Daniel Coutinho, Timothy L. Molloy et al. (+1 more)
In [1], the authors recently proposed and solved a surveillance-evasion differential game in which an agile pursuer (the prying pedestrian) seeks to remain within a given surveillance range of a less agile evader for as long as possible while the evader seeks to escape as quickly as possible. In this paper, we provide initial results that extend this game from the 1 versus 1 (1v1) setting to a 2 versus 1 (2v1) setting with two pursuers and one evader. By deriving and exploiting semi-explicit or
geometric reinterpretations of the existing 1v1 results, we derive partial solutions to the 2v1 game for the case of static pursuers and for the case of an evader that is at least twice as fast as the pursuers. While the 2v1 results of this paper build on the 1v1 results of [1], a different solution approach is developed to avoid a coordinate transformation that reduces the 1v1 game to two dimensions but which is ineffective at simplifying the 2v1 game. Beyond enabling progress on the 2v1 game, our new approach yields new
geometric interpretations of the optimal pursuer and evader strategies in the 1v1 game, and opens further possible extensions.
Read the full abstract ▾
All authors Philipp Braun, Daniel Coutinho, Timothy L. Molloy, Iman Shames
Systems and Control
Certified Stochastic Control via Covariance Steering with Pick-to-Learn
Chun-Wei Kong, Zachary Donovan, Morteza Lahijanian et al. (+1 more)
We present CS-P2L, a framework coupling covariance steering (CS) with the Pick-to-Learn (P2L) meta-
algorithm for certified controller synthesis over high-fidelity
stochastic simulators. The method iteratively evaluates policies on simulator rollouts, tightens surrogate constraints using the worst-case violations, and provides compression-based probabilistic guarantees on the true violation probability given a confidence level. On a spacecraft powered-descent problem with uncertain
gravity, CS-P2L certifies a violation bound of 4.9% with 600 rollouts, whereas standalone covariance steering underestimates the violation rate by roughly a factor of two.
Read the full abstract ▾
All authors Chun-Wei Kong, Zachary Donovan, Morteza Lahijanian, Jay McMahon
Systems and Control
A scalable and resource-efficient pipelined p-computer for probabilistic Ising machines
Deborah Volpe, Eleonora Raimondo, Andrea Grimaldi et al. (+7 more)
Probabilistic Ising machines (PIMs) based on probabilistic bits offer a hardware-friendly route to solve combinatorial optimization problems, but most digital implementations achieve high throughput by exploiting sparse interactions. This limits their applicability to dense problems, for which
memory bandwidth and data movement become the dominant bottlenecks. Here, we show a resource-efficient pipelined Field-Programmable Gate Array architecture enabling high-throughput execution of fully-connected PIMs while maintaining scalability and modularity. This architecture design combines a deeply pipelined (>20 stages) probabilistic bit update path, which overlaps
spin evaluation and local-field updates, with a bandwidth-aware on-chip
memory organization for the coupling and bias
matrices. The architecture supports 512 p-bits with 16-bit fixed-point coefficients and 1024 and 2048 p-bits with 10-bit and 2-bit coefficients, respectively, and operates at up to 300 MHz. At fixed degree of parallelization, it delivers an order-of-magnitude higher update rate than an optimized non-pipelined baseline, while improving the time-area trade-off for dense workloads. Validation on portfolio optimization and low-density parity-check decoding shows close agreement with software references and substantial reductions in time-to-solution relative to the non-pipelined design, establishing pipelining as an effective route to scalable digital probabilistic computing for dense optimization problems.
Read the full abstract ▾
All authors Deborah Volpe, Eleonora Raimondo, Andrea Grimaldi, Pedram Khalili Amiri, Stefano Chiappini, Anna Giordano, Mario Carpentieri, Hyunsoo Yang, Massimo Chiappini, Giovanni Finocchio
Audio and Speech Processing · Cross-listed from cs.SD
VibeVoice-ASR-BitNet Technical Report
Songchen Xu, Ting Song, Shaohan Huang et al. (+10 more)
We present VibeVoice-ASR-BitNet, a compressed variant of VibeVoice-ASR optimized for real-time inference on edge CPUs. We apply heterogeneous quantization tailored to the computational characteristics of each stage: the VAE acoustic tokenizer uses full-pipeline INT8 quantization (I8_S) with kernel fusion and SIMD optimization, while the autoregressive
language model adopts BitNet-style ternary weights (I2_S). To preserve accuracy under aggressive compression, we employ a progressive quantization-aware training strategy. For inference, we implement custom SIMD kernels and fused operators within the ggml framework targeting both ARM and x86 platforms, achieving real-time recognition (RTF < 1) on low-thread-count CPUs. VibeVoice-ASR-BitNet is 1.6–2.3x faster than Whisper.cpp at comparable model sizes (~1.6 GB), with only modest accuracy degradation compared to the FP16 baseline.
Read the full abstract ▾
All authors Songchen Xu, Ting Song, Shaohan Huang, Zhiliang Peng, Yan Xia, Yujie Tu, Xin Huang, Xun Wu, Wenhui Wang, Yaoyao Chang, Jianwei Yu, Li Dong, Furu Wei
Systems and Control
Supervisory Control with Event Forcing Under Partial Observation
Yin Tong and Kai Cai
In this paper, we address supervisory control in discrete-event systems with event forcing. In particular, partial observation of the supervisor is considered. Unlike traditional supervisory control, which relies on event enablement and disablement, the forcing mechanism allows a supervisor to preempt unwanted transitions by actively triggering forcible events. Under partial observation, we face a new challenge where the supervisor's forcing decisions must be consistent across all indistinguishable strings meanwhile guarantee all violating transitions are excluded through preemption. We introduce the concept of forcing consistency as a necessary and sufficient condition for the existence of a supervisor that achieves a given specification. We prove that forcing consistency is strictly stronger than the notion of forcibility but, unlike the latter, is not closed under union. These results lay the theoretical foundation for supervisor synthesis in the presence of both forcing mechanisms and observation limitations.
Read the full abstract ▾
Signal Processing
Beyond Point Targets: Experimental Analysis of Frequency Anisotropy for Multi-band ISAC in FR3
Jacopo Pegoraro, Andrea Bedin, Dario Tagliaferri et al. (+1 more)
As Integrated Sensing And Communication (
ISAC) systems push toward higher sensing resolution, multi-band processing has emerged as a key enabler, with Frequency Range 3 (FR3) (7-24 GHz) standing out for its combination of wide bandwidth and favorable propagation. A common assumption underlying existing multi-band
ISAC techniques is that targets behave as frequency-invariant point scatterers, enabling coherent combination of measurements across widely spaced subbands. However, this assumption does not hold over wide fractional bandwidths, since real objects exhibit frequency-dependent scattering mechanisms and migrating scattering centers. This paper provides the first systematic experimental characterization of the frequency anisotropy of everyday objects for
ISAC, using channel measurements collected with a calibrated vector network analyzer over the 6-24 GHz band, across 10 objects and 120 viewpoints. We process bistatic channel impulse responses and synthetic aperture radar images to quantify multi-band coherence, extracting the real part of the cross-band correlation coefficient. Our results reveal complex, non-trivial coherence structures that vary substantially with object type and viewing angle, highlighting the need to account for frequency anisotropy in multi-band
ISAC system design.
Read the full abstract ▾
All authors Jacopo Pegoraro, Andrea Bedin, Dario Tagliaferri, Joerg Widmer
Systems and Control · Cross-listed from math.OC
Control Co-design of systems with parabolic PDE dynamics
Antika Yadav and Prasad Vilas Chanekar
In this paper, we study the control co-design (CCD) synthesis problem for a class of systems with
parabolic partial differential equation (PDE) dynamics. We first derive a sufficient stability condition for the PDE. By spatially discretizing the PDE and using the sufficient stability condition, we propose a computationally tractable approximate CCD problem. We solve the approximate CCD problem using a gradient-based method. Finally, we justify our proposed approach through an example.
Read the full abstract ▾
Audio and Speech Processing
Designed Vocalizations Dataset: Sound-Designed Human and Animal Voices for Non-human Voice Conversion
Seolhee Lee, Minsu Kang, Yangsun Lee et al. (+3 more)
Advances in AI-based voice conversion have enabled a wide range of media applications, including films, audiobooks, and games. However, most research and public
benchmarks still focus on natural human
speech, leaving designed vocalizations, such as monster growls and robotic voices, underexplored, partly due to the lack of publicly available resources. To address this gap, we introduce the Designed Vocalizations
Dataset, constructed by curating diverse raw vocal sources, including
speech and animal vocalizations, and applying professional vocal effects processing to produce corresponding effect modified variants. We further provide a standardized test set with explicit seen/unseen splits over source timbre groups and preset styles to assess generalization under controlled conditions. Finally, we report baseline
benchmark results to support reproducible evaluation and future research. The
dataset and demo samples are available at https://ncai-official.github.io/
speech/publications/designed-vocalizations-
dataset/.
Read the full abstract ▾
All authors Seolhee Lee, Minsu Kang, Yangsun Lee, Woosun Min, Choonghyeon Lee, Namhyun Cho
Systems and Control
Interaction Dynamics Modeling and Predictive Control for Safe Steerable Catheter–Tissue Interaction
Yongyan Cao
Steerable catheters are the primary tool for cardiac electrophysiology (EP) procedures including radiofrequency ablation, where the tip must be positioned precisely at target tissue while maintaining controlled, stable contact. The central control problem is therefore not merely tip tracking and not merely force regulation; it is the regulation of catheter–tissue interaction dynamics. The interaction state must encode how the tip moves relative to tissue, how persistent friction and contact forces bias that motion, and how safety limits reshape what motion is physically allowable. Existing methods regulate these interaction dynamics through different mechanisms. Classical impedance control~\cite{hogan1985} shapes the tip port as a virtual mechanical impedance $Z(s) = M_d s^2 + D_d s + K_d$, providing passive compliance without an explicit contact model. Three complementary design requirements motivate the present formulation: (i)~an explicit force-related constraint, (ii)~compensation for steady error under persistent loading, and (iii)~a prediction model that can incorporate trajectory and actuator information.
Read the full abstract ▾
Signal Processing
Decoding Parkinsonian Tremor: An Explainable Framework Integrating Multi-Revolution Spatial and Spectral Dynamics of Spiral Drawings
Tharaka Wijethunge, Maheshi Dissanayake and Sajitha Weerasinghe
Parkinson's disease (PD) manifests in motor impairments that are detectable through digitized spiral drawings. This study introduces an explainable framework for PD screening using a novel radial-sampling feature fusion approach. We transform 2D spiral images into 1D revolution signals via a systematic ray-sampling technique to extract three distinct revolutions. We integrate spatial metrics, such as inter-revolution spacing variability and RMS radial derivatives, with spectral descriptors derived from Fast
Fourier Transform (FFT) analysis across low, mid, and high harmonic bands. A total of 20 features were utilized to train state-of-the-art machine learning models, including Support Vector Machines (SVMs), Random Forests (RFs), and Light Gradient Boosting Machines (LightGBMs). Among these, the RF classifier demonstrated superior performance. Subsequent 5-fold cross-validation stability analysis along with feature importance analysis identified RMS radial derivative of the outer revolution as the most critical biomarker. Stratified Cross-Validation demonstrates that combining spatial and frequency features significantly enhances detection accuracy compared to single-domain methods, facilitating effective clinical deployment even in data-scarce environments. This interpretable pipeline provides a robust, low-cost white-box screening tool, offering a practical alternative to opaque deep-learning models for early clinical intervention.
Read the full abstract ▾
Signal Processing
RadioTrace: Transmitter-Aware Diffusion for Radio Map Estimation without Deployment-Time Fine-Tuning
Liu Yang, Qiang Li, Zhuo Cao et al. (+3 more)
Radio map (RM) estimation aims to reconstruct the spatial distribution of wireless signal characteristics, such as received signal strength (RSS), from sparse measurements, a task that is critical for spectrum management, interference mitigation, and localization in modern wireless networks. Traditional approaches, including interpolation and deep learning, either struggle to capture complex propagation effects or require large-scale retraining for each new sampling pattern, which limits their generalization. More recently, prior-based methods have combined pre-trained generative models with measurements to reduce the need for deployment-time model fine-tuning, but they typically treat the prior as a simple regularizer and lack explicit transmitter-aware integration. In this paper, we propose RadioTrace, a novel RM estimation framework without deployment-time fine-tuning that tightly integrates sparse RSS measurements with a frozen pre-trained
diffusion prior. RadioTrace incorporates transmitter (Tx) location estimation directly into the denoising loop, iteratively refining Tx coordinates based on reconstruction quality to guide the generative process. To further enhance robustness, we introduce a propagation-guided K-means initialization that mitigates poor local minima in the Tx update and provides a geometry-consistent starting point. Moreover, we provide a
stochastic stability analysis for the Tx-coordinate refinement component, showing that the Tx update remains stable under perturbations induced by
diffusion sampling and Tx-map relaxation. Extensive experiments demonstrate that RadioTrace achieves competitive performance with state-of-the-art learning-based methods under random sampling, and maintains strong reconstruction quality under restricted-area sampling, highlighting its adaptability, robustness, and practical relevance.
Read the full abstract ▾
All authors Liu Yang, Qiang Li, Zhuo Cao, Weijie Xiong, Guomin Sun, Jingran Lin
Systems and Control
Robust Adaptive Backup Control Barrier Functions
Ersin Daş, David E. J. van Wijk, Tamas G. Molnar et al. (+2 more)
We propose a notion of robust adaptive backup control barrier functions for nonlinear control affine systems with parametric uncertainty in both the drift dynamics and actuation
matrix. Backup control barrier functions guarantee safety by predicting the system's trajectory under a pre-certified safe controller. However, these predictions rely on the model and can be inaccurate when the system contains unknown parameters. To address this issue, we estimate the unknown parameters using element-wise certified adaptive
estimators that provide a parameter adaptation law and component-wise estimation error bounds. We compute the backup flow using the estimated model and tighten the safety conditions using these certified bounds. The resulting safety conditions account for the sensitivity of the predicted flow to parameter estimation errors. Moreover, to handle uncertainty in the actuation
matrix, we use a duality-based reformulation that enables the use of a computationally efficient quadratic-program-based safety filter. We prove that controllers satisfying the proposed robust adaptive backup control barrier function constraints guarantee safety under parametric uncertainty and input constraints.
Read the full abstract ▾
All authors Ersin Daş, David E. J. van Wijk, Tamas G. Molnar, Aaron D. Ames, Joel W. Burdick
Systems and Control · Cross-listed from cs.LG
Robust Asynchronous Q-Learning under Reward and State Corruption via Batching
Sreejeet Maity and Aritra Mitra
Motivated by reinforcement learning in harsh environments, we consider the problem of learning an optimal policy subject to adversarially corrupted feedback. Specifically, at each time-step, an adversary can perturb both the reward and state observations of the learner following the Huber contamination model. To defend against such data corruption, we propose BR-Async-Q: a novel, epoch-based, robust Q-learning
algorithm built upon two key ideas: (i) partitioning the online data stream into batches to reduce variance, and (ii) constructing robust estimates of the Bellman optimality operator using such batched data. We prove a high-probability $\ell_\infty$ error bound for BR-Async-Q that matches that for vanilla Q-learning, up to a small additive term that scales with the fraction of corrupted samples. To our knowledge, this provides the first robustness guarantee for asynchronous Q-learning subject to both reward and state corruption. Furthermore, when only rewards are corrupted, the dependence of our
algorithm's bound on the corruption fraction is minimax optimal.
Read the full abstract ▾
Systems and Control · Cross-listed from cs.SD
Spectrogram-Based Joint Detection, Localization, and Classification of Events in Continuously Recorded IBR Waveforms
Shivanshu Tripathi, Maziar Raissi and Hamed Mohsenian-Rad
Continuously recorded high-resolution waveform measurements provide rich information about fast power system dynamics. However, they require automated methods to identify events. This problem is addressed by developing a spectrogram-based framework to jointly detect, localize, and classify events in real-world continuously recorded waveforms at the terminal of an Inverter-Based Resource. We recast this problem as a temporal object detection problem on spectrogram images, as they capture the transient and harmonic signatures more explicitly than in raw waveform data. Each time-series waveform is transformed using the short-time
Fourier transform, and the resulting per-channel spectrograms are stacked as a tensor for event detection. We
benchmark this method against a detector operating directly on raw time-series measurements. Experiments on single-phase disturbances and three-phase faults demonstrate that the proposed spectrogram method consistently improves event detection, localization, and classification over the raw waveform baseline.
Read the full abstract ▾