Abstract:Appropriate estimation of Region of Attraction for a nonlinear dynamical system plays a key role in system analysis and control design. Sum-of-Squares optimization is a powerful tool enabling Region of Attraction estimation for polynomial dynamical systems. Employment of a positive definite function called shape function within the Sum-of-Squares procedure helps to find a richer representation of the Lyapunov function and a larger corresponding Region of Attraction estimation. However, existing Sum-of-Squares optimization techniques demonstrate very conservative results. The main novelty of this paper is the Union theorem which enables the use of multiple shape functions to create a polynomial Lyapunov function encompassing all the areas generated by the shape functions. The main contribution of this paper is a novel computationally-efficient numerical method for Region of Attraction estimation, which remarkably improves estimation performance and overcomes limitations of existing methods, while maintaining the resultant Lyapunov function polynomial, thus facilitating control system design and construction of control Lyapunov function with enhanced Region of Attraction using conventional Sum-of-Squares tools. A mathematical proof of the Union theorem along with its application to the numerical algorithm of Region of Attraction estimation is provided. The method yields significantly enlarged Region of Attraction estimations even for systems with non-symmetric or unbounded Region of Attraction, which is demonstrated via simulations of several benchmark examples.

Estimate of the Domain of Attraction for Polynomial Systems Using Bisectional Sum-of-Squares Optimization

A New Algorithm For Unconstrained Optimization Problem With The Form Of Sum Of Squares Minimization

Sequential Linear Quadratic Control of Bilinear Parabolic PDEs Based on POD Model Reduction

Iterative design of suboptimal feedback control for bilinear parabolic PDE systems

Region of Attraction Estimation Using Union Theorem in Sum-of-Squares Optimization

Estimation of the Domain of Attraction for Continuous-Time Saturated Positive Polynomial Fuzzy Systems Based on Novel Analysis and Convexification Strategies

Local Stabilizing Control for Polynomial Nonlinear Systems

On the Domain of Attraction and Local Stabilization of Nonlinear Parameter‐varying Systems

Estimation of non-symmetric and unbounded region of attraction using shifted shape function and R-composition

An Improved LMI Representation for Enlarging the Domain of Attraction for Linear Systems with Actuator Saturation.

Estimation of the Region of Attraction of Polynomial Swing Equation Using Sum of Squares Theory

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets

On the estimation of the domain of attraction for discrete-time switched and hybrid nonlinear systems

S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization

Koopman-based control using sum-of-squares optimization: Improved stability guarantees and data efficiency

Secondary Controller Design for the Safety of Nonlinear Systems via Sum-of-Squares Programming

Positive Realness And Optimality Problems For Linear Systems Via Dynamic Compensation

Towards Understanding Sensor and Control Nodes Selection in Nonlinear Dynamic Systems: Lyapunov Theory Meets Branch-and-Bound

Nonlinear Robust Control: An Sos - Based Approach

Computationally Efficient Sampling-Based Algorithm for Stability Analysis of Nonlinear Systems

Synthesizing Control Laws from Data using Sum-of-Squares Optimization