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 />

Since x(τ) > 2b<br />

a , equation (B.6) implies:<br />

Which gives the first inequality:<br />

therefore<br />

x<br />

(x − 2b<br />

a ) ≥ e2bτ .<br />

x ≥<br />

x ≤ 2b<br />

a<br />

�<br />

x − 2b<br />

�<br />

e<br />

a<br />

2bτ<br />

+ 2b<br />

a<br />

We obtain the second inequality simply from (B.6):<br />

Remark 81<br />

x(τ) ≤<br />

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

1<br />

e2bτ − 1 .<br />

2bx0e 2bτ<br />

ax0 (e 2bτ − 1) + 2b .<br />

1. The first inequality of (B.5) can be used for any initial value S(0), since it tends toward<br />

+∞ when τ → 0,<br />

2. the second one requires some knowledge on S(0) in order to be useful,<br />

3. the two bounds obtained are <strong>high</strong>er than 2b<br />

a , therefore they are true for any τ ∈ [0,T].<br />

�<br />

Let us denote r = sup Tr(C ′<br />

R−1 �<br />

C) . According to equation (B.1), the problem turns<br />

into proving that xk(+), the solution of:<br />

�<br />

dx<br />

dτ = −ax2 xk(+) ≤<br />

+2bx<br />

xk(−)+(τk − τk−1) r,<br />

is upper bounded for all T ∗ ≤ τk, k ∈ N, independently from the subdivision {τi},i∈ N.<br />

(B.7)<br />

The bounds of Lemma 80 are valid on intervals of the form 2 ]τi−1, τi]. Let us find an<br />

expression that we can use in order to upper bound x at any time.<br />

Lemma 82<br />

The solution of (B.7) is such that:<br />

x(τ) ≤ 2b<br />

a<br />

for any τ > 0, before or after an update.<br />

+ 2b<br />

a<br />

1<br />

e2bτ + rτ,<br />

− 1<br />

2 Or of the form [τi−1, τi], it depends on which bound one considers.<br />

137

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

Saved successfully!

Ooh no, something went wrong!