Researcher profile

Florian Dörfler

Florian Dörfler contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
38works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

38 published item(s)

preprint2026arXiv

Adaptive Control of Unknown Linear Switched Systems via Policy Gradient Methods

We consider the policy gradient adaptive control (PGAC) framework, which adaptively updates a control policy in real time, by performing data-based gradient descent steps on the linear quadratic regulator cost. This method has empirically shown to react to changing circumstances, such as model parameters, efficiently. To formalize this observation, we design a PGAC method which stabilizes linear switched systems, where both model parameters and switching time are unknown. We use sliding window data for the policy gradient estimate and show that under a dwell time condition and small dynamics variation, the policy can track the switching dynamics and ensure closed-loop stability. We perform simulations to validate our theoretical results.

preprint2026arXiv

Advanced safety filter based on SOS Control Barrier and Lyapunov Functions

This paper presents a novel safety filter framework that ensures both safety and the preservation of the legacy control action within a nominal region. This modular design allows the safety filter to be integrated into the control hierarchy without compromising the performance of the existing legacy controller during nominal operation. For a control-affine system, this is accomplished by formulating multiple Control Barrier Functions (CBFs) and Control Lyapunov-like Functions (CLFs) conditions, alongside a forward invariance condition for the legacy controller, as sum-of-squares constraints. Additionally, the state-dependent inequality constraints of the resulting Quadratic Program (QP) -- encoding the CBF and CLF conditions -- are designed to remain inactive within the nominal region, ensuring preservation of the legacy control action and performance. Our safety filter design is also the first to include quadratic input constraints, and does not need an explicit specification of the attractor, as it is implicitly defined by the legacy controller. To avoid the chattering effect and guarantee the uniqueness and Lipschitz continuity of solutions, the state-dependent inequality constraints of the Quadratic Program are selected to be regular. Finally, we demonstrate the method in a detailed case study involving the control of a three-phase ac/dc power converter.

preprint2026arXiv

Socially-Aware Recommender Systems Mitigate Opinion Clusterization

Recommender systems shape online interactions by matching users with creators content to maximize engagement. Creators, in turn, adapt their content to align with users preferences and enhance their popularity. At the same time, users preferences evolve under the influence of both suggested content from the recommender system and content shared within their social circles. This feedback loop generates a complex interplay between users, creators, and recommender algorithms, which is the key cause of filter bubbles and opinion polarization. We develop a social network-aware recommender system that explicitly accounts for this user-creators feedback interaction and strategically exploits the topology of the user's own social network to promote diversification. Our approach highlights how accounting for and exploiting user's social network in the recommender system design is crucial to mediate filter bubble effects while balancing content diversity with personalization. Provably, opinion clusterization is positively correlated with the influence of recommended content on user opinions. Ultimately, the proposed approach shows the power of socially-aware recommender systems in combating opinion polarization and clusterization phenomena.

preprint2024arXiv

Optimization Algorithms as Robust Feedback Controllers

Mathematical optimization is one of the cornerstones of modern engineering research and practice. Yet, throughout all application domains, mathematical optimization is, for the most part, considered to be a numerical discipline. Optimization problems are formulated to be solved numerically with specific algorithms running on microprocessors. An emerging alternative is to view optimization algorithms as dynamical systems. Besides being insightful in itself, this perspective liberates optimization methods from specific numerical and algorithmic aspects and opens up new possibilities to endow complex real-world systems with sophisticated self-optimizing behavior. Towards this goal, it is necessary to understand how numerical optimization algorithms can be converted into feedback controllers to enable robust "closed-loop optimization". In this article, we focus on recent control designs under the name of "feedback-based optimization" which implement optimization algorithms directly in closed loop with physical systems. In addition to a brief overview of selected continuous-time dynamical systems for optimization, our particular emphasis in this survey lies on closed-loop stability as well as the robust enforcement of physical and operational constraints in closed-loop implementations. To bypass accessing partial model information of physical systems, we further elaborate on fully data-driven and model-free operations. We highlight an emerging application in autonomous reserve dispatch in power systems, where the theory has transitioned to practice by now. We also provide short expository reviews of pioneering applications in communication networks and electricity grids, as well as related research streams, including extremum seeking and pertinent methods from model predictive and process control, to facilitate high-level comparisons with the main topic of this survey.

preprint2023arXiv

Grid-Forming and Spatially Distributed Control Design of Dynamic Virtual Power Plants

We present a novel grid-forming control design approach for dynamic virtual power plants (DVPP). We consider a group of heterogeneous grid-forming distributed energy resources (DER) which collectively provide desired dynamic ancillary services, such as fast frequency and voltage control. To achieve that, we study the nontrivial aggregation of grid-forming DERs to establish the DVPP, and employ an adaptive divide-and-conquer strategy that disaggregates the desired control specifications of the aggregate DVPP via adaptive dynamic participation factors to obtain local desired behaviors of each DER. We then design local controllers at the DER level to realize these local desired behaviors. In the process, physical and engineered limits of each DER are taken into account. We extend the proposed approach to make it also compatible with grid-following DER controls, thereby establishing the concept of so-called hybrid DVPPs. Furthermore, we generalize the DVPP design to spatially dispersed DER locations in power grids with different voltage levels and R/X ratios. Finally, the DVPP control performance is verified via numerical case studies in the IEEE nine-bus transmission grid with an interconnected medium voltage distribution grid.

preprint2023arXiv

Nonlinear Stability of Complex Droop Control in Converter-Based Power Systems

In this letter, we study the nonlinear stability problem of converter-based power systems, where the converter dynamics are governed by a complex droop control. This complex droop control augments the well-known power-frequency (p-f) droop control, and it proves to be equivalent to the state-of-the-art dispatchable virtual oscillator control (dVOC). In this regard, it is recognized as a promising grid-forming solution to address the high penetration of converters in future power systems. In previous work, the global stability of dVOC (i.e., complex droop control) has been proven by prespecifying a nominal synchronous steady state. For a general case of non-nominal (i.e., drooped) synchronous steady states, however, the stability problem requires further investigation. In this letter, we provide parametric conditions under which a non-nominal synchronous steady state exists and the system is almost globally asymptotically stable with respect to this non-nominal synchronous steady state.

preprint2022arXiv

Adaptive Real-Time Grid Operation via Online Feedback Optimization with Sensitivity Estimation

In this paper we propose an approach based on an Online Feedback Optimization (OFO) controller with grid input-output sensitivity estimation for real-time grid operation, e.g., at subsecond time scales. The OFO controller uses grid measurements as feedback to update the value of the controllable elements in the grid, and track the solution of a time-varying AC Optimal Power Flow (AC-OPF). Instead of relying on a full grid model, e.g., grid admittance matrix, OFO only requires the steady-state sensitivity relating a change in the controllable inputs, e.g., power injections set-points, to a change in the measured outputs, e.g., voltage magnitudes. Since an inaccurate sensitivity may lead to a model-mismatch and jeopardize the performance, we propose a recursive least-squares estimation that enables OFO to learn the sensitivity from measurements during real-time operation, turning OFO into a model-free approach. We analytically certify the convergence of the proposed OFO with sensitivity estimation, and validate its performance on a simulation using the IEEE 123-bus test feeder, and comparing it against a state-of-the-art OFO with constant sensitivity.

preprint2022arXiv

Approximation by Simple Poles -- Part I: Density and Geometric Convergence Rate in Hardy Space

Optimal linear feedback control design is a valuable but challenging problem due to nonconvexity of the underlying optimization and infinite dimensionality of the Hardy space of stabilizing controllers. A powerful class of techniques for solving optimal control problems involves using reparameterization to transform the control design to a convex but infinite dimensional optimization. To make the problem tractable, historical work focuses on Galerkin-type finite dimensional approximations to Hardy space, especially those involving Lorentz series approximations such as the finite impulse response appproximation. However, Lorentz series approximations can lead to infeasibility, difficulty incorporating prior knowledge, deadbeat control in the case of finite impulse response, and increased suboptimality, especially for systems with large separation of time scales. The goal of this two-part article is to introduce a new Galerkin-type method based on approximation by transfer functions with a selection of simple poles, and to apply this simple pole approximation for optimal control design. In Part I, error bounds for approximating arbitrary transfer functions in Hardy space are provided based on the geometry of the pole selection. It is shown that the space of transfer functions with these simple poles converges to the full Hardy space, and a uniform convergence rate is provided based purely on the geometry of the pole selection. This is then specialized to derive a convergence rate for a particularly interesting pole selection based on an Archimedes spiral. In Part II, the simple pole approximation is combined with system level synthesis, a recent reparameterization approach, to develop a new control design method. This technique is convex and tractable, always feasible, can include prior knowledge, does not result in deadbeat control, and works well for systems with large separation of tim

preprint2022arXiv

Approximation by Simple Poles -- Part II: System Level Synthesis Beyond Finite Impulse Response

In Part I, a novel Galerkin-type method for finite dimensional approximations of transfer functions in Hardy space was developed based on approximation by simple poles. In Part II, this approximation is applied to system level synthesis, a recent approach based on a clever reparameterization, to develop a new technique for optimal control design. To solve system level synthesis problems, prior work relies on finite impulse response approximations that lead to deadbeat control, and that can experience infeasibility and increased suboptimality, especially in systems with large separation of time scales. The new design method does not result in deadbeat control, is convex and tractable, always feasible, can incorporate prior knowledge, and works well for systems with large separation of time scales. Suboptimality bounds with convergence rate depending on the geometry of the pole selection are provided. An example demonstrates superior performance of the method.

preprint2022arXiv

Augmentation of Generalized Multivariable Grid-Forming Control for Power Converters with Cascaded Controllers

The classic design of grid-forming control strategies for power converters rely on the stringent assumption of the timescale separation between DC and AC states and their corresponding control loops, e.g., AC and DC loops, power and cascaded voltage and current loops, etc. This paper proposes a multi-input multi-output based grid-forming (MIMO-GFM) control for the power converters using a multivariable feedback structure. First, the MIMO-GFM control couples the AC and DC loops by a general multivariable control transfer matrix. Then, the parameters design is transformed into a standard fixed-structure H-infinity synthesis. By this way, all the loops can be tuned simultaneously and optimally without relying on the assumptions of loop decoupling. Therefore, a superior and robust performance can be achieved. Experimental results verify the proposed method.

preprint2022arXiv

Behavioral uncertainty quantification for data-driven control

This paper explores the problem of uncertainty quantification in the behavioral setting for data-driven control. Building on classical ideas from robust control, the problem is regarded as that of selecting a metric which is best suited to a data-based description of uncertainties. Leveraging on Willems' fundamental lemma, restricted behaviors are viewed as subspaces of fixed dimension, which may be represented by data matrices. Consequently, metrics between restricted behaviors are defined as distances between points on the Grassmannian, i.e., the set of all subspaces of equal dimension in a given vector space. A new metric is defined on the set of restricted behaviors as a direct finite-time counterpart of the classical gap metric. The metric is shown to capture parametric uncertainty for the class of autoregressive (AR) models. Numerical simulations illustrate the value of the new metric with a data-driven mode recognition and control case study.

preprint2022arXiv

Cross-layer Design for Real-Time Grid Operation: Estimation, Optimization and Power Flow

In this paper, we propose a combined Online Feedback Optimization (OFO) and dynamic estimation approach for a real-time power grid operation under time-varying conditions. A dynamic estimation uses grid measurements to generate the information required by an OFO controller, that incrementally steers the controllable power injections set-points towards the solutions of a time-varying AC Optimal Power Flow (AC-OPF) problem. More concretely, we propose a quadratic programming-based OFO that guarantees satisfying the grid operational constraints, like admissible voltage limits. Within the estimation, we design an online power flow solver that efficiently computes power flow approximations in real time. Finally, we certify the stability and convergence of this combined approach under time-varying conditions, and we validate its effectiveness on a simulation with a test feeder and high resolution consumption data.

preprint2022arXiv

Distributed Feedback Optimisation for Robotic Coordination

Feedback optimisation is an emerging technique aiming at steering a system to an optimal steady state for a given objective function. We show that it is possible to employ this control strategy in a distributed manner. Moreover, we prove asymptotic convergence to the set of optimal configurations. To this scope, we show that exponential stability is needed only for the portion of the state that affects the objective function. This is showcased by driving a swarm of agents towards a target location while maintaining a target formation. Finally, we provide a sufficient condition on the topological structure of the specified formation to guarantee convergence of the swarm in formation around the target location.

preprint2022arXiv

Experimental Validation of Feedback Optimization in Power Distribution Grids

We consider the problem of controlling the voltage of a distribution feeder using the reactive power capabilities of inverters. On a real distribution grid, we compare the local Volt/VAr droop control recommended in recent grid codes, a centralized dispatch based on optimal power flow (OPF) programming, and a feedback optimization (FO) controller that we propose. The local droop control yields suboptimal regulation, as predicted analytically. The OPF-based dispatch strategy requires an accurate grid model and measurement of all loads on the feeder in order to achieve proper voltage regulation. However, in the experiment, the OPF-based strategy violates voltage constraints due to inevitable model mismatch and uncertainties. Our proposed FO controller, on the other hand, satisfies the constraints and does not require load measurements or any grid state estimation. The only needed model knowledge is the sensitivity of the voltages with respect to reactive power, which can be obtained from data. As we show, an approximation of these sensitivities is also sufficient, which makes the approach essentially model-free, easy to tune, compatible with the current sensing and control infrastructure, and remarkably robust to measurement noise. We expect these properties to be fundamental features of FO for power systems and not specific to Volt/VAr regulation or to distribution grids.

preprint2022arXiv

Hybrid Angle Control and Almost Global Stability of Non-synchronous Hybrid AC/DC Power Grids

This paper explores the stability of nonsynchronous hybrid ac/dc power grids under the grid-forming hybrid angle control strategy. We formulate dynamical models for the ac grids and transmission lines, interlinking converters, and dc generations and interconnections. Next, we establish the existence and uniqueness of the closed-loop equilibria for the overall system. Subsequently, we demonstrate global attractivity of the equilibria, local asymptotic stability of the desired equilibrium point, and instability and zero-Lebesgue-measure region of attraction for other equilibria. The theoretic results are derived under mild, parametric, and unified stability/instability conditions. Finally, relying on the intermediate results, we conclude the almost global asymptotic stability of the hybrid ac/dc power grids with interlinking converters that are equipped with hybrid angle control. Last, we present several remarks on the practical and theoretical aspects of the problem under investigation.

preprint2022arXiv

Modeling of Political Systems using Wasserstein Gradient Flows

The study of complex political phenomena such as parties' polarization calls for mathematical models of political systems. In this paper, we aim at modeling the time evolution of a political system whereby various parties selfishly interact to maximize their political success (e.g., number of votes). More specifically, we identify the ideology of a party as a probability distribution over a one-dimensional real-valued ideology space, and we formulate a gradient flow in the probability space (also called a Wasserstein gradient flow) to study its temporal evolution. We characterize the equilibria of the arising dynamic system, and establish local convergence under mild assumptions. We calibrate and validate our model with real-world time-series data of the time evolution of the ideologies of the Republican and Democratic parties in the US Congress. Our framework allows to rigorously reason about various political effects such as parties' polarization and homogeneity. Among others, our mechanistic model can explain why political parties become more polarized and less inclusive with time (their distributions get "tighter"), until all candidates in a party converge asymptotically to the same ideological position.

preprint2022arXiv

Robust and Kernelized Data-Enabled Predictive Control for Nonlinear Systems

This paper presents a robust and kernelized data-enabled predictive control (RoKDeePC) algorithm to perform model-free optimal control for nonlinear systems using only input and output data. The algorithm combines robust predictive control and a non-parametric representation of nonlinear systems enabled by regularized kernel methods. The latter is based on implicitly learning the nonlinear behavior of the system via the representer theorem. Instead of seeking a model and then performing control design, our method goes directly from data to control. This allows us to robustify the control inputs against the uncertainties in data by considering a min-max optimization problem to calculate the optimal control sequence. We show that by incorporating a proper uncertainty set, this min-max problem can be reformulated as a nonconvex but structured minimization problem. By exploiting its structure, we present a projected gradient descent algorithm to effectively solve this problem. Finally, we test the RoKDeePC on two nonlinear example systems - one academic case study and a grid-forming converter feeding a nonlinear load - and compare it with some existing nonlinear data-driven predictive control methods.

preprint2022arXiv

Robust Fundamental Lemma for Data-driven Control

The fundamental lemma by Willems and coauthors facilitates a parameterization of all trajectories of a linear time-invariant system in terms of a single, measured one. This result plays an important role in data-driven simulation and control. Under the hood, the fundamental lemma works by applying a persistently exciting input to the system. This ensures that the Hankel matrix of resulting input/output data has the "right" rank, meaning that its columns span the entire subspace of trajectories. However, such binary rank conditions are known to be fragile in the sense that a small additive noise could already cause the Hankel matrix to have full rank. Therefore, in this extended abstract we present a robust version of the fundamental lemma. The idea behind the approach is to guarantee certain lower bounds on the singular values of the data Hankel matrix, rather than mere rank conditions. This is achieved by designing the inputs of the experiment such that the minimum singular value of a deeper input Hankel matrix is sufficiently large. This inspires a new quantitative and robust notion of persistency of excitation. The relevance of the result for data-driven control will also be highlighted through comparing the predictive control performance for varying degrees of persistently exciting data.

preprint2022arXiv

Robust online joint state/input/parameter estimation of linear systems

This paper presents a method for jointly estimating the state, input, and parameters of linear systems in an online fashion. The method is specially designed for measurements that are corrupted with non-Gaussian noise or outliers, which are commonly found in engineering applications. In particular, it combines recursive, alternating, and iteratively-reweighted least squares into a single, one-step algorithm, which solves the estimation problem online and benefits from the robustness of least-deviation regression methods. The convergence of the iterative method is formally guaranteed. Numerical experiments show the good performance of the estimation algorithm in presence of outliers and in comparison to state-of-the-art methods.

preprint2021arXiv

A Lyapunov framework for nested dynamical systems on multiple time scales with application to converter-based power systems

In this work, we present a Lyapunov framework for establishing stability with respect to a compact set for a nested interconnection of nonlinear dynamical systems ordered from slow to fast according to their convergence rates, where each of the dynamics are influenced only by the slower dynamics and the successive fastest one. The proposed approach explicitly considers more than two time scales, it does not require modeling multiple time scales via scalar time constants, and provides analytic bounds that make ad-hoc time-scale separation arguments rigorous. Motivated by the technical results, we develop a novel control strategy for a grid-forming power converter that consists of an inner cascaded two-degree of freedom controller and dispatchable virtual oscillator control as a reference model. The resulting closed-loop converter-based AC power system is in the form of a nested system with multiple time scales. We apply our technical results to obtain explicit bounds on the controller set-points, branch powers, and control gains that guarantee almost global asymptotic stability of the multi-converter AC power system with respect to a pre-specified solution of the AC power-flow equations. Finally, we validate the performance of the proposed control structure in a case study using a high-fidelity simulation with detailed hardware validated converter models.

preprint2021arXiv

Generalized Multivariable Grid-Forming Control Design for Power Converters

The grid-forming converter is an important unit in the future power system with more inverter-interfaced generators. However, improving its performance is still a key challenge. This paper proposes a generalized architecture of the grid-forming converter from the view of multivariable feedback control. As a result, many of the existing popular control strategies, i.e., droop control, power synchronization control, virtual synchronous generator control, matching control, dispatchable virtual oscillator control, and their improved forms are unified into a multivariable feedback control transfer matrix working on several linear and nonlinear error signals. Meanwhile, unlike the traditional assumptions of decoupling between AC and DC control, active power and reactive power control, the proposed configuration simultaneously takes all of them into consideration, which therefore can provide better performance. As an example, a new multi-input-multi-output-based grid-forming (MIMO-GFM) control is proposed based on the generalized configuration. To cope with the multivariable feedback, an optimal and structured $H_{\infty}$ synthesis is used to design the control parameters. At last, simulation and experimental results show superior performance and robustness of the proposed configuration and control.

preprint2021arXiv

Posetal Games: Efficiency, Existence, and Refinement of Equilibria in Games with Prioritized Metrics

Modern applications require robots to comply with multiple, often conflicting rules and to interact with the other agents. We present Posetal Games as a class of games in which each player expresses a preference over the outcomes via a partially ordered set of metrics. This allows one to combine hierarchical priorities of each player with the interactive nature of the environment. By contextualizing standard game theoretical notions, we provide two sufficient conditions on the preference of the players to prove existence of pure Nash Equilibria in finite action sets. Moreover, we define formal operations on the preference structures and link them to a refinement of the game solutions, showing how the set of equilibria can be systematically shrunk. The presented results are showcased in a driving game where autonomous vehicles select from a finite set of trajectories. The results demonstrate the interpretability of results in terms of minimum-rank-violation for each player.

preprint2021arXiv

Sampled-Data Online Feedback Equilibrium Seeking: Stability and Tracking

This paper proposes a general framework for constructing feedback controllers that drive complex dynamical systems to "efficient" steady-state (or slowly varying) operating points. Efficiency is encoded using generalized equations which can model a broad spectrum of useful objectives, such as optimality or equilibria (e.g. Nash, Wardrop, etc.) in noncooperative games. The core idea of the proposed approach is to directly implement iterative solution (or equilibrium seeking) algorithms in closed loop with physical systems. Sufficient conditions for closed-loop stability and robustness are derived; these also serve as the first closed-loop stability results for sampled-data feedback-based optimization. Numerical simulations of smart building automation and game-theoretic robotic swarm coordination support the theoretical results.

preprint2020arXiv

$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.

preprint2020arXiv

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.

preprint2020arXiv

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

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2019arXiv

Placement and Implementation of Grid-Forming and Grid-Following Virtual Inertia and Fast Frequency Response

The electric power system is witnessing a shift in the technology of generation. Conventional thermal generation based on synchronous machines is gradually being replaced by power electronics interfaced renewable generation. This new mode of generation, however, lacks the natural inertia and governor damping which are quintessential features of synchronous machines. The loss of these features results in increasing frequency excursions and, ultimately, system instability. Among the numerous studies on mitigating these undesirable effects, the main approach involves virtual inertia emulation to mimic the behavior of synchronous machines. In this work, explicit models of grid-following and grid-forming virtual inertia (VI) devices are developed for inertia emulation in low-inertia systems. An optimization problem is formulated to optimize the parameters and location of these devices in a power system to increase its resilience. Finally, a case study based on a high-fidelity model of the South-East Australian system is used to illustrate the effectiveness of such devices.

preprint2018arXiv

Generic Existence of Unique Lagrange Multipliers in AC Optimal Power Flow

Solutions to nonlinear, nonconvex optimization problems can fail to satisfy the KKT optimality conditions even when they are optimal. This is due to the fact that unless constraint qualifications (CQ) are satisfied, Lagrange multipliers may fail to exist. Even if the KKT conditions are applicable, the multipliers may not be unique. These possibilities also affect AC optimal power flow (OPF) problems which are routinely solved in power systems planning, scheduling and operations. The complex structure -- in particular the presence of the nonlinear power flow equations which naturally exhibit a structural degeneracy -- make any attempt to establish CQs for the entire class of problems very challenging. In this paper, we resort to tools from differential topology to show that for AC OPF problems in various contexts the linear independence constraint qualification is satisfied almost certainly, thus effectively obviating the usual assumption on CQs. Consequently, for any local optimizer there generically exists a unique set of multipliers that satisfy the KKT conditions.

preprint2018arXiv

Robust Decentralized Secondary Frequency Control in Power Systems: Merits and Trade-Offs

Frequency restoration in power systems is conventionally performed by broadcasting a centralized signal to local controllers. As a result of the energy transition, technological advances, and the scientific interest in distributed control and optimization methods, a plethora of distributed frequency control strategies have been proposed recently that rely on communication amongst local controllers. In this paper we propose a fully decentralized leaky integral controller for frequency restoration that is derived from a classic lag element. We study steady-state, asymptotic optimality, nominal stability, input-to-state stability, noise rejection, transient performance, and robustness properties of this controller in closed loop with a nonlinear and multivariable power system model. We demonstrate that the leaky integral controller can strike an acceptable trade-off between performance and robustness as well as between asymptotic disturbance rejection and transient convergence rate by tuning its DC gain and time constant. We compare our findings to conventional decentralized integral control and distributed-averaging-based integral control in theory and simulations.

preprint2018arXiv

Stability of Dynamic Feedback Optimization with Applications to Power Systems

We consider the problem of optimizing the steady state of a dynamical system in closed loop. Conventionally, the design of feedback optimization control laws assumes that the system is stationary. However, in reality, the dynamics of the (slow) iterative optimization routines can interfere with the (fast) system dynamics. We provide a study of the stability and convergence of these feedback optimization setups in closed loop with the underlying plant, via a custom-tailored singular perturbation analysis result. Our study is particularly geared towards applications in power systems and the question whether recently developed online optimization schemes can be deployed without jeopardizing dynamic system stability.

preprint2018arXiv

Time-varying Projected Dynamical Systems with Applications to Feedback Optimization of Power Systems

This paper is concerned with the study of continuous-time, non-smooth dynamical systems which arise in the context of time-varying non-convex optimization problems, as for example the feedback-based optimization of power systems. We generalize the notion of projected dynamical systems to time-varying, possibly non-regular, domains and derive conditions for the existence of so-called Krasovskii solutions. The key insight is that for trajectories to exist, informally, the time-varying domain can only contract at a bounded rate whereas it may expand discontinuously. This condition is met, in particular, by feasible sets delimited via piecewise differentiable functions under appropriate constraint qualifications. To illustrate the necessity and usefulness of such a general framework, we consider a simple yet insightful power system example, and we discuss the implications of the proposed conditions for the design of feedback optimization schemes.