HAL CCSD
An algorithm for computing a neighborhood includedin the attraction domain of an asymptotically stable point
Delanoue, Nicolas
Jaulin, Luc
Cottenceau, Bertrand
Laboratoire Angevin de Recherche en Ingénierie des Systèmes (LARIS) ; Université d'Angers (UA)
Lab-STICC_ENSTAB_CID_IHSEV ; OSM ; Département STIC [Brest] (STIC) ; École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC) ; Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM) ; Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)
International audience
ISSN: 1007-5704
Communications in Nonlinear Science and Numerical Simulation
Elsevier
hal-01090058
https://hal.science/hal-01090058
https://hal.science/hal-01090058
Communications in Nonlinear Science and Numerical Simulation, 2015, 21 (1-3), pp.181-189. ⟨10.1016/j.cnsns.2014.08.034⟩
DOI: 10.1016/j.cnsns.2014.08.034
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.cnsns.2014.08.034
en
Nonlinear stability theory
Interval computations
Reliable algorithm
[SPI.AUTO]Engineering Sciences [physics]/Automatic
info:eu-repo/semantics/article
Journal articles
Consider a nonlinear dynamical system described by a differential equation _x ¼ f ðxÞ, where f : Rn ! Rn is a smooth vectorfield. The point x is an equilibrium point if f ðxÞ ¼ 0. To find the equilibrium points it suffices to solve n nonlinear equationswith n unknowns. This can be solved using elimination theory-based methods [18], or any local numerical algorithm [20]. Apoint x is asymptotically stable if for all neighborhoodMof x, there exists a neighborhood N of x such that all trajectoriesinitialized in N converge to x and remain inside M.From the theoretical point of view, the Hartman–Grobman theorem states that if f is sufficiently regular around a hyperbolicequilibrium state x then there exists a local homeomorphism between the solutions of the _x ¼ f ðxÞ and its linearization_x ¼ Df ðxÞðx xÞ. In other words, the qualitative behavior of the dynamical system f around x is the same that of Df ðxÞ.Therefore, the existence of N is usually provided by studying the eigenvalues of the Jacobian matrix of f at x. Interval basedmethods have already been used to study the stability of dynamical systems. In the case of linear system, a classical resultfrom control theory states that the origin (which is always an equilibrium state) is stable if and only if all roots of the characteristicpolynomial of f have a negative real part. Such a polynomial is said to be Hurwitz stable. In [16], Khraritonov gives anecessary and sufficient effective condition to the Hurwitz stability of a polynomial with interval coefficients. When f is linearwith unknown bounded coefficients (i.e. f can be represented by a matrix whose entries are intervals), the Khraritonov’scondition only offers a sufficient condition to check that the origin is stable. More recently, Wang and al [17] determine anecessary and sufficient effective condition to the Hurwitz stability of an interval matrix.The present paper deals with nonlinear dynamical system. Contrary to the linear case, the stability of an equilibrium stateis, most of the time, only local: the trajectories must be initialized sufficiently close to the equilibrium state x to converge tox. The set of initial states for which the trajectory converges to x is the attraction domain of x. The main contribution of thispaper is an algorithm which provides a neighborhood N of x included in the attraction domain of x.
2015