Outer Approximation of Attractors Using an Interval Quantization∗ - Archive ouverte HAL
Article Dans Une Revue Reliable Computing Année : 2014

Outer Approximation of Attractors Using an Interval Quantization∗

Luc Jaulin

Résumé

An attractor is the set toward which the solutions of a dynamical system converge. In this paper, the system is described by an autonomous state equation of the form ˙x = f (x) . When the function f : Rn ! Rn is nonlinear, interval analysis is needed to provide a guaranteed conclusion. Existing interval-based methods cover the state space with small boxes and perform an interval integration for each of them, which makes the technique limited to small dimensional problems. This paper shows that an outer approximation of attractors can be built without any interval integration. The concept is to perform a quantization of the state equation into a dynamical graph. The nodes of this graph are polytopes covering the state space. A test case related to the station keeping of a non-holonomous robot illustrates the principle of the approach.
Fichier non déposé

Dates et versions

hal-00989626 , version 1 (12-05-2014)

Identifiants

  • HAL Id : hal-00989626 , version 1

Citer

Luc Jaulin. Outer Approximation of Attractors Using an Interval Quantization∗. Reliable Computing, 2014, 19, pp.261-273. ⟨hal-00989626⟩
89 Consultations
0 Téléchargements

Partager

More