IEEE Transactions on Automatic Control

Consider a given dynamical system, described by ẋ = f(x) (wheref is a nonlinear function) and [x0] a subset ofR. We present an algorithm, based on interval analysis, able to show that there exists a unique equilibrium statex∞ ∈ [x0] which is asymptotically stable. The effective method also provides a set[x] (subset of[x0]) which is included in the attraction domain of x∞.

[1]  Ramon E. Moore.  Practical aspects of interval computation , 1968 .

[2]  A. Jain,et al.  Partial differential equations and finite-difference methods in image processing, part 1: Image representation , 1977 .

[3]  John S. Baras,et al.  Discrete time point processes in urban traffic queue estimation , 1978 .

[4]  H. Hemami,et al.  Modeling and control of constrained dynamic systems with application to biped locomotion in the frontal plane , 1979 .

[5]  S. Kahne.  Editorial: Some closing thoughts , 1979 .

[6]  W. Karl,et al.  Comments on ‘ A necessary and sufficient condition for the stability of interval matrices ’† , 1984 .

[7]  Donald Ervin Knuth,et al.  The METAFONTbook , 1986 .

[8]  Weiping Li,et al.  Applied Nonlinear Control , 1991 .

[9]  Mei Zhengyang.  Sufficient Condition for Stability of Interval Matrices , 1993 .

[10]  Leslie Lamport,et al.  L A T E X (2nd ed.): a document preparation system: user's guide and reference manual , 1994 .

[11]  J. Rohn.  Positive Definiteness and Stability of Interval Matrices , 1994 .

[12]  V. Kreinovich.  Computational Complexity and Feasibility of Data Processing and Interval Computations , 1997 .

[13]  Martin Berz,et al.  Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models , 1998, Reliab. Comput..

[14]  Alex M. Andrew,et al.  Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics , 2002 .

[15]  Y. Candau,et al.  Set membership state and parameter estimation for systems described by nonlinear differential equations , 2004, Autom..

[16]  Nathalie Revol,et al.  Interval Newton Iteration in Multiple Precision for the Univariate Case , 2003, Numerical Algorithms.

[17]  Luc Jaulin,et al.  Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem , 2005, Reliab. Comput..

[18]  Lnclusion Methods for Systems of Nonlinear Equations -the Interval New- Ton Method and Modifications 2. the Interval Newton Method 2.1. the One-dimensional Case , .