Adaptative high-gain extended Kalman filter and applications

More documents

Recommendations

Info

tel-00559107, version 1 - 24 Jan 2011 With ε > 0 being given, define ε ∗ = ε k take δ ≤ ε∗ 2γm , where γ = sup x∈R n A.4 Bounds on a Gramm Matrix , where k comes from the preceding lemma. We �G(x)�, and m = sup �un − u�∞. We get, for all θ ∈ [0,T]: n �� θ � � � (un(s) − u(s))G(x(s))ds� � ti ≤ mγδ ≤ ε∗ 2 By the weak-* convergence of (un), there exists N ∈ N∗ such that for all n > N, �� ti � ε∗ � � (un(s) − u(s))G(x(s))ds� � ≤ 2 . 0 By the lemma, there exists N ∈ N ∗ such that for all n > N, for all t ∈ [0,T], �xn(t)−x(t)� ≤ε, which proves the sequential continuity. A.4 Bounds on a Gramm Matrix This section’s material is taken from [57], Chapter 6, Section 2.4.2. We present a lemma useful to investigate the properties of the Riccati matrix of extended Kalman filters, both in the continuous and continuous discrete settings. This lemma is used in Appendix B. Let Σ be a system12 on Rn , of the form ⎧ where ⎪⎨ (Σ) ⎪⎩ dx dτ = A(u)x + y = C(u)x, n� k, l =1 l ≤ k uk,lek,lx − A(u) is a an anti-shift matrix whose elements never equals zero, and are bounded, − C(u) = � α(u) 0 ... 0 � , where α never equals zero and is bounded, − ei,j is such that ei,jxk = δjkvi, where {vk} denotes the canonical basis of R n . (A.4) The term on the right of the “ + ” sign is a lower triangular (n × n) matrix. For (ui,j), a measurable bounded control function, defined on [0,T], we denote ψu(t, s) the associated resolvent matrix (see Section A.1 above). We define the Gramm observability matrix of Σ by � T Gu = 0 ψ ′ u(v, T )C ′ Cψu(v, T )dv. The matrix Gu is symmetric and positive semi-definite. The system (A.4) is observable for all u(.) measurable and bounded. 12 In order to make this system easier to understand, we only describe it as single output. The result of the lemma is though valid for multi outputs systems. 128
tel-00559107, version 1 - 24 Jan 2011 A.4 Bounds on a Gramm Matrix Lemma 76 If a bound B is given on the controls ui,j, then there exist two positive scalars 0 < α
Page 1 and 2:
tel-00559107, version 1 - 24 Jan 20
Page 3 and 4:
tel-00559107, version 1 - 24 Jan 20
Page 5 and 6:
tel-00559107, version 1 - 24 Jan 20
Page 7 and 8:
tel-00559107, version 1 - 24 Jan 20
Page 9 and 10:
tel-00559107, version 1 - 24 Jan 20
Page 11 and 12:
tel-00559107, version 1 - 24 Jan 20
Page 13 and 14:
tel-00559107, version 1 - 24 Jan 20
Page 15 and 16:
tel-00559107, version 1 - 24 Jan 20
Page 17 and 18:
tel-00559107, version 1 - 24 Jan 20
Page 19 and 20:
tel-00559107, version 1 - 24 Jan 20
Page 21 and 22:
tel-00559107, version 1 - 24 Jan 20
Page 23 and 24:
tel-00559107, version 1 - 24 Jan 20
Page 25 and 26:
tel-00559107, version 1 - 24 Jan 20
Page 27 and 28:
tel-00559107, version 1 - 24 Jan 20
Page 29 and 30:
tel-00559107, version 1 - 24 Jan 20
Page 31 and 32:
tel-00559107, version 1 - 24 Jan 20
Page 33 and 34:
tel-00559107, version 1 - 24 Jan 20
Page 35 and 36:
tel-00559107, version 1 - 24 Jan 20
Page 37 and 38:
tel-00559107, version 1 - 24 Jan 20
Page 39 and 40:
tel-00559107, version 1 - 24 Jan 20
Page 41 and 42:
tel-00559107, version 1 - 24 Jan 20
Page 43 and 44:
tel-00559107, version 1 - 24 Jan 20
Page 45 and 46:
tel-00559107, version 1 - 24 Jan 20
Page 47 and 48:
tel-00559107, version 1 - 24 Jan 20
Page 49 and 50:
tel-00559107, version 1 - 24 Jan 20
Page 51 and 52:
tel-00559107, version 1 - 24 Jan 20
Page 53 and 54:
tel-00559107, version 1 - 24 Jan 20
Page 55 and 56:
tel-00559107, version 1 - 24 Jan 20
Page 57 and 58:
tel-00559107, version 1 - 24 Jan 20
Page 59 and 60:
tel-00559107, version 1 - 24 Jan 20
Page 61 and 62:
tel-00559107, version 1 - 24 Jan 20
Page 63 and 64:
tel-00559107, version 1 - 24 Jan 20
Page 65 and 66:
tel-00559107, version 1 - 24 Jan 20
Page 67 and 68:
tel-00559107, version 1 - 24 Jan 20
Page 69 and 70:
tel-00559107, version 1 - 24 Jan 20
Page 71 and 72:
tel-00559107, version 1 - 24 Jan 20
Page 73 and 74:
tel-00559107, version 1 - 24 Jan 20
Page 75 and 76:
tel-00559107, version 1 - 24 Jan 20
Page 77 and 78:
tel-00559107, version 1 - 24 Jan 20
Page 79 and 80:
tel-00559107, version 1 - 24 Jan 20
Page 81 and 82:
tel-00559107, version 1 - 24 Jan 20
Page 83 and 84:
tel-00559107, version 1 - 24 Jan 20
Page 85 and 86:
tel-00559107, version 1 - 24 Jan 20
Page 87 and 88:
tel-00559107, version 1 - 24 Jan 20
Page 89 and 90:
tel-00559107, version 1 - 24 Jan 20
Page 91 and 92:
tel-00559107, version 1 - 24 Jan 20
Page 93:
tel-00559107, version 1 - 24 Jan 20
Page 97 and 98:
tel-00559107, version 1 - 24 Jan 20
Page 99 and 100:
tel-00559107, version 1 - 24 Jan 20
Page 101 and 102:
tel-00559107, version 1 - 24 Jan 20
Page 103 and 104:
tel-00559107, version 1 - 24 Jan 20
Page 105 and 106:
tel-00559107, version 1 - 24 Jan 20
Page 107 and 108:
tel-00559107, version 1 - 24 Jan 20
Page 109 and 110: tel-00559107, version 1 - 24 Jan 20
Page 159: tel-00559107, version 1 - 24 Jan 20
show all

Adaptative high-gain extended Kalman filter and applications

Create successful ePaper yourself

Delete template?

Save as template?