Learning Region of Attraction for Nonlinear Systems
Estimating the region of attraction (ROA) of general nonlinear autonomous systems remains a challenging problem and requires a case-by-case analysis. Leveraging the universal approximation property of neural networks, in this paper, we propose a counterexample-guided method to estimate the ROA of general nonlinear dynamical systems provided that they can be approximated by piecewise linear neural networks and that the approximation error can be bounded. Specifically, our method searches for robust Lyapunov functions using counterexamples, i.e., the states at which the Lyapunov conditions fail. We generate the counterexamples using Mixed-Integer Quadratic Programming. Our method is guaranteed to find a robust Lyapunov function in the parameterized function class, if exists, after collecting a finite number of counterexamples. We illustrate our method through numerical examples.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Sum-of-Squares Program and Safe Learning On Maximizing the Region of Attraction of Partially Unknown Systems
Recent advances in learning techniques have enabled the modelling of unknown dynamical systems directly from data. However, in many contexts, these learning-based methods are short of safety guarantee and strict stabilit…
Gaussian ProcessesOn Estimating the Probabilistic Region of Attraction for Partially Unknown Nonlinear Systems: An Sum-of-Squares Approach
Estimating the region of attraction for partially unknown nonlinear systems is a challenging issue. In this paper, we propose a tractable method to generate an estimated region of attraction with probability bounds, by s…
Gaussian ProcessesSet-point control and local stability for flat nonlinear systems using model-following control
We consider the set-point control problem for nonlinear systems with flat output that are subject to perturbations. The nonlinear dynamics as well as the perturbations are locally Lipschitz. We apply the model-following …
Region of Attraction Estimation Using Union Theorem in Sum-of-Squares Optimization
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 estimat…
Evaluation of the Region of Attractions of Higher Dimensional Hyperbolic Systems using the Extended Dynamic Mode Decomposition
This paper proposes an original methodology to compute the regions of attraction in hyperbolic and polynomial nonlinear dynamical systems using the eigenfunctions of the discrete-time approximation of the Koopman operato…