Related papers: Controller Synthesis of Wind Turbine Generator and…
In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees. We first present the stochastic…
Controller synthesis is a theoretical approach to the systematic design of discrete event systems. It constructs a controller to provide feedback and control to the system, ensuring it meets specified control specifications. Traditional…
Controller synthesis for hybrid systems that satisfy temporal specifications expressing various system properties is a challenging problem that has drawn the attention of many researchers. However, making the assumption that such temporal…
The dynamic security assessment of power systems needs to scan contingencies in a preselected set through time-domain simulations. With more and more inverter-based-generation, such as wind and solar power generation, integrated into power…
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the formal approaches can be applied to is limited due to the…
The undergoing transition from conventional to converter-interfaced renewable generation leads to significant challenges in maintaining frequency stability due to declining system inertia. In this paper, a novel control framework for…
The control of dynamical systems under temporal logic specifications among uncontrollable dynamic agents is challenging due to the agents' a-priori unknown behavior. Existing works have considered the problem where either all agents are…
In this paper, we deal with the power regulation of tethered-wing systems and demonstrate advantages of variable-pitch control in mitigating the dynamic mechanical loads and power fluctuations. The proposed scheme is based on a strategy…
This paper presents a framework for automatic synthesis of a control sequence for multi-agent systems governed by continuous linear dynamics under timed constraints. First, the motion of the agents in the workspace is abstracted into…
Inadequate frequency response can arise due to a high penetration of wind turbine generators (WTGs) and requires a frequency support function to be integrated in the WTG. The appropriate design for these controllers to ensure adequate…
In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous Temporal Robustness (ATR) was proposed to capture the…
This paper studies the online control synthesis problem for uncertain discrete-time systems subject to signal temporal logic (STL) specifications. Different from existing techniques, this work proposes an approach based on STL, reachability…
This paper investigates the problem of designing control policies that satisfy high-level specifications described by signal temporal logic (STL) in unknown, stochastic environments. While many existing works concentrate on optimizing the…
Given a Markov decision process (MDP) and a linear-time ($\omega$-regular or LTL) specification, the controller synthesis problem aims to compute the optimal policy that satisfies the specification. More recently, problems that reason over…
Motivated by the increasing concerns over environmental challenges such as global warming and the exhaustion of fossil-fuel reserves, the renewable energy industry has become the most demanded electrical energy production source worldwide.…
This chapter provides an introduction to the modeling and control of power generation from wind turbine systems. In modeling, the focus is on the electrical components: electrical machine (e.g. permanent-magnet synchronous generators),…
This paper presents a method to better integrate dynamic models for renewable resources into synthetic electric grids. An automated dynamic models assignment process is proposed for wind and solar generators. A realistic composition ratio…
Converter-interfaced power sources (CIPS) are hybrid control systems as they may switch between multiple operating modes. Due to increasing penetration, the hybrid behavior of CIPS, such as, wind turbine generators (WTG), may have…
Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces. Designing such…
This paper presents a risk mitigating, time-varying feedback control algorithm for crop production when state dynamics are subject to uncertainty. The model based case study concerns a 40 day production round of lettuce in a greenhouse…