Nonlinear Analysis of an Improved Swing Equation

In this paper, we investigate the properties of an improved swing equation model for synchronous generators. This model is derived by omitting the main simplifying assumption of the conventional swing equation, and requires a novel analysis for the stability and frequency regulation. We consider two scenarios. First we study the case that a synchronous generator is connected to a constant load. Second, we inspect the case of the single machine connected to an infinite bus. Simulations verify the results

Designing materials for electrochemical carbon dioxide recycling

Electrochemical carbon dioxide recycling provides an attractive approach to synthesizing fuels and chemical feedstocks using renewable energy. On the path to deploying this technology, basic and applied scientific hurdles remain. Integrating catalytic design with mechanistic understanding yields scientific insights and progresses the technology towards industrial relevance. Catalysts must be able to generate valuable carbon-based products with better selectivity, lower overpotentials and improved current densities with extended operation. Here, we describe progress and identify mechanistic questions and performance metrics for catalysts that can enable carbon-neutral renewable energy storage and utilization

Application of unified invariants for cyber physical systems in smart grids

Cyber-Physical Systems (CPS) are complex engineered systems which consist of physical components with an underlying cyber network. The three main components of a cyber-physical System are: physical system, networking and communications element and a distributed cyber system. The primary challenge for cyber-physical systems is to understand what happens when various sub-systems, which have been developed in an isolated environment, are integrated. CPS studies need to ensure sub-systems that had been designed in isolation to meet certain specifications, when combined, do not cause the overall system to fail. The crux of cyber-physical research is thus to find a common platform to bind all these different components, so as to monitor the overall system performance. This dissertation discusses how to unify these different aspects and tackles the issue of synthesizing, verifying and monitoring highly diverse environments by introducing the concept of Unified Invariants. In this dissertation, a smart grid has been used to implement and validate this concept of Unified Invariants towards building a robust cyber-physical system. There are several ways to compromise the reliable operation of a smart grid. Examples of such contingent events are voltage collapse, line overloading and dynamic instability. Physical system invariants have been developed to identify and thwart such events which threaten the integrity of the physical system. These physical invariants have be integrated with cyber controllers to ensure a safe, stable and reliable operation of the smart grid. This is an unique concept and differs from previous methods in the fact that while earlier methods have tried to compose functionality of each domain of the cyber-physical world, the Unified Invariant method serves as a transformative approach to express and impose system properties that are common to all the domains (cyber, physical, networking). The net outcome of such an approach is that the resulting CPSs will be safe and stable at the system level, rather than just the sub-system level. --Abstract, page iii

An energy-based analysis of reduced-order models of (networked) synchronous machines

Stability of power networks is an increasingly important topic because of the high penetration of renewable distributed generation units. This requires the development of advanced techniques for the analysis and controller design of power networks. Although there are widely accepted reduced-order models to describe the power network dynamics, they are commonly presented without details about the reduction procedure. The present article aims to provide a modular model derivation of multi-machine power networks. Starting from first-principle fundamental physics, we present detailed dynamical models of synchronous machines and clearly state the underlying assumptions which lead to some of the standard reduced-order multi-machine models. In addition, the energy functions for these models are derived, which allows to represent the multi-machine systems as port-Hamiltonian systems. Moreover, the systems are proven to be shifted passive, which permits for a power-preserving interconnection with other passive components. [GRAPHICS]

Utilizing Converter-Interfaced Sources for Frequency Control with Guaranteed Performance in Power Systems

To integrate renewable energy, converter-interfaced sources (CISs) keep penetrating into power systems and degrade the grid frequency response. Control synthesis towards guaranteed performance is a challenging task. Meanwhile, the potentials of highly controllable converters are far from fully developed. With properly designed controllers the CISs can not only eliminate the negative impacts on the grid, but also provide performance guarantees.First, the wind turbine generator (WTG) is chosen to represent the CISs. An augmented system frequency response (ASFR) model is derived, including the system frequency response model and a reduced-order model of the WTG representing the supportive active power due to the supplementary inputs.Second, the framework for safety verification is introduced. A new concept, region of safety (ROS), is proposed, and the safe switching principle is provided. Two different approaches are proposed to estimate the largest ROS, which can be solved using the sum of squares programming.Third, the critical switching instants for adequate frequency response are obtained through the study of the ASFR model. A safe switching window is discovered, and a safe speed recovery strategy is proposed to ensure the safety of the second frequency dip due to the WTG speed recovery.Fourth, an adaptive safety supervisory control (SSC) is proposed with a two-loop configuration, where the supervisor is scheduled with respect to the varying renewable penetration level. For small-scale system, a decentralized fashion of the SSC is proposed under rational approximations and verified on the IEEE 39-bus system.Fifth, a two-level control diagram is proposed so that the frequency of a microgrid satisfies the temporal logic specifications (TLSs). The controller is configured into a scheduling level and a triggering level. The satisfaction of TLSs will be guaranteed by the scheduling level, and triggering level will determine the activation instant.Finally, a novel model reference control based synthetic inertia emulation strategy is proposed. This novel control strategy ensures precise emulated inertia by the WTGs as opposed to the trial and error procedure of conventional methods. Safety bounds can be easily derived based on the reference model under the worst-case scenario

The Penn Jerboa: A Platform for Exploring Parallel Composition of Templates

We have built a 12DOF, passive-compliant legged, tailed biped actuated by four brushless DC motors. We anticipate that this machine will achieve varied modes of quasistatic and dynamic balance, enabling a broad range of locomotion tasks including sitting, standing, walking, hopping, running, turning, leaping, and more. Achieving this diversity of behavior with a single under-actuated body, requires a correspondingly diverse array of controllers, motivating our interest in compositional techniques that promote mixing and reuse of a relatively few base constituents to achieve a combinatorially growing array of available choices. Here we report on the development of one important example of such a behavioral programming method, the construction of a novel monopedal sagittal plane hopping gait through parallel composition of four decoupled 1DOF base controllers. For this example behavior, the legs are locked in phase and the body is fastened to a boom to restrict motion to the sagittal plane. The platform's locomotion is powered by the hip motor that adjusts leg touchdown angle in flight and balance in stance, along with a tail motor that adjusts body shape in flight and drives energy into the passive leg shank spring during stance. The motor control signals arise from the application in parallel of four simple, completely decoupled 1DOF feedback laws that provably stabilize in isolation four corresponding 1DOF abstract reference plants. Each of these abstract 1DOF closed loop dynamics represents some simple but crucial specific component of the locomotion task at hand. We present a partial proof of correctness for this parallel composition of template reference systems along with data from the physical platform suggesting these templates are anchored as evidenced by the correspondence of their characteristic motions with a suitably transformed image of traces from the physical platform.Comment: Technical Report to Accompany: A. De and D. Koditschek, "Parallel composition of templates for tail-energized planar hopping," in 2015 IEEE International Conference on Robotics and Automation (ICRA), May 2015. v2: Used plain latex article, correct gap radius and specific force/torque number