Adaptative high-gain extended Kalman filter and applications
Adaptative high-gain extended Kalman filter and applications
Adaptative high-gain extended Kalman filter and applications
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 />
A.1 Resolvent of a System<br />
A.1 Resolvent of a System<br />
In this subsection, we recall basic concepts from the theory of linear differential equations.<br />
Details can be found in [106].<br />
A first order system of linear differential equations is given by:<br />
where<br />
1. t ∈ I, an interval of R,<br />
2. x ∈ R n ,<br />
dx<br />
dt<br />
3. A(t) is a t dependent matrix of dimension (n × n),<br />
4. b(t) is a t dependent vector field of dimension n.<br />
= A(t)x(t)+b(t) (A.1)<br />
First, remind, that provided that the <strong>applications</strong> A(t) <strong>and</strong> b(t) are continuous then for<br />
all s ∈ I <strong>and</strong> for all x0 ∈ R n , this equation has a unique solution on I such that x(s) =x0.<br />
We now consider the associated homogenous equation:<br />
dx<br />
dt<br />
= A(t)x(t). (A.2)<br />
Let us denote by x(t, s, x0) the solution of (A.2) at time t with initial condition x(s, s, x0) =x0.<br />
We define the application:<br />
ξ ↦→ x(t, s,ξ ), (A.3)<br />
that associates to any element ξ of R n the solution of (A.2) starting from ξ.<br />
Let c1,c2 be two positive scalars <strong>and</strong> ξ1, ξ2 two elements of R n . Consider the trajectory<br />
c1x(t, s,ξ 1)+c2x(t, s,ξ 2). For t = s, we have:<br />
c1x(s, s,ξ 1)+c2x(s, s,ξ 2) =c1ξ1 + c2ξ2 = x(s, s, c1ξ1 + c2ξ2).<br />
From the unicity of solutions, we conclude that<br />
c1x(t, s,ξ 1)+c2x(t, s,ξ 2) =x(t, s, c1ξ1 + c2ξ2).<br />
That is to say that for all t <strong>and</strong> s in I, (A.3) is linear. Therefore there is a t <strong>and</strong> s dependent<br />
matrix such that:<br />
x(t, s, x0) =φ(t, s)x0,<br />
with φ(s, s) = Id. This matrix is called the resolvent 1 of (A.2). The resolvent has the<br />
following properties:<br />
Theorem 69<br />
1. φ(t, s) is linear w.r.t. the variables s <strong>and</strong> t,<br />
1 φ(s, s) =Id is also said to be the resolvent of the equation (A.1).<br />
122