×

zbMATH — the first resource for mathematics

Capture basin approximation using interval analysis. (English) Zbl 1225.93057
Summary: This paper proposes a new approach for computing the capture basin \(\mathbf C\) of a target \(\mathbf T\). The capture basin corresponds to the set of initial state vectors such that the target could be reached in finite time via an appropriate control input, before possibly leaving the target. Whereas classical capture basin characterization does not provide any guarantee on the set of state vectors that belong to the capture basin, interval analysis and guaranteed numerical integration allow us to avoid any indetermination. We present an algorithm that is able to provide guaranteed approximation of the inner \(\mathbf C^-\) and the outer \(\mathbf C^+\) of the capture basin, such that \(\mathbf C^-\subseteq \mathbf C\subset \mathbf C^+\). In order to illustrate the principle and the efficiency of the approach, a testcase on the ’car on the hill’ problem is provided.

MSC:
93C10 Nonlinear systems in control theory
93C15 Control/observation systems governed by ordinary differential equations
65G40 General methods in interval analysis
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Aubin, Viability Theory (1991)
[2] Aubin, A survey of viability theory, SIAM Journal on Control and Optimization 28 (2) pp 749– (1990) · Zbl 0714.49021
[3] Cardaliaguet, Optimal times for constrained nonlinear control problems without local controllability, Applied Mathematics and Optimization 36 pp 21– (1997) · Zbl 0884.49002
[4] Spiteri, Programming and control of robots by means of differentialalgebraic inequalities, IEEE Transactions on Robotics and Automation 16 (2) pp 135– (2000)
[5] Bene, A viability analysis for a bio-economic model, Ecological Economics 36 (3) pp 385– (2001)
[6] Bonneuil, Making ecosystem models viable, Bulletin of Mathematical Biology 65 (6) pp 1081– (2003) · Zbl 1334.92443
[7] Saint-Pierre, Approximation of the viability kernel, Applied Mathematics and Optimization 29 pp 187– (1994) · Zbl 0790.65081
[8] Pujal D Saint-Pierre P Capture basin algorithm for evaluating and managing complex financial instruments 2006
[9] Deffuant, Approximating viability kernels with support vector machines, IEEE Transactions on Automatic Control 52 (5) pp 933– (2007) · Zbl 1366.93049
[10] Bokanowski, An anti-diffusive scheme for viability problems, Applied Numerical Mathematics 56 (9) pp 1147– (2006) · Zbl 1098.65073
[11] Bonneuil, Computing the viability kernel in large state dimension, Journal of Mathematical Analysis and Applications 323 (2) pp 1444– (2006) · Zbl 1111.65059
[12] Coquelin P-A Martin S Munos R A dynamic programming approach to viability problems
[13] Lhommeau M Jaulin L Hardouin L Inner and outer approximation of capture basins using interval analysis · Zbl 1188.93035
[14] Delanoue, Lecture Notes in Electrical Engineering, in: Guaranteed Characterization of Capture Basins of Nonlinear State-Space Systems (2008)
[15] Moore, Interval Analysis (1966)
[16] Nedialkov, Validated solutions of initial value problems for ordinary differential equations, Applied Mathematics and Computation 105 pp 21– (1999) · Zbl 0934.65073
[17] Jaulin, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics (2001) · Zbl 1023.65037
[18] Berz, Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models, Reliable Computing 4 (4) pp 361– (1998) · Zbl 0976.65061
[19] Moore, Machine Learning: Proceedings of the Eighth International Conference (1991)
[20] Munos, Variable resolution discretization in optimal control, Machine Learning 49 (2-3) pp 291– (2002) · Zbl 1005.68086
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.