pwc-archive/papers-with-abstracts huggingface dataset:
Sound Zone Control Robust To Sound Speed Change
Authors: Sankha Subhra Bhattacharjee, Jesper Rindom Jensen, Mads Græsbøll Christensen
Date: 2024-10-10 00:00:00

Sound zone control (SZC) implemented using static optimal filters is significantly affected by various perturbations in the acoustic environment, an important one being the fluctuation in the speed of sound, which is in turn influenced by changes in temperature and humidity (TH). This issue arises because control algorithms typically use pre-recorded, static impulse responses (IRs) to design the optimal control filters. The IRs, however, may change with time due to TH changes, which renders the derived control filters to become non-optimal. To address this challenge, we propose a straightforward model called sinc interpolation-compression/expansion-resampling (SICER), which adjusts the IRs to account for both sound speed reduction and increase. Using the proposed technique, IRs measured at a certain TH can be corrected for any TH change and control filters can be re-derived without the need of re-measuring the new IRs (which is impractical when SZC is deployed). We integrate the proposed SICER IR correction method with the recently introduced variable span trade-off (VAST) framework for SZC, and propose a SICER-corrected VAST method that is resilient to sound speed variations. Simulation studies show that the proposed SICER-corrected VAST approach significantly improves acoustic contrast and reduces signal distortion in the presence of sound speed changes.
REDO: Execution-Free Runtime Error Detection for COding Agents
Authors: Shou Li, Andrey Kan, Laurent Callot, Bhavana Bhasker, Muhammad Shihab Rashid, Timothy B Esler
Date: 2024-10-10 00:00:00

As LLM-based agents exhibit exceptional capabilities in addressing complex problems, there is a growing focus on developing coding agents to tackle increasingly sophisticated tasks. Despite their promising performance, these coding agents often produce programs or modifications that contain runtime errors, which can cause code failures and are difficult for static analysis tools to detect. Enhancing the ability of coding agents to statically identify such errors could significantly improve their overall performance. In this work, we introduce Execution-free Runtime Error Detection for COding Agents (REDO), a method that integrates LLMs with static analysis tools to detect runtime errors for coding agents, without code execution. Additionally, we propose a benchmark task, SWE-Bench-Error-Detection (SWEDE), based on SWE-Bench (lite), to evaluate error detection in repository-level problems with complex external dependencies. Finally, through both quantitative and qualitative analyses across various error detection tasks, we demonstrate that REDO outperforms current state-of-the-art methods by achieving a 11.0% higher accuracy and 9.1% higher weighted F1 score; and provide insights into the advantages of incorporating LLMs for error detection.
BANGS: Game-Theoretic Node Selection for Graph Self-Training
Authors: Fangxin Wang, Kay Liu, Sourav Medya, Philip S. Yu
Date: 2024-10-12 00:00:00
Tasks: Graph Neural Network

Graph self-training is a semi-supervised learning method that iteratively selects a set of unlabeled data to retrain the underlying graph neural network (GNN) model and improve its prediction performance. While selecting highly confident nodes has proven effective for self-training, this pseudo-labeling strategy ignores the combinatorial dependencies between nodes and suffers from a local view of the distribution. To overcome these issues, we propose BANGS, a novel framework that unifies the labeling strategy with conditional mutual information as the objective of node selection. Our approach -- grounded in game theory -- selects nodes in a combinatorial fashion and provides theoretical guarantees for robustness under noisy objective. More specifically, unlike traditional methods that rank and select nodes independently, BANGS considers nodes as a collective set in the self-training process. Our method demonstrates superior performance and robustness across various datasets, base models, and hyperparameter settings, outperforming existing techniques. The codebase is available on https://github.com/fangxin-wang/BANGS .
SHyPar: A Spectral Coarsening Approach to Hypergraph Partitioning
Authors: Hamed Sajadinia, Ali Aghdaei, Zhuo Feng
Date: 2024-10-09 00:00:00
Tasks: Clustering, Community Detection, hypergraph partitioning

State-of-the-art hypergraph partitioners utilize a multilevel paradigm to construct progressively coarser hypergraphs across multiple layers, guiding cut refinements at each level of the hierarchy. Traditionally, these partitioners employ heuristic methods for coarsening and do not consider the structural features of hypergraphs. In this work, we introduce a multilevel spectral framework, SHyPar, for partitioning large-scale hypergraphs by leveraging hyperedge effective resistances and flow-based community detection techniques. Inspired by the latest theoretical spectral clustering frameworks, such as HyperEF and HyperSF, SHyPar aims to decompose large hypergraphs into multiple subgraphs with few inter-partition hyperedges (cut size). A key component of SHyPar is a flow-based local clustering scheme for hypergraph coarsening, which incorporates a max-flow-based algorithm to produce clusters with substantially improved conductance. Additionally, SHyPar utilizes an effective resistance-based rating function for merging nodes that are strongly connected (coupled). Compared with existing state-of-the-art hypergraph partitioning methods, our extensive experimental results on real-world VLSI designs demonstrate that SHyPar can more effectively partition hypergraphs, achieving state-of-the-art solution quality.
PD-Based and SINDy Nonlinear Dynamics Identification of UAVs for MPC Design
Authors: Bryan S. Guevara, Viviana Moya, Daniel C. Gandolfo, Juan M. Toibero
Date: 2024-10-15 00:00:00
Tasks: Model Predictive Control

This paper presents a comprehensive approach to nonlinear dynamics identification for UAVs using a combination of data-driven techniques and theoretical modeling. Two key methodologies are explored: Proportional-Derivative (PD) approximation and Sparse Identification of Nonlinear Dynamics (SINDy). The UAV dynamics are first modeled using the Euler-Lagrange formulation, providing a set of generalized coordinates. However, platform constraints limit the control inputs to attitude angles, and linear and angular velocities along the z-axis. To accommodate these limitations, thrust and torque inputs are approximated using a PD controller, serving as the foundation for nonlinear system identification. In parallel, SINDy, a data-driven method, is employed to derive a compact and interpretable model of the UAV dynamics from experimental data. Both identified models are then integrated into a Model Predictive Control (MPC) framework for accurate trajectory tracking, where model accuracy, informed by data-driven insights, plays a critical role in optimizing control performance. This fusion of data-driven approaches and theoretical modeling enhances the system's robustness and adaptability in real-world conditions, offering a detailed analysis of the UAV's dynamic behavior.
A study on applications of various Energy Generation in pure Electric Vehicles: progress towards sustainability
Authors: Dibakar Das, Biplab Satpati, Md Arif, Gourab Das
Date: 2024-10-15 00:00:00

The present work is an attempt to understand and review existing methods of energy generation in electric vehicles in the modern day context. Previous works in the field have proposed various mechanisms of energy generation that are very well adaptable to commercial scale uses and can be used as alternative power sourcing for electric vehicles having nil or very low environmental impact. The paper discusses strategies such as photovoltaic cell systems, regenerative braking, fuel cell, thermoelectric generators and micro wind-turbines with adequate propositions to select them on the basis of their suitability. The document also includes important formulas that can be used for individual modeling and designing. The paper emphasises on introducing the mechanisms that can be introduced as assistive mechanisms or secondary sources so that the range and other parameters are not compromised.
Robust control of Z-source inverter operated BLDC motor using Sliding Mode Control for Electric Vehicle applications
Authors: Gourab Das, Dibakar Das, Md Arif, Biplab Satpati
Date: 2024-10-15 00:00:00

The rapid development and expansion of the EV market marked by the advent of third decade of the 21st century has improved the possibility of a sustainable automotive future. The present EV drivetrain run by BLDC motor has become increasingly complicated thus requiring efficient and accurate controls. The paper begins with discussing the problems in existing models, the research then focuses on increasing the robustness of the system towards disturbances and uncertainties by using Sliding Mode Control to control the ZSI, which has been chosen as the main power converter topology in place of VSI or CSI. The introduction of SMC has improved the performance of the drivetrain when applied with Vehicle dynamics over a Drive Cycle.
Attitude Estimation via Matrix Fisher Distributions on SO(3) Using Non-Unit Vector Measurements
Authors: Shijie Wang, Haichao Gui, Rui Zhong
Date: 2024-10-15 00:00:00

This note presents a novel Bayesian attitude estimator with the matrix Fisher distribution on the special orthogonal group, which can smoothly accommodate both unit and non-unit vector measurements. The posterior attitude distribution is proven to be a matrix Fisher distribution with the assumption that non-unit vector measurement errors follow the isotropic Gaussian distributions and unit vector measurements follow the von-Mises Fisher distributions. Next, a global unscented transformation is proposed to approximate the full likelihood distribution with a matrix Fisher distribution for more generic cases of vector measurement errors following the non-isotropic Gaussian distributions. Following these, a Bayesian attitude estimator with the matrix Fisher distribution is constructed. Numerical examples are then presented. The proposed estimator exhibits advantageous performance compared with the previous attitude estimator with matrix Fisher distributions and the classic multiplicative extended Kalman filter in the case of non-unit vector measurements.
Survey on Neighbor Discovery and Beam Alignment in mmWave-Enabled UAV Swarm Networks
Authors: Muhammad Morshed Alam, Sangman Moh
Date: 2024-10-15 00:00:00

Millimeter wave (mmWave)-enabled unmanned aerial vehicle (UAV) swarm networks (UAVSNs) can utilize a large spectrum of resources to provide low latency and high data transmission rate. Additionally, owing to the short wavelength, UAVs equipped with large antenna arrays can form secure narrow directive beam to establish communication with less interference. However, due to the high UAV mobility, limited beam coverage, beam misalignment, and high path loss, it is very challenging to adopt the mmWave communication in UAVSNs. In this article, we present a comprehensive survey on neighbor discovery and beam alignment techniques for directional communication in mmWave-enabled UAVSNs. The existing techniques are reviewed and compared with each other. We also discuss key open issues and challenges with potential research direction.
Quantification of Non-stationary Power Quality Events: A New Index Based on $\ell_p$-norm of Energy
Authors: Faizal Hafiz, Chirag Naik, Davide La Torre, Akshya Swain
Date: 2024-10-15 00:00:00

The present study proposes a new index to quantify the severity of non-stationary power quality (PQ) disturbance events. In particular, the severity of PQ events is estimated from their energy distribution in temporal-frequency space. The index essentially measures the $\ell_p$-norm between the energy distributions of an event and the nominal voltage signal. The efficacy of the new index is demonstrated considering a wide class of major non-stationary PQ events, including sag, swell, interruptions, oscillatory transients, and simultaneous events. The results of this investigation, with simulated, real and experimental data, convincingly demonstrate that the proposed index is generic, monotonic, easy to interpret, and can accurately quantify the severity of non-stationary events.
FBC-Enhanced ε-Effective Capacity Optimization for NOMA
Authors: Jingqing Wang, Wenchi Cheng, Wei zhang
Date: 2024-10-15 00:00:00

The advent of massive ultra-reliable and low-latency communications (mURLLC) has introduced a critical class of time- and reliability-sensitive services within next-generation wireless networks. This shift has attracted significant research attention, driven by the need to meet stringent quality-of-service (QoS) requirements. In this context, non-orthogonal multiple access (NOMA) systems have emerged as a promising solution to enhance mURLLC performance by providing substantial enhancements in both spectral efficiency and massive connectivity, particularly through the development of finite blocklength coding (FBC) techniques. Nevertheless, owing to the dynamic nature of wireless network environments and the complex architecture of FBC-enhanced NOMA systems, the research on the efficient design of optimizing the system performance for maximizing system capacity while guaranteeing the tail distributions in terms of new statistical QoS constraints for delay and error-rate is still in its infancy. In an effort to address these challenges, we put forth the formulation and solution of {\epsilon}-effective capacity problems tailored for uplink FBC-enhanced NOMA systems, specifically catering to ensure statistical delay and error-rate bounded QoS requirements. In particular, we establish uplink two-user FBC-enhanced NOMA system models by applying the hybrid successive interference cancellation (SIC). We also develop the concept of the {\epsilon}-effective capacity and propose the optimal power allocation policies to maximize the {\epsilon}-effective capacity and {\epsilon}-effective energy efficiency while upper-bounding both delay and error-rate. We conduct a set of simulations to validate and evaluate our developed optimization schemes over FBC-enhanced NOMA systems.
Multi-Objective-Optimization Multi-AUV Assisted Data Collection Framework for IoUT Based on Offline Reinforcement Learning
Authors: Yimian Ding, Xinqi Wang, Jingzehua Xu, Guanwen Xie, Weiyi Liu, Yi Li
Date: 2024-10-15 00:00:00
Tasks: Collision Avoidance, Offline RL, Q-Learning, Reinforcement Learning (RL)

The Internet of Underwater Things (IoUT) offers significant potential for ocean exploration but encounters challenges due to dynamic underwater environments and severe signal attenuation. Current methods relying on Autonomous Underwater Vehicles (AUVs) based on online reinforcement learning (RL) lead to high computational costs and low data utilization. To address these issues and the constraints of turbulent ocean environments, we propose a multi-AUV assisted data collection framework for IoUT based on multi-agent offline RL. This framework maximizes data rate and the value of information (VoI), minimizes energy consumption, and ensures collision avoidance by utilizing environmental and equipment status data. We introduce a semi-communication decentralized training with decentralized execution (SC-DTDE) paradigm and a multi-agent independent conservative Q-learning algorithm (MAICQL) to effectively tackle the problem. Extensive simulations demonstrate the high applicability, robustness, and data collection efficiency of the proposed framework.
EFILN: The Electric Field Inversion-Localization Network for High-Precision Underwater Positioning
Authors: Yimian Ding, Jingzehua Xu, Guanwen Xie, Haoyu Wang, Weiyi Liu, Yi Li
Date: 2024-10-15 00:00:00
Tasks: Position

Accurate underwater target localization is essential for underwater exploration. To improve accuracy and efficiency in complex underwater environments, we propose the Electric Field Inversion-Localization Network (EFILN), a deep feedforward neural network that reconstructs position coordinates from underwater electric field signals. By assessing whether the neural network's input-output values satisfy the Coulomb law, the error between the network's inversion solution and the equation's exact solution can be determined. The Adam optimizer was employed first, followed by the L-BFGS optimizer, to progressively improve the output precision of EFILN. A series of noise experiments demonstrated the robustness and practical utility of the proposed method, while small sample data experiments validated its strong small-sample learning (SSL) capabilities. To accelerate relevant research, we have made the codes available as open-source.
A System Parameterization for Direct Data-Driven Estimator Synthesis
Authors: Felix Brändle, Frank Allgöwer
Date: 2024-10-14 00:00:00

This paper introduces a novel parameterization to characterize unknown linear time-invariant systems using noisy data. The presented parameterization describes exactly the set of all systems consistent with the available data. We then derive verifiable conditions, when the consistency constraint reduces the set to the true system and when it does not have any impact. Furthermore, we demonstrate how to use this parameterization to perform a direct data-driven estimator synthesis with guarantees on the H_{\infty}-norm. Lastly, we conduct numerical experiments to compare our approach to existing methods.
Robust co-design framework for buildings operated by predictive control
Authors: P. Falugi, E. O'Dwyer, M. A. Zagorowska, E. C. Kerrigan, Y. Nie, G. Strbac, N. Shah
Date: 2024-10-14 00:00:00

Cost-effective decarbonisation of the built environment is a stepping stone to achieving net-zero carbon emissions since buildings are globally responsible for more than a quarter of global energy-related CO$_2$ emissions. Improving energy utilization and decreasing costs naturally requires considering multiple domain-specific performance criteria. The resulting problem is often computationally infeasible. The paper proposes an approach based on decomposition and selection of significant operating conditions to achieve a formulation with reduced computational complexity. We present a robust framework to optimise the physical design, the controller, and the operation of residential buildings in an integrated fashion, considering external weather conditions and time-varying electricity prices. The framework explicitly includes operational constraints and increases the utilization of the energy generated by intermittent resources. A case study illustrates the potential of co-design in enhancing the reliability, flexibility and self-sufficiency of a system operating under different conditions. Specifically, numerical results demonstrate reductions in costs up to $30$% compared to a deterministic formulation. Furthermore, the proposed approach achieves a computational time reduction of at least $10$ times lower compared to the original problem with a deterioration in the performance of only 0.6%.
Towards more realistic co-simulation of cyber-physical energy distribution systems
Authors: Immanuel Hacker, Ömer Sen, Dennis van der Velde, Florian Schmidtke, Andreas Ulbig
Date: 2024-10-14 00:00:00
Tasks: Management

The increased integration of information and communications technology at the distribution grid level offers broader opportunities for active operational management concepts. At the same time, requirements for resilience against internal and external threats to the power supply, such as outages or cyberattacks, are increasing. The emerging threat landscape needs to be investigated to ensure the security of supply of future distribution grids. This extended abstract presents a co-simulation environment to study communication infrastructures for the resilient operation of distribution grids. For this purpose, a communication network emulation and a power grid simulation are combined in a common modular environment. This will provide the basis for cybersecurity investigations and testing of new active operation management concepts for smart grids. Exemplary laboratory tests and attack replications will be used to demonstrate the diverse use cases of our co-simulation approach.
Cooperative nonlinear distributed model predictive control with dissimilar control horizons
Authors: Paula Chanfreut, José M. Maestre, Quanyan Zhu, W. P. M. H. Heemels
Date: 2024-10-14 00:00:00
Tasks: Management, Model Predictive Control

In this paper, we introduce a nonlinear distributed model predictive control (DMPC) algorithm, which allows for dissimilar and time-varying control horizons among agents, thereby addressing a common limitation in current DMPC schemes. We consider cooperative agents with varying computational capabilities and operational objectives, each willing to manage varying numbers of optimization variables at each time step. Recursive feasibility and a non-increasing evolution of the optimal cost are proven for the proposed algorithm. Through numerical simulations on systems with three agents, we show that our approach effectively approximates the performance of traditional DMPC, while reducing the number of variables to be optimized. This advancement paves the way for a more decentralized yet coordinated control strategy in various applications, including power systems and traffic management.
Robust Tracking Control with Neural Network Dynamic Models under Input Perturbations
Authors: Huixuan Cheng, Hanjiang Hu, Changliu Liu
Date: 2024-10-14 00:00:00

Robust control problems have significant practical implications since external disturbances can significantly impact the performance of control methods. Existing robust control methods excel at control-affine systems but fail at neural network dynamic models. Developing robust control methods for such systems remains a complex challenge. In this paper, we focus on robust tracking methods for neural network dynamic models. We first propose a reachability analysis tool designed for this system and then introduce how to reformulate a robust tracking problem with reachable sets. In addition, we prove the existence of a feedback policy that bounds the growth of reachable sets over an infinite horizon. The effectiveness of the proposed approach is validated through numerical simulations of the tracking task, where we compare it with a standard tube MPC method.
Sequential drone routing for data assimilation on a 2D airborne contaminant dispersion problem
Authors: Daniele Giovanni Gioia, Jacopo Bonari, Daniel Lichte, Alexander Popp
Date: 2024-10-14 00:00:00

The combined use of data from different sources can be critical in emergencies, where accurate models are needed to make real-time decisions, but high-fidelity representations and detailed information are simply unavailable. This study presents a data assimilation framework based on an ensemble Kalman filter that sequentially exploits and improves an advection-diffusion model in a case study concerning an airborne contaminant dispersion problem over a complex two-dimensional domain. An autonomous aerial drone is used to sequentially observe the actual contaminant concentration in a small fraction of the domain, orders of magnitude smaller than the total domain area. Such observations are synchronized with the data assimilation framework, iteratively adjusting the simulation. The path of the drone is sequentially optimized by balancing exploration and exploitation according to the available knowledge at each decision time. Starting from an erroneous initial model based on approximated assumptions that represent the limited initial knowledge available during emergency scenarios, results show how the proposed framework sequentially improves its belief about the dispersion dynamics, thus providing a reliable contaminant concentration map.