Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation

We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating continuous invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of predefined templates. Using qualitative analysis, we discuss heuristics to reduce the numbers of parameters appearing in the templates. To avoid too much human interaction in choosing templates as well as the high computational complexity caused by QE, we further investigate applications of the SOS (sum-of-squares) relaxation approach and the template polyhedra approach in continuous invariant generation, which are both well supported by efficient numerical solvers

Automatic determination of connected sublevel sets of CPA Lyapunov functions

Lyapunov functions are an important tool to determine the basin of attraction of equilibria. In particular, the connected component of a sublevel set, which contains the equilibrium, is a forward invariant subset of the basin of attraction. One method to compute a Lyapunov function for a general nonlinear autonomous differential equation constructs a Lyapunov function, which is continuous and piecewise affine (CPA) on each simplex of a fixed triangulation. In this paper we propose an algorithm to determine the largest connected sublevel set of such a CPA Lyapunov function and prove that it determines the largest subset of the basin of attraction that can be obtained by this Lyapunov function

Exact Asymptotic Stability Analysis and Region-of-Attraction Estimation for Nonlinear Systems

We address the problem of asymptotic stability and region-of-attraction analysis of nonlinear dynamical systems. A hybrid symbolic-numeric method is presented to compute exact Lyapunov functions and exact estimates of regions of attraction of nonlinear systems efficiently. A numerical Lyapunov function and an estimate of region of attraction can be obtained by solving an (bilinear) SOS programming via BMI solver, then the modified Newton refinement and rational vector recovery techniques are applied to obtain exact Lyapunov functions and verified estimates of regions of attraction with rational coefficients. Experiments on some benchmarks are given to illustrate the efficiency of our algorithm

Data-driven stabilization and safe control of nonlinear systems

The recent successes of machine learning solutions have inspired the research of new control algorithms derived directly from the available data without any intermediate step. Being able to design a stabilizing controller directly from data has the main advantage that, since it does not rely on a model of the system to control, the controller design is not influenced by any modeling error.Most of the time real systems are simplified with linear models to reduce the overall complexity in the controller design discarding all the complex nonlinear behaviors. A linear approximation could be an excessive simplification for complex system where the presence of nonlinear dynamics are important to understand those processes and nonlinearities can not be ignored. However, the analysis and control of a nonlinear model is often challenging. This thesis investigates data-based control methods for continuous and discrete-time nonlinear systems that do not require to model the system. In particular, we have developed a solution to obtain a stabilizing state feedback controller for the case of nonlinear systems. Stabilizing a closed-loop system is critical, but sometimes it is not enough. Safety is another important criteria considered in the design of a controller. We were able to formulate a new data-driven procedure to find a stabilizing controller that can also guarantee that the state of the system never violates the safety constraints.For all the solutions presented, we discussed how to handle real noisy measurements