arXiv subjects

Sairaj Dhople

Publications and source records attributed to Sairaj Dhople.

15 recordsLinked to original sources

arXiv2026

Reachability Analysis for Power Systems with Heterogeneous Resources via Jordan Transformation

This paper develops a computationally efficient framework for reachability analysis of transmission-level power system dynamics with synchronous generators, grid-forming and grid-following inverters, and uncertain power injections/withdrawals. Starting from reduced-order device models and a frequency-divider representation, we derive a linear ordinary-differential-equation model suitable for efficient reachable-set computation under bounded disturbances across network buses. The proposed reachability method combines interval reachability and contraction-based bounds to construct certified over-approximations for the linear ordinary-differential-equation model. A real Jordan transformation separates non-oscillatory modes, handled through a linear embedding system, from oscillatory modes, enclosed using contraction-based ball bounds. Numerical experiments on a modified IEEE 39-bus system validate the reachable tubes against high-fidelity electromagnetic-transient (EMT) simulations, and demonstrate multi-second reachable sets computed in sub-second time.

eess.SY↗

arXiv2026

Small-signal Stability of a Unified Single-unit Infinite-bus Swing-equation Model for Generators and Inverters

We present a swing-equation model with generalized and equilibria-dependent inertia, damping, and synchronization constants for energy conversion interfaces with second-order active-power versus voltage-phasor-angle dynamics connected to an infinite bus. The model is unified in that prudent parameterization of the second-order angle-to-power transfer function aligns with reduced-order models for synchronous generators, grid-following inverters with fast frequency-response capability, and droop- and virtual synchronous generator-based grid-forming inverters. Parametric necessary and sufficient conditions to examine small-signal stability of angle equilibria are derived from the unified swing-equation model.

eess.SY↗

arXiv2026

Automated Synthesis of Hardware-implementable Analog Circuits for Constrained Optimization

This paper presents an automated software toolchain for synthesizing hardware-implementable analog circuits that solve constrained optimization problems. The proposed toolchain supports nonlinear objective functions with linear and quadratic constraints. It maps optimization variables to capacitor voltages, implementing dynamics that enforce Karush-Kuhn-Tucker conditions using operational amplifiers, resistors, capacitors, diodes, and analog multipliers. From high-level problem descriptions in AMPL or MPS, the toolchain generates a SPICE netlist for the analog circuit, simulates it, and verifies that the solutions converge. The projected settling time of the analog circuit depends on circuit parameters, gain-bandwidth product, and slew-rate limits of operational amplifiers, and leverages the inherent parallelism of analog circuits. The proposed toolchain successfully generates circuits with up to 10,000 variables and demonstrates large scalability improvements, achieving up to a 1,000X increase in solvable problem size over prior analog hardware demonstrations. Simulation studies further show that the automatically synthesized circuits converge to optimal solutions, achieving more than a 200X speedup compared to IPOPT, a state-of-the-art digital interior-point solver.

eess.SY↗

arXiv2023

Revisiting Power Systems Time-domain Simulation Methods and Models

The changing nature of power systems dynamics is challenging present practices related to modeling and study of system-level dynamic behavior. While developing new techniques and models to handle the new modeling requirements, it is also critical to review some of the terminology used to describe existing simulation approaches and the embedded assumptions. This paper provides a first-principles review of the simplifications and transformation commonly used in the formulation of time-domain simulation models. It introduces a taxonomy and classification of time-domain simulation models depending on their frequency bandwidth, network representation, and software availability. Furthermore, it focuses on the fundamental aspects of averaging techniques, and model reduction approaches that result in modeling choices, and discusses the associated challenges and opportunities of applying these methods in systems with large shares of Inverter Based Resources (IBRs). The paper concludes with an illustrative simulation that compares the trajectories of an IBR-dominated system.

eess.SY↗

arXiv2022

Towards Optimal Primary- and Secondary-control Design for Networks with Generators and Inverters

For power grids predominantly featuring large synchronous generators (SGs), there exists a significant body of work bridging optimization and control tasks. A generic workflow in such efforts entails: characterizing the steady state of control algorithms and SG dynamics; assessing the optimality of the resulting operating point with respect to an optimal dispatch task; and prescribing control parameters to ensure that (under reasonable ambient perturbations) the considered control nudges the system steady state to optimality. Well studied instances of the aforementioned approach include designing: i) automatic generation control (AGC) participation factors to ensure economic optimality, and ii) governor frequency-droop slopes to ensure power sharing. Recognizing that future power grids will feature a diverse mix of SGs and inverter-based resources (IBRs) with varying control structures, this work examines the different steps of the optimization-control workflow for this context. Considering a representative model of active power-frequency dynamics of IBRs and SGs, a characterization of steady state is put forth (with and without secondary frequency control). Conditions on active-power droop slopes and AGC participation factors are then derived to ascertain desired power sharing and ensure economically optimal operation under varying power demands.

math.OC↗

arXiv2022

Integrated System Models for Networks with Generators & Inverters

Synchronous generators and inverter-based resources are complex systems with dynamics that cut across multiple intertwined physical domains and control loops. Modeling individual generators and inverters is, in itself, a very involved activity and has attracted dedicated attention from power engineers and control theorists over the years. Control and stability challenges associated with increasing penetration of grid-following inverters have generated tremendous interest in grid-forming inverter technology. The envisioned coexistence of inverter technologies alongside rotating machines call for modeling frameworks that can accurately describe networked dynamics of interconnected generators and inverters across timescales. We put forth a comprehensive integrated system model for such a setting by: i) adopting a combination of circuit- and system-theoretic constructs, ii) unifying representations of three-phase signals across reference-frame transformations and phasor types, and iii) leveraging domain-level knowledge, engineering insights, and reasonable approximations. A running theme through our effort is to offer a clear distinction between physics-based models and the task of modeling. Among several insights spanning the spectrum from analytical to practical, we highlight how differential-algebraic-equation models and algebraic power-flow phasor models fall out of the detailed originating electromagnetic transient models.

eess.SY↗

arXiv2022

Time-domain Generalization of Kron Reduction

Kron reduction is a network-reduction method that eliminates nodes with zero current injections from electrical networks operating in sinusoidal steady state. In the time domain, the state-of-the-art application of Kron reduction has been in networks with transmission lines that have constant R/L ratios. This paper considers RL networks without such restriction and puts forth a provably exact time-domain generalization of Kron reduction. Exemplifying empirical tests on a wye-delta network are provided to validate the analytical results.

eess.SY↗

arXiv2021

Model Reduction for Inverters with Current Limiting and Dispatchable Virtual Oscillator Control

This paper outlines reduced-order models for grid-forming virtual-oscillator-controlled inverters with nested current- and voltage-control loops, and current-limiting action for over-current protection. While a variety of model-reduction methods have been proposed to tame complexity in inverter models, previous efforts have not included the impact of current-reference limiting. In addition to acknowledging the current-limiting action, the reduced-order models we outline are tailored to networks with resistive and inductive interconnecting lines. Our analytical approach is centered on a smooth function approximation for the current-reference limiter, participation factor analysis to identify slow- and fast-varying states, and singular perturbation to systematically eliminate the fast states. Computational benefits and accuracy of the reduced-order models are benchmarked via numerical simulations that compare them to higher-order averaged and switched models.

eess.SY↗

arXiv2020

FedPD: A Federated Learning Framework with Optimal Rates and Adaptivity to Non-IID Data

Federated Learning (FL) has become a popular paradigm for learning from distributed data. To effectively utilize data at different devices without moving them to the cloud, algorithms such as the Federated Averaging (FedAvg) have adopted a "computation then aggregation" (CTA) model, in which multiple local updates are performed using local data, before sending the local models to the cloud for aggregation. However, these schemes typically require strong assumptions, such as the local data are identically independent distributed (i.i.d), or the size of the local gradients are bounded. In this paper, we first explicitly characterize the behavior of the FedAvg algorithm, and show that without strong and unrealistic assumptions on the problem structure, the algorithm can behave erratically for non-convex problems (e.g., diverge to infinity). Aiming at designing FL algorithms that are provably fast and require as few assumptions as possible, we propose a new algorithm design strategy from the primal-dual optimization perspective. Our strategy yields a family of algorithms that take the same CTA model as existing algorithms, but they can deal with the non-convex objective, achieve the best possible optimization and communication complexity while being able to deal with both the full batch and mini-batch local computation models. Most importantly, the proposed algorithms are {\it communication efficient}, in the sense that the communication pattern can be adaptive to the level of heterogeneity among the local data. To the best of our knowledge, this is the first algorithmic framework for FL that achieves all the above properties.

cs.LG↗

arXiv2017

Approximate moment dynamics for polynomial and trigonometric stochastic systems

Stochastic dynamical systems often contain nonlinearities which make it hard to compute probability density functions or statistical moments of these systems. For the moment computations, nonlinearities in the dynamics lead to unclosed moment dynamics; in particular, the time evolution of a moment of a specific order may depend both on moments of order higher than it and on some nonlinear function of other moments. The moment closure techniques are used to find an approximate, close system of equations the moment dynamics. In this work, we extend a moment closure technique based on derivative matching that was originally proposed for polynomial stochastic systems with discrete states to continuous state stochastic systems to continuous state stochastic differential equations, with both polynomial and trigonometric nonlinearities. We validate the technique using two examples of nonlinear stochastic systems.

math.OC↗

arXiv2016

Design of Distributed Controllers Seeking Optimal Power Flow Solutions Under Communication Constraints

This paper focuses on power distribution networks featuring distributed energy resources (DERs), and develops controllers that drive the DER output powers to solutions of time-varying AC optimal power flow (OPF) problems. The design of the controllers is grounded on primal-dual-type methods for regularized Lagrangian functions, as well as linear approximations of the AC power-flow equations. Convergence and OPF-solution-tracking capabilities are established while acknowledging: i) communication-packet losses, and ii) partial updates of control signals. The latter case is particularly relevant since it enables an asynchronous operation of the controllers where the DER setpoints are updated at a fast time scale based on local voltage measurements, and information on the network state is utilized if and when available, based on communication constraints. As an application, the paper considers distribution systems with a high penetration level of photovoltaic systems, and demonstrates that the proposed framework provides fast voltage-regulation capabilities, while enabling the near real-time pursuit of AC OPF solutions.

math.OC↗

arXiv2015

Power Divider

This paper derives analytical closed-form expressions that uncover the contributions of nodal active- and reactive-power injections to the active- and reactive-power flows on transmission lines in an AC electrical network. Paying due homage to current- and voltage-divider laws that are similar in spirit, we baptize these as the power divider laws. Derived from a circuit-theoretic examination of AC power-flow expressions, the constitution of the power divider laws reflects the topology and voltage profile of the network. We demonstrate the utility of the power divider laws to the analysis of power networks by highlighting applications to transmission-network allocation, transmission-loss allocation, and identifying feasible injections while respecting line active-power flow set points.

eess.SY↗

arXiv2015

Regulation of Dynamical Systems to Optimal Solutions of Semidefinite Programs: Algorithms and Applications to AC Optimal Power Flow

This paper considers a collection of networked nonlinear dynamical systems, and addresses the synthesis of feedback controllers that seek optimal operating points corresponding to the solution of network-wide constrained optimization problems. Particular emphasis is placed on the solution of semidefinite programs (SDPs). The design of the feedback controller is grounded on a dual epsilon-subgradient approach, with the dual iterates utilized to dynamically update the dynamical-system reference signals. Global convergence is guaranteed for diminishing stepsize rules, even when the reference inputs are updated at a faster rate than the dynamical-system settling time. The application of the proposed framework to the control of power-electronic inverters in AC distribution systems is discussed. The objective is to bridge the time-scale separation between real-time inverter control and network-wide optimization. Optimization objectives assume the form of SDP relaxations of prototypical AC optimal power flow problems.

math.OC↗

arXiv2014

Stochastic hybrid systems in equilibrium: moment closure, finite-time blowup, and exact solutions

We present a variety of results analyzing the behavior of a class of stochastic processes --- referred to as Stochastic Hybrid Systems (SHSs) --- in or near equilibrium, and determine general conditions on when the moments of the process will, or will not, be well-behaved. We also study the potential for finite-time blowups for these processes, and exhibit a set of random recurrence relations that govern the behavior for long times. In addition, we present a connection between these recurrence relations and some classical expressions in number theory.

math.DS↗

arXiv2013

Synchronization of Nonlinear Circuits in Dynamic Electrical Networks with General Topologies

Sufficient conditions are derived for global asymptotic synchronization in a system of identical nonlinear electrical circuits coupled through linear time-invariant (LTI) electrical networks. In particular, the conditions we derive apply to settings where: i) the nonlinear circuits are composed of a parallel combination of passive LTI circuit elements and a nonlinear voltage-dependent current source with finite gain; and ii) a collection of these circuits are coupled through either uniform or homogeneous LTI electrical networks. Uniform electrical networks have identical per-unit-length impedances. Homogeneous electrical networks are characterized by having the same effective impedance between any two terminals with the others open circuited. Synchronization in these networks is guaranteed by ensuring the stability of an equivalent coordinate-transformed differential system that emphasizes signal differences. The applicability of the synchronization conditions to this broad class of networks follows from leveraging recent results on structural and spectral properties of Kron reduction---a model-reduction procedure that isolates the interactions of the nonlinear circuits in the network. The validity of the analytical results is demonstrated with simulations in networks of coupled Chua's circuits.

math.OC↗