arXiv subjects

Florian Dörfler

Publications and source records attributed to Florian Dörfler.

At least 235 records · Page 13Linked to original sources

arXiv2020

Timescale Separation in Autonomous Optimization

Autonomous optimization refers to the design of feedback controllers that steer a physical system to a steady state that solves a predefined, possibly constrained, optimization problem. As such, no exogenous control inputs such as setpoints or trajectories are required. Instead, these controllers are modeled after optimization algorithms that take the form of dynamical systems. The interconnection of this type of optimization dynamics with a physical system is however not guaranteed to be stable unless both dynamics act on sufficiently different timescales. In this paper, we quantify the required timescale separation and give prescriptions that can be directly used in the design of this type of feedback controllers. Using ideas from singular perturbation analysis, we derive stability bounds for different feedback laws that are based on common continuous-time optimization schemes. In particular, we consider gradient descent and its variations, including projected gradient, and Newton gradient. We further give stability bounds for momentum methods and saddle-point flows. Finally, we discuss how optimization algorithms like subgradient and accelerated gradient descent, while well-behaved in offline settings, are unsuitable for autonomous optimization due to their general lack of robustness.

math.OC↗

arXiv2020

Hybrid Angle Control and Almost Global Stability of Grid-Forming Power Converters

This paper introduces a new grid-forming control for power converters, termed hybrid angle control (HAC) that ensures the almost global closed-loop stability. HAC combines the recently proposed matching control with a novel nonlinear angle feedback reminiscent of (though not identical to) classic droop and dispatchable virtual oscillator controls. The synthesis of HAC is inspired by the complementary benefits of the dc-based matching and ac-based grid-forming controls as well as ideas from direct angle control and nonlinear damping assignment. The proposed HAC is applied to a high-fidelity nonlinear converter model that is connected to an infinite bus or a center-of-inertia dynamic grid models via a dynamic inductive line. We provide insightful parametric conditions for the existence, uniqueness, and global stability of the closed-loop equilibria. Unlike related stability certificates, our parametric conditions do not demand strong physical damping, on the contrary they can be met by appropriate choice of control parameters. Moreover, we consider the safety constraints of power converters and synthesize a new current-limiting control that is compatible with HAC. Last, we present a practical implementation of HAC and uncover its intrinsic droop behavior, derive a feedforward ac voltage and power control, and illustrate the behavior of the closed-loop system with publicly available numerical examples.

math.OC↗

arXiv2020

Projected Dynamical Systems on Irregular, Non-Euclidean Domains for Nonlinear Optimization

Continuous-time projected dynamical systems are an elementary class of discontinuous dynamical systems with trajectories that remain in a feasible domain by means of projecting outward-pointing vector fields. They are essential when modeling physical saturation in control systems, constraints of motion, as well as studying projection-based numerical optimization algorithms. Motivated by the emerging application of feedback-based continuous-time optimization schemes that rely on the physical system to enforce nonlinear hard constraints, we study the fundamental properties of these dynamics on general locally-Euclidean sets. Among others, we propose the use of Krasovskii solutions, show their existence on nonconvex, irregular subsets of low-regularity Riemannian manifolds, and investigate how they relate to conventional Carathéodory solutions. Furthermore, we establish conditions for uniqueness, thereby introducing a generalized definition of prox-regularity which is suitable for non-flat domains. Finally, we use these results to study the stability and convergence of projected gradient flows as an illustrative application of our framework. We provide simple counter-examples for our main results to illustrate the necessity of our already weak assumptions.

math.OC↗

arXiv2020

Quadratic Performance Analysis of Secondary Frequency Controllers

This paper investigates the input-output performance of secondary frequency controllers through the control-theoretic notion of $H_2$ norms. We consider a quadratic objective accounting for the cost of reserve procurement and provide exact analytical formulae for the performance of continuous-time aggregated averaging controllers. Then, we contrast it with distributed averaging controllers -- seeking optimality conditions such as identical marginal costs -- and primal-dual controllers which have gained attention as systematic techniques to design distributed algorithms solving convex optimization problems. Our conclusion is that while the performance of aggregated averaging controllers, such as gather & broadcast, is independent of the system size and driven predominantly by the control gain, the plain vanilla closed-loop primal-dual controllers scale poorly with size and do not offer any improvement over feedforward primal-dual controllers. Finally, distributed averaging-based controllers scale sub-linearly with size and are independent of system size in the high-gain limit.

math.OC↗

arXiv2020

Non-convex Feedback Optimization with Input and Output Constraints

In this paper, we present a novel control scheme for feedback optimization. That is, we propose a discrete-time controller that can steer the steady state of a physical plant to the solution of a constrained optimization problem without numerically solving the problem. Our controller can be interpreted as a discretization of a continuous-time projected gradient flow. Compared to other schemes used for feedback optimization, such as saddle-point flows or inexact penalty methods, our algorithm combines several desirable properties: It asymptotically enforces constraints on the plant steady-state outputs, and temporary constraint violations can be easily quantified. Our algorithm requires only reduced model information in the form of steady-state input-output sensitivities of the plant. Further, as we prove in this paper, global convergence is guaranteed even for non-convex problems. Finally, our algorithm is straightforward to tune, since the step-size is the only tuning parameter.

eess.SY↗

arXiv2020

Quantitative Sensitivity Bounds for Nonlinear Programming and Time-varying Optimization

Inspired by classical sensitivity results for nonlinear optimization, we derive and discuss new quantitative bounds to characterize the solution map and dual variables of a parametrized nonlinear program. In particular, we derive explicit expressions for the local and global Lipschitz constants of the solution map of non-convex or convex optimization problems, respectively. Our results are geared towards the study of time-varying optimization problems which are commonplace in various applications of online optimization, including power systems, robotics, signal processing and more. In this context, our results can be used to bound the rate of change of the optimizer. To illustrate the use of our sensitivity bounds we generalize existing arguments to quantify the tracking performance of continuous-time, monotone running algorithms. Further, we introduce a new continuous-time running algorithm for time-varying constrained optimization which we model as a so-called perturbed sweeping process. For this discontinuous scheme, we establish an explicit bound on the asymptotic solution tracking for a class of convex problems.

math.OC↗

arXiv2020

$H_{\infty}$-Control of Grid-Connected Converters: Design, Objectives and Decentralized Stability Certificates

The modern power system features high penetration of power converters due to the development of renewables, HVDC, etc. Currently, the controller design and parameter tuning of power converters heavily rely on rich engineering experience and extrapolation from a single converter system, which may lead to inferior performance or even instabilities under variable grid conditions. In this paper, we propose an $H_{\infty}$-control design framework to provide a systematic way for the robust and optimal control design of power converters. We discuss how to choose weighting functions to achieve anticipated and robust performance with regards to multiple control objectives. Further, we show that by a proper choice of the weighting functions, the converter can be conveniently specified as grid-forming or grid-following in terms of small-signal dynamics. Moreover, this paper first proposes a decentralized stability criterion based on the small gain theorem, which enables us to guarantee the global small-signal stability of a multi-converter system through local control design of the power converters. We provide high-fidelity nonlinear simulations and hardware-in-the-loop (HIL) real-time simulations to illustrate the effectiveness of our method.

eess.SY↗

arXiv2020

On the Differentiability of Projected Trajectories and the Robust Convergence of Non-convex Anti-Windup Gradient Flows

This paper concerns a new class of discontinuous dynamical systems for constrained optimization. These dynamics are particularly suited to solve nonlinear, non-convex problems in closed-loop with a physical system. Such approaches using feedback controllers that emulate optimization algorithms have recently been proposed for the autonomous optimization of power systems and other infrastructures. In this paper, we consider feedback gradient flows that exploit physical input saturation with the help of anti-windup control to enforce constraints. We prove semi-global convergence of "projected" trajectories to first-order optimal points, i.e., of the trajectories obtained from a pointwise projection onto the feasible set. In the process, we establish properties of the directional derivative of the projection map for non-convex, prox-regular sets.

math.OC↗

arXiv2020

Frequency Stability of Synchronous Machines and Grid-Forming Power Converters

An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel control techniques for converters, so-called grid-forming strategies, are expected to address these challenges and replicate functionalities that so far have been provided by synchronous machines. This article presents a low-inertia case study that includes synchronous machines and converters controlled under various grid-forming techniques. In this work 1) the positive impact of the grid-forming converters on the frequency stability of synchronous machines is highlighted, 2) a qualitative analysis which provides insights into the frequency stability of the system is presented, 3) we explore the behavior of the grid-forming controls when imposing the converter dc and ac current limitations, 4) the importance of the dc dynamics in grid-forming control design as well as the critical need for an effective ac current limitation scheme are reported, and lastly 5) we analyze how and when the interaction between the fast grid-forming converter and the slow synchronous machine dynamics can contribute to the system instability

eess.SY↗

arXiv2020

Anti-Windup Approximations of Oblique Projected Dynamics for Feedback-based Optimization

In this paper we study how high-gain anti-windup schemes can be used to implement projected dynamical systems in control loops that are subject to saturation on a (possibly unknown) set of admissible inputs. This insight is especially useful for the design of autonomous optimization schemes that realize a closed-loop behavior which approximates a particular optimization algorithm (e.g., projected gradient or Newton descent) while requiring only limited model information. In our analysis we show that a saturated integral controller, augmented with an anti-windup scheme, gives rise to a perturbed projected dynamical system. This insight allows us to show uniform convergence and robust practical stability as the anti-windup gain goes to infinity. Moreover, for a special case encountered in autonomous optimization we show robust convergence, i.e., convergence to an optimal steady-state for finite gains. Apart from being particularly suited for online optimization of large-scale systems, such as power grids, these results are potentially useful for other control and optimization applications as they shed a new light on both anti-windup control and projected gradient systems.

math.OC↗

arXiv2020

Sieving out Unnecessary Constraints in Scenario Optimization with an Application to Power Systems

Many optimization problems incorporate uncertainty affecting their parameters and thus their objective functions and constraints. As an example, in chance-constrained optimization the constraints need to be satisfied with a certain probability. To solve these problems, scenario optimization is a well established methodology that ensures feasibility of the solution by enforcing it to satisfy a given number of samples of the constraints. The main theoretical results in scenario optimization provide the methods to determine the necessary number of samples, or to compute the risk based on the number of so-called support constraints. In this paper, we propose a methodology to remove constraints after observing the number of support constraints and the consequent risk. Additionally, we show the effectiveness of the approach with an illustrative example and an application to power distribution grid management when solving the optimal power flow problem. In this problem, uncertainty in the loads converts the admissible voltage limits into chance-constraints.

eess.SY↗

arXiv2019

Impacts of Grid Structure on PLL-Synchronization Stability of Converter-Integrated Power Systems

Small-signal instability of grid-connected power converters may arise when the converters use a phase-locked loop (PLL) to synchronize with a weak grid. Commonly, this stability problem (referred as PLL-synchronization stability in this paper) was studied by employing a single-converter system connected to an infinite bus, which however, omits the impacts of power grid structure and the interactions among multiple converters. Motivated by this, we investigate how the grid structure affects PLL-synchronization stability of multi-converter systems. By using Kron reduction to eliminate the interior nodes, an equivalent reduced network is obtained which contains only the converter nodes. We explicitly show how the Kron-reduced multi-converter system can be decoupled into its modes. This modal representation allows us to demonstrate that the smallest eigenvalue of the grounded Laplacian matrix of the Kron-reduced network dominates the stability margin. We also carry out a sensitivity analysis of this smallest eigenvalue to explore how a perturbation in the original network affects the stability margin. On this basis, we provide guidelines on how to improve the PLL-synchronization stability of multi-converter systems by PLL-retuning, proper placement of converters or enhancing some weak connection in the network. Finally, we validate our findings with simulation results based on a 39-bus test system.

eess.SY↗

arXiv2019

Beyond low-inertia systems: Massive integration of grid-forming power converters in transmission grids

As renewable sources increasingly replace existing conventional generation, the dynamics of the grid drastically changes, posing new challenges for transmission system operations, but also arising new opportunities as converter-based generation is highly controllable in faster timescales. This paper investigates grid stability under the massive integration of grid-forming converters. We utilize detailed converter and synchronous machine models and describe frequency behavior under different penetration levels. First, we show that the transition from 0% to 100% can be achieved from a frequency stability point of view. This is achieved by re-tuning power system stabilizers at high penetration values. Second, we explore the evolution of the nadir and RoCoF for each generator as a function of the amount of inverter-based generation in the grid. This work sheds some light on two major challenges in low and no-inertia systems: defining novel performance metrics that better characterize grid behaviour, and adapting present paradigms in PSS design.

eess.SY↗

arXiv2019

Regularized and Distributionally Robust Data-Enabled Predictive Control

In this paper, we study a data-enabled predictive control (DeePC) algorithm applied to unknown stochastic linear time-invariant systems. The algorithm uses noise-corrupted input/output data to predict future trajectories and compute optimal control policies. To robustify against uncertainties in the input/output data, the control policies are computed to minimize a worst-case expectation of a given objective function. Using techniques from distributionally robust stochastic optimization, we prove that for certain objective functions, the worst-case optimization problem coincides with a regularized version of the DeePC algorithm. These results support the previously observed advantages of the regularized algorithm and provide probabilistic guarantees for its performance. We illustrate the robustness of the regularized algorithm through a numerical case study.

math.OC↗

arXiv2019

Interactions of Grid-Forming Power Converters and Synchronous Machines

An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel control techniques for converters, so-called grid-forming strategies, are expected to address these challenges and replicate functionalities that so far have been provided by synchronous machines. We present a low-inertia high-fidelity case study that includes synchronous machines and models of grid-forming converters. We study interactions between synchronous machines and converters and analyze the response of various grid-forming control approaches to contingencies, i.e., large changes in load and the loss of a synchronous machine. Our case study highlights the positive impact of the grid-forming converters on frequency stability and analyze the potential limitations of each control technique when interacting with synchronous machines. Our studies also analyze how and when the interaction between the fast grid-forming converter, the dc source and ac current limitations, and the slow synchronous machine dynamics contributes to system instability. Lastly, we introduce an effective solution to address the instability issues due to the GFCs ac and dc current limitation.

math.OC↗

arXiv2019

A Market Mechanism for Virtual Inertia

One of the recognized principal issues brought along by the steadfast migration towards power electronic interfaced energy sources is the loss of rotational inertia. In conventional power systems, the inertia of the synchronous machines plays a crucial role in safeguarding against any drastic variations in frequency by acting as a buffer in the event of large and sudden power generation-demand imbalances. In future power electronic-based power systems, the same role can be played by strategically located virtual inertia devices. However, the question looms large as to how the system operators would procure and pay for these devices. In this article, we propose a market mechanism inspired by the ancillary service markets in power supply. We consider a linear network reduced power system model along with a robust $\mathcal{H}_2$ performance metric penalizing the worst-case primary control effort. With a social welfare maximization problem for the system operator as a benchmark, we construct a market mechanism in which bids are invited from agents providing virtual inertia, who in turn are compensated via a Vickrey-Clarke-Groves payment rule. The resulting mechanism ensures truthful bidding to be the dominant bidding strategy and guarantees non-negative payoffs for the agents. A three-region case study is considered in simulations, and a comparison with a regulatory approach to the same problem is presented.

math.OC↗

arXiv2019

Hierarchical and Distributed Monitoring of Voltage Stability in Distribution Networks

We consider the problem of quantifying and assessing the steady-state voltage stability in radial distribution networks. Our approach to the voltage stability problem is based on a local, approximate, and yet highly accurate characterization of the determinant of the Jacobian of the power flow equations parameterized according to the branch-flow model. The proposed determinant approximation allows us to construct a voltage stability index that can be computed in a fully distributed or in a hierarchical fashion, resulting in a scalable approach to the assessment of steady-state voltage stability. Finally, we provide upper bounds for the approximation error and we numerically validate the quality and the robustness of the proposed approximation with the IEEE 123-bus test feeder.

math.OC↗

arXiv2019

The effect of transmission-line dynamics on grid-forming dispatchable virtual oscillator control

In this work, we analyze the effect of transmission line dynamics on grid-forming control for inverter-based AC power systems. In particular, we investigate a dispatchable virtual oscillator control (dVOC) strategy that was recently proposed in the literature. When the dynamics of the transmission lines are neglected, i.e., if an algebraic model of the transmission network is used, dVOC ensures almost global asymptotic stability of a network of AC power inverters with respect to a pre-specified solution of the AC power-flow equations. While this approximation is typically justified for conventional power systems, the electromagnetic transients of the transmission lines can compromise the stability of an inverter-based power system. In this work, we establish explicit bounds on the controller setpoints, branch powers, and control gains that guarantee almost global asymptotic stability of dVOC in combination with a dynamic model of the transmission network.

math.OC↗