Systems and Control · Cross-listed from cs.LO
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
Gricel Vázquez, Calum Imrie, Sepeedeh Shahbeigi et al. (+5 more)
Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing an approach for adapting probabilistic system models to handle out-of-ODD scenarios while, in parallel, providing quantitative guarantees. Our approach dynamically extends the coverage of existing system situation capabilities, supporting the verification and adaptation of the system's behaviour under unanticipated situations. Preliminary results demonstrate that our approach effectively increases system reliability by adapting its behaviour and providing formal guarantees even under unforeseen out-of-ODD situations.
Read the full abstract ▾
All authors Gricel Vázquez, Calum Imrie, Sepeedeh Shahbeigi, Nawshin Mannan Proma, Tian Gan, Victoria J Hodge, John Molloy, Simos Gerasimou
Image and Video Processing · Cross-listed from cs.LG
GAN-based Domain Adaptation for Image-aware Layout Generation in Advertising Poster Design
Chenchen Xu, Min Zhou, Tiezheng Ge et al. (+1 more)
Layout plays a crucial role in graphic design and poster generation. Recently, the application of deep learning models for layout generation has gained significant
attention. This paper focuses on using a GAN-based model conditioned on images to generate advertising poster graphic layouts, requiring a
dataset of paired product images and layouts. To address this task, we introduce the Content-aware Graphic Layout
Dataset (CGL-
Dataset), consisting of 60,548 paired inpainted posters with annotations and 121,000 clean product images. The inpainting artifacts introduce a domain gap between the inpainted posters and clean images. To bridge this gap, we design two GAN-based models. The first model, CGL-GAN, uses Gaussian blur on the inpainted regions to generate layouts. The second model combines unsupervised domain adaptation by introducing a GAN with a pixel-level discriminator (PD), abbreviated as PDA-GAN, to generate image-aware layouts based on the visual texture of input images. The PD is connected to shallow-level feature maps and computes the GAN loss for each input-image pixel. Additionally, we propose three novel content-aware metrics to assess the model's ability to capture the intricate relationships between graphic elements and image content. Quantitative and qualitative evaluations demonstrate that PDA-GAN achieves state-of-the-art performance and generates high-quality image-aware layouts.
Read the full abstract ▾
All authors Chenchen Xu, Min Zhou, Tiezheng Ge, Weiwei Xu
Image and Video Processing · Cross-listed from cs.LG
Accelerating Training of Autoregressive Video Generation Models via Local Optimization with Representation Continuity
Yucheng Zhou and Jianbing Shen
Autoregressive models have shown superior performance and efficiency in image generation, but remain constrained by high computational costs and prolonged training times in
video generation. In this study, we explore methods to accelerate training for autoregressive
video generation models through empirical analyses. Our results reveal that while training on fewer
video frames significantly reduces training time, it also exacerbates error accumulation and introduces inconsistencies in the generated
videos. To address these issues, we propose a Local Optimization (Local Opt.) method, which optimizes
tokens within localized windows while leveraging contextual information to reduce error propagation. Inspired by Lipschitz continuity, we propose a Representation Continuity (ReCo) strategy to improve the consistency of generated
videos. ReCo utilizes continuity loss to constrain representation changes, improving model robustness and reducing error accumulation. Extensive experiments on class- and text-to-
video datasets demonstrate that our approach achieves superior performance to the baseline while halving the training cost without sacrificing quality.
Read the full abstract ▾
Systems and Control
Measurement of Generative AI Workload Power Profiles for Whole-Facility Data Center Infrastructure Planning
Roberto Vercellino, Jared Willard, Gustavo Campos et al. (+4 more)
The rapid growth of generative artificial intelligence (AI) has introduced unprecedented computational demands, driving significant increases in the energy footprint of data centers. However, existing power consumption data is largely proprietary and reported at varying resolutions, creating challenges for estimating whole-facility energy use and planning infrastructure. In this work, we present a methodology that bridges this gap by linking high-resolution workload power measurements to whole-facility energy demand. Using NLR's high-performance computing data center equipped with NVIDIA H100 GPUs, we measure power consumption of AI workloads at 0.1-second resolution for AI training, fine-tuning and inference jobs. Workloads are characterized using MLCommons
benchmarks for model training and fine-tuning, and vLLM
benchmarks for inference, enabling reproducible and standardized workload profiling. The
dataset of power consumption profiles is made publicly available. These power profiles are then scaled to the whole-facility-level using a bottom-up, event-driven, data center energy model. The resulting whole-facility energy profiles capture realistic temporal fluctuations driven by AI workloads and user-behavior, and can be used to inform infrastructure planning for grid connection, on-site energy generation, and distributed microgrids.
Read the full abstract ▾
All authors Roberto Vercellino, Jared Willard, Gustavo Campos, Weslley da Silva Pereira, Olivia Hull, Matthew Selensky, Juliane Mueller
Systems and Control
Dual-Envelope Constrained Nonlinear MPC for Distributed Drive Electric Vehicles Drifting Under Bounded Steering and Direct Yaw-Moment Control
Yurun Gan, Ziyu Song, Jing Yang et al. (+8 more)
Distributed drive electric vehicles offer superior yaw moment control for autonomous drifting in extreme maneuvers. Conventional drift analysis constructs stability boundaries from open loop
equilibria points and assumes a fixed envelope structure. However, coupling among control inputs reshapes the phase plane and shifts saddle point location, which can invalidate open loop envelopes when used for closed loop drifting. To address this issue, a saddle point coordinate model is established in this paper by combining a nonlinear tire model with the handling diagram and explicitly accounting for road adhesion coefficient, longitudinal velocity, front wheel steering angle, and additional yaw moment. Based on saddle point properties, an extended dual envelope framework is constructed in the phase plane of slip angle and yaw rate. Using the convergence tendency of state points toward saddle points under bounded control inputs, the outer envelope defines a recoverable set under constraints on front wheel steering angle and additional yaw moment. The inner envelope characterizes the non-drifting stability region associated with unsaturated tire forces. Finally, a nonlinear model predictive control (NMPC) controller is developed using the extended dual envelope constraint. Hardware-in-the-loop experiments show that, compared with NMPC without envelope constraints, the proposed method enables smoother convergence toward the drift saddle point, reduces the steady-state tracking errors of vehicle speed, sideslip angle, and yaw rate by 33.07%, 71.18%, and 31.27%, respectively, and decreases the peak tracking error by 63.66% under road-friction mismatch.
Read the full abstract ▾
All authors Yurun Gan, Ziyu Song, Jing Yang, Zheng Lin, Jianuo Zhang, Tongtong Gu, Haitao Ding, Nan Xu, Por Lip Yee, Wei Ni, Jun Luo
Signal Processing
Delay-Doppler Channel Estimation using Arbitrarily Modulated Data Transmissions
Nishant Mehrotra, Sandesh Rao Mattu and Robert Calderbank
Conventional delay-Doppler (DD) communication and sensing systems require transmitting pilot frames at every channel coherence time interval in order to keep track of channel variations at the cost of spectral efficiency. In this paper, we propose an approach to utilize data transmissions that modulate arbitrary waveforms with zero-mean, unit average energy symbols for DD channel estimation without requiring pilot transmissions in every coherence time interval. Numerical evaluation over practical doubly-selective channel models demonstrate $\sim 1.8 \times$ improvement in uncoded spectral efficiency with our proposed data-based approach over conventional pilot-based approaches across various $6$G modulation schemes.
Read the full abstract ▾
Image and Video Processing · Cross-listed from cs.CV
Region-Graph Optimal Transport Routing for Mixture-of-Experts Whole-Slide Image Classification
Xin Tian, Jiuliu Lu, Ephraim Tsalik et al. (+3 more)
Multiple Instance Learning (MIL) is the dominant framework for gigapixel whole-slide image (WSI) classification in computational pathology. However, current MIL aggregators route all instances through a shared pathway, constraining their capacity to specialise across the pathological heterogeneity inherent in each slide. Mixture-of-Experts (MoE) methods offer a natural remedy by partitioning instances across specialised expert subnetworks; yet unconstrained softmax routing may yield highly imbalanced utilisation, where one or a few experts absorb most routing mass, collapsing the mixture back to a near-single-pathway solution. To address these limitations, we propose ROAM (Region-graph OptimAl-transport Mixture-of-experts), a spatially aware MoE-MIL aggregator that routes region
tokens to expert poolers via capacity-constrained entropic optimal transport, promoting balanced expert utilisation by construction. ROAM operates on spatial region
tokens, obtained by compressing dense patch bags into spatially binned units that align routing with local tissue neighbourhoods and introduces two key mechanisms: (i) region-to-expert assignment formulated as entropic optimal transport (Sinkhorn) with explicit per slide capacity marginals, enforcing balanced expert utilisation without auxiliary load-balancing losses; and (ii) graph-regularised Sinkhorn iterations that diffuse routing assignments over the spatial region graph, encouraging neighbouring regions to coherently route to the same experts. Evaluated on four WSI
benchmarks with frozen foundation-model patch
embeddings, ROAM achieves performance competitive against strong MIL and MoE baselines, and on NSCLC generalisation (TCGA-CPTAC) reaches external AUC 0.845 +- 0.019.
Read the full abstract ▾
All authors Xin Tian, Jiuliu Lu, Ephraim Tsalik, Bart Wanders, Colleen Knoth, Julian Knight
Systems and Control
Active Propeller Fault Detection and Isolation in Multirotors Via Vibration Model
Alessandro Baldini, Riccardo Felicetti, Alessandro Freddi et al. (+1 more)
In rotary-wing aircraft, rotating blades are exposed to collisions and subsequent damage. The detection and isolation of blade damage constitute the first step in fault mitigation; however, they are particularly challenging when considerable input redundancy is available, as in the case of multirotors. In this article, we propose an active model-based approach that deliberately perturbs the control inputs to isolate blade faults in multirotor vehicles. By exploiting a model that captures the vibrations caused by blade damage, the isolation method relies solely on vibration data from the onboard inertial measurement unit. The strategy is tested in simulation using an octarotor platform, and both time-domain and frequency-domain features are analyzed. Several accuracy-related metrics of the technique are evaluated on a set of 9600 simulations and compared with the most relevant variables.
Read the full abstract ▾
All authors Alessandro Baldini, Riccardo Felicetti, Alessandro Freddi, Andrea Monteriù
Signal Processing
Keep Private Networks Private II: Wideband Secret Key Generation on a Real 5G NR Testbed
Sachinkumar B. Mallikarjun, Christoph Lipps, Marvin Reski et al. (+3 more)
Secret key generation (SKG) from wireless channel reciprocity has been demonstrated on WiFi, LTE, and LoRaWAN, but has never been demonstrated on 5G New
Radio (NR) Sounding Reference Signal (SRS) and CSI Reference Signal (CSIRS) measurements.
Read the full abstract ▾
All authors Sachinkumar B. Mallikarjun, Christoph Lipps, Marvin Reski, Sneha Bhattacharjee, Andreas Weinand, Hans D. Schotten
Signal Processing
Pilot Allocation for Multi-Hop Over-the-Air Neural Inference under Imperfect CSI
Tolga Girici, Meng Hua and Deniz Gündüz
A multi-hop amplify-and-forward (AF) relay network can emulate a fully connected (FC) neural network layer via over-the-air (OTA) computation. However, achieving high emulation accuracy requires accurate channel state information (CSI) across all links in the multi-hop network. In this work, we investigate the impact of CSI errors on classification performance. We propose five heuristic schemes for allocating the total channel training time (pilots) across hops and compare their effectiveness. Numerical results reveal a clear trade-off between channel training overhead and classification accuracy. In particular, with sufficient pilot power and balanced allocation of channel training resources, the system can achieve classification accuracy close to that of the digital baseline.
Read the full abstract ▾
Systems and Control
Complex-Valued Kuramoto Networks: A Unified Control-Theoretic Framework
Lorenzo Giordano, Josep M. Olm and Mario di Bernardo
Synchronization in networks of coupled oscillators is classically studied via the Kuramoto model, whose intrinsic nonlinearity limits analytical tractability and complicates control design. Complex-valued extensions circumvent this by
embedding phase dynamics into a higher-dimensional linear state space, where regulating complex-state
moduli to a common value recovers Kuramoto phase behavior. Existing approaches to address this problem correspond, within a unified control framework, to state-feedback and hybrid reset-based strategies, each with performance constraints. We propose two switched control designs that overcome these limitations: a switched feedforward law ensuring exact phase correspondence at all times, and a feedforward plus sliding-mode law achieving finite-time convergence without spectral gain tuning. Additionally, we present a non-autonomous complex-valued
MIMO sliding-mode controller that enforces phase locking at a prescribed frequency in finite time, independent of natural frequencies and coupling strengths. Simulations confirm improved transient response, steady-state accuracy, and robustness, including synchronization of heterogeneous networks where the classical real-valued Kuramoto model fails.
Read the full abstract ▾
Systems and Control
Flexible Electric Vehicle Charging with Karma
Ezzat Elokda, Ruiting Wang, Karl H. Johansson et al. (+1 more)
Motivated by the need to develop fair and efficient schemes to facilitate the electrification of transport, this paper proposes a non-monetary karma economy for flexible Electric Vehicle (EV) charging, managing the intertemporal allocation of limited power capacity. We consider a charging facility with limited capacity that must schedule arriving EVs to charge in real-time. For this purpose, the facility adopts online karma auctions, in which each EV user is endowed with non-tradable karma
tokens, places a karma bid in each time interval it is present in the facility, and capacity is allocated to the highest bidders, who must pay their bids. These payments are subsequently redistributed to the users to form a closed, indefinitely sustainable economy. The main contribution is to extend previous karma Dynamic Population Game (DPG) formulations to this setting which features novel State of Charge (SOC) dynamics and private trip deadlines in addition to urgency. A Stationary Nash
Equilibrium (SNE) of the EV charging karma economy is guaranteed to exist, and it is demonstrated to provide pronounced benefits with respect to
benchmark scheduling schemes as it balances between meeting deadlines and prioritizing high urgency.
Read the full abstract ▾
All authors Ezzat Elokda, Ruiting Wang, Karl H. Johansson, Angela Fontan
Systems and Control · Cross-listed from math.OC
A Trajectory-Based Approach to Controlled Invariance and Recursively Feasible MPC
Emmanuel Junior Wafo Wembe and Adnane Saoud
In this paper, we revisit the computation of controlled invariant sets for linear discrete-time systems through a trajectory-based viewpoint. We begin by introducing the notion of convex feasible points, which provides a new characterization of controlled invariance using finitely long state trajectories. We further show that combining this notion with the classical backward fixed-point
algorithm allows for the computation of the maximal controlled invariant set. Building on these results, we propose a model predictive control (MPC) scheme that guarantees recursive feasibility without relying on precomputed terminal sets. Finally, we formulate the search for convex feasible points as an optimization problem, yielding a practical computational method for constructing controlled invariant sets. The effectiveness of the approach is illustrated through numerical examples.
Read the full abstract ▾
Signal Processing · Cross-listed from cs.IT
Xinquan Wang, Mingjun Ying, Hongren Chen et al. (+6 more)
Sub-terahertz (sub-THz) multi-user multiple-input multiple-output (MU-
MIMO) systems unlock immense bandwidth for 6G wireless communications. However, practical deployment of wireless systems in sub-THz bands faces critical challenges such as increased atmospheric absorption, reduced channel coherence time due to increased Doppler spread at higher carrier frequencies, and hardware bottlenecks as low-loss sub-THz phase shifters are difficult to realize. To overcome the hardware and channel estimation challenges of sub-THz systems, this paper proposes a hybrid beamforming (BF) framework that integrates reconfigurable
liquid crystal (LC)
antennas with a
liquid neural network (LNN) for transmitter. Specifically, we employ an LC
antenna as the analog BF stage of a hybrid BF architecture, exploiting its voltage-driven permittivity tunability to achieve high-gain beam steering without the need for lossy phase shifters. For digital BF, we utilize an ordinary differential equations-defined LNN to learn temporal channel dynamics, and use a
manifold optimization technique to compress the search space. We validated the proposed method on simulated site-specific 108 GHz ray-tracing channels in an urban scenario using NYURay, a ray-tracing simulator validated against 142 GHz propagation measurements. The 108 GHz carrier frequency matches the operating band of the LC
antenna hardware. The proposed method achieves an 88.6% spectral efficiency (SE) gain and higher robustness to imperfect channel estimation compared to the learning-aided gradient descent and gated recurrent unit machine learning baselines, and 1.9 times higher SE than the 3GPP TR~38.901 standard
antenna model, highlighting the potential of LC-based hardware for sub-THz communications.
Read the full abstract ▾
All authors Xinquan Wang, Mingjun Ying, Hongren Chen, Guanyue Qian, Xingchen Liu, Peijie Ma, Dipankar Shakya, Christos Argyropoulos, Theodore S. Rappaport
Systems and Control
From 6G Scenarios and Requirements to Design Drivers: Insights from 3GPP Release 20
Victor Moznon Baeza and Symeon Chatzinotas
The definition of sixth-generation (6G) systems is being shaped by early standardization efforts, including the 3GPP TR 38.914 (Release 20) study on scenarios and requirements. This study introduces a comprehensive set of deployment environments, service classes, and performance targets that will guide the
evolution toward IMT-2030. This article provides a design-oriented interpretation of these definitions, bridging the gap between standardized scenarios and system design. We first organize 6G deployment scenarios and emerging services into a unified framework. We then identify key design drivers derived from the 3GPP requirements, including terrestrial-non-terrestrial integration, GNSS-free operation, AI-native networking, and joint communication and sensing. Finally, we discuss the implications of these drivers on 6G architecture and highlight open challenges for future standardization and research.
Read the full abstract ▾
Systems and Control · Cross-listed from cs.NI
Multiprotocol Wireless Timer Synchronization for IoT Systems
Ziyao Zhou, Tiancheng Cao, Chen Shen et al. (+3 more)
Accurate time synchronization is essential for Internet of Things (IoT) systems, where multiple distributed nodes must share a common time base for coordinated sensing and data fusion. However, conventional synchronization approaches suffer from nondeterministic transmission latency, limited precision, or restricted bidirectional functionality. This paper presents a protocol-independent wireless timer synchronization method that exploits
radio timeslots to transmit precisely timestamped beacons in a proprietary
radio mode. By decoupling synchronization from upper-layer packet retransmissions and leveraging hardware-timed
radio events, the proposed approach significantly reduces scheduling uncertainty and achieves nanosecond-level synchronization accuracy. Comprehensive experiments evaluate the impacts of synchronization frequency, RSSI, BLE connection interval, and throughput on synchronization performance. The results demonstrate that an optimal synchronization frequency of 1000 Hz yields an approximately 20 ns delay in the absence of communication stack activity while maintaining sub-500 ns accuracy under most realistic BLE traffic conditions. Furthermore, larger connection intervals, lower application throughput, and higher RSSI consistently improve synchronization quality by reducing
radio resource contention and packet loss. The proposed scheme provides a general and high-precision synchronization solution suitable for resource-constrained IoT systems.
Read the full abstract ▾
All authors Ziyao Zhou, Tiancheng Cao, Chen Shen, Jiaqi Zhang, Yuting Liu, Hen-Wei Huang
Systems and Control
Enhanced ShockBurst for Ultra Low-Power On-Demand Sensing
Ziyao Zhou, Chen Shen, Tiancheng Cao et al. (+1 more)
On-demand sensing requires battery-powered Internet-of-Things (IoT) and implantable medical devices to remain in deep sleep and activate wireless communication only when data transmission is required. In such systems, battery lifetime depends strongly on
radio active time. This work investigates how communication architecture and physical layer (PHY) configuration influence
radio active time by comparing connection-oriented Bluetooth Low Energy (BLE) with connectionless Enhanced ShockBurst (ESB) on identical BLE-compatible hardware. Under identical 2 Mbps PHY configurations, ESB reduces wake-up latency and energy consumption to approximately one-twentieth of BLE by eliminating connection establishment and maintenance overhead. Increasing the ESB PHY rate from 2 to 4 Mbps further shortens packet airtime by approximately 52% and reduces transmission energy by approximately 43%. Finally, a first-in, first-out (FIFO)-triggered implantable loop recorder prototype demonstrates that jointly optimizing communication architecture, PHY configuration, and buffered transmission enables sleep-wake operation and reduces total system power consumption by approximately 60% compared with conventional BLE operation. These results identify minimizing
radio active time as a key design principle for ultra-low-power on-demand sensing and provide practical guidance for battery-powered sensing systems.
Read the full abstract ▾
All authors Ziyao Zhou, Chen Shen, Tiancheng Cao, Hen-Wei Huang
Signal Processing
CRB-Based Waveform Optimization for MIMO ISAC Systems With One-Bit ADCs
Qi Lin, Hong Shen, Wei Xu et al. (+1 more)
This paper studies the transmit waveform optimization for a quantized multiple-input multiple-output (
MIMO) integrated sensing and communication (
ISAC) system, where one-bit analog-to-digital converters (ADCs) are employed to enable a low-cost and power-efficient hardware implementation. Focusing on the parameter estimation task, we propose two novel Cramér-Rao bounds (CRBs) for both point-like target (PT) and extended target (ET) to characterize the impact of quantization distortion on the estimation accuracy, where associated estimation methods are also developed to approach these theoretical CRBs. Moreover, with the goal of jointly enhancing the sensing and communication performances, we formulate the bi-criterion
ISAC waveform optimization problem by minimizing the derived CRB objectives subject to a communication symbol error probability (SEP) constraint and a total power constraint, which, due to the high nonlinearity of the one-bit CRBs, are extremely nonconvex. To yield a high-quality suboptimal solution, we develop an effective alternating direction method of multipliers (ADMM) framework which exploits the majorization-minimization (MM) technique to address the nonconvex issue. Simulation results verify that the one-bit CRBs are tight for characterizing the quantized estimation performance and the proposed estimation methods also show clear performance advantages over the existing
benchmark schemes. Furthermore, a flexible trade-off between the CRB and the SEP performance can be achieved by the developed ADMM framework, demonstrating the effectiveness of the optimized
ISAC waveform.
Read the full abstract ▾
All authors Qi Lin, Hong Shen, Wei Xu, Chunming Zhao
Systems and Control · Cross-listed from q-bio.MN
A modular approach to achieve multistationarity using AND-gates
Alan Veliz-Cuba and Zeyu Wang
Systems of differential equations have been used to model biological systems such as gene and neural networks. A problem of particular interest is to understand the number of stable steady states. Here we propose conjunctive networks (systems of differential equations equations created using AND gates) to achieve any desired number of stable steady states. Our approach uses combinatorial tools to predict the number of stable steady states from the structure of the wiring diagram. Furthermore, AND gates have been successfully engineered by experimentalists for gene networks, so our results provide a modular approach to design gene networks that achieve arbitrary number of phenotypes.
Read the full abstract ▾
Systems and Control
Decision-focused Conservation Voltage Reduction to Consider the Cascading Impact of Forecast Errors
Qintao Du, Ran Li, Weiyi Lv et al. (+3 more)
Conservation Voltage Reduction (CVR) relies on the effective coordination of slow-acting devices, such as OLTCs and CBs, and fast-acting devices, such as SVGs and PV inverters, typically implemented through a hierarchical multi-stage Volt-Var Control (VVC) spanning day-ahead scheduling, intra-day dispatch, and real-time control. However, existing sequential methods fail to account for the cas-cading impact of forecast errors on multi-stage decision-making. This oversight results in suboptimal day-ahead schedules for OLTCs and CBs that hinder the ef-fective coordination with fast-acting SVGs and inverters, inevitably driving a trade-off between real-time voltage security and CVR efficiency. To improve the Pareto front of this trade-off, this paper proposes a novel bi-level multi-timescale
forecasting (Bi-MTF) framework for multi-stage VVC optimization. By integrating the downstream multi-stage VVC optimization into the upstream
forecasting mod-els training, the decision-focused
forecasting models are able to learn the trade-offs across temporal horizons. To solve the computationally challenging bi-level for-mulation, a modified sensitivity-driven integer L-shaped method is developed. It utilizes a hybrid gradient feedback mechanism that integrates numerical sensitivity analysis for discrete variables with analytical dual information for continuous fore-cast parameters to ensure tractability. Numerical results on a modified IEEE 33-bus system demonstrate that the proposed approach yields superior energy savings and operational safety compared to conventional MSE-based sequential paradigms. Specifically, as the capacity of fast-acting devices increases, the energy savings of the proposed method rise from 2.74% to 3.41%, which is far superior to the 1.50% to 1.76% achieved by conventional MSE-based sequential paradigms.
Read the full abstract ▾
All authors Qintao Du, Ran Li, Weiyi Lv, Huan Zhou, Moduo Yu, Jianzhe Liu
Image and Video Processing · Cross-listed from cs.CV
SurFITR: A Dataset for Surveillance Image Forgery Detection and Localisation
Qizhou Wang, Guansong Pang and Christopher Leckie
We present the Surveillance Forgery Image Test Range (SurFITR), a
dataset for surveillance-style image forgery detection and localisation, in response to recent advances in open-access image generation models that raise concerns about falsifying visual evidence. Existing forgery models, trained on
datasets with full-image synthesis or large manipulated regions in object-centric images, struggle to generalise to surveillance scenarios. This is because tampering in surveillance imagery is typically localised and subtle, occurring in scenes with varied viewpoints, small or occluded subjects, and lower visual quality. To address this gap, SurFITR provides a large collection of forensically valuable imagery generated via a
multimodal LLM-powered pipeline, enabling semantically aware, fine-grained editing across diverse surveillance scenes. It contains over 137k tampered images with varying resolutions and edit types, generated using multiple image editing models. Extensive experiments show that existing detectors degrade significantly on SurFITR, while training on SurFITR yields substantial improvements in both in-domain and cross-domain performance. SurFITR is publicly available on GitHub.
Read the full abstract ▾
Signal Processing · Cross-listed from quant-ph
Quantum coherent transceivers toward Holevo-limited communications
Volkan Gurses, Suraj Samaga, Elianna Kondylis et al. (+1 more)
The Holevo limit bounds the channel capacity of a communication channel in which information is encoded in
quantum states in a
Hilbert space at the transmitter and decoded using
quantum measurements at the receiver. Saturating the Holevo limit requires
quantum-limited transceivers that either generate
quantum states of light or employ
quantum-limited measurements. Here, we demonstrate an integrated photonic-electronic
quantum-limited coherent receiver (QRX) achieving 14.0 dB shot noise clearance (SNC), 520 $\mu$W knee power, 2.57 GHz 3-dB bandwidth, 3.50 GHz shot-noise-limited bandwidth, and 90.2 dB common-mode rejection ratio ($\mathrm{CMRR}$). We scale this design to a 32-channel QRX array with median 26.6 dB $\mathrm{SNC}$, and automatic $\mathrm{CMRR}$ correction yielding a median 76.8 dB $\mathrm{CMRR}$ at minimum. Using the integrated QRX and fiber-optic transmitter, we measure $0.15\pm0.01$ dB of squeezing below the shot noise limit, limited by off-chip losses. We propose a squeezed light communication scheme that can surpass the Shannon limit, with a path toward the Holevo limit.
Read the full abstract ▾
All authors Volkan Gurses, Suraj Samaga, Elianna Kondylis, Ali Hajimiri
Signal Processing
Radio-Frequency Inverse Rendering for Wireless Environment Modeling
Fuhai Wang, Zihan Jin, Lehang Wang et al. (+4 more)
Neural rendering paradigms have recently emerged as powerful tools for
radio frequency (RF). However, by entangling RF sources with scene geometry and material properties, existing approaches limit downstream manipulation of scene geometry, wireless system configuration, and RF
reasoning. To address this, we propose a physically grounded RF inverse rendering (RFIR) framework that explicitly decouples RF emission, geometry, and material electromagnetic properties. Our key insight is an RF-aware bidirectional scattering distribution function, embedded into the Gaussian splatting paradigm as an RF rendering equation. Each Gaussian primitive is endowed with intrinsic physical attributes, including surface normals, material electromagnetic parameters, and roughness, and leveraged by a customized ray-tracing scheme to represent RF signal synthesis. The proposed RFIR generalizes three typical RF tasks: radar cross-section synthesis, received signal strength indicator prediction, and wireless scene editability. Experiments demonstrate significant performance advantages, underscoring the potential for wireless world modeling.
Read the full abstract ▾
All authors Fuhai Wang, Zihan Jin, Lehang Wang, Xuehui Dong, Tiebin Mi, Robert Caiming Qiu, Zenan ling
Systems and Control
Small-gain analysis of exponential incremental input/output-to-state stability for large-scale distributed systems
Christian Gatke, Julian D. Schiller and Matthias A. Müller
We provide a detectability analysis for nonlinear large-scale distributed systems in the sense of exponential incremental input/output-to-state stability (i-IOSS). In particular, we prove that the overall system is exponentially i-IOSS if each subsystem is i-IOSS, with interconnections treated as external inputs, and a suitable small-gain condition holds. The analysis is extended to a Lyapunov characterization, resulting in a different quantitative outcome regarding the small-gain condition, which is further analyzed within this work. Moreover, we derive linear
matrix inequality conditions posed solely on the local subsystems and their interconnections, which guarantee exponential i-IOSS of the overall distributed system. The results are illustrated on a numerical example.
Read the full abstract ▾
Systems and Control
Controller Design for Structured State-space Models via Contraction Theory
Muhammad Zakwan, Vaibhav Gupta, Alireza Karimi et al. (+2 more)
This paper presents an indirect data-driven output feedback controller synthesis for nonlinear systems, leveraging Structured State-space Models (SSMs) as surrogate models. SSMs have emerged as a compelling alternative in modelling time-series data and dynamical systems. They can capture long-term dependencies while maintaining linear computational complexity with respect to the sequence length, in comparison to the quadratic complexity of
Transformer-based architectures. The contributions of this work are threefold. We provide the first analysis of controllability and observability of SSMs, which leads to scalable control design via Linear
Matrix Inequalities (LMIs) that leverage contraction theory. Moreover, a separation principle for SSMs is established, enabling the independent design of observers and state-feedback controllers while preserving the exponential stability of the closed-loop system. The effectiveness of the proposed framework is demonstrated through a numerical example, showcasing nonlinear system identification and the synthesis of an output feedback controller.
Read the full abstract ▾
All authors Muhammad Zakwan, Vaibhav Gupta, Alireza Karimi, Efe C. Balta, Giancarlo Ferrari-Trecate
Systems and Control
Trust-as-a-Service: Intelligent Collaboration Orchestration via Model Context Protocol-Aided Agentic AI
Botao Zhu and Xianbin Wang
As future networked systems increasingly rely on collaborative task execution among distributed devices, trust becomes essential for identifying reliable collaborators whose capabilities and resources match task-specific needs. However, diverse task needs, limited task-owner knowledge, and complex inter-device relationships make it challenging to evaluate the trustworthiness of potential collaborators and to select suitable collaborators for task completion. To address these challenges, this paper proposes Trust-as-a-Service (TaaS), an intelligent collaboration orchestration paradigm that enables trust evaluation and collaborator selection to be autonomously tailored to different task needs. To realize TaaS, we develop a Model Context Protocol (MCP)-aided agentic AI framework. The central server-side
agent autonomously performs trust-related operations according to task-specific needs and delivers trust assessment services to task owners through a unified interface. Meanwhile, device-side
agents expose their capabilities and resources via MCP servers, allowing devices to be dynamically discovered, evaluated, engaged, and released to form task-specific collaborative units. Experimental results demonstrate that the proposed TaaS achieves 100% collaborator selection accuracy, along with high reliability and resource-efficient task completion.
Read the full abstract ▾
Systems and Control
TSO-DSO Coordinated Reactive Power Dispatch for Smart Inverters with Multiple Control Modes Real-Time Implementation
Mohammad Almomani, Ahmed Alkhonain and Venkataramana Ajjarapu
This paper presents TSO-DSO coordinated reactive power dispatch, with a focus on real-time implementation. A sensitivity-aware, mixed-integer linear programming (MILP) formulation is developed to model the IEEE 1547-compliant droop-based control modes Volt VAR (VV), Volt Watt (VW), and Watt VAR (WV) of smart inverters. The
algorithm employs a hierarchical optimization strategy using Special Ordered Sets (SOS1) to enhance computational efficiency and supports limited measurement scenarios through Recursive Least Squares (RLS) estimation. The proposed method is tested on the IEEE 13-bus and 123-bus distribution networks, which are connected to a 9-bus transmission system. Results demonstrate the feasibility and effectiveness of the real-time dispatch framework in improving voltage regulation and minimizing power curtailment.
Read the full abstract ▾
Systems and Control
Trajectory-Based Nonlinear Indices for Real-Time Monitoring and Quantification of Short-Term Voltage Stability
Mohammad Almomani, Muhammad Sarwar and Venkataramana Ajjarapu
Existing short term voltage stability (STVS) methods typically address either voltage oscillations or delayed voltage recovery; however, the coexistence of both phenomena has not been adequately covered in the literature. Moreover, existing real-time STVS assessment methods often provide only binary stability classifications. This paper proposes novel indices that enable early detection and quantify the degree of stability. The proposed method decomposes post-fault voltage trajectories using Empirical Mode Decomposition (EMD) into residual and oscillatory components. It then employs Lyapunov Exponents (LEs) to characterize the dynamic behavior of each component and evaluates the stability degree using Kullback Leibler (KL) divergence by comparing the LEs of each component with those of a predefined critical signal. The proposed indices assess oscillatory stability significantly faster than the traditional LE method applied directly to the original signal. Specifically, they detect stability within 0.6 seconds after a fault, compared to approximately 10 seconds for the conventional LE approach. In addition, the delayed-recovery index can identify generator trips caused by over-excitation limits within 3 seconds, well before the actual trip occurs at approximately 20 seconds, thereby providing operators and controllers sufficient time to take preventive actions. Furthermore, thresholds are derived to distinguish between stable and unstable cases, offering a graded measure of the stability margin. Simulation studies on the Nordic test system under varying load conditions demonstrate the effectiveness of the proposed indices.
Read the full abstract ▾
Signal Processing
Tree Search Algorithms Applied to the BD-RIS Configuration in MU-MISO Communication Systems
Pedro H. C. de Souza and Luciano Mendes
The reconfigurable intelligent surface (RIS) has attracted considerable
attention from both academia and industry in recent years, given its capacity to dynamically manipulate the reflection of incident electromagnetic waves. Although the research developed for the RIS may have reached its maturity, there are still contentious aspects and limitations regarding its potential benefits for the next generation of wireless communications. In order to improve upon the RIS technology, the beyond diagonal reconfigurable intelligent surface (BD-RIS) was recently proposed as a promising alternative. The BD-RIS boasts a more sophisticated
circuit topology that is capable of providing more combinations of different adjustments or configurations for signal reflection. However, to aptly reap the benefits of the BD-RIS, the added degrees-of-freedom of its configuration must be leveraged accordingly. Therefore, in this work we propose a depth-first tree search
algorithm for configuring the BD-RIS in multi-user multiple-input single-output (MU-MISO) communication systems. Taking advantage of the tree search exploration, the proposed
algorithm achieves a remarkable trade-off between channel strength maximization performance and computational complexity scalability.
Read the full abstract ▾
Signal Processing
Reliable Non-Line-of-Sight Intrusion Detection with Integrated Sensing and Communications Hardware
Paolo Tosi, Maximilian Bauhofer, Marcus Henninger et al. (+2 more)
Non-line-of-sight (NLOS) sensing has the potential to enable use cases like intrusion detection in occluded areas, increasing the value provided by Integrated Sensing and Commu- nications (
ISAC) in future 6G cellular networks. In this paper, we present a reliable NLOS intrusion detection system based on a millimeter-wave
ISAC proof-of-concept. By leveraging reflections off a large surface, the proposed system addresses the challenge of detecting moving targets in cluttered indoor industrial scenarios where the direct line-of-sight is obstructed. A signal processing pipeline including a tracking stage, comparing a Kalman Filter (KF)- and a probability hypothesis density (PHD) filter-based approach, is applied to detect targets and track movements in NLOS. Experimental validation conducted in the ARENA2036 industrial research campus demonstrates that our system can reliably detect target presence in NLOS while avoiding false alarms. Tests with synthetically generated false peaks further demonstrate the robustness of our system to false alarms. Overall, the results underline the potential of NLOS
ISAC as a promising technology for enabling intrusion detection and monitoring use cases.
Read the full abstract ▾
All authors Paolo Tosi, Maximilian Bauhofer, Marcus Henninger, Laurent Schmalen, Silvio Mandelli