Neural Lyapunov Control

We propose new methods for learning control policies and neural network Lyapunov functions for nonlinear control problems, with provable guarantee of stability. The framework consists of a learner that attempts to find the control and Lyapunov functions, and a falsifier that finds counterexamples to quickly guide the learner towards solutions. The procedure terminates when no counterexample is found by the falsifier, in which case the controlled nonlinear system is provably stable. The approach significantly simplifies the process of Lyapunov control design, provides end-to-end correctness guarantee, and can obtain much larger regions of attraction than existing methods such as LQR and SOS/SDP. We show experiments on how the new methods obtain high-quality solutions for challenging control problems.Comment: NeurIPS 201

A review of convex approaches for control, observation and safety of linear parameter varying and Takagi-Sugeno systems

This paper provides a review about the concept of convex systems based on Takagi-Sugeno, linear parameter varying (LPV) and quasi-LPV modeling. These paradigms are capable of hiding the nonlinearities by means of an equivalent description which uses a set of linear models interpolated by appropriately defined weighing functions. Convex systems have become very popular since they allow applying extended linear techniques based on linear matrix inequalities (LMIs) to complex nonlinear systems. This survey aims at providing the reader with a significant overview of the existing LMI-based techniques for convex systems in the fields of control, observation and safety. Firstly, a detailed review of stability, feedback, tracking and model predictive control (MPC) convex controllers is considered. Secondly, the problem of state estimation is addressed through the design of proportional, proportional-integral, unknown input and descriptor observers. Finally, safety of convex systems is discussed by describing popular techniques for fault diagnosis and fault tolerant control (FTC).Peer ReviewedPostprint (published version

Transient stabilization of multimachine power systems with nontrivial transfer conductances

Published versio

Interconnection and damping assignment passivity-based control of mechanical systems with underactuation degree one

Published versio

Decentralized and Fault-Tolerant Control of Power Systems with High Levels of Renewables

Inter-area oscillations have been identified as a major problem faced by most power systems and stability of these oscillations are of vital concern due to the potential for equipment damage and resulting restrictions on available transmission capacity. In recent years, wide-area measurement systems (WAMSs) have been deployed that allow inter-area modes to be observed and identified.Power grids consist of interconnections of many subsystems which may interact with their neighbors and include several sensors and actuator arrays. Modern grids are spatially distributed and centralized strategies are computationally expensive and might be impractical in terms of hardware limitations such as communication speed. Hence, decentralized control strategies are more desirable.Recently, the use of HVDC links, FACTS devices and renewable sources for damping of inter-area oscillations have been discussed in the literature. However, very few such systems have been deployed in practice partly due to the high level of robustness and reliability requirements for any closed loop power system controls. For instance, weather dependent sources such as distributed winds have the ability to provide services only within a narrow range and might not always be available due to weather, maintenance or communication failures.Given this background, the motivation of this work is to ensure power grid resiliency and improve overall grid reliability. The first consideration is the design of optimal decentralized controllers where decisions are based on a subset of total information. The second consideration is to design controllers that incorporate actuator limitations to guarantee the stability and performance of the system. The third consideration is to build robust controllers to ensure resiliency to different actuator failures and availabilities. The fourth consideration is to design distributed, fault-tolerant and cooperative controllers to address above issues at the same time. Finally, stability problem of these controllers with intermittent information transmission is investigated.To validate the feasibility and demonstrate the design principles, a set of comprehensive case studies are conducted based on different power system models including 39-bus New England system and modified Western Electricity Coordinating Council (WECC) system with different operating points, renewable penetration and failures

Robust Stability of Neural-Network Controlled Nonlinear Systems with Parametric Variability

Stability certification and identification of the stabilizable operating region of a system are two important concerns to ensure its operational safety/security and robustness. With the advent of machine-learning tools, these issues are specially important for systems with machine-learned components in the feedback loop. Here we develop a theory for stability and stabilizability of a class of neural-network controlled nonlinear systems, where the equilibria can drift when parametric changes occur. A Lyapunov based convex stability certificate is developed and is further used to devise an estimate for a local Lipschitz upper bound for a neural-network (NN) controller and a corresponding operating domain on the state space, containing an initialization set from where the closed-loop (CL) local asymptotic stability of each system in the class is guaranteed under the same controller, while the system trajectories remain confined to the operating domain. For computing such a robust stabilizing NN controller, a stability guaranteed training (SGT) algorithm is also proposed. The effectiveness of the proposed framework is demonstrated using illustrative examples.Comment: 15 pages, 7 figure

Rational Lyapunov Functions for Estimating and Controlling the Robust Domain of Attraction

postprin

Anti‐windup controller design for singularly perturbed systems subject to actuator saturation

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/166157/1/cth2bf00153.pd