Source author record

Soumya Kundu

Soumya Kundu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application

Modern safety-critical energy infrastructures are increasingly operated in a hierarchical and modular control framework which allows for limited data exchange between the modules. In this context, it is important for each module to synthesize and communicate constraints on the values of exchanged information in order to assure system-wide safety. To ensure transient safety in inverter-based microgrids, we develop a set invariance-based distributed safety verification algorithm for each inverter module. Applying Nagumo's invariance condition, we construct a robust polynomial optimization problem to jointly search for safety-admissible set of control set-points and design parameters, under allowable disturbances from neighbors. We use sum-of-squares (SOS) programming to solve the verification problem and we perform numerical simulations using grid-forming inverters to illustrate the algorithm.

preprint2022arXiv

Graph Neural Network and Koopman Models for Learning Networked Dynamics: A Comparative Study on Power Grid Transients Prediction

Continuous monitoring of the spatio-temporal dynamic behavior of critical infrastructure networks, such as the power systems, is a challenging but important task. In particular, accurate and timely prediction of the (electro-mechanical) transient dynamic trajectories of the power grid is necessary for early detection of any instability and prevention of catastrophic failures. Existing approaches for the prediction of dynamic trajectories either rely on the availability of accurate physical models of the system, use computationally expensive time-domain simulations, or are applicable only at local prediction problems (e.g., a single generator). In this paper, we report the application of two broad classes of data-driven learning models -- along with their algorithmic implementation and performance evaluation -- in predicting transient trajectories in power networks using only streaming measurements and the network topology as input. One class of models is based on the Koopman operator theory which allows for capturing the nonlinear dynamic behavior via an infinite-dimensional linear operator. The other class of models is based on the graph convolutional neural networks which are adept at capturing the inherent spatio-temporal correlations within the power network. Transient dynamic datasets for training and testing the models are synthesized by simulating a wide variety of load change events in the IEEE 68-bus system, categorized by the load change magnitudes, as well as by the degree of connectivity and the distance to nearest generator nodes. The results confirm that the proposed predictive models can successfully predict the post-disturbance transient evolution of the system with a high level of accuracy.

preprint2022arXiv

KPF-AE-LSTM: A Deep Probabilistic Model for Net-Load Forecasting in High Solar Scenarios

With the expected rise in behind-the-meter solar penetration within the distribution networks, there is a need to develop time-series forecasting methods that can reliably predict the net-load, accurately quantifying its uncertainty and variability. This paper presents a deep learning method to generate probabilistic forecasts of day-ahead net-load at 15-min resolution, at various solar penetration levels. Our proposed deep-learning based architecture utilizes the dimensional reduction, from a higher-dimensional input to a lower-dimensional latent space, via a convolutional Autoencoder (AE). The extracted features from AE are then utilized to generate probability distributions across the latent space, by passing the features through a kernel-embedded Perron-Frobenius (kPF) operator. Finally, long short-term memory (LSTM) layers are used to synthesize time-series probability distributions of the forecasted net-load, from the latent space distributions. The models are shown to deliver superior forecast performance (as per several metrics), as well as maintain superior training efficiency, in comparison to existing benchmark models. Detailed analysis is carried out to evaluate the model performance across various solar penetration levels (up to 50\%), prediction horizons (e.g., 15\,min and 24\,hr ahead), and aggregation level of houses, as well as its robustness against missing measurements.

preprint2022arXiv

Optimization-Based Resiliency Verification in Microgrids via Maximal Adversarial Set Characterization

Critical energy infrastructures are increasingly relying on advanced sensing and control technologies for efficient and optimal utilization of flexible energy resources. Algorithmic procedures are needed to ensure that such systems are designed to be resilient to a wide range of cyber-physical adversarial events. This paper provides a robust optimization framework to quantify the range of adversarial perturbations that a system can accommodate without violating pre-specified resiliency metrics. An inner-approximation of the set of adversarial events which can be mitigated by the available flexibility is constructed using an optimization based approach. The proposed algorithm is illustrated on an islanded microgrid example: a modified IEEE 123-node feeder with distributed energy resources. Simulations are carried out to validate that the resiliency metrics are met for any event sampled from the constructed adversarial set for varying levels of available flexibility (energy reserves).

preprint2020arXiv

Distributed Small-Signal Stability Conditions for Inverter-Based Unbalanced Microgrids

The proliferation of inverter-based generation and advanced sensing, controls, and communication infrastructure have facilitated the accelerated deployment of microgrids. A coordinated network of microgrids can maintain reliable power delivery to critical facilities during extreme events. Low inertia offered by the power electronics interfaced energy resources however, can present significant challenges to ensuring stable operation of the microgrids. In this work, distributed small-signal stability conditions for inverter-based microgrids are developed that involve the droop controller parameters and the network parameters such as line impedances, loads, etc. The distributed closed-form parametric stability conditions derived in this paper can be verified in a computationally efficient manner, facilitating the reliable design and operations of networks of microgrids. Dynamic phasor models have been used to capture the effects of electromagnetic transients. Numerical results are presented, along with PSCAD simulations, to validate the analytical stability conditions. Effects of design choices, such as the conductor types, and inverter sizes, on the small-signal stability of inverter-based microgrids are investigated to identify interpretable stable or unstable region estimates.

preprint2020arXiv

Model-Agnostic Algorithm for Real-Time Attack Identification in Power Grid using Koopman Modes

Malicious activities on measurements from sensors like Phasor Measurement Units (PMUs) can mislead the control center operator into taking wrong control actions resulting in disruption of operation, financial losses, and equipment damage. In particular, false data attacks initiated during power systems transients caused due to abrupt changes in load and generation can fool the conventional model-based detection methods relying on thresholds comparison to trigger an anomaly. In this paper, we propose a Koopman mode decomposition (KMD) based algorithm to detect and identify false data attacks in real-time. The Koopman modes (KMs) are capable of capturing the nonlinear modes of oscillation in the transient dynamics of the power networks and reveal the spatial embedding of both natural and anomalous modes of oscillations in the sensor measurements. The Koopman-based spatio-temporal nonlinear modal analysis is used to filter out the false data injected by an attacker. The performance of the algorithm is illustrated on the IEEE 68-bus test system using synthetic attack scenarios generated on GridSTAGE, a recently developed multivariate spatio-temporal data generation framework for simulation of adversarial scenarios in cyber-physical power systems.

preprint2020arXiv

Stochastic Virtual Battery Modeling of Uncertain Electrical Loads Using Variational Autoencoder

Effective utilization of flexible loads for grid services, while satisfying end-user preferences and constraints, requires an accurate estimation of the aggregated predictive flexibility offered by the electrical loads. Virtual battery (VB) models are often used to quantify the predictive flexibility in thermostatic loads (e.g. residential air-conditioners, electric water-heaters), which model the temporal evolution of a (virtual) energy state via a first order dynamics including self-dissipation rate, and power and energy capacities as parameters. Uncertainties and lack of information regarding end-usage and equipment models render deterministic VB models impractical. In this paper, we introduce the notion of stochastic VB models, and propose a \textit{variational autoencoder}-based deep learning algorithm to identify the probability distribution of the VB model parameters. Using available sensors and meters data, the proposed algorithm generates not only point estimates of the VB parameters, but also confidence intervals around those values. Effectiveness of the proposed frameworks is demonstrated on a collection of electric water-heater loads, whose operation is driven by uncertain water usage profiles.

preprint2020arXiv

Transient Safety Filter Design for Grid-Forming Inverters

Unlike conventional generators, inverter-based generation do not possess any rotational inertia. While grid-forming inverters can synthesize small (virtual) inertia via advanced feedback control loops, additional control mechanisms are needed to ensure safety and security of the power grid during transients. In this paper, we propose novel real-time safety-constrained feedback controllers ("safety filters") for droop-based (grid-forming) inverters to ensure transient security of the grid. The safety filter acts as a buffer between the network operational layer and the inverter-control layer, and only lets those dispatch control signals pass to the inverter droop-controller, which are guaranteed to not violate the safety specifications (frequency, voltage, current limits). Using a distributed barrier certificates method, we construct state-inclusive bounds on the allowable control inputs, which guarantee the satisfaction of transient safety specifications. Sum-of-square programming is used to synthesize the safety filters. Numerical simulation results are provided to illustrate the performance of the proposed filter in inverter-based microgrids.

preprint2016arXiv

A Multiple-Comparison-Systems Method for Distributed Stability Analysis of Large-Scale Nonlinear Systems

Lyapunov functions provide a tool to analyze the stability of nonlinear systems without extensively solving the dynamics. Recent advances in sum-of-squares methods have enabled the algorithmic computation of Lyapunov functions for polynomial systems. However, for general large-scale nonlinear networks it is yet very difficult, and often impossible, both computationally and analytically, to find Lyapunov functions. In such cases, a system decomposition coupled to a vector Lyapunov functions approach provides a feasible alternative by analyzing the stability of the nonlinear network through a reduced-order comparison system. However, finding such a comparison system is not trivial and often, for a nonlinear network, there does not exist a single comparison system. In this work, we propose a multiple comparison systems approach for the algorithmic stability analysis of nonlinear systems. Using sum-of-squares methods we design a scalable and distributed algorithm which enables the computation of comparison systems using only communications between the neighboring subsystems. We demonstrate the algorithm by applying it to an arbitrarily generated network of interacting Van der Pol oscillators.

preprint2015arXiv

A Sum-of-Squares approach to the Stability and Control of Interconnected Systems using Vector Lyapunov Functions

Stability analysis tools are essential to understanding and controlling any engineering system. Recently sum-of-squares (SOS) based methods have been used to compute Lyapunov based estimates for the region-of-attraction (ROA) of polynomial dynamical systems. But for a real-life large scale dynamical system this method becomes inapplicable because of growing computational burden. In such a case, it is important to develop a subsystem based stability analysis approach which is the focus of the work presented here. A parallel and scalable algorithm is used to infer stability of an interconnected system, with the help of the subsystem Lyapunov functions. Locally computable control laws are proposed to guarantee asymptotic stability under a given disturbance.

preprint2015arXiv

Computation of Linear Comparison Equations for Stability Analysis of Interconnected Systems

Sum-of-squares (SOS) methods have been shown to be very useful in computing polynomial Lyapunov functions for systems of reasonably small size. However for large scale systems it is necessary to use a scalable alternative using vector Lyapunov functions. Earlier works have shown that under certain conditions the stability of an interconnected system can be studied through suitable comparison equations. However finding such comparison equations can be non-trivial. In this work we propose an SOS based systematic procedure to directly compute the comparison equations for interconnected system with polynomial dynamics. With an example of interacting Van der Pol systems, we illustrate how this facilitates a scalable and parallel approach to stability analysis.

preprint2015arXiv

Distributed Coordinated Control of Large-Scale Nonlinear Networks

We provide a distributed coordinated approach to the stability analysis and control design of large-scale nonlinear dynamical systems by using a vector Lyapunov functions approach. In this formulation the large-scale system is decomposed into a network of interacting subsystems and the stability of the system is analyzed through a comparison system. However finding such comparison system is not trivial. In this work, we propose a sum-of-squares based completely decentralized approach for computing the comparison systems for networks of nonlinear systems. Moreover, based on the comparison systems, we introduce a distributed optimal control strategy in which the individual subsystems (agents) coordinate with their immediate neighbors to design local control policies that can exponentially stabilize the full system under initial disturbances.We illustrate the control algorithm on a network of interacting Van der Pol systems.

preprint2015arXiv

Singularity in the discrete-time model of impacting mechanical systems

It is known that many peculiar nonlinear vibration problems in impacting systems are caused by grazing incidences. Such bifurcation phenomena are normally investigated through the Poincare map. The discrete-time map of a simple impact oscillator was derived by Nordmark, which showed that there should be a square-root singularity in the Jacobian matrix close to the grazing condition. In this paper we show that the square root singularity will be expressed only in the trace of the Jacobian matrix, while the determinant remains invariant across the grazing condition.

preprint2015arXiv

Stability and Control of Power Systems using Vector Lyapunov Functions and Sum-of-Squares Methods

Recently sum-of-squares (SOS) based methods have been used for the stability analysis and control synthesis of polynomial dynamical systems. This analysis framework was also extended to non-polynomial dynamical systems, including power systems, using an algebraic reformulation technique that recasts the system's dynamics into a set of polynomial differential algebraic equations. Nevertheless, for large scale dynamical systems this method becomes inapplicable due to its computational complexity. For this reason we develop a subsystem based stability analysis approach using vector Lyapunov functions and introduce a parallel and scalable algorithm to infer the stability of the interconnected system with the help of the subsystem Lyapunov functions. Furthermore, we design adaptive and distributed control laws that guarantee asymptotic stability under a given external disturbance. Finally, we apply this algorithm for the stability analysis and control synthesis of a network preserving power system.

preprint2012arXiv

Safe Protocol for Controlling Power Consumption by a Heterogeneous Population of Loads

Recent studies on control of aggregate power of an ensemble of thermostatically-controlled-loads (TCLs) have been concentrated on shifting the temperature set points of each TCL in the population. A sudden shift in the set point, however, is known to be associated with undesirable power oscillations which require closed-loop control strategies to regulate the aggregate power consumption of the population. In this article, we propose a new approach which we term as a "safe protocol" to implement the shift in temperature set point. It is shown analytically and verified numerically that by shifting the set point "safely" the aggregate power consumption can be changed to a different value within a time frame of the order of a TCL's cycle duration and avoid the undesired oscillations seen otherwise in a "sudden" shift. We discuss how the excess aggregate energy transferred under a safe shift in the set point could potentially mitigate the burden due to abnormal energy generation within a short time span.

preprint2012arXiv

Safe Protocols for Generating Power Pulses with Heterogeneous Populations of Thermostatically Controlled Loads

We explore methods to use thermostatically controlled loads (TCLs), such as water heaters and air conditioners, to provide ancillary services by assisting in balancing generation and load. We show that by adding simple imbedded instructions and a small amount of memory to temperature controllers of TCLs, it is possible to design open-loop control algorithms capable of creating short-term pulses of demand response without unwanted power oscillations associated with temporary synchronization of the TCL dynamics. By moving a small amount of intelligence to each of the end point TCL devices, we are able to leverage our knowledge of the time dynamics of TCLs to shape the demand response pulses for different power system applications. A significant benefit of our open-loop method is the reduction from two-way to one-way broadcast communication which also eliminates many basic consumer privacy issues. In this work, we focus on developing the algorithms to generate a set of fundamental pulse shapes that can subsequently be used to create demand response with arbitrary profiles. Demand response control methods, such as the one developed here, open the door to fast, nonperturbative control of large aggregations of TCLs.

preprint2011arXiv

Modeling and control of thermostatically controlled loads

As the penetration of intermittent energy sources grows substantially, loads will be required to play an increasingly important role in compensating the fast time-scale fluctuations in generated power. Recent numerical modeling of thermostatically controlled loads (TCLs) has demonstrated that such load following is feasible, but analytical models that satisfactorily quantify the aggregate power consumption of a group of TCLs are desired to enable controller design. We develop such a model for the aggregate power response of a homogeneous population of TCLs to uniform variation of all TCL setpoints. A linearized model of the response is derived, and a linear quadratic regulator (LQR) has been designed. Using the TCL setpoint as the control input, the LQR enables aggregate power to track reference signals that exhibit step, ramp and sinusoidal variations. Although much of the work assumes a homogeneous population of TCLs with deterministic dynamics, we also propose a method for probing the dynamics of systems where load characteristics are not well known.