pwc-archive/papers-with-abstracts huggingface dataset:
ShortcutsBench: A Large-Scale Real-world Benchmark for API-based Agents
Authors: Haiyang Shen, Yue Li, Desong Meng, Dongqi Cai, Sheng Qi, Li Zhang, Mengwei Xu, Yun Ma
Date: 2024-06-28 00:00:00

Recent advancements in integrating large language models (LLMs) with application programming interfaces (APIs) have gained significant interest in both academia and industry. Recent work demonstrates that these API-based agents exhibit relatively strong autonomy and planning capabilities. However, their ability to handle multi-dimensional difficulty levels, diverse task types, and real-world demands remains unknown. In this paper, we introduce \textsc{ShortcutsBench}, a large-scale benchmark for the comprehensive evaluation of API-based agents in solving real-world complex tasks. \textsc{ShortcutsBench} includes a wealth of real APIs from Apple Inc., refined user queries, human-annotated high-quality action sequences, detailed parameter filling values, and parameters requesting necessary input from the system or user. We revealed how existing benchmarks~/~datasets struggle to accommodate the advanced reasoning capabilities of existing more intelligent LLMs. Moreover, our extensive evaluation of agents built with $5$ leading open-source (size $\geq$ 57B) and $5$ closed-source LLMs (e.g. Gemini-1.5-Pro and GPT-4o-mini) with varying intelligence level reveals significant limitations of existing API-based agents in the whole process of handling complex queries related to API selection, parameter filling, and requesting necessary input from the system and the user. These findings highlight the great challenges that API-based agents face in effectively fulfilling real and complex user queries. All datasets, code, experimental logs, and results are available at \url{https://github.com/EachSheep/ShortcutsBench}.
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure
Authors: Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder
Date: 2024-06-19 00:00:00

Novel test selectors have demonstrated their effectiveness in accelerating the closure of functional coverage for various industrial digital designs in simulation-based verification. The primary advantages of these test selectors include performance that is not impacted by coverage holes, straightforward implementation, and relatively low computational expense. However, the detection of stimuli with novel temporal patterns remains largely unexplored. This paper introduces two novel test selectors designed to identify such stimuli. The experiments reveal that both test selectors can accelerate the functional coverage for a commercial bus bridge, compared to random test selection. Specifically, one selector achieves a 26.9\% reduction in the number of simulated tests required to reach 98.5\% coverage, outperforming the savings achieved by two previously published test selectors by factors of 13 and 2.68, respectively.
Predictions and Decision Making for Resilient Intelligent Sustainable Energy Systems
Authors: Martin Braun, Christian Gruhl, Christian A. Hans, Philipp Härtel, Christoph Scholz, Bernhard Sick, Malte Siefert, Florian Steinke, Olaf Stursberg, Sebastian Wende-von Berg
Date: 2024-07-03 00:00:00
Tasks: Decision Making

Future energy systems are subject to various uncertain influences. As resilient systems they should maintain a constantly high operational performance whatever happens. We explore different levels and time scales of decision making in energy systems, highlighting different uncertainty sources that are relevant in different domains. We discuss how the uncertainties can be represented and how one can react to them. The article closes by summarizing, which uncertainties are already well examined and which ones still need further scientific inquiry to obtain resilient energy systems.
Federated Fine-Tuning for Pre-Trained Foundation Models Over Wireless Networks
Authors: Zixin Wang, Yong Zhou, Yuanming Shi, Khaled. B. Letaief
Date: 2024-07-03 00:00:00
Tasks: Federated Learning, Privacy Preserving, Scheduling

Pre-trained foundation models (FMs), with extensive number of neurons, are key to advancing next-generation intelligence services, where personalizing these models requires massive amount of task-specific data and computational resources. The prevalent solution involves centralized processing at the edge server, which, however, raises privacy concerns due to the transmission of raw data. Instead, federated fine-tuning (FedFT) is an emerging privacy-preserving fine-tuning (FT) paradigm for personalized pre-trained foundation models. In particular, by integrating low-rank adaptation (LoRA) with federated learning (FL), federated LoRA enables the collaborative FT of a global model with edge devices, achieving comparable learning performance to full FT while training fewer parameters over distributed data and preserving raw data privacy. However, the limited radio resources and computation capabilities of edge devices pose significant challenges for deploying federated LoRA over wireless networks. To this paper, we propose a split federated LoRA framework, which deploys the computationally-intensive encoder of a pre-trained model at the edge server, while keeping the embedding and task modules at the edge devices. Building on this split framework, the paper provides a rigorous analysis of the upper bound of the convergence gap for the wireless federated LoRA system. This analysis motivates the formulation of a long-term upper bound minimization problem, where we decompose the formulated long-term mixed-integer programming (MIP) problem into sequential sub-problems using the Lyapunov technique. We then develop an online algorithm for effective device scheduling and bandwidth allocation. Simulation results demonstrate the effectiveness of the proposed online algorithm in enhancing learning performance.
Mobile Edge Generation-Enabled Digital Twin: Architecture Design and Research Opportunities
Authors: Xiaoxia Xu, Ruikang Zhong, Xidong Mu, Yuanwei Liu, Kaibin Huang
Date: 2024-07-03 00:00:00
Tasks: Image Generation

A novel paradigm of mobile edge generation (MEG)-enabled digital twin (DT) is proposed, which enables distributed on-device generation at mobile edge networks for real-time DT applications. First, an MEG-DT architecture is put forward to decentralize generative artificial intelligence (GAI) models onto edge servers (ESs) and user equipments (UEs), which has the advantages of low latency, privacy preservation, and individual-level customization. Then, various single-user and multi-user generation mechanisms are conceived for MEG-DT, which strike trade-offs between generation latency, hardware costs, and device coordination. Furthermore, to perform efficient distributed generation, two operating protocols are explored for transmitting interpretable and latent features between ESs and UEs, namely sketch-based generation and seed-based generation, respectively. Based on the proposed protocols, the convergence between MEG and DT are highlighted. Considering the seed-based image generation scenario, numerical case studies are provided to reveal the superiority of MEG-DT over centralized generation. Finally, promising applications and research opportunities are identified. Code is available at https://github.com/xiaoxiaxusummer/MEG_DT
Exact Instability Radius of Discrete-Time LTI Systems
Authors: Chung-Yao Kao, Sei Zhen Khong, Shinji Hara, Yu-Jen Lin
Date: 2024-07-03 00:00:00

The robust instability of an unstable plant subject to stable perturbations is of significant importance and arises in the study of sustained oscillatory phenomena in nonlinear systems. This paper analyzes the robust instability of linear discrete-time systems against stable perturbations via the notion of robust instability radius (RIR) as a measure of instability. We determine the exact RIR for certain unstable systems using small-gain type conditions by formulating the problem in terms of a phase change rate maximization subject to appropriate constraints at unique peak-gain frequencies, for which stable first-order all-pass functions are shown to be optimal. Two real-world applications -- minimum-effort sampled-data control of magnetic levitation systems and neural spike generations in the FitzHugh--Nagumo model subject to perturbations -- are provided to illustrate the utility of our results.
A Two-stage Identification Method for Switched Linear Systems
Authors: Zheng Wenju, Ye Hao
Date: 2024-07-03 00:00:00

In this work, a new two-stage identification method based on dynamic programming and sparsity inducing is proposed for switched linear systems. Our method achieves sparsity inducing in the identification of switched linear systems by the constrained switching mechanism, in contrast to previous optimization-based identification techniques that rely on the rigid data distribution assumption in the parameter space. The proposed mechanism assumes the existence of a minimal interval between adjacent switching instants. First, an efficient iterative dynamic programming approach is used to determine the switching instants and segments using the constrained switching mechanism. Then, each submodel is identified as a combinatorial $\ell_0$ optimization problem, and the true parameter for each submodel is determined by solving the problem. The problem of combinatorial $\ell_0$ optimization is solved by relaxing it into a convex $\ell_1$-norm optimization problem. Furthermore, the unbiasedness of the switched linear system identification is discussed thoroughly with the constrained switching mechanism and a new persistent excitation condition is proposed. Simulation experiments are conducted to indicate that our algorithms exhibit strong robustness against noise.
Building a Better B-Dot: Fast Detumbling with Non-Monotonic Lyapunov Functions
Authors: Jacob B. Willis, Paulo R. M. Fisch, Aleksei Seletskiy, Zachary Manchester
Date: 2024-07-03 00:00:00

Spacecraft detumbling with magnetic torque coils is an inherently underactuated control problem. Contemporary and classical magnetorquer detumbling methods do not adequately consider this underactuation, and suffer from poor performance as a result. These controllers can get stuck on an uncontrollable manifold, resulting in long detumbling times and high power consumption. This work presents a novel detumble controller based on a non-monotonic Lyapunov function that predicts the future magnetic field along the satellite's orbit and avoids uncontrollable configurations. In comparison to other controllers in the literature, our controller detumbles a satellite in significantly less time while also converging to lower overall angular momentum. We provide a derivation and proof of convergence for our controller as well as Monte-Carlo simulation results demonstrating its performance in representative use cases.
Enhancing Scalability of Optimal Kron-based Reduction of Networks (Opti-KRON) via Decomposition with Community Detection
Authors: Omid Mokhtari, Samuel Chevalier, Mads Almassalkhi
Date: 2024-07-02 00:00:00
Tasks: Community Detection

Electrical networks contain thousands of interconnected nodes and edges, which leads to computational challenges in some power system studies. To address these challenges, we contend that network reductions can serve as a framework to enable scalable computing in power systems. By building upon a prior AC "Opti-KRON" formulation, this paper presents a DC power flow formulation for finding network reductions that are optimal within the context of large transmission analysis. Opti-KRON previously formulated optimal Kron-based network reductions as a mixed integer linear program (MILP), where the number of binary variables scaled with the number of nodes. To improve the scalability of the Opti-KRON approach, we augment the MILP formulation with a community detection (CD) technique that segments a large network into smaller, disjoint, but contiguous sub-graphs (i.e., communities). For each sub-graph, we then (in parallel) apply MILP-based along with a new cutting plane constraint, thus, enhancing scalability. Ultimately, the new DC-based Opti-KRON method can achieve a 80-95\% reduction of networks (in terms of nodes) while statistically outperforming other CD- and Kron-based methods. We present simulation results for the IEEE RTS-96 and the 2383-bus Polish networks.
Local Synchronization of Power System Devices
Authors: Ignacio Ponce, Federico Milano
Date: 2024-07-02 00:00:00

This paper introduces a novel concept of local synchronization of power systems devices based on the difference between the complex frequency of the voltage and current injected at terminals. Formal definitions are provided to account for bounded and asymptotic local synchronization. The definitions are suitable for modern power systems as they remove classical assumptions limiting the application of the concept of synchronization to synchronous machines and omitting voltage dynamics. The paper also provides a systematic analytical description of the synchronization mechanisms of common power system devices. Finally, a variety of examples is included to illustrate the theoretical value and practical application of the proposed definitions to power systems modeling and stability analysis.
Stability-Preserving Model Reduction of Networked Lur'e Systems
Authors: Yangming Dou, Xiaodong Cheng, Jacquelien M. A. Scherpen
Date: 2024-07-02 00:00:00
Tasks: Clustering, Graph Clustering

This paper proposes a model reduction approach for simplifying the interconnection topology of Lur'e network systems. A class of reduced-order models are generated by the projection framework based on graph clustering, which not only preserve the network structure but also ensure absolute stability. Furthermore, we provide an upper bound on the input-output approximation error between the original and reduced-order Lur'e network systems, which is expressed as a function of the characteristic matrix of graph clustering. Finally, the results are illustrated via a numerical example.
Transport Map Coupling Filter for State-Parameter Estimation
Authors: Jan Grashorn, Matteo Broggi, Ludovic Chamoin, Michael Beer
Date: 2024-07-02 00:00:00
Tasks: parameter estimation

Many dynamical systems are subjected to stochastic influences, such as random excitations, noise, and unmodeled behavior. Tracking the system's state and parameters based on a physical model is a common task for which filtering algorithms, such as Kalman filters and their non-linear extensions, are typically used. However, many of these filters use assumptions on the transition probabilities or the covariance model, which can lead to inaccuracies in non-linear systems. We will show the application of a stochastic coupling filter that can approximate arbitrary transition densities under non-Gaussian noise. The filter is based on transport maps, which couple the approximation densities to a user-chosen reference density, allowing for straightforward sampling and evaluation of probabilities.
A Tax-Subsidy Scheme for Efficient Investment in Renewable Generation Capacity
Authors: Mohammad Reza Karimi Gharigh, Lamia Varawala, Mohammad Reza Hesamzadeh, György Dán
Date: 2024-07-02 00:00:00

The impact of energy production significantly affects system sustainability, which has enabled a shift towards renewable energy sources. Thus, producer behavior is crucial in electricity markets to achieve sustainability goals. In this paper, we address two key challenges comprising electricity markets and generation investment. Firstly, electricity markets typically are operated with competitive market clearing and merit-order dispatch, which neglects negative externalities from pollution. A Pigouvian tax is proposed in order to investigate the impacts of these externalities on electricity prices and resolve this issue. Secondly, renewable energy sources entail low operational costs, which result in lower system prices and reduced profits for producers. Furthermore, producers face high investment costs when moving into renewable energy resources, which leads to strategic investment decisions. In order to mitigate this strategic behavior, subsidies are proposed equal to producers' contribution to consumer surplus. These subsidies incentivize producers to decrease prices and increase consumer surplus, so, producers would be motivated to invest in socially optimal generation capacity. Finally, we demonstrate that implementing the proposed tax and subsidy does not increase the regulator's information burden.
Toward Wireless System and Circuit Co-Design for the Internet of Self-Adaptive Things
Authors: Diptashree Das, Mohammad Abdi, Minghan Liu, Marvin Onabajo, Francesco Restuccia
Date: 2024-07-01 00:00:00

The deployment of a growing number of devices in Internet of Things (IoT) networks implies that uninterrupted and seamless adaptation of wireless communication parameters (e.g., carrier frequency, bandwidth and modulation) will become essential. To utilize wireless devices capable of switching several communication parameters requires real-time self-optimizations at the radio frequency integrated circuit (RFIC) level based on system level performance metrics during the processing of complex modulated signals. This article introduces a novel design verification approach for reconfigurable RFICs based on end-to-end wireless system-level performance metrics while operating in a dynamically changing communication environment. In contrast to prior work, this framework includes two modules that simulate a wireless channel and decode waveforms. These are connected to circuit-level modules that capture device- and circuit-level non-idealities of RFICs for design validation and optimization, such as transistor noises, intermodulation/harmonic distortions, and memory effects from parasitic capacitances. We demonstrate this framework with a receiver (RX) consisting of a reconfigurable complementary metal-oxide semiconductor (CMOS) low-noise amplifier (LNA) designed at the transistor level, a behavioral model of a mixer, and an ideal filter model. The seamless integration between system-level wireless models with circuit-level and behavioral models (such as VerilogA-based models) for RFIC blocks enables to preemptively evaluate circuit and system designs, and to optimize for different communication scenarios with adaptive circuits having extensive tuning ranges. An exemplary case study is presented, in which simulation results reveal that the LNA power consumption can be reduced up to 16x depending on system-level requirements.
Quantifying cascading power outages during climate extremes considering renewable energy integration
Authors: Luo Xu, Ning Lin, H. Vincent Poor, Dazhi Xi, A. T. D. Perera
Date: 2024-07-01 00:00:00

Climate extremes, such as hurricanes, combined with large-scale integration of environment-sensitive renewables, could exacerbate the risk of widespread power outages. We introduce a coupled climate-energy model for cascading power outages, which comprehensively captures the impacts of evolving climate extremes on renewable generation, and transmission and distribution networks. The model is validated by the 2022 Puerto Rico catastrophic blackout during Hurricane Fiona, the first-ever system-wide blackout event with complete weather-induced outage records. The model presents a novel resilience pattern that was not captured by the present state-of-the-art models and reveals that early failure of certain critical components surprisingly enhances overall system resilience. Sensitivity analysis of various behind-the-meter solar integration scenarios demonstrates that lower integration levels (below 45%, including the current level) exhibit minimal impact on system resilience in this event. However, surpassing this critical level without additional flexibility resources can exacerbate the failure probability due to substantially enlarged energy imbalances.
Predicting DC-Link Capacitor Current Ripple in AC-DC Rectifier Circuits Using Fine-Tuned Large Language Models
Authors: Mohamed Zeid, Subir Majumder, Hasan Ibrahim, Prasad Enjeti, Le Xie, Chao Tian
Date: 2024-07-01 00:00:00

Foundational Large Language Models (LLMs) such as GPT-3.5-turbo allow users to refine the model based on newer information, known as ``fine-tuning''. This paper leverages this ability to analyze AC-DC converter behaviors, focusing on the ripple current in DC-link capacitors. Capacitors degrade faster under high ripple currents, complicating life monitoring and necessitating preemptive replacements. Using minimal invasive noisy hardware measurements from a full bridge rectifier and 90W Power Factor Correction (PFC) boost converter, an LLM-based models to predict ripple content in DC-link currents was developed which demonstrated the LLMs' ability for near-accurate predictions. This study also highlights data requirements for precise nonlinear power electronic circuit parameter predictions to predict component degradation without any additional sensors. Furthermore, the proposed framework could be extended to any non-linear function mapping problem as well as estimating the capacitor Equivalent Series Resistance (ESR).
Generation Expansion Equilibria with Predictive Dispatch Model
Authors: Sourabh Dalvi, David Biagioni, Muhammad Bashar Anwar, Gord Stephen, Bethany Frew
Date: 2024-07-01 00:00:00
Tasks: model

This paper proposes a methodology to solve generation expansion equilibrium problems by using a predictive model to represent the equilibrium in a simplified network constrained electricity market. The investment problem for each generation company (Genco) is a bi-level problem with the investment decision made in the upper level and market clearing condition in the lower level, which traditionally is represented as a Mathematical Program with Equilibrium Constraint (MPEC). The predictive model is trained for estimating the system-wide revenues for each technology type across energy, ancillary services and capacity markets given the amount of technology-specific installed capacity on the grid. The profit maximization investment problem for each Genco is solved using a global search algorithm, which uses the predictive model to evaluate the objective function. To solve for the strategic equilibrium, each Genco's problem is plugged into a diagonalization algorithm that is generally used in multi-leader, single-follower bi-level problems. The methodology presented here enables significant computational improvements while still capturing the desired market characteristics and dynamics of traditional equilibrium modeling approaches