Signal Processing
Markov State–Space Modeling and Channel Characterization for DNA-Based Molecular Communication
Ruifeng Zheng, Zhihan Xu, Veronika Volkova et al. (+5 more)
In this paper, we study DNA-based molecular communication with microarray-style reception under reversible hybridization, where the bound-state observation exhibits both inter-symbol interference and colored counting noise. To capture these effects in a communication-oriented form, we develop a Markov state-space framework based on a voxelized reaction–
diffusion model, in which a block-structured transition
matrix describes molecular transport and binding/unbinding dynamics. For the microarray specialization, this representation yields the channel impulse response, the
equilibrium gain, and a settling-time-based characterization of the effective channel
memory. Building on the resulting symbol-rate observation model for on–off keying, we derive a grouped-binomial counting model and obtain a closed-form expression for the covariance of the counting noise. Based on these statistics, we further develop a differential-threshold detector and a finite-
memory decision-feedback equalizer. Numerical results validate the theoretical correlation behavior and show that the relative performance of the proposed receivers depends strongly on the channel-
memory regime.
Read the full abstract ▾
All authors Ruifeng Zheng, Zhihan Xu, Veronika Volkova, Pengjie Zhou, Martín Schottlender, Juan A. Cabrera, Frank H. P. Fitzek, Pit Hofmann
Image and Video Processing · Cross-listed from cs.CV
Harnessing Lightweight Transformer with Contextual Synergic Enhancement for Efficient 3D Medical Image Segmentation
Xinyu Liu, Zhen Chen, Wuyang Li et al. (+2 more)
Transformers have shown remarkable performance in 3D medical image
segmentation, but their high computational requirements and need for large amounts of labeled data limit their applicability. To address these challenges, we consider two crucial aspects: model efficiency and data efficiency. Specifically, we propose Light-UNETR, a lightweight
transformer designed to achieve model efficiency. Light-UNETR features a Lightweight Dimension Reductive
Attention (LIDR) module, which reduces spatial and channel dimensions while capturing both global and local features via multi-branch
attention. Additionally, we introduce a Compact Gated Linear Unit (CGLU) to selectively control channel interaction with minimal parameters. Furthermore, we introduce a Contextual Synergic Enhancement (CSE) learning strategy, which aims to boost the data efficiency of
Transformers. It first leverages the extrinsic contextual information to support the learning of unlabeled data with
Attention-Guided Replacement, then applies Spatial Masking Consistency that utilizes intrinsic contextual information to enhance the spatial context
reasoning for unlabeled data. Extensive experiments on various
benchmarks demonstrate the superiority of our approach in both performance and efficiency. For example, with only 10% labeled data on the Left Atrial
Segmentation dataset, our method surpasses BCP by 1.43% Jaccard while drastically reducing the FLOPs by 90.8% and parameters by 85.8%. Code is released at https://github.com/CUHK-AIM-Group/Light-UNETR.
Read the full abstract ▾
All authors Xinyu Liu, Zhen Chen, Wuyang Li, Chenxin Li, Yixuan Yuan
Systems and Control
WAKE-NET: A 3D-Wake-Aware Economic Turbine Layout and Cabling Optimization Framework for Multi-Capacity Multi-Hub-Height Wind Farms Serving Grid-Scale and Industrial Power Systems
Ann Mary Toms and Xingpeng Li
The global transition towards renewable energy has accelerated the deployment of utility-scale wind farms, increasing the need for accurate performance and economic assessments. Although wind energy offers substantial potential for carbon emission reduction, investment decisions are highly sensitive to predicted annual energy production and economic profitability. Conventionally wind farm analyses often estimate turbine power output based solely on incoming wind conditions, neglecting wake interactions between turbines. These wake effects can significantly reduce downstream turbine performance, leading to overestimation of energy yield and financial returns. This study proposes WAKE-NET, a 3D wake-aware optimization framework that integrates turbine layout optimization, turbine capacity selection, cable routing, and hub height diversification within a unified profit-driven formulation. Unlike traditional approaches that assume a uniform hub height and turbine capacities or ignore wake dynamics, the proposed framework accounts for wake-induced power losses during optimization. A
benchmark wake-ignorant model is also evaluated to quantify the impact of neglecting wake interactions. Results indicate that the wake-ignorant optimization can significantly overestimate annual profits, while the use of multiple hub heights and capacities reduce wake overlap and improve spatial utilization. Overall, the findings demonstrate that wake-aware optimization coupled with hub height and capacity diversification provides more reliable energy yield prediction and economic assessment, offering valuable guidance for large-scale wind farm planning and investment.
Read the full abstract ▾
Systems and Control
Robust and Interpretable Graph Neural Networks for Power Systems State Estimation
Arbel Yaniv, Kilian Golinski and Christoph Goebel
This study analyzes Graph Neural Networks (GNNs) for distribution system state estimation (DSSE) by employing an interpretable Graph Neural Additive Network (GNAN) and by utilizing an edge-conditioned message-passing mechanism. The architectures are benchmarked against the standard Graph
Attention Network (GAT) architecture. Multiple SimBench grids with
topology changes and various measurement penetration rates were used to evaluate performance. Empirically, GNAN trails GAT in accuracy but serves as a useful probe for graph learning when accompanied with the proposed edge
attention mechanism. Together, they demonstrate that incorporating information from distant nodes could improve learning depending on the grid
topology and available data. This study advances the state-of-the-art understanding of learning on graphs for the state estimation task and contributes toward reliable GNN-based DSSE prediction technologies.
Read the full abstract ▾
Systems and Control
Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
Hernan Haimovich and Jose L. Mancilla-Aguilar
Time-invariant finite-dimensional systems, under reasonable continuity assumptions, exhibit the property that if solutions exist for all future times, the set of vectors reachable from a bounded set of initial conditions over bounded time intervals is also bounded. This property can be summarized as follows: forward completeness implies bounded reachability sets. By contrast, this property does not necessarily hold for infinite-dimensional systems in general, and time-delay systems in particular. Sufficient conditions for this property to hold that can be directly tested on the function defining the system dynamics are only known in the case of systems with pointwise (or discrete) delays. This paper develops novel sufficient conditions for the boundedness of the reachability sets of time-delay systems involving mixed pointwise and distributed delays. Broad classes of systems satisfying these conditions are identified.
Read the full abstract ▾
Signal Processing
Geometric Direction Finding on Dynamic Manifolds: Unambiguous DOA Estimation for Spatially Undersampled UWB Arrays
Kailun Tian, Kaili Jiang, Dechang Wang et al. (+4 more)
Traditional Direction of Arrival (DOA) estimation methods struggle to simultaneously address three physical constraints in Ultra-Wideband (UWB) electromagnetic sensing: spatial undersampling, asynchronous array phase, and beam squint. Existing solutions treat these issues in isolation, leading to limited performance in complex scenarios. This paper proposes a novel dynamic
manifold perspective, which models UWB signal observations as a continuous
manifold curve in a high-dimensional space driven by temporal
evolution and array
topology. We theoretically demonstrate that the DOA can be uniquely determined solely by the
geometric shape of the
manifold, rather than the absolute arrival phase. Based on this perspective, we construct a
geometric parameter system comprising extrinsic and intrinsic parameters, along with a corresponding DOA estimation framework. Extrinsic vector parameters serve as a dynamic extension of traditional array processing, effectively expanding the degrees of freedom to suppress grating lobes. Intrinsic scalar invariants provide a new
geometric perspective independent of traditional phase models, offering intrinsic robustness against array channel phase errors. Simulation results show that the derived analytical expressions for
geometric parameters are highly consistent with numerical truths. The proposed framework not only completely eliminates spatial ambiguity in sparse arrays but also achieves high-precision direction finding under conditions with calibration-free phase errors.
Read the full abstract ▾
All authors Kailun Tian, Kaili Jiang, Dechang Wang, Hancong Feng, Yuxin Zhao, Ying Xiong, Bin Tang
Signal Processing · Cross-listed from cs.IT
Autoencoder-based Optimization of Multi-user Molecule Mixture Communication Systems
Bastian Heinlein, Nuria Zurita Jiménez, Kaikai Zhu et al. (+4 more)
In this paper, we introduce an autoencoder (AE)-based scheme for end-to-end optimization of a multi-user molecule mixture communication system. In the proposed scheme, each transmitter leverages an encoder network that maps the user symbol to a molecule mixture. The mixtures then propagate through the channel to the receiver, which samples the channel using a non-linear, cross-reactive sensor array. A decoder network then estimates the symbol transmitted by each user based on the sensor observations. The proposed scheme achieves, for a given signal-to-noise ratio, lower symbol error rates than a baseline scheme from the literature in a single-user setting with full channel state information. We additionally demonstrate that the proposed AE-based scheme allows reliable communication when the channel is unknown or changing. Finally, we show that for multiple access the system can account for different user priorities. In summary, the proposed AE-based scheme enables end-to-end system optimization in complex scenarios unsuitable for analytical treatment and thereby brings molecular communication systems closer to real-world deployment.
Read the full abstract ▾
All authors Bastian Heinlein, Nuria Zurita Jiménez, Kaikai Zhu, Sümeyye Carkit-Yilmaz, Robert Schober, Vahid Jamali, Maximilian Schäfer
Systems and Control
Underdetermined Library-aided Impedance Estimation with Terminal Smart Meter Data
Federico Rosato, Lorenzo Nespoli and Vasco Medici
Smart meters provide relevant information for impedance identification, but they lack global phase
alignment and internal network nodes are often unobserved. A few methods for this setting were developed, but they have requirements on data correlation and/or network
topology. In this paper, we offer a unifying view of data- and structure-driven identifiability issues, and use this groundwork to propose a method for underdetermined impedance identification. The method can handle intrinsically ambiguous
topologies and data; its output is not forcedly a single estimate, but instead a collection of data-compatible impedance assignments. It uses a library of plausible commercial cable types as a prior to refine the solutions, and we show how it can support
topology identification workflows built around known georeferenced joints without degree guarantees. The method depends on a small number of non-sensitive parameters and achieves high identification performance on a sizeable
benchmark case even with low-size injection/voltage
datasets. We identify key steps that can be accelerated via GPU-based parallelization. Finally, we assess the tolerance of the identification to noisy input.
Read the full abstract ▾
Systems and Control
Scalable Impedance Identification of Diverse IBRs via Cluster-Specialized Neural Networks
Quang Manh Hoang, Guilherme Vieira Hollweg, Bang Nguyen et al. (+3 more)
Modern machine learning approaches typically identify the impedance of a single inverter-based resource (IBR) and assume similar impedance characteristics across devices. In modern power systems, however, IBRs will employ diverse control
topologies and
algorithms, leading to highly heterogeneous impedance behaviors. Training one model per IBR is inefficient and does not scale. This paper proposes a scalable impedance identification framework for diverse IBRs via cluster-specialized neural networks. First, the
dataset is partitioned into multiple clusters with similar feature profiles using the K-means clustering method. Then, each cluster is assigned a specialized feed-forward neural network (FNN) tailored to its characteristics, improving both accuracy and computational efficiency. In deployment, only a small number of measurements are required to predict impedance over a wide range of operating points. The framework is validated on six IBRs with varying control bandwidths, control structures, and operating conditions, and further tested on a previously unseen IBR using only ten measurement points. The results demonstrate high accuracy in both the clustering and prediction stages, confirming the effectiveness and scalability of the proposed method.
Read the full abstract ▾
All authors Quang Manh Hoang, Guilherme Vieira Hollweg, Bang Nguyen, Akhtar Hussain, Wencong Su, Van-Hai Bui
Systems and Control · Cross-listed from cs.CR
Privacy-Aware Smart Cameras: View Coverage via Socially Responsible Coordination
Chuhao Qin, Lukas Esterle and Evangelos Pournaras
Coordination of view coverage via
privacy-aware smart cameras is key to a more socially responsible urban intelligence. Rather than maximizing view coverage at any cost or over relying on expensive cryptographic techniques, we address how cameras can coordinate to legitimately monitor public spaces while excluding
privacy-sensitive regions by design. This article proposes a decentralized framework in which interactive smart cameras coordinate to autonomously select their orientation via collective learning, while eliminating
privacy violations via soft and hard constraint satisfaction. The approach scales to hundreds up to thousands of cameras without any centralized control. Experimental evidence shows 18.42% higher coverage efficiency and 85.53% lower
privacy violation than baselines and other state-of-the-art approaches. This significant advance further unravels practical guidelines for operators and policymakers: how the field of view, spatial placement, and budget of cameras operating by ethically-aligned artificial intelligence jointly influence coverage efficiency and
privacy protection in large-scale and sensitive urban environments.
Read the full abstract ▾
Systems and Control · Cross-listed from cs.RO
Path Planning and Reinforcement Learning-Driven Control of On-Orbit Free-Flying Multi-Arm Robots
Álvaro Belmonte-Baeza, José Luis Ramón, Leonard Felicetti et al. (+2 more)
This paper presents a hybrid approach that integrates trajectory optimization (TO) and reinforcement learning (RL) for motion planning and control of free-flying multi-arm
robots in on-orbit servicing scenarios. The proposed system integrates TO for generating feasible, efficient paths while accounting for dynamic and kinematic constraints, and RL for adaptive trajectory tracking under uncertainties. The multi-arm
robot design, equipped with thrusters for precise body control, enables redundancy and stability in complex space operations. TO optimizes arm motions and thruster forces, reducing reliance on the arms for stabilization and enhancing maneuverability. RL further refines this by leveraging model-free control to adapt to dynamic interactions and disturbances. The experimental results validated through comprehensive simulations demonstrate the effectiveness and robustness of the proposed hybrid approach. Two case studies are explored: surface motion with initial contact and a free-floating scenario requiring surface approximation. In both cases, the hybrid method outperforms traditional strategies. In particular, the thrusters notably enhance motion smoothness, safety, and operational efficiency. The RL policy effectively tracks TO-generated trajectories, handling high-dimensional action spaces and dynamic mismatches. This integration of TO and RL combines the strengths of precise, task-specific planning with robust adaptability, ensuring high performance in the uncertain and dynamic conditions characteristic of space environments. By addressing challenges such as motion coupling, environmental disturbances, and dynamic control requirements, this framework establishes a strong foundation for advancing the autonomy and effectiveness of space robotic systems.
Read the full abstract ▾
All authors Álvaro Belmonte-Baeza, José Luis Ramón, Leonard Felicetti, Miguel Cazorla, Jorge Pomares
Systems and Control
Feedback Control of a Recirculating Bioreactor with Electrophoretic Removal of Inhibitory Extracellular DNA
Antonio Spallone, Davide Fiore, Fabrizio Cartenì et al. (+1 more)
Extracellular DNA accumulation in recirculating bioprocesses inhibits microbial growth and reduces productivity. We consider a continuous bioreactor with a recirculating loop and an electrophoretic filtration unit for selective DNA removal, and develop a feedback control framework combining online state and parameter estimation via an Unscented Kalman Filter with an adaptive Model Predictive Controller that jointly optimizes dilution rate and filtration activation. Closed-loop simulations under nominal and perturbed conditions show that the addition of the filtration unit enables the proposed control strategy to achieve significantly higher cumulative profit while keeping DNA concentration below the inhibition threshold.
Read the full abstract ▾
All authors Antonio Spallone, Davide Fiore, Fabrizio Cartenì, Mario di Bernardo
Systems and Control
Stable Inversion of Discrete-Time Linear Periodically Time-Varying Systems via Cyclic Reformulation
Hiroshi Okajima
Inverse systems for discrete-time linear periodically time-varying (LPTV) plants are fundamental to feedforward control and iterative learning control of multirate and periodic systems. Building on the classical cyclic reformulation, which converts an N-periodic system into an equivalent LTI system at the original sampling rate, this paper derives an explicit closed-form N-periodic state-space realization of the inverse for an arbitrary uniform periodic relative degree r >= 0 (defined through the periodic Markov parameters). The technical basis is a structure-preservation property: after absorbing a phase shift for r >= 1, the LTI inverse of the cycled plant provably retains the cyclic (block-circulant/block-diagonal) structure, so that the periodic inverse
matrices can be read off block-by-block, in exact correspondence with the LTI inverse. The resulting inverse system is real-valued, causal for r = 0 and r-step-delayed for r >= 1, operates at the original sampling rate, and reconstructs the input exactly under matched initial conditions, with
geometric error decay otherwise. Through this correspondence, its stability is shown to be equivalent to the invariant zeros of the cycled plant - the periodic invariant zeros of the plant - lying in the open unit disk, which generalizes the minimum phase condition of the LTI case and is verifiable on a single constant
matrix pencil. Numerical examples illustrate the construction, the stability characterization, and the implementation as an online periodic filter.
Read the full abstract ▾
Systems and Control
Optimal Control of Switched Systems Governed by Logical Switching Dynamics
Xiao Zhang, Min Meng, Changxi Li et al. (+1 more)
This paper investigates the optimal co-design of logical and continuous controls for switched linear systems governed by controlled logical switching dynamics. Unlike traditional switched systems with arbitrary or state-dependent switching, the switching signals here are generated by an internal logical dynamical system and explicitly integrated into the control synthesis. By leveraging the semi-tensor product (STP) of
matrices, we embed the coupled logical and continuous dynamics into a unified algebraic state-space representation, transforming the co-design problem into a tractable linear-quadratic framework. We derive Riccati-type backward recursions for both deterministic and
stochastic logical dynamics, which yield optimal state-feedback laws for continuous control alongside value-function-based, state-dependent decision rules for logical switching. To mitigate the combinatorial explosion inherent in logical decision-making, a hierarchical
algorithm is developed to decouple offline precomputation from efficient online execution. Numerical simulations demonstrate the efficacy of the proposed framework.
Read the full abstract ▾
All authors Xiao Zhang, Min Meng, Changxi Li, Ka-Fai Cedric Yiu
Signal Processing · Cross-listed from cs.IT
Towards a Unified Coding Scheme for 6G
Paul Bezner, Erdem Eray Cil, Jannis Clausius et al. (+14 more)
The growing demand for higher data rates necessitates continuous innovations in wireless communication systems, particularly with the emergence of 6G. Channel coding plays a crucial role in this
evolution. In 5G systems, rate-adaptive raptor-like quasi-cyclic irregular low-density parity-check codes are used for the data link, while polar codes with successive cancellation list decoding handle short messages on the synchronization channel. However, to meet the stringent requirements of future 6G systems, a versatile and unified coding scheme should be developed - one that offers competitive error-correcting performance alongside low complexity encoding and decoding schemes that enable energy-efficient hardware implementations. This white paper outlines the
vision for such a unified coding scheme. We explore various 6G communication scenarios that pose new challenges to channel coding and provide a first analysis of potential solutions.
Read the full abstract ▾
All authors Paul Bezner, Erdem Eray Cil, Jannis Clausius, Oliver Griebel, Tim Janz, Lucas Johannsen, Claus Kestel, Felix Krieg, Haizheng Li, Jonathan Mandelbaum, Sisi Miao, Marvin Rübenacke, Daniel Tandler, Andreas Zunker, Laurent Schmalen, Norbert Wehn, Stephan ten Brink
Systems and Control
Power System Studies Using Open-Access Software
Juan A. Martinez-Velasco, Pau Casals-Torrens, Ricard Bosch-Tous et al. (+1 more)
The use of open-access software is an option that can be considered by those interested in power system studies. In addition, the combination of two or more of these tools can expand the capabilities and the fields of application of each tool. This paper proposes the implementation of a flexible and powerful simulation environment based on R/Rstudio for carrying out power system studies. Several simple case studies are presented aimed at showing how the combination of either EMTP/ATP or OpenDSS with R/RStudio can expand the capabilities of each of these tools for performing either steady-state or transient power system studies. Basically, the proposed environment uses RStudio as control center from which each simulation tool (e.g., R, ATP, OpenDSS) can be run. Some procedures for generating information that must be exchanged between RStudio and ATP or RStudio and OpenDSS have been implemented. Such exchanges are bidirectional: ATP and OpenDSS produce simulation results that can be read by RStudio (text files in the case of ATP, comma separated value (CSV) and text files in the case of OpenDSS), while RStudio capabilities are used to generate files that are embedded into the input file to be read by either ATP or OpenDSS. This late option can be used to change either the configuration or some parameters of the test system under study. Finally, one very interesting option illustrated in this paper is the possibility of using machine learning
algorithms to predict the performance of the test system.
Read the full abstract ▾
All authors Juan A. Martinez-Velasco, Pau Casals-Torrens, Ricard Bosch-Tous, Alexandre Serrano-Fontova
Image and Video Processing
Rigid Motion Estimation using Accelerated Iterative Coordinate Descent (REACT) for MR Imaging
Kwang Eun Jang and Dwight G. Nishimura
Purpose: To develop a computationally viable autofocus method for estimating 3D rigid motion in MR imaging. Theory and Methods: The proposed method, REACT, assumes a piecewise-constant motion trajectory and estimates the rigid motion parameters of individual temporal segments by optimizing an image-quality metric. Coordinate descent is adopted to decompose the high-dimensional optimization problem into a series of subproblems, each updating the motion parameters of a single temporal segment. The cost function of each subproblem is assumed to be approximately locally convex under suitable acquisition conditions. Each subproblem is then solved using a derivative-free solver, thereby avoiding an exhaustive grid search. Numerical simulations investigated the local convexity assumption and data acquisition requirements. REACT was evaluated for respiratory motion correction on in vivo free-breathing coronary MR angiography
datasets. Coronary artery sharpness was quantified using unbounded image edge profile acutance (u-IEPA). Results: In numerical simulations, the objective surfaces of the subproblems were approximately locally convex when the current motion estimate was sufficiently close to the desired solution, and REACT required the data collected within each temporal segment to be sufficiently distributed across k-space. In the in vivo study, REACT yielded higher u-IEPA for both the left anterior descending artery (LAD) and the right coronary artery than did a conventional translational motion-estimation method using image-based navigators. REACT also yielded higher u-IEPA for the LAD than did a conventional autofocus nonrigid motion correction method. Conclusion: This study demonstrates the feasibility of coordinate descent for autofocus motion correction in MR imaging.
Read the full abstract ▾
Signal Processing
Extended-Target Classification and Localization for Near-Field ISAC
Zongyao Zhao, Zhaolin Wang, Lincong Han et al. (+3 more)
Near-field integrated sensing and communication (
ISAC) enables object-level sensing from distance-dependent array responses, yet most existing near-field methods still rely on point-target models and realistic extended targets remain largely unexplored. In this paper, joint target classification and range-azimuth localization are studied from channel responses of realistic extended targets. A dual-branch inference framework is proposed. Semantic and
geometric branches are used for classification and localization, respectively. Cross-task
attention is introduced after task-specific encoding so that complementary cues can be exchanged without forcing full feature sharing from the input stage. To improve localization on the same backbone, uncertainty-aware regression and a physics-guided structured objective are adopted, including planar consistency, peak-response regularization, and geometry-coupling constraints. Training and evaluation data are generated from full-wave electromagnetic scattering simulations of voxelized vehicle targets with randomized heading angles, material contrasts, and placements. The compared variants show that cross-task
attention mainly benefits classification, while uncertainty-aware and structured supervision are needed to recover strong localization performance on the same backbone. Under the adopted shared-OFDM
benchmark, the proposed framework reaches the best joint operating point with fewer sensing tones for the same target performance region.
Read the full abstract ▾
All authors Zongyao Zhao, Zhaolin Wang, Lincong Han, Jing Jin, Yuanwei Liu, Kaibin Huang
Audio and Speech Processing
Prompt Amplification and Zero-Shot Late Fusion in Audio-Language Models for Speech Emotion Recognition
Saurabh Kataria and Xiao Hu
Audio-
Language Models (ALMs) are making strides in understanding
speech and non-
speech audio. However, domain-specialist Foundation Models (FMs) remain the best for closed-ended
speech processing tasks such as
Speech Emotion Recognition (SER). Using ALMs for Zero-shot SER is a popular choice, but their potential to work with specialists to achieve state-of-the-art (SOTA) performance remains unexplored. We propose ZS-Fuse, a late-fusion method that combines zero-shot
emotion estimates from a dual-encoder ALM with specialist FMs. To handle ambiguity in
emotions and sensitivity to
prompt choice, 1) we use a simple
prompt ensemble and 2) suggest a novel technique called
prompt amplification, which repeats audio and text queries to discover stronger zero-shot capabilities. We demonstrate the efficacy of our technique by evaluating ZS-Fuse with three dual-encoder ALMs and two FMs, and report improvements over SOTA baselines, such as WavLM-Large, on three
speech emotion recognition
datasets.
Read the full abstract ▾
Systems and Control
Rao-Blackwellized Stein Gradient Descent for Joint State-Parameter Estimation
Milad Banitalebi Dehkordi, Manas Mejari and Dario Piga
We present a filtering framework for online joint state estimation and parameter identification in nonlinear, time-varying systems. The
algorithm uses a Rao-Blackwellization technique to infer joint state-parameter posteriors efficiently. In particular, conditional state distributions are computed analytically via Kalman filtering, while model parameters, including the measurement-noise covariance, are approximated using particle-based Stein Variational Gradient Descent (SVGD), enabling stable real-time inference. To handle parameters subject to physical constraints, we further introduce constrained variants that enforce them through an alternating direction method of multipliers (ADMM) splitting of the SVGD update, including nonlinear equality constraints that standard particle filters cannot readily handle. We derive a stability bound that relates the approximation error in the parameter posterior to the resulting error in the marginal state distribution. Performance of the proposed filters is validated on three case studies: a fed-batch bioreactor with Haldane kinetics and a damped pendulum, both under physical constraints, and a neural-network-augmented dynamic system. The examples cover parameter estimation under inequality and equality constraints and online neural-network training within a dynamical model.
Read the full abstract ▾
Audio and Speech Processing
Modelling Emotions is an Elusive Pursuit in Affective Computing
Anders Rolighed Larsen, Sneha Das, Nicole Nadine Lønfeldt et al. (+2 more)
Affective computing - combining sensor technology, machine learning, and psychology - have been studied for over three decades and is employed in AI-powered technologies to enhance emotional awareness in AI systems, and detect symptoms of mental health disorders such as anxiety and depression. However, the uncertainty in such systems remains high, and the application areas are limited by categorical definitions of
emotions and emotional concepts. This paper argues that categorical
emotion labels obscure emotional nuance in affective computing, and therefore continuous dimensional definitions are needed to advance the field, increase application usefulness, and lower uncertainties.
Read the full abstract ▾
All authors Anders Rolighed Larsen, Sneha Das, Nicole Nadine Lønfeldt, Paula Petcu, Line Clemmensen
Systems and Control
JanusBM: A Dual-Fidelity Multi-Zone White-Box Building Modeling Framework
Haozhen Cheng, Hüseyin K. Çakmak and Veit Hagenmeyer
Accurate building energy models are crucial for analyzing sector-coupled energy systems, where buildings interact with electrified heating, energy storage, and advanced control across various scenarios. High-fidelity (HiFi) white-box models that resolve hydronic distribution and emitter dynamics can capture short-term transients, yet their numerical stiffness and computational burden limit long-term simulations and large-scale scenario exploration. Conversely, reduced-order low-fidelity (LoFi) representations enable rapid annual assessments but may fail to capture the hydronic- and control-induced dynamics that govern transient and peak behavior. This paper proposes a dual-fidelity, multi-zone white-box building modeling framework, which is called JanusBM, built on a novel
topology-driven modeling tool RoomFlex6D, coupling a HiFi hydronic model and a LoFi ideal-load surrogate that removes explicit hydronic states in Modelica. To ensure applicability and physical consistency across time scales, we introduce a two-stage hybrid validation and calibration pipeline that uses complementary data: the IEA EBC Annex 60
benchmark for energy-scale validation and time-series measurements from real-world experimental buildings for hydronic dynamics-scale calibration. Results show that the generated LoFi models achieve a high degree of consistency with Annex 60
benchmark on the energy scale, and the proposed calibration workflow robustly improves loop-level return water temperature transients and zone-level temperature dynamics. Moreover, the LoFi model achieves orders-of-magnitude faster simulations suited to annual energy analyses, whereas the HiFi model becomes necessary when the required heat differs from the actual delivered heat due to distribution and control limitations, especially in transient and peak-oriented assessments.
Read the full abstract ▾
Signal Processing · Cross-listed from cs.IT
On the Suboptimality of Rate–Distortion-Optimal Compression: Fundamental Accuracy Limits for Distributed Localization
Amir Weiss
We derive fundamental accuracy limits for distributed localization when a fusion center has access only to independently rate-distortion (RD)-optimally compressed versions of multi-sensor observations, under a line-of-sight propagation model with a Gaussian wideband waveform. Using the Gaussian RD test-channel model together with a Whittle spectral Fisher-information characterization, we obtain an explicit frequency-domain Cramér-Rao lower bound. A two-band, two-level specialization yields closed-form expressions and reveals a rate-induced regime change: RD-optimal compression under a squared-error distortion measure can eliminate localization-informative spectral content. A simple band-selective scheme can outperform RD compression by orders of magnitude at the same rate, motivating localization-aware compression for networked sensing and integrated sensing and communication systems.
Read the full abstract ▾
Systems and Control
Design Guidelines for Nonlinear Kalman Filters via Covariance Compensation
Shida Jiang, Jaewoong Lee, Shengyu Tao et al. (+1 more)
Nonlinear extensions of the Kalman filter (KF), such as the extended Kalman filter (EKF) and the unscented Kalman filter (UKF), are indispensable for state estimation in complex dynamical systems, yet the conditions for a nonlinear KF to provide robust and accurate estimations remain poorly understood. This work proposes a theoretical framework that identifies the causes of failure and success in certain nonlinear KFs and establishes guidelines for their improvement. Central to our framework is the concept of covariance compensation: the deviation between the covariance predicted by a nonlinear KF and that of the EKF. With this definition and detailed theoretical analysis, we derive three design guidelines for nonlinear KFs: (i) invariance under orthogonal transformations, (ii) sufficient covariance compensation beyond the EKF baseline, and (iii) selection of compensation magnitude that favors underconfidence. Both theoretical analysis and empirical validation confirm that adherence to these principles significantly improves estimation accuracy, whereas fixed parameter choices commonly adopted in the literature are often suboptimal. The codes and the proofs for all the
theorems in this paper are available at https://github.com/Shida-Jiang/Guidelines-for-Nonlinear-Kalman-Filters.
Read the full abstract ▾
All authors Shida Jiang, Jaewoong Lee, Shengyu Tao, Scott Moura
Signal Processing
Markov-Enforced Discrete Diffusion Model for Digital Semantic Symbol Error Correction
Yoon Huh, Jeongho Kang and Wan Choi
Diffusion models (DMs) have achieved remarkable success across various domains owing to their strong generative and denoising capabilities. Meanwhile, semantic communication based on neural joint source-channel coding (JSCC) has emerged as a promising paradigm for robust and efficient image transmission. However, severe channel noise can still distort the transmitted semantic symbols, resulting in significant performance degradation. Applying DMs to digital semantic symbols, particularly in vector quantization (VQ)-based systems, is fundamentally challenging because the Markov assumption does not hold for the symbol transition dynamics. To address this issue, we introduce SSCDM, a semantic symbol correcting
diffusion model whose discrete-time transition dynamics are constructed using solutions from continuous-time Markov chain theory. Furthermore, to promote synergy between DMs and JSCC, our DM structure embeds discrete symbols into a latent feature space using a learned VQ codebook, and a self-organizing map-based loss is incorporated during codebook learning to enhance the
geometric vicinity between neighboring digital symbols, thereby promoting
topology-preserving semantic representations. Experimental results show that the proposed method significantly improves image reconstruction quality and outperforms previous symbol-level denoising techniques under low signal-to-noise ratio scenarios and different
datasets.
Read the full abstract ▾
Signal Processing
Toward Integrated Sensing, Communications, and Edge Intelligence Networks
Mattia Merluzzi, Miltiadis C. Filippou, Paolo Di Lorenzo et al. (+1 more)
Wireless systems are expanding their purposes, from merely connecting humans and things to connecting intelligence and opportunistically sensing of the environment through
radio-frequency signals. In this paper, we introduce the concept of triple-functional networks in which the same infrastructure and resources are shared for integrated sensing, communications, and (edge) Artificial Intelligence (AI) inference. This concept opens up several opportunities, such as devising non-orthogonal resource deployment and power consumption to concurrently update multiple services, but also challenges related to resource management and signaling cross-talk, among others. The core idea of this work is that computation-related aspects, including computing resources and AI models availability, should be explicitly considered when taking resource allocation decisions, to address the conflicting goals of the services coexistence. After showing the natural coupling between theoretical performance bounds of the three services, we formulate a service coexistence optimization problem that is solved optimally, and showcase the advantages against a disjoint allocation strategy.
Read the full abstract ▾
All authors Mattia Merluzzi, Miltiadis C. Filippou, Paolo Di Lorenzo, George C. Alexandropoulos
Systems and Control
Experimental Characterisation of Distributed Reactive Power Sharing under Communication-Induced Stress in Parallel Grid-Forming Inverters
E. D. Gomez Anccas, E. A. MacPherson, J. Tegeler et al. (+4 more)
Synchronisation of parallel grid-forming inverters is crucial for stable operation of future power systems. This includes accurate and robust reactive power sharing under realistic operating conditions such as impedance mismatch and communication constraints. In this work, reactive power sharing by virtue of a distributed control law is investigated under line impedance mismatch. Furthermore, robustness and transient behaviour of the proposed approach are experimentally evaluated under communication-induced stressors including a fixed 3% packet loss and communication delays ranging from 50 ms to 100 ms, artificially introduced through a software-defined overlay. The study is conducted in a low-voltage laboratory-scale microgrid comprising two parallel grid-forming inverters, an AC load, and a grid-following battery system acting as a reactive power injector. The results show reactive power sharing convergence up to 90 ms communication delay, with a stability boundary between 90 ms and 100 ms, which decreases with increasing integral gain.
Read the full abstract ▾
All authors E. D. Gomez Anccas, E. A. MacPherson, J. Tegeler, K. Röbert, M. Fischer, C. A. Hans, D. Schulz
Systems and Control · Cross-listed from math.OC
Positive Observers Revisited
David Ohlin, Anders Rantzer and Emma Tegling
The paper shows that positive linear systems can be stabilized using positive Luenberger-type observers. This is achieved by structuring the observer as monotonically converging upper and lower bounds on the state. Analysis of the closed-loop properties under linear observer feedback gives conditions that cover a larger class than previous observer designs. The results are applied to nonpositive systems by enforcing positivity of the dynamics using feedback from the upper bound observer. The setting is expanded to include
stochastic noise, giving conditions for convergence in expectation using feedback from positive observers.
Read the full abstract ▾
Systems and Control
Cooperative Bandit Learning in Directed Networks with Arm-Access Constraints
Evagoras Makridis and Themistoklis Charalambous
Sequential decision-making under uncertainty often involves multiple
agents learning which actions (arms) yield the highest rewards through repeated interaction with a
stochastic environment. This setting is commonly modeled by cooperative multi-
agent multi-armed bandit problems, where
agents explore and share information without centralized coordination. In many realistic systems,
agents have heterogeneous capabilities that limit their access to subsets of arms and communicate over asymmetric networks represented by directed graphs. In this work, we study multi-
agent multi-armed bandit problems with partial arm access, where
agents explore and exploit only the arms available to them while exchanging information with neighbors. We propose a distributed consensus-based upper confidence bound (UCB)
algorithm that accounts for both the arm accessibility structure and network asymmetry. Our approach employs a mass-preserving information mixing mechanism, ensuring that reward estimates remain unbiased across the network despite accessibility constraints and asymmetric information flow. Under standard
stochastic assumptions, we establish logarithmic regret for every
agent, with explicit dependence on network mixing properties and arm accessibility constraints. These results quantify how heterogeneous arm access and directed communication shape cooperative learning performance.
Read the full abstract ▾
Systems and Control
Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control
Kaoru Teranishi
In this study, we propose a two-party computation protocol for approximate
matrix multiplication of fixed-point numbers. The proposed protocol is provably secure under standard
lattice-based cryptographic assumptions and enables
matrix multiplication at a desired approximation level within a single round of communication. We demonstrate the feasibility of the protocol by applying it to the secure implementation of a linear control law. Our evaluation reveals that the client achieves lower online computational complexity compared to the original controller computation, while ensuring the
privacy of controller inputs, outputs, and parameters. Furthermore, a numerical example confirms that the proposed method maintains sufficient precision of control inputs even in the presence of approximation and quantization errors.
Read the full abstract ▾