arXivDaily arXiv每日学术速递 周一至周五更新
重置
EESS电气与系统 116
2603.17867 2026-03-19 cs.LG cs.SY eess.SY math.OC

RHYME-XT: A Neural Operator for Spatiotemporal Control Systems

Marijn Ruiter, Miguel Aguiar, Jake Rap, Karl H. Johansson, Amritam Das

Comments 6 pages, 5 figures. Submitted to IEEE Control Systems Letters (L-CSS) and CDC 2026

详情
英文摘要

We propose RHYME-XT, an operator-learning framework for surrogate modeling of spatiotemporal control systems governed by input-affine nonlinear partial integro-differential equations (PIDEs) with localized rhythmic behavior. RHYME-XT uses a Galerkin projection to approximate the infinite-dimensional PIDE on a learned finite-dimensional subspace with spatial basis functions parameterized by a neural network. This yields a projected system of ODEs driven by projected inputs. Instead of integrating this non-autonomous system, we directly learn its flow map using an architecture for learning flow functions, avoiding costly computations while obtaining a continuous-time and discretization-invariant representation. Experiments on a neural field PIDE show that RHYME-XT outperforms a state-of-the-art neural operator and is able to transfer knowledge effectively across models trained on different datasets, through a fine-tuning process.

2603.17843 2026-03-19 math.OC cs.SY eess.SY

Certainty-equivalent adaptive MPC for uncertain nonlinear systems

Johannes Köhler

Comments Code available at: https://github.com/KohlerJohannes/Adaptive

详情
英文摘要

We provide a method to design adaptive controllers for nonlinear systems using model predictive control (MPC). By combining a certainty-equivalent MPC formulation with least-mean-square parameter adaptation, we obtain an adaptive controller with strong robust performance guarantees: The cumulative tracking error and violation of state constraints scale linearly with noise energy, disturbance energy, and path length of parameter variation. A key technical contribution is developing the underlying certainty-equivalent MPC that tracks output references, accounts for actuator limitations and desired state constraints, requires no system-specific offline design, and provides strong inherent robustness properties. This is achieved by leveraging finite-horizon rollouts, artificial references, recent analysis techniques for optimization-based controllers, and soft state constraints. For open-loop stable systems, we derive a semi-global result that applies to arbitrarily large measurement noise, disturbances, and parametric uncertainty. For stabilizable systems, we derive a regional result that is valid within a given region of attraction and for sufficiently small uncertainty. Applicability and benefits are demonstrated with numerical simulations involving systems with large parametric uncertainty: a linear stable chain of mass-spring-dampers and a nonlinear unstable quadrotor navigating obstacles.

2603.17836 2026-03-19 eess.SY cs.LG cs.SY

Verification and Validation of Physics-Informed Surrogate Component Models for Dynamic Power-System Simulation

Petros Ellinas, Indrajit Chaudhuri, Johanna Vorwerk, Spyros Chatzivasileiadis

详情
英文摘要

Physics-informed machine learning surrogates are increasingly explored to accelerate dynamic simulation of generators, converters, and other power grid components. The key question, however, is not only whether a surrogate matches a stand-alone component model on average, but whether it remains accurate after insertion into a differential-algebraic simulator, where the surrogate outputs enter the algebraic equations coupling the component to the rest of the system. This paper formulates that in-simulator use as a verification and validation (V\&V) problem. A finite-horizon bound is derived that links allowable component-output error to algebraic-coupling sensitivity, dynamic error amplification, and the simulation horizon. Two complementary settings are then studied: model-based verification against a reference component solver, and data-based validation through conformal calibration of the component-output variables exchanged with the simulator. The framework is general, but the case study focuses on physics-informed neural-network surrogates of second-, fourth-, and sixth-order synchronous-machine models. Results show that good stand-alone surrogate accuracy does not by itself guarantee accurate in-simulator behavior, that the largest discrepancies concentrate in stressed operating regions, and that small equation residuals do not necessarily imply small state-trajectory errors.

2603.17822 2026-03-19 eess.AS cs.CL

Multi-Source Evidence Fusion for Audio Question Answering

Aivo Olev, Tanel Alumäe

详情
英文摘要

Large audio language models (LALMs) can answer questions about speech, music, and environmental sounds, yet their internal reasoning is largely opaque and difficult to validate. We describe TalTech's solution to the Agent Track of the Interspeech 2026 Audio Reasoning Challenge, in which systems are evaluated on reasoning process quality, specifically the factual accuracy, logical soundness, and completeness of their reasoning chains. Our multi-source ensemble pipeline uses two LALMs that generate independent observations, while a separate text-only reasoning model cross-checks these against outputs from 25 acoustic tools organized into reliability tiers. By grounding every inference step in explicit, reliability-tagged evidence, the system produces dense, verifiable reasoning chains. Our system ranked first in the challenge, outperforming all competing systems by a wide margin in challenge's reasoning quality metric.

2603.17817 2026-03-19 eess.SP

Comparison of 60 GHz and 80 GHz Vehicle-to-Vehicle Channels Using Delay and Doppler Characteristics

Ales Prokes, Tomas Mikulasek, Josef Vychodil, Radek Zavorka, Jiri Blumenstein, Jaroslaw Wojtun, Jan M. Kelner, Cezary Ziolkowski, Aniruddha Chandra

Comments 7 pages, 8 figures, 2 tables

详情
Journal ref
2025 IEEE Future Networks World Forum (FNWF), Bangalore, India, November 10-12, 2025
英文摘要

The aim of this paper is to provide a comparison of channel characteristics for vehicle-to-vehicle (V2V) communication at 60 GHz and 80 GHz frequency bands in a high-mobility scenario where two vehicles pass each other in opposite directions. The study is based on measurements of the time-varying channel impulse response capturing the behavior of multi-path propagation during vehicle motion. By directly comparing these two frequency bands under identical measurement conditions, we attempt to quantify the differences in power delay profile, root mean square (RMS) delay spread, RMS Doppler spread, and intervals (regions) of stationarity in time domain. The results show that these bands do not differ significantly, but the 80 GHz band exhibits somewhat greater RMS delay spread and RMS Doppler spread when calculated over the entire delay-Doppler spectrum, and conversely exhibits shorter stationarity regions. However, the characteristics of the measurement setup in the two bands and their influence on comparative measurements must be considered. In particular, attention must be paid to the impact of antennas.

2603.17802 2026-03-19 eess.SY cs.SY

An HMDP-MPC Decision-making Framework with Adaptive Safety Margins and Hysteresis for Autonomous Driving

Siyuan Li, Chengyuan Liu, Wen-Hua Chen

Comments 8 pages, 6 figures, to be published in ICRA 2026 proceedings

详情
英文摘要

This paper presents a unified decision-making framework that integrates Hybrid Markov Decision Processes (HMDPs) with Model Predictive Control (MPC), augmented by velocity-dependent safety margins and a prediction-aware hysteresis mechanism. Both the ego and surrounding vehicles are modeled as HMDPs, allowing discrete maneuver transition and kinematic evolution to be jointly considered within the MPC optimization. Safety margins derived from the Intelligent Driver Model (IDM) adapt to traffic context but vary with speed, which can cause oscillatory decisions and velocity fluctuations. To mitigate this, we propose a frozen-release hysteresis mechanism with distinct trigger and release thresholds, effectively enlarging the reaction buffer and suppressing oscillations. Decision continuity is further safeguarded by a two-layer recovery scheme: a global bounded relaxation tied to IDM margins and a deterministic fallback policy. The framework is evaluated through a case study, an ablation against a no-hysteresis baseline, and largescale randomized experiments across 18 traffic settings. Across 8,050 trials, it achieves a collision rate of only 0.05%, with 98.77% of decisions resolved by nominal MPC and minimal reliance on relaxation or fallback. These results demonstrate the robustness and adaptability of the proposed decision-making framework in heterogeneous traffic conditions.

2603.17766 2026-03-19 eess.SP

Vehicle-to-Vehicle Millimeter-Wave Channel Characterization at 60 and 80 GHz

Radek Zavorka, Tomas Mikulasek, Josef Vychodil, Jiri Blumenstein, Hussein Hammoud, Jaroslaw Wojtun, Aniruddha Chandra, Markus Hofer, Jan M. Kelner, Cezary Ziolkowski, Christoph Mecklenbrauker, Ales Prokes

Comments 6 pages, 7 figures

详情
Journal ref
2025 IEEE Conference on Antenna Measurements and Applications (CAMA), Antibes, France, November 18-20, 2025
英文摘要

This paper presents results from a vehicle-to-vehicle channel measurement campaign conducted in the millimeter-wave (MMW) frequency bands at center frequencies of 60GHz and 80GHz, each with a bandwidth of 2GHz. The measurements were performed in a dynamic oncoming-vehicle scenario using a time-domain channel sounder with high-resolution data acquisition. Power delay profiles were extracted to study the temporal evolution of multipath components, and the root mean square (RMS) delay spread was analyzed to characterize the temporal dispersion of the channel. The results demonstrate differences between the two frequency bands. At 60GHz, the RMS delay spread is well approximated by a Gaussian distribution with a higher median value, while at 80GHz it follows a lognormal distribution with a lower median. Furthermore, the number of resolvable multipath components was found to be nearly twice as high at 60\,GHz compared to 80GHz, highlighting the impact of antenna beamwidth and frequency-dependent propagation mechanisms.

2603.17762 2026-03-19 eess.SP

Fairness-Aware Beamforming for Polarimetric ISAC Systems with Polarization-Reconfigurable Antennas

Weijie Xiong, Jingran Lin, Di Jiang, Cunhua Pan, Hongli Liu, Kai Zhong, Qiang Li

详情
英文摘要

Polarization diversity offers significant flexibility for enhancing integrated sensing and communications (ISAC). However, conventional dual-polarized arrays typically require dedicated radio-frequency (RF) chains for each polarization branch, leading to prohibitive hardware costs. To address this, polarization-reconfigurable (PR) antennas have emerged as a cost-effective alternative, enabling polarization flexibility with reduced hardware complexity by driving two polarization branches with a single RF chain. In this paper, we investigate fairness-aware beamforming for ISAC systems equipped with PR antennas. Specifically, we jointly optimize the transmit beamforming and PR control coefficients to maximize the minimum signal-to-interference-plus-noise ratio (SINR) for communication users and the minimum signal-to-clutter-plus-noise ratio (SCNR) for sensing targets. The resulting problem is highly nonconvex and nonsmooth due to the strong coupling among optimization variables in the max-min objective, as well as the nonconvex spherical constraints imposed by the PR antennas. To tackle this, we derive an equivalent smooth reformulation by introducing auxiliary variables and transforming the minimum operators into inequality constraints. Subsequently, we develop an exact-penalty product Riemannian manifold gradient descent (EP-PRMGD) algorithm, which integrates an exact penalty method with Riemannian optimization to guarantee convergence to a Karush-Kuhn-Tucker (KKT) point. Numerical results demonstrate that the proposed PR-enabled ISAC scheme achieves performance comparable to dual-polarized architectures while utilizing only half the RF chains, thereby validating its effectiveness in balancing fairness and hardware efficiency.

2603.17744 2026-03-19 eess.SP

Design of Uplink ISAC Systems with Cooperative Sensing: Power Control and Receive Beamforming

Ling He, Vaibhav Kumar, Roberto Bomfin, Yingyang Chen, Miaowen Wen, Marwa Chafii

详情
英文摘要

Integrated sensing and communication (ISAC) has emerged as a key paradigm for next-generation wireless systems, which allows wireless resources to be used for data transmission and target sensing simultaneously. In this paper, multi-user collaborative target detection in the uplink ISAC system is investigated. To incorporate the target sensing functionality, the system relies on the reuse of uplink signals from the communication users. Specifically, we analyze an uplink multi-user single-input multiple-output (MU-SIMO) communication system with bistatic sensing. Using the channel statistics, we formulate the problem of joint optimal pilot and data power allocation to maximize the uplink ergodic sum rate while meeting communication and sensing quality-of-service (QoS) requirements. To address this non-convex problem, we propose an alternating optimization (AO)-based iterative framework, where the joint power allocation problem is decomposed into two sub-problems. Specifically, the pilot power allocation is optimized using a penalty dual decomposition (PDD)-based gradient ascent algorithm, while the data power allocation is solved via successive convex approximation (SCA). Once the long-term power allocation is determined, the base station (BS) estimates the instantaneous channels using a minimum mean-squared error (MMSE) estimator. Subsequently, based on the estimated instantaneous channel state information (CSI), the receive beamforming for communication users is optimized via another SCA-based method to maximize the sum rate. Meanwhile, the optimal receive beamforming for the target is obtained in closed-form through eigenvalue decomposition (EVD).

2603.17702 2026-03-19 cs.IT eess.IV math.IT

Cache-enabled Generative Joint Source-Channel Coding for Evolving Semantic Communications

Shunpu Tang, Qianqian Yang, Jihong Park, Zhaoyang Zhang, Kaibin Huang, Deniz Gunduz

详情
英文摘要

Learning-based semantic communication (SemCom) has recently emerged as a promising paradigm for improving the transmission efficiency of wireless networks. However, existing methods typically rely on extensive end-to-end training, which is both inflexible and computationally expensive in dynamic wireless environments. Moreover, they fail to exploit redundancy across multiple transmissions of semantically similar content, limiting overall efficiency. To overcome these limitations, we propose a channel-aware generative adversarial network (GAN) inversion-based joint source-channel coding (CAGI-JSCC) framework that enables training-free SemCom by leveraging a pre-trained SemanticStyleGAN model. By explicitly incorporating wireless channel characteristics into the GAN inversion process, CAGI-JSCC adapts to varying channel conditions without additional training. Furthermore, we introduce a cache-enabled dynamic codebook (CDC) that caches disentangled semantic components at both the transmitter and receiver, allowing the system to reuse previously transmitted content. This semantic-level caching can continuously reduce redundant transmissions as experience accumulates. Extensive experiments on image transmission demonstrate the effectiveness of the proposed framework. In particular, our system achieves comparable perceptual quality with an average bandwidth compression ratio (BCR) of 1/224, and as low as 1/1024 for a single image, significantly outperforming baselines with a BCR of 1/128.

2603.17686 2026-03-19 eess.SY cs.SY math.OC

On maximal positive invariant set computation for rank-deficient linear systems

Bogdan Gheorghe, Daniel Ioan, Cristian Flutur, Ionela Prodan, Florin Stoican

详情
英文摘要

The maximal positively invariant (MPI) set is obtained through a backward reachability procedure involving the iterative computation and intersection of predecessor sets under state and input constraints. However, standard static feedback synthesis may place some of the closed-loop eigenvalues at zero, leading to rank-deficient dynamics. This affects the MPI computation by inducing projections onto lower-dimensional subspaces during intermediate steps. By exploiting the Schur decomposition, we explicitly address this singular case and propose a robust algorithm that computes the MPI set in both polyhedral and constrained-zonotope representations.

2603.17665 2026-03-19 cs.IT cs.SY eess.SY math.IT

Physical Layer Security in Finite Blocklength Massive IoT with Randomly Located Eavesdroppers

Tijana Devaja, Milica Petkovic, Sokol Kosta, Dejan Vukobratovic, Cedomir Stefanovic

详情
英文摘要

This paper analyzes the physical layer security performance of massive uplink Internet of Things (IoT) networks operating under the finite blocklength (FBL) regime. IoT devices and base stations (BS) are modeled using a stochastic geometry approach, while an eavesdropper is placed at a random location around the transmitting device. This system model captures security risks common in dense IoT deployments. Analytical expressions for the secure success probability, secrecy outage probability and secrecy throughput are derived to characterize how stochastic interference, fading and eavesdropper spatial uncertainty interact with FBL constraints in short packet uplink transmissions. Numerical results illustrate key system behavior under different network and channel conditions.

2603.17658 2026-03-19 eess.SP

Optimizing Antenna Coding for Pixel Antenna Empowered SISO-OFDM Systems

Tianrui Qiao, Shanpu Shen, Yijun Chen, Ross Murch

Comments 6 pages, 4 figures, conference

详情
英文摘要

This work investigates antenna coding optimization to enhance the channel capacity of single-input single-output orthogonal frequency division multiplexing (SISO-OFDM) systems empowered by highly reconfigurable pixel antennas. We first introduce the model for pixel antenna empowered SISO-OFDM systems using a beamspace channel representation. We next formulate the problem to maximize the channel capacity through jointly optimizing antenna coding and the power allocation across subcarriers and solve it by Successive Exhaustive Boolean Optimization (SEBO) and water-filling (WF) algorithm. To reduce computational complexity, a codebook-based approach is also proposed for antenna coding optimization. Simulation results show that the channel capacity of SISO-OFDM system across all signal-to-noise-ratio (SNR) regions considered can be enhanced through leveraging pixel antennas as compared to using conventional antenna with fixed configuration. This result demonstrates the effectiveness of antenna coding technology empowered by pixel antenna in enhancing SISO-OFDM systems.

2603.17640 2026-03-19 eess.SY cs.SY

Defending the power grid by segmenting the EV charging cyber infrastructure

Kirill Kuroptev, Florian Steinke, Efthymios Karangelos

详情
英文摘要

This paper examines defending the power grid against load-altering attacks using electric vehicle charging. It proposes to preventively segment the cyber infrastructure that charging station operators (CSOs) use to communicate with and control their charging stations, thereby limiting the impact of successful cyber-attacks. Using real German charging station data and a reconstructed transmission grid model, a threat analysis shows that without segmentation, the successful hack of just two CSOs can overload two transmission grid branches, exceeding the N-1 security margin and necessitating defense measures. A novel defense design problem is then formulated that minimizes the number of imposed segmentations while bounding the number of branch overloads under worst-case attacks. The resulting IP-MILP bi-level problem can be solved with an exact column and constraint generation algorithm and with heuristics for fast computation on large-scale instances. For the near-real-world Germany case, the applicability of the heuristics is demonstrated and validated under relevant load and dispatch scenarios. It is found that the simple scheme of segmenting CSOs evenly by their installed capacity leads to only 23% more segments compared to the heuristic optimization result, suggesting potential relevance as a regulatory measure.

2603.17593 2026-03-19 eess.SY cs.SY physics.acc-ph

An Extended T-A Formulation Based on Potential-Chain Recursion for Electromagnetic Modeling of Parallel-Wound No-Insulation HTS Coils

Zhe Pan, Qi Xu, Ruixiang Wang, Zhenghao Jin, Jianzhao Geng

详情
英文摘要

Parallel-wound no-insulation (PW-NI) high-temperature superconducting (HTS) coils significantly reduce charging delay while maintaining excellent self-protection capability, demonstrating great potential for high-field applications. Existing models that couple the T-A formulation with equivalent circuits have demonstrated high accuracy in electromagnetic analysis of PW-NI coils. However, eliminating the computational overhead caused by frequent variable mapping and data exchange between electromagnetic and circuit modules is important for improving computational efficiency, particularly in long-duration transient simulations of large-scale magnets. To address this issue, an extended T-A formulation based on potential-chain recursion, termed PCR-TA, is proposed. By directly embedding inter-tape current sharing and radial current bypass behaviors into the finite-element framework, this method computes the transient electromagnetic response of PW-NI coils without requiring an explicit equivalent circuit model. Building upon it, a multi-scale approach is further developed for large-scale PW-NI coils. The validity of the proposed method and its multi-scale extension is verified through comparisons with experimental measurements and field-circuit coupled modeling results. Comparative analyses demonstrate that the PCR-TA method achieves a speedup of approximately 2.4 over the field-circuit coupled method, whereas its multi-scale extension further increases this speedup to roughly 5.8. Furthermore, the PCR-TA method is extended to model the continuous transition of PW-NI coils from power-supply charging to closed-loop operation. This work provides an efficient method and tool for the electromagnetic modeling of PW-NI coils under both driven and closed-loop operating conditions.

2603.15352 2026-03-19 cs.SD cs.AI eess.AS

NV-Bench: Benchmark of Nonverbal Vocalization Synthesis for Expressive Text-to-Speech Generation

Qinke Ni, Huan Liao, Dekun Chen, Yuxiang Wang, Zhizheng Wu

Comments Submit to Interspeech 2026

详情
英文摘要

While recent text-to-speech (TTS) systems increasingly integrate nonverbal vocalizations (NVs), their evaluations lack standardized metrics and reliable ground-truth references. To bridge this gap, we propose NV-Bench, the first benchmark grounded in a functional taxonomy that treats NVs as communicative acts rather than acoustic artifacts. NV-Bench comprises 1,651 multi-lingual, in-the-wild utterances with paired human reference audio, balanced across 14 NV categories. We introduce a dual-dimensional evaluation protocol: (1) Instruction Alignment, utilizing the proposed paralinguistic character error rate (PCER) to assess controllability, (2) Acoustic Fidelity, measuring the distributional gap to real recordings to assess acoustic realism. We evaluate diverse TTS models and develop two baselines. Experimental results demonstrate a strong correlation between our objective metrics and human perception, establishing NV-Bench as a standardized evaluation framework.

2603.13780 2026-03-19 eess.AS cs.SD

Integrated Spoofing-Robust Automatic Speaker Verification via a Three-Class Formulation and LLR

Kai Tan, Lin Zhang, Ruiteng Zhang, Johan Rohdin, Leibny Paola García-Perera, Zexin Cai, Sanjeev Khudanpur, Matthew Wiesner, Nicholas Andrews

Comments Submitted to Interspeech 2026; put on arxiv based on requirement from Interspeech: "Interspeech no longer enforces an anonymity period for submissions." and "For authors that prefer to upload their paper online, a note indicating that the paper was submitted for review to Interspeech should be included in the posting."

详情
英文摘要

Spoofing-robust automatic speaker verification (SASV) aims to integrate automatic speaker verification (ASV) and countermeasure (CM). A popular solution is fusion of independent ASV and CM scores. To better modeling SASV, some frameworks integrate ASV and CM within a single network. However, these solutions are typically bi-encoder based, offer limited interpretability, and cannot be readily adapted to new evaluation parameters without retraining. Based on this, we propose a unified end-to-end framework via a three-class formulation that enables log-likelihood ratio (LLR) inference from class logits for a more interpretable decision pipeline. Experiments show comparable performance to existing methods on ASVSpoof5 and better results on SpoofCeleb. The visualization and analysis also prove that the three-class reformulation provides more interpretability.

2603.09784 2026-03-19 eess.SP

Initial Parameter Estimation for Non-Linear Optimization -- Trigonometric Function

Tilo Strutz

Comments 29 pages

详情
英文摘要

Nonlinear optimisation techniques are commonly employed to minimise complex cost functions, with their effectiveness determined largely by the structure of the underlying error landscape. These methods require initial parameter values, and in the presence of multiple local minima, they are prone to becoming trapped in suboptimal regions. The likelihood of locating the global minimum increases substantially when the initialisation lies within its corresponding basin of attraction. Consequently, high-quality initial parameters are critical for successful optimisation. This technical report outlines a new strategy for selecting suitable initial parameters for a trigonometric model and unevenly sampled data, ensuring that the optimisation procedure starts sufficiently close to the global minimum. The proposed parameter estimation approach is strictly NI-based, interpretable, and explainable. It targets at complicated cases which include: samples with strong random noise, samples with only few covered periods, and samples which cover only a fraction of one period. Special attention is put on the frequency estimation. It can be shown that an estimation of initial parameters with sufficient accuracy is possible down to a signal-noise-ratio of 1.4 dB at much lower computational costs than the Lomb-Scargle-periodogram method requires.

2601.09058 2026-03-19 eess.SY cs.SY

RIS-Aided E2E Multi-Path Uplink Transmission Optimization for 6G Time-Sensitive Services

Liu Cao, Zisheng Gong, Ziyue Xiao, Zhaoyu Liu, Houtianfu Wang, Lyutianyang Zhang

Comments This work has been submitted to the IEEE for possible publication.5 pages,2 figures,journal paper

详情
英文摘要

The Access Traffic Steering, Switching, and Splitting (ATSSS) defined in the latest 3GPP Release 19 enables traffic flow over the multiple access paths to achieve the lower-latency End-to-end (E2E) delivery for 6G time-sensitive services. However, the existing E2E multi-path operation often falls short of more stringent QoS requirements for 6G time-sensitive services. This work proposes a Reconfigurable Intelligent Surfaces (RIS)-aided E2E multi-path uplink (UL) transmission architecture that explicitly accounts for both radio link latency and N3 backhaul latency, via the coupled designs of the UL traffic-splitting ratio, transmit power, receive combining, and RIS phase shift under practical constraints to achieve the minimum average E2E latency. We develop an alternating optimization framework that updates the above target parameters to be optimized. The simulations were conducted to compare the effectiveness of the proposed E2E optimization framework that lowers the average E2E latency up to 43% for a single user and 32% for the whole system compared with baselines in our prior work [1].

2512.23636 2026-03-19 eess.SY cs.GT cs.SY

NashOpt - A Python Library for Computing Generalized Nash Equilibria

Alberto Bemporad

Comments 24 pages, 7 figures

详情
英文摘要

NashOpt is an open-source Python library for computing and designing generalized Nash equilibria (GNEs) in noncooperative games with shared constraints and real-valued decision variables. The library exploits the joint Karush-Kuhn-Tucker (KKT) conditions of all players to handle both general nonlinear GNEs and linear-quadratic games, including their variational versions. Nonlinear games are solved via nonlinear least-squares formulations, relying on JAX for automatic differentiation. Linear-quadratic GNEs are reformulated as mixed-integer linear programs, enabling efficient computation of multiple equilibria. The framework also supports inverse-game and Stackelberg game-design problems. The capabilities of NashOpt are demonstrated through several examples, including noncooperative game-theoretic control problems of linear quadratic regulation and model predictive control. The library is available at https://github.com/bemporad/nashopt

2510.14959 2026-03-19 cs.RO cs.AI cs.LG cs.SY eess.SY

CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions

Lizhi Yang, Blake Werner, Massimiliano de Sa, Aaron D. Ames

Comments To appear at ICRA 2026; sample code for the navigation example with CBF-RL reward core construction can be found at https://github.com/lzyang2000/cbf-rl-navigation-demo

详情
英文摘要

Reinforcement learning (RL), while powerful and expressive, can often prioritize performance at the expense of safety. Yet safety violations can lead to catastrophic outcomes in real-world deployments. Control Barrier Functions (CBFs) offer a principled method to enforce dynamic safety -- traditionally deployed online via safety filters. While the result is safe behavior, the fact that the RL policy does not have knowledge of the CBF can lead to conservative behaviors. This paper proposes CBF-RL, a framework for generating safe behaviors with RL by enforcing CBFs in training. CBF-RL has two key attributes: (1) minimally modifying a nominal RL policy to encode safety constraints via a CBF term, (2) and safety filtering of the policy rollouts in training. Theoretically, we prove that continuous-time safety filters can be deployed via closed-form expressions on discrete-time roll-outs. Practically, we demonstrate that CBF-RL internalizes the safety constraints in the learned policy -- both enforcing safer actions and biasing towards safer rewards -- enabling safe deployment without the need for an online safety filter. We validate our framework through ablation studies on navigation tasks and on the Unitree G1 humanoid robot, where CBF-RL enables safer exploration, faster convergence, and robust performance under uncertainty, enabling the humanoid robot to avoid obstacles and climb stairs safely in real-world settings without a runtime safety filter.

2510.08752 2026-03-19 cs.NI eess.SP

Curated Wireless Datasets for Aerial Network Research

Amir Hossein Fahim Raouf, Donggu Lee, Mushfiqur Rahman, Saad Masrur, Gautham Reddy, Cole Dickerson, Md Sharif Hossen, Sergio Vargas Villar, Anıl Gürses, Simran Singh, Sung Joon Maeng, Martins Ezuma, Christopher Roberts, Mohamed Rabeek Sarbudeen, Thomas J. Zajkowski, Magreth Mushi, Ozgur Ozdemir, Ram Asokan, Ismail Guvenc, Mihail L. Sichitiu, Rudra Dutta

详情
英文摘要

This Review consolidates publicly available aerial wireless measurement datasets collected using AERPAW. We organize signal-level, power-level, and KPI-level datasets under a unified taxonomy, harmonize metadata, and provide verified access with reproducible post-processing scripts. The curated catalog supports propagation modeling, machine learning, localization, and system-level evaluation for 5G-Advanced and emerging 6G aerial networks.

2510.06835 2026-03-19 eess.SY cs.SY

Resilient Multi-Dimensional Consensus and Distributed Optimization against Agent-Based and Denial-of-Service Attacks

Hongjian Chen, Changyun Wen, Xiaolei Li

详情
英文摘要

In this paper, we consider the resilient multi-dimensional consensus and distributed optimization problems of multi-agent systems (MASs) in the presence of both agent-based and denial-of-service (DoS) attacks. The considered agent-based attacks can cover malicious, Byzantine, and stubborn agents. The links between agents in the network can be blocked by DoS attacks, which may lead the digraph to be time-varying and even disconnected. The objective is to ensure that the remaining benign agents achieve consensus. To this end, an "auxiliary point"-based resilient control algorithm is proposed for MASs. Under the proposed algorithm, each healthy agent constructs a "safe kernel" utilizing the states of its in-neighbors and updates its state toward a specific point within this kernel at each iteration. If an agent cannot receive its neighbors' states owing to DoS attacks, it will use the states received immediately before the DoS period. Moreover, a resilient multi-dimensional distributed optimization (RMDO) algorithm is also proposed. Theoretical proofs and numerical examples are presented to demonstrate the effectiveness of the proposed algorithms.

2509.16760 2026-03-19 eess.AS cs.SD

Feature Selection via Graph Topology Inference for Soundscape Emotion Recognition

Samuel Rey, Luca Martino, Roberto San Millan, Eduardo Morgado

详情
英文摘要

Research on soundscapes has shifted the focus of environmental acoustics from noise levels to the perception of sounds, incorporating contextual factors. Soundscape emotion recognition (SER) models perception using a set of features, with arousal and valence commonly regarded as sufficient descriptors of affect. In this work, we blend \emph{graph learning} techniques with a novel \emph{information criterion} to develop a feature selection framework for SER. Specifically, we estimate a sparse graph representation of feature relations using linear structural equation models (SEM) tailored to the widely used Emo-Soundscapes dataset. The resulting graph captures the relations between input features and the two emotional outputs. To determine the appropriate level of sparsity, we propose a novel \emph{generalized elbow detector}, which provides both a point estimate and an uncertainty interval. We conduct an extensive evaluation of our methods, including visualizations of the inferred relations. While several of our findings align with previous studies, the graph representation also reveals a strong connection between arousal and valence, challenging common SER assumptions.

2509.04962 2026-03-19 eess.SP

ROPE: A Novel Method for Real-Time Phase Estimation of Complex Biological Rhythms

Antonio Spallone, Marco Coraggio, Francesco De Lellis, Mario di Bernardo

详情
英文摘要

Accurate phase estimation -- the process of assigning phase values between $0$ and $2π$ to repetitive or periodic signals -- is a cornerstone in the analysis of oscillatory signals across diverse fields, from neuroscience to robotics, where it is fundamental, e.g., to understanding coordination in neural networks, cardiorespiratory coupling, and human-robot interaction. However, existing methods are often limited to offline processing and/or constrained to one-dimensional signals. In this paper, we introduce ROPE, which, to the best of our knowledge, is the first phase-estimation algorithm capable of (i) handling signals of arbitrary dimension and (ii) operating in real-time, with minimal error. ROPE identifies repetitions within the signal to segment it into (pseudo-)periods and assigns phase values by performing efficient, tractable searches over previous signal segments. We extensively validate the algorithm on a variety of signal types, including trajectories from chaotic dynamical systems, human motion-capture data, and electrocardiographic recordings. Our results demonstrate that ROPE is robust against noise and signal drift, and achieves significantly superior performance compared to state-of-the-art phase estimation methods. This advancement enables real-time analysis of complex biological rhythms, opening new pathways, for example, for early diagnosis of pathological rhythm disruptions and developing rhythm-based therapeutic interventions in neurological and cardiovascular disorders.

2508.19945 2026-03-19 cs.LG cs.SY eess.SY

Constraint Learning in Multi-Agent Dynamic Games from Demonstrations of Local Nash Interactions

Zhouyu Zhang, Chih-Yuan Chiu, Glen Chou

详情
英文摘要

We present an inverse dynamic game-based algorithm to learn parametric constraints from a given dataset of local Nash equilibrium interactions between multiple agents. Specifically, we introduce mixed-integer linear programs (MILP) encoding the Karush-Kuhn-Tucker (KKT) conditions of the interacting agents, which recover constraints consistent with the local Nash stationarity of the interaction demonstrations. We establish theoretical guarantees that our method learns inner approximations of the true safe and unsafe sets. We also use the interaction constraints recovered by our method to design motion plans that robustly satisfy the underlying constraints. Across simulations and hardware experiments, our methods accurately inferred constraints and designed safe interactive motion plans for various classes of constraints, both convex and non-convex, from interaction demonstrations of agents with nonlinear dynamics.

2506.21982 2026-03-19 cs.RO cs.SY eess.SY

A MILP-Based Solution to Multi-Agent Motion Planning and Collision Avoidance in Constrained Environments

Akshay Jaitly, Jack Cline, Siavash Farzan

Comments Accepted to 2025 IEEE International Conference on Automation Science and Engineering (CASE 2025). This arXiv version adds a supplementary appendix with figures not in the IEEE proceedings

详情
Journal ref
IEEE 21st International Conference on Automation Science and Engineering (CASE), 2025, pp. 2200-2207
英文摘要

We propose a mixed-integer linear program (MILP) for multi-agent motion planning that embeds Polytopic Action-based Motion Planning (PAAMP) into a sequence-then-solve pipeline. Region sequences confine each agent to adjacent convex polytopes, while a big-M hyperplane model enforces inter-agent separation. Collision constraints are applied only to agents sharing or neighboring a region, which reduces binary variables exponentially compared with naive formulations. An L1 path-length-plus-acceleration cost yields smooth trajectories. We prove finite-time convergence and demonstrate on representative multi-agent scenarios with obstacles that our formulation produces collision-free trajectories an order of magnitude faster than an unstructured MILP baseline.

2502.05021 2026-03-19 stat.ME eess.SP stat.ML

Gradient-based filtering under misspecification: Stability and error bounds

Simon Donker van Heel, Rutger-Jan Lange, Bram van Os, Dick van Dijk

Comments 62 pages

详情
英文摘要

Can stochastic gradient methods track a moving target? We study the problem of tracking multidimensional time-varying parameters under noisy observations and possible model misspecification. Gradient-based filters update the time-varying parameters using the gradient of a postulated objective function. A natural filtering objective is the logarithm of the postulated observation density, which gives rise to the widely used class of score-driven filters. As in the optimization literature, these filters come in two forms: explicit filters evaluate the gradient at the predicted parameter, whereas implicit filters evaluate it at the updated parameter. For both filter types, we derive novel sufficient conditions for exponential stability of the filtered parameter path, showing that stability can be guaranteed independently of the data-generating process. Under mild additional moment conditions on the data-generating process, we also obtain finite-sample and asymptotic mean squared error bounds relative to the pseudo-true parameter path. For implicit filters, these guarantees hold under weak parameter restrictions. For explicit filters, they additionally require Lipschitz continuity of the score and a sufficiently small learning rate. Simulation studies support our theoretical findings and show that implicit gradient filters outperform explicit ones in both accuracy and stability.

2403.10932 2026-03-19 cs.RO cs.SY eess.SY

Learning-Based Design of Off-Policy Gaussian Controllers: Integrating Model Predictive Control and Gaussian Process Regression

Shiva Kumar Tekumatla, Varun Gampa, Siavash Farzan

Comments Accepted to ACC 2024. 8 pages, 9 figures

详情
Journal ref
American Control Conference (ACC), 2024, pp. 3775-3782
英文摘要

This paper presents an off-policy Gaussian Predictive Control (GPC) framework aimed at solving optimal control problems with a smaller computational footprint, thereby facilitating real-time applicability while ensuring critical safety considerations. The proposed controller imitates classical control methodologies by modeling the optimization process through a Gaussian process and employs Gaussian Process Regression to learn from the Model Predictive Control (MPC) algorithm. Notably, the Gaussian Process setup does not incorporate a built-in model, enhancing its applicability to a broad range of control problems. We applied this framework experimentally to a differential drive mobile robot, tasking it with trajectory tracking and obstacle avoidance. Leveraging the off-policy aspect, the controller demonstrated adaptability to diverse trajectories and obstacle behaviors. Simulation experiments confirmed the effectiveness of the proposed GPC method, emphasizing its ability to learn the dynamics of optimal control strategies. Consequently, our findings highlight the significant potential of off-policy Gaussian Predictive Control in achieving real-time optimal control for handling of robotic systems in safety-critical scenarios.

2305.11279 2026-03-19 cs.RO cs.SY eess.SY

Project-Based Learning for Robot Control Theory: A Robot Operating System (ROS) Based Approach

Siavash Farzan

Comments 24 pages, 15 figures, accepted for publication in the 2023 ASEE Annual Conference Proceedings, American Society for Engineering Education

详情
Journal ref
2023 ASEE Annual Conference & Exposition, Baltimore, Maryland. https://strategy.asee.org/43968
英文摘要

Control theory is an important cornerstone of the robotics field and is considered a fundamental subject in an undergraduate and postgraduate robotics curriculum. Furthermore, project-based learning has shown significant benefits in engineering domains, specifically in interdisciplinary fields such as robotics which require hands-on experience to master the discipline adequately. However, designing a project-based learning experience to teach control theory in a hands-on setting can be challenging, due to the rigor of mathematical concepts involved in the subject. Moreover, access to reliable hardware required for a robotics control lab, including the robots, sensors, interfaces, and measurement instruments, may not be feasible in developing countries and even many academic institutions in the US. The current paper presents a set of six project-based assignments for an advanced postgraduate Robot Control course. The assignments leverage the Robot Operating System (ROS), an open-source set of tools, libraries, and software, which is a de facto standard for the development of robotics applications. The use of ROS, along with its physics engine simulation framework, Gazebo, provides a hands-on robotics experience equivalent to working with real hardware. Learning outcomes include: i) theoretical analysis of linear and nonlinear dynamical systems, ii) formulation and implementation of advanced model-based robot control algorithms using classical and modern control theory, and iii) programming and performance evaluation of robotic systems on physics engine robot simulators. Course evaluations and student surveys demonstrate that the proposed project-based assignments successfully bridge the gap between theory and practice, and facilitate learning of control theory concepts and state-of-the-art robotics techniques through a hands-on approach.