Related papers: Formal Controller Synthesis for Frequency Regulati…
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorithm to obtain a time-partitioned finite automaton from an STL…
This paper presents necessary and sufficient conditions for deriving a strictly proper dynamic controller which satisfies the negative imaginary output feedback control problem. Our synthesis method divides the output feedback control…
Due to various green initiatives, renewable energy will be massively incorporated into the future smart grid. However, the intermittency of the renewables may result in power imbalance, thus adversely affecting the stability of a power…
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…
This letter proposes a simple and inexpensive technique to improve the frequency control of distributed energy resources. The proposed control consists in modifying the conventional estimated bus frequency signal with an additional feedback…
The event-triggered control with intermittent output can reduce the communication burden between the controller and plant side over the network. It has been exploited for adaptive output feedback control of uncertain nonlinear systems in…
We investigate the problem of practical output regulation, i.e., to design a controller that brings the system output in the vicinity of a desired target value while keeping the other variables bounded. We consider uncertain systems that…
The increasing penetration of renewable energy leads to a continuous reduction in system inertia, for which conventional synchronization criteria based solely on frequency consistency can no longer accurately capture the coupled dynamics of…
Current-mode control is one of the most popular controller strategies for power converters. With the advent of wide bandgap devices including GaN and SiC, higher switching frequencies have become more viable at higher power because of lower…
This article introduces two control frameworks: one for Grid-Following (GFL) inverters aiding Grid-Forming (GFM) inverters in voltage regulation during large contingency events and optimizing power transactions under normal conditions; and…
In this paper, we propose a symbolic control synthesis method for nonlinear sampled switched systems whose vector fields are one-sided Lipschitz. The main idea is to use an approximate model obtained from the forward Euler method to build a…
We present a distributed and price-based control approach for frequency regulation in power grids with nonzero line conductances. Both grid and controller are modeled as a port-Hamiltonian system, where the grid model consists of…
This paper considers the problem of controller synthesis of signal temporal logic (STL) specifications for large-scale multi-agent systems, where the agents are dynamically coupled and subject to collaborative tasks. A compositional…
Controlling complex dynamical systems has been a topic of considerable interest in academic circles in recent decades. While existing works have primarily focused on closed-loop control schemes with infinite-time durations, this paper…
Complex droop control, alternatively known as dispatchable virtual oscillator control (dVOC), stands out for its unique capabilities in synchronization and voltage stabilization among existing control strategies for grid-forming converters.…
We discuss the applicability of classical control theory to problems in smart grids and smart cities. We use tools from iterated function systems to identify controllers with desirable properties. In particular, controllers are identified…
We present DeepDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network (DNN) classifiers for the perception step of their decision-making processes.…
In this paper, we focus on the problem of compositional synthesis of controllers enforcing signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected systems. By leveraging the idea of funnel-based control,…
The concept of complex frequency has been recently introduced on the IEEE Transactions on Power Systems to study bus voltage variations in magnitude and frequency and their link with complex power injections of a power system. In this…
The control synthesis of a dynamic system subject to a signal temporal logic (STL) specification is commonly formulated as a mixed-integer linear/convex programming (MILP/MICP) problem. Solving such a problem is computationally expensive…