28.01.2013 Views

Adaptative high-gain extended Kalman filter and applications

Adaptative high-gain extended Kalman filter and applications

Adaptative high-gain extended Kalman filter and applications

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

tel-00559107, version 1 - 24 Jan 2011<br />

Thus we have:<br />

x2(+) ≤ 2b<br />

a<br />

+ 2b<br />

a<br />

B.1 Bounds on the Riccati Equation<br />

1<br />

e2bτ2 + rτ2.<br />

− 1<br />

This last inequality is of the same form as the first bound of (B.5), <strong>and</strong> is independent<br />

from the values of τ1 <strong>and</strong> τ2. We can therefore generalize it to any i ∈ N ∗ :<br />

xi(+) ≤ 2b<br />

a<br />

+ 2b<br />

a<br />

1<br />

e2bτi + rτi.<br />

− 1<br />

Moreover, we can generalize this inequality to any τ > 0, before or after the update (i.e. the<br />

correction step):<br />

x(τ) ≤ 2b 2b 1<br />

+<br />

a a e2bτ + rτ.<br />

− 1<br />

Remark 83<br />

This last bound cannot be used to obtain an upper bound for x for all times τ ≥ T ∗<br />

because it is not a decreasing function of time (this is proven later on). In other words,<br />

suppose we have two times 0 < ξ1 < ξ2, then there exist two positive scalars, β1 <strong>and</strong> β2 such<br />

that x(ξ1) < β1 <strong>and</strong> x(ξ2) < β2. But we don’t know if β2 is <strong>high</strong>er or not than β1.<br />

In the following we’ll see that such a relation can be derived provided that the length<br />

between two samples is bounded.<br />

Lemma 84<br />

Let us define the functions<br />

φ(τ) = 2b<br />

a<br />

ψx0 (τ) =<br />

2b 1<br />

+<br />

a e2bτ + rτ,<br />

− 1<br />

2bx0e2bτ ax0 (e2bτ + rτ.<br />

− 1) + 2b<br />

There exists µφ > 0, <strong>and</strong> µψ(x0) > 0 such that φ(τ), respectively ψx0 (τ), is a decreasing<br />

function for τ ∈]0,µφ], respectively for τ ∈ [0,µψ(x0)].<br />

Moreover µψ(x0) is an increasing function of x0.<br />

Proof.<br />

The proof basically consists in the computation of the variation tables of the two functions.<br />

1.<br />

φ ′<br />

Let us consider the polynomial<br />

(τ) = ra(e2bτ ) 2 − (4b2 +2ar)e2bτ + ra<br />

a(e2bτ − 1) 2 .<br />

P (X) =raX 2 − (4b 2 +2ar)X + ra.<br />

��(2b) � �<br />

Its discriminant 2 2<br />

+2ar − 4a2r2 is positive. Therefore P (X) has two real<br />

roots whose product <strong>and</strong> sum are both positive. Thus both roots are positive.<br />

We denote them 0

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!