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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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

Those two roots are:<br />

<strong>and</strong><br />

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

X∗ = (4b2 +2ar) − � (4b2 +2a) 2 − 4a2r2 � 2ar √ �<br />

(4b2 +2ar) 2 − 4a2r2 + 4a2r2 − (4b2 +2a) 2 − 4a2r2 ≤<br />

,<br />

2ar<br />

≤ 1,<br />

X µ = (4b2 +2ar)+ � (4b2 +2a) 2 − 4a2r2 > 1.<br />

2ar<br />

We conclude that there exists µφ > 0 such that φ(τ) is a decreasing function over the<br />

interval [0,µφ].<br />

2. Let us remark first that ψx0 (0) = x0. A few computations give us:<br />

ψ ′<br />

x0 (τ) =ra2 x2 0 (e2bτ ) 2 − x0(ax0 − 2b)(4b2 +2ra)e2bτ + r(ax0 − 2b) 2<br />

[ax0(e2bτ − 1) + 2b] 2<br />

.<br />

As before we consider the polynomial<br />

Its discriminant is<br />

P (X) =ra 2 x 2 0X 2 − x0(ax0 − 2b)(4b 2 +2ra)X + r(ax0 − 2b) 2 .<br />

x 2 0(ax0 − 2b) 2 ((2b) 2 +2ra) 2 − 4r 2 a 2 x 2 0(ax0 − 2b) 2 .<br />

It is positive. A<strong>gain</strong> both roots are positive: 0 0, a function of x0, such that ψ(τ) is a decreasing function over the<br />

interval ]0,µψ(x0)].<br />

In order to check that µψ(x0) increases with x0, we show that X µ is an increasing<br />

function of x0.<br />

X µ = x0(ax0 − 2b)(4b2 +2ar)<br />

2ra2x2 � 0<br />

(ax0 − 2b)<br />

+<br />

2 (4b2 +2ar) 2x2 0 − 4r2a2x2 0 (ax0 − 2b) 2<br />

2ra2x2 =<br />

0<br />

(a − 2b<br />

x0 )(4b2 +2ar)<br />

2ra2 �<br />

+<br />

(a − 2b<br />

x0 )2 (4b2 +2ar) 2 − 4r2a2 (a − 2b<br />

x0 )2<br />

2ra2 = A+√B D .<br />

3 Since the coefficient of the second order term of P (X) is positive, then the polynomial has negative sign<br />

for X ∈]X ∗ ,X µ [. We only to check that P (1) ≤ 0.<br />

140

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

Saved successfully!

Ooh no, something went wrong!