arXiv math/04093902004-09-21math.DSmath.GM

Methods for determination and approximation of the domain of attraction

E. Kaslik, A. M. Balint, St. Balint

备注：: 17 pages, 2 figures accepted to be published in Nonlinear Analysis: Theory, Methods and Applications, Elsevier Science Publishers

英文摘要：

In this paper, an $\mathbb{R}$-analytical function and the sequence of its Taylor polynomials (which are Lyapunov functions different from those of Vanelli & Vidyasagar (1985, Automatica, 21(1):6 9--80)) is presented, in order to determine and approximate the domain of attraction of the exponentially asymptotically stable zero steady state of an autonomous, $\mathbb{R}$-analytical system of differential equations. The analytical function and the sequence of its Taylor polynomials are constructed by recurrence formulae using the coefficients of the power series expansion of $f$ at 0.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Methods for determination and approximation of domains of attraction in the case of autonomous discrete dynamical systems

A method for determination and two methods for approximation of the domain of attraction $D_{a}(0)$ of an asymptotically stable steady state of an autonomous, $\mathbb{R}$-analytical, discrete system is presented. The method of determination is based on the construction of a Lyapunov function $V$, whose domain of analyticity is $D_{a}(0)$. The first method of approximation uses a sequence of Lyapunov functions $V_{p}$, which converges to the Lyapunov function $V$ on $D_{a}(0)$. Each $V_{p}$ defines an estimate $N_{p}$ of $D_{a}(0)$. For any $x\in D_{a}(0)$ there exists an estimate $N_{p^{x}}$ …

2004-10-07math.DSmath.OC

On the approximation of basins of attraction using deep neural networks

The basin of attraction is the set of initial points that will eventually converge to some attracting set. Its knowledge is important in understanding the dynamical behavior of a given dynamical system of interest. In this work, we address the problem of reconstructing the basins of attraction of a multistable system, using only labeled data. To this end, we view this problem as a classification task and use a deep neural network as a classifier for predicting the attractor that corresponds to any given initial condition. Additionally, we provide a method for obtaining an approximation of the …

2021-09-14math.DSphysics.comp-ph

Approximation of the domain of attraction of an asymptotically stable fixed point of a first order analytical system of difference equations

In this paper a first order analytical system of difference equations is considered. For an asymptotically stable fixed point x0 of the system a gradual approximation of the domain of attraction DA is presented in the case when the matrix of the linearized system in x0 is a contraction. This technique is based on the gradual extension of the "embryo" of an analytic function of several variables. The analytic function is a Lyapunov function whose natural domain of analyticity is the DA and which satisfies an iterative functional equation. The equation permits to establish an "embryo" of the Lya…

2003-03-05math.DS

Gradual approximation of the domain of attraction by gradual extension of the "embryo" of the transformed optimal Lyapunov function

In this paper an autonomous analytical system of ordinary differential equations is considered. For an asymptotically stable steady state x0 of the system a gradual approximation of the domain of attraction DA is presented in the case when the matrix of the linearized system in x0 is diagonalizable. This technique is based on the gradual extension of the "embryo" of an analytic function of several complex variables. The analytic function is the transformed of a Lyapunov function whose natural domain of analyticity is the DA and which satisfies a linear non-homogeneous partial differential equa…

2002-12-20math.DS

Converse Lyapunov Functions and Converging Inner Approximations to Maximal Regions of Attraction of Nonlinear Systems

This paper considers the problem of approximating the "maximal" region of attraction (the set that contains all asymptotically stable sets) of any given set of locally exponentially stable nonlinear Ordinary Differential Equations (ODEs) with a sufficiently smooth vector field. Given a locally exponential stable ODE with a differentiable vector field, we show that there exists a globally Lipschitz continuous converse Lyapunov function whose 1-sublevel set is equal to the maximal region of attraction of the ODE. We then propose a sequence of d-degree Sum-of-Squares (SOS) programming problems th…

2022-09-03math.DSmath.OC

Attraction and Stability of Nonlinear Ode's using Continuous Piecewise Linear Approximations

In this paper, several results concerning attraction and asymptotic stability in the large of nonlinear ordinary differential equations are presented. The main result is very simple to apply yielding a sufficient condition under which the equilibrium point (assuming a unique equilibrium) is attractive and also provides a variety of options among them the classical linearization and other existing results are special cases of the this main theorem in this paper including and extension of the well known Markus-Yamabe conjecture. Several application examples are presented in order to analyze the …

2010-04-08math.DSmath.OC

更多相关论文收起更多论文

基于李雅普诺夫指数的霍普夫纤维化有理自映射吸引域计算算法

Algorithms for computing basins of attraction associated with a rational self-map of the Hopf fibration based on Lyapunov exponents

Universidad de La Rioja（洛格罗尼奥大学）；Universidad de La Laguna（拉古纳大学）

本研究构建复有理函数迭代理论以规避分母为零引发的问题，提出基于李雅普诺夫指数的方法计算霍普夫纤维化自同态的吸引周期与吸引域，算法无需预先确定不动点或吸引周期。

2026-10-16math.DS

一种基于数值Koopman的框架用于估计一般向量场的吸引区

A numerical Koopman-based framework to estimate regions of attraction for general vector fields

University of Namur（那慕尔大学）

本文提出一种综合框架，结合Koopman算子方法与严格验证技术，用于估计一般向量场平衡点的吸引区，通过构造近似Koopman特征函数作为Lyapunov函数并利用SOS或自适应网格进行验证。

2026-03-31math.DS

Optimizing the stable behavior of parameter-dependent dynamical systems - maximal domains of attraction, minimal absorption times

We propose a method for approximating solutions to optimization problems involving the global stability properties of parameter-dependent continuous-time autonomous dynamical systems. The method relies on an approximation of the infinite-state deterministic system by a finite-state non-deterministic one - a Markov jump process. The key properties of the method are that it does not use any trajectory simulation, and that the parameters and objective function are in a simple (and except for a system of linear equations) explicit relationship.

2012-10-03math.DSmath.OC

Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation

Naval Postgraduate School（海军研究生院）；University of California at Santa Cruz（加州大学圣克鲁兹分校）；University of Tennessee（田纳西大学）；Naval Research Laboratory（海军研究实验室）

This paper deals with a special type of Lyapunov functions, namely the solution of Zubov's equation. Such a function can be used to characterize the domain of attraction for systems of ordinary differential equations. We derive and prove an integral form solution to Zubov's equation. For numerical computation, we develop two data-driven methods. One is based on the integration of an augmented system of differential equations; and the other one is based on deep learning. The former is effective for systems with a relatively low state space dimension and the latter is developed for high dimensio…

2021-12-29cs.LGcs.SYeess.SY

基于最温和上升动力学计算电力系统吸引域边界

Calculating Domain of Attraction Boundary of Power Systems Based on the Gentlest Ascent Dynamics

State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；School of Electric Power Engineering, South China University of Technology（华南理工大学电力学院）；Department of Mathematics, National University of Singapore（新加坡国立大学数学系）；Energy and Power Planning Laboratory of Energy Development Research Institute, China Southern Power Grid（中国南方电网能源发展研究院能源与电力规划实验室）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）

本文基于最温和上升动力学方法、伴随算子方法和稳定流形算法，计算电力系统吸引域边界，验证了该方法在暂态稳定分析中的有效性和准确性。

2026-05-18cs.NAmath.DSmath.NA

关于解析向量场的Koopman基Lyapunov函数的误差界

Error bounds on analytic Koopman-based Lyapunov functions

Department of Mathematics and Namur Research Institute for Complex Systems (naXys), University of Namur（南纳慕尔大学数学系与南纳慕尔复杂系统研究所）

本文研究了Koopman算子特征函数在解析向量场和有限维多项式子空间近似下的误差界，用于验证基于Koopman的Lyapunov函数的有效性，并获得平衡点吸引区的内近似。

2026-03-31math.DS

基于神经网络李雅普诺夫函数的非线性系统吸引域估计学习与验证

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions

针对非线性系统吸引域估计传统方法保守性强、高维场景构建难的问题，提出结合复合神经网络李雅普诺夫函数、齐次损失训练与SMT形式化验证的数据驱动框架，在基准系统上验证了其低保守性与可验证性。

2025-11-14cs.SYeess.SYmath.DS

离散时间系统安全与鲁棒吸引域的确定：基于集合的特征化与可验证神经网络估计

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation

department of Applied Mathematics, University of Waterloo（应用数学系，滑铁卢大学）；Department of Mechanical and Mechatronics Engineering at the University of Waterloo（机械与机电工程系，滑铁卢大学）

本文提出了一种基于集合的特征化和可验证神经网络估计方法，用于准确估计离散时间非线性不确定系统的安全和鲁棒吸引域。

2026-03-03cs.LGcs.SYeess.SY